三角公式/加法定理 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 三角公式/加法定理 へ行く。
• 三角公式/加法定理 の差分を削除

/加法定理
%indent
////////////////////////////////////////////////////////////////
* 加法定理 [#n22da2d4]

加法定理は、加減算の三角関数を三角関数の積に分解する公式。
便宜上、三角関数が$$ \csin $$か$$ \ccos $$のどちらかで未定であることを$$ \ctri $$と表記
((一応語源は三角を意味する英語 triangle の先頭にある、「三」を意味する語根 tri から。))
すると、
加法定理の一般形は次のように書ける：
加法定理は、加減算の三角関数を分解する公式。
便宜上、三角関数が$$ \csin $$か$$ \ccos $$のどちらかで未定であることを$$ \ctri $$と表記すると
((語源は三角を意味する英語 triangle の先頭で「三」を意味する三文字の語根 tri から。))、
加法定理は次のように書ける：
#ceq(e)
    $$ \spc{\ctri}{\exp}(\alpha \pm \beta) $ \Rightarrow $ \spc{\ctri}{\!\exp}(\alpha) \, \spc{\ctri}{\exp}(\beta) $$
    $$ \spc{\ctri}{\exp}(\alpha \pm \beta) $ \Rightarrow $ \spc{\ctri}{\!\exp}\alpha \, \spc{\ctri}{\exp}\beta $$
#ceq(end)
重要なのは$$ \sin $$と$$ \cos $$は加算を乗算に変える能力を持っていること
((公式なんかより関数の性質を覚える方が遥かに重要))。
そして、これが指数の法則（$$ e^{\alpha + \beta} = e^\alpha \, e^\beta $$）と同形であること。
そして、これが次の指数の法則と同じ形であること。
#ceq(e)
    $$ \exp(\alpha + \beta) = \exp\alpha \, \exp\beta $$
#ceq(a)
    $$ e^{\alpha + \beta} = e^\alpha \, e^\beta $$
#ceq(end)

等号ではないのは、符号や係数などが欠けているため。
式の左辺がそれぞれ
$$ \csin(\alpha + \beta) $$、
$$ \csin(\alpha - \beta) $$、
$$ \ccos(\alpha + \beta) $$、
$$ \ccos(\alpha - \beta) $$の場合について、等号が成立するように右辺を決めて行くのが組立の仕事。

%bodynote

////////////////////////////////////////////////////////////////
''1. 正弦合わせ''

組立は$$ \ctri $$の決定から始める。
三角関数は三角公式の骨組みのようなもので、これが決まらないと何も決まらない。

猫式では、個々の項に対し、乗算している$$ \csin $$の数をその項の''正弦数''と定義する。
加法定理の右辺にある$$ \ctri \alpha \, \ctri \beta $$には未定表記が2つあるため、組み合せは2×2＝4通り。
それぞれの正弦数は次のようになる：
#ceq(e)
    $$ \ccos \alpha $ \ccos \beta $$ ── ０個 ── 偶数
&br;$$ \csin \alpha $ \ccos \beta $$ ── １個 ── 奇数
&br;$$ \ccos \alpha $ \csin \beta $$ ── １個 ── 奇数
&br;$$ \csin \alpha $ \csin \beta $$ ── ２個 ── 偶数
#ceq(end)

正弦数に関して次の組立規則が成り立つ：
そして、正弦数に関して組立術の真髄である次の規則が成り立つ：
#ceq(e)
    ''正弦陰性則： $$ \csin $$が２つ掛け合わせる毎に、項の前に「$$ \iro[ak]- $$」が１つ増える''
#ceq(e)
    ''正弦奇偶則： 正弦数は、等式の各項を通して「全て奇数」または「全て偶数」''
#ceq(end)
これらは猫式組立の真髄である。
説明するには、大学で習う知識が必要になるため、後回し。
ともかく、これらの規則を適応すると、負号が１つ現れ、右辺はそれぞれ２組ずつ絞られる：
これらを適応すると、右辺はそれぞれ２組ずつ絞られる：
#ceq(e)
    $$ \csin(\alpha + \beta) $$ ── 奇数 ── $$ \csin \alpha $ \ccos \beta $$、$$ \phantom-\! $ \ccos \alpha $ \csin \beta $$ 
&br;$$ \csin(\alpha - \beta) $$ ── 奇数 ── $$ \csin \alpha $ \ccos \beta $$、$$ \phantom-\! $ \ccos \alpha $ \csin \beta $$ 
&br;$$ \ccos(\alpha + \beta) $$ ── 偶数 ── $$ \ccos \alpha $ \ccos \beta $$、$$ \iro[ak]-\! $ \csin \alpha $ \csin \beta $$
&br;$$ \ccos(\alpha - \beta) $$ ── 偶数 ── $$ \ccos \alpha $ \ccos \beta $$、$$ \iro[ak]-\! $ \csin \alpha $ \csin \beta $$
#ceq(end)

問題は２組の候補から左辺に来るべき１つの値を作り出す方法である。
結論から言えば、&font(u){加};法定理ということで、単純に&font(u){加};えば良い
((和積公式でも同じ状況になるが、和&font(u){積};は右辺が&font(u){積};なので、加えたりしない。))。

等式にするため、２つの候補から１つの値を作ることになるが、
ここは''加''法定理ということで単純に''加''えば良い
((和積公式でも同じ状況になるが、和''積''は右辺が''積''なので、加えない。))。
ここまでの作業で次の形になる：
#ceq(e)
    $$ \csin(\alpha + \beta) $ \Rightarrow $ \csin \alpha $ \ccos \beta $         + $ \ccos \alpha $ \csin \beta $$ 
&br;$$ \csin(\alpha - \beta) $ \Rightarrow $ \csin \alpha $ \ccos \beta $         + $ \ccos \alpha $ \csin \beta $$ 
&br;$$ \ccos(\alpha + \beta) $ \Rightarrow $ \ccos \alpha $ \ccos \beta $ \iro[ak]- $ \csin \alpha $ \csin \beta $$
&br;$$ \ccos(\alpha - \beta) $ \Rightarrow $ \ccos \alpha $ \ccos \beta $ \iro[ak]- $ \csin \alpha $ \csin \beta $$
#ceq(end)
//
%bodynote

////////////////////////////////////////////////////////////////
''2. 符号合わせ''

続けて、式に残る符号を決める。
一般に、数式は上手く出来るもので、「$$ + $$」が普通であり、「$$ \iro[ak]- $$」になるには何かの理由がある。
実は、左辺が加算の２式は既に出来上がっている。
一般に、数式は上手くできるもので、「$$ + $$」が基本で、何かの理由があって初めて「$$ \iro[ak]- $$」が現れる。
というわけで、左辺が加算の２式は「$$ + $$」が「$$ \iro[ak]- $$」に化ける理由が無いから、もう出来上がっている。
#ceq(e)
    $$ \csin(\alpha + \beta) $ \Rightarrow $ \csin \alpha $ \ccos \beta $ + $ \ccos \alpha $ \csin \beta $$ 
&br;$$ \ccos(\alpha + \beta) $ \Rightarrow $ \ccos \alpha $ \ccos \beta $ - $ \csin \alpha $ \csin \beta $$
#ceq(end)

残りの２式は、左辺の$$ \beta $$が符号反転したがために、右辺でも符号反転する。
しかし、次のように書いた場合、反転する符号は選ぶ余地が無いよう見えるが、
#ceq(e)
    $$ \csin(\alpha \mathbin{\clr[ak]-} \beta) $ \Rightarrow $ \csin \alpha $ \ccos \beta $ \clr[ak]- $ \ccos \alpha $ \csin \beta $$
&br;$$ \ccos(\alpha \mathbin{\clr[ak]-} \beta) $ \Rightarrow $ \ccos \alpha $ \ccos \beta $ \clr[ak]+ $ \csin \alpha $ \csin \beta $$
#ceq(end)
２つの候補を逆に書いた場合、通常省略される$$ \clr[ao]+ $$が現われ、反転することになる$$ \clr[mr]+ $$が省略されるので困る。
#ceq(e)
    $$ \csin(\alpha \mathbin{\clr[ak]-} \beta) $ \Rightarrow $ \clr[ak]- $ \ccos \alpha $ \csin \beta $ \clr[ao]+ $ \csin \alpha $ \ccos \beta $$
&br;$$ \ccos(\alpha \mathbin{\clr[ak]-} \beta) $ \Rightarrow $ \clr[mr]+ $ \csin \alpha $ \csin \beta $ \clr[ao]+ $ \ccos \alpha $ \ccos \beta $$
#ceq(end)
このため、目に見える符号の反転ではなく、「項の符号反転」として全ての項について考える必要がある。

結果的に、右辺の$$ \beta $$を$$ -\beta $$に置き換えて計算することになるが、
$$ \ccos $$が$$ \ccos(\iro[ak]- \beta) $ = $ \ccos(\beta) $$と符号反転に影響されないのに対し、
$$ \csin $$は$$ \csin(\iro[ak]- \beta) $ = $ \iro[ak]- \csin(\beta) $$のように符号反転を伝搬すると、
性質を押さえれば計算をしなくて済む。
$$ \ccos $$は$$ \ccos(\iro[ak]- \beta) $ \Rightarrow $ \ccos(\beta) $$と「$$ \iro[ak]- $$」を消すのに対し、
$$ \csin $$は$$ \csin(\iro[ak]- \beta) $ \Rightarrow $ \iro[ak]- \csin(\beta) $$と「$$ \iro[ak]- $$」を通す性質
((専門用語では、$$ \ccos $$は偶関数、$$ \csin $$は奇関数。))を使えば良い。

また、正弦陰性則にもあるように、$$ \csin $$と「$$ \iro[ak]- $$」はどうも仲が良い。
実はこれを考慮して、両方とも赤色に統一しているのだが、
慣れれば「$$ \iro[ak]- \beta $$」→「$$ \csin $$」→「$$ \iro[ak]- $$」と色を頼りに操作しても良い。
また、色で直感的に覚えても良い。
正弦陰性則でも、「$$ \iro[ak]- $$」を伝搬する性質でも、$$ \csin(\beta) $$は「$$ \iro[ak]- $$」と相性が良い。
$$ \csin $$と「$$ \iro[ak]- $$」を赤で統一しているのもこのためである。

以上の結果、加法定理の４式は次のようになる。
#ceq(e)
    $$ \csin(\alpha                  +  \beta) $ = $ \csin \alpha $ \ccos \beta $ \clr[ai]+ $ \ccos \alpha $ \csin \beta $$
    $$ \csin(\alpha                  +  \beta) $ = $ \csin \alpha $ \ccos \beta $ \clr[ao]+ $ \ccos \alpha $ \csin \beta $$
&br;$$ \csin(\alpha \mathbin{\clr[ak]-} \beta) $ = $ \csin \alpha $ \ccos \beta $ \clr[ak]- $ \ccos \alpha $ \csin \beta $$
&br;$$ \ccos(\alpha                  +  \beta) $ = $ \ccos \alpha $ \ccos \beta $ \clr[ak]- $ \csin \alpha $ \csin \beta $$
&br;$$ \ccos(\alpha \mathbin{\clr[ak]-} \beta) $ = $ \ccos \alpha $ \ccos \beta $ \clr[ak]+ $ \csin \alpha $ \csin \beta $$
&br;$$ \ccos(\alpha \mathbin{\clr[ak]-} \beta) $ = $ \ccos \alpha $ \ccos \beta $ \clr[mr]+ $ \csin \alpha $ \csin \beta $$
#ceq(end)

%bodynote

////////////////////////////////////////////////////////////////
''3. 値域合わせ''

本来なら、最後は値域をチェックする段取りだが、
この場合、右辺の値域は簡単には分らない
((「簡単」というのは、加算（or減算）と乗算を１回ずつで出せることを意味し、専門用語では線形変換という。非線形になる途端に解けなくなる場合は結構あるので、こういうセンスも重要である。))。
幸いなことに、数式は上手くできるもので、簡単に分らないからチェックしなくても良い。
既に上手くできているから。

%bodynote

////////////////////////////////////////////////////////////////
* リンク [#a77e996a]

- [[つづき ── 倍角公式>../倍角公式]]

////////////////////////////////////////////////////////////////