- 追加された行はこの色です。
- 削除された行はこの色です。
/和積公式
%indent
////////////////////////////////////////////////////////////////
* 和積公式 [#uac320f2]
和積公式は、三角関数の和を三角関数の積に変換する公式。
未定記号を使うと、
#ceq(e)
$$ \ctri \alpha $ \cpm $ \ctri \beta $ \Rightarrow $ \ctri A $ \ctri B $$
#ceq(end)
今度は、$$ A $$と$$ B $$がそれぞれ$$ \ffd{\alpha + \beta}{2} $$と$$ \ffd{\alpha - \beta}{2} $$で、
#ceq(e)
$$ \ctri \alpha $ \cpm $ \ctri \beta $ \Rightarrow $ \ctri \ffd{\alpha + \beta}{2} $ \ctri \ffd{\alpha - \beta}{2} $$
#ceq(end)
積和と和積で引数が紛らわしいが、
積和は右辺が和なので和の形の$$ (\alpha \pm \beta) $$を取る、
和&font(u){積};は右辺が&font(u){積};のため&font(u){積};の形をした$$ \ffd{\alpha \pm \beta}{2} $$を取るとでも覚えば良い。
////////////////////////////////
''1. 正弦合わせ''
式の左辺には未定記号が３つあるため、組合せは$$ 2^3 $ = $ 8 $$通り。
しかし、これまでと異なり、正弦奇遇則に違反するために不可となる組み合わせが現れる。
正弦奇偶則と正弦陰性則を適応すると、次のようになる：
#ceq(e)
$$ \csin \alpha $ + $ \csin \beta $$ ── &font(#CC0000){奇};、&font(#CC0000){奇}; → &font(#CC0000){奇数}; ── $$ \csin \ffd{\alpha + \beta}{2} $ \ccos \ffd{\alpha - \beta}{2} $$ or $$ \phantom-\! $ \ccos \ffd{\alpha + \beta}{2} $ \csin \ffd{\alpha - \beta}{2} $$
&br;$$ \csin \alpha $ - $ \csin \beta $$ ── &font(#CC0000){奇};、&font(#CC0000){奇}; → &font(#CC0000){奇数}; ── $$ \csin \ffd{\alpha + \beta}{2} $ \ccos \ffd{\alpha - \beta}{2} $$ or $$ \phantom-\! $ \ccos \ffd{\alpha + \beta}{2} $ \csin \ffd{\alpha - \beta}{2} $$
&br;$$ \csin \alpha $ + $ \ccos \beta $$ ── &font(#CC0000){奇};、&font(#0033CC){偶}; → &font(#6600FF){不可};
&br;$$ \csin \alpha $ - $ \ccos \beta $$ ── &font(#CC0000){奇};、&font(#0033CC){偶}; → &font(#6600FF){不可};
&br;$$ \ccos \alpha $ + $ \csin \beta $$ ── &font(#0033CC){偶};、&font(#CC0000){奇}; → &font(#6600FF){不可};
&br;$$ \ccos \alpha $ - $ \csin \beta $$ ── &font(#0033CC){偶};、&font(#CC0000){奇}; → &font(#6600FF){不可};
&br;$$ \ccos \alpha $ + $ \ccos \beta $$ ── &font(#0033CC){偶};、&font(#0033CC){偶}; → &font(#0033CC){偶数}; ── $$ \ccos \ffd{\alpha + \beta}{2} $ \ccos \ffd{\alpha - \beta}{2} $$ or $$ \iro[ak]-\! $ \csin \ffd{\alpha + \beta}{2} $ \csin \ffd{\alpha - \beta}{2} $$
&br;$$ \ccos \alpha $ - $ \ccos \beta $$ ── &font(#0033CC){偶};、&font(#0033CC){偶}; → &font(#0033CC){偶数}; ── $$ \ccos \ffd{\alpha + \beta}{2} $ \ccos \ffd{\alpha - \beta}{2} $$ or $$ \iro[ak]-\! $ \csin \ffd{\alpha + \beta}{2} $ \csin \ffd{\alpha - \beta}{2} $$
#ceq(end)
結果、$$ \csin $$と$$ \ccos $$が混ざった加減算は不可となり、
左辺が$$ \csin $$のみ、または$$ \ccos $$のみの加減算になる。
ここも加法定理と紛らわしく右辺の候補に対して２択１を取るのだが、
これも加法定理は加法のために足し合わせる、和&font(u){積};は&font(u){積};のため既に&font(u){積};の形をした候補から２択１とでも覚えば良い。
////////////////////////////////
''2. 符号合わせ''
続けて、左辺の符号に応じて、右辺を決める。
今度は$$ \alpha $$と$$ \beta $$を交換して、式の値を調べる。
左辺は「$$ + $$」なら変化無し、「$$ - $$」なら変化有り。
右辺は$$ \alpha - \beta $$が符号反転するため、$$ \ccos \ffd{\alpha - \beta}{2} $$を持つ方が変化無し、持たない方が変化有り。
#ceq(e)
$$ \csin \alpha $ + $ \csin \beta $$ ── 変化無し ── $$ \phantom-\! $ \csin \ffd{\alpha + \beta}{2} $ \ccos \ffd{\alpha - \beta}{2} $$
&br;$$ \csin \alpha $ - $ \csin \beta $$ ── 変化有り ── $$ \phantom-\! $ \ccos \ffd{\alpha + \beta}{2} $ \csin \ffd{\alpha - \beta}{2} $$
&br;$$ \ccos \alpha $ + $ \ccos \beta $$ ── 変化無し ── $$ \phantom-\! $ \ccos \ffd{\alpha + \beta}{2} $ \ccos \ffd{\alpha - \beta}{2} $$
&br;$$ \ccos \alpha $ - $ \ccos \beta $$ ── 変化有り ── $$ \iro[ak]-\! $ \csin \ffd{\alpha + \beta}{2} $ \csin \ffd{\alpha - \beta}{2} $$
#ceq(end)
////////////////////////////////
''3. 値域合わせ''
今、
左辺は三角関数の和のため値域は$$ (-1::1) $ + $ (-1::1) $ = $ (-2::2) $$、
右辺は三角関数の積のため値域は$$ (-1::1) $ \times $ (-1::1) $ = $ (-1::1) $$。
このため、
値域を合わせるには、右辺を$$ 2 $$倍すれば良い。
以上より、和積公式の４式は次のようになる。
#ceq(e)
$$ \csin \alpha $ \clr[ai]+ $ \csin \beta $ = $ \phantom-\! $ \clr[md]2 $ \csin \ffd{\alpha + \beta}{\clr[md]2} $ \ccos \ffd{\alpha - \beta}{\clr[md]2} $$
&br;$$ \csin \alpha $ \clr[ak]- $ \csin \beta $ = $ \phantom-\! $ \clr[md]2 $ \ccos \ffd{\alpha + \beta}{\clr[md]2} $ \csin \ffd{\alpha - \beta}{\clr[md]2} $$
&br;$$ \ccos \alpha $ \clr[ai]+ $ \ccos \beta $ = $ \phantom-\! $ \clr[md]2 $ \ccos \ffd{\alpha + \beta}{\clr[md]2} $ \ccos \ffd{\alpha - \beta}{\clr[md]2} $$
&br;$$ \ccos \alpha $ \clr[ak]- $ \ccos \beta $ = $ \iro[ak]-\! $ \clr[md]2 $ \csin \ffd{\alpha + \beta}{\clr[md]2} $ \csin \ffd{\alpha - \beta}{\clr[md]2} $$
#ceq(end)
////////////////////////////////////////////////////////////////
* リンク [#k256b3c6]
- [[つづき ── 理論編/虚数正弦>../虚数正弦]]
////////////////////////////////////////////////////////////////
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
