1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
| | #freeze
/加法定理
%indent
加法定理は、加減算の三角関数を分解する公式。
便宜上、三角関数が$$ \csin $$か$$ \ccos $$のどちらかで未定であることを$$ \ctri $$と表記すると
((語源は三角を意味する英語 triangle の先頭で「三」を意味する三文字の語根 tri から。))、
加法定理は次のように書ける：
#ceq(e)
$$ \spc{\ctri}{\exp}(\alpha \pm \beta) $ \Rightarrow $ \spc{\ctri}{\!\exp}\alpha \, \spc{\ctri}{\exp}\beta $$
#ceq(end)
重要なのは$$ \sin $$と$$ \cos $$は加算を乗算に変える能力を持っていること
((公式なんかより関数の性質を覚える方が遥かに重要))。
そして、これが次の指数の法則と同じ形であること。
#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)
等式にするため、２つの候補から１つの値を作ることになるが、
ここは''加''法定理ということで単純に''加''えば良い
((和積公式でも同じ状況になるが、和''積''は右辺が''積''なので、加えない。))。
ここまでの作業で次の形になる：
#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]- $$」に化ける理由が無いから、もう出来上がっている。
#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) $ \Rightarrow $ \ccos(\beta) $$と「$$ \iro[ak]- $$」を消すのに対し、
$$ \csin $$は$$ \csin(\iro[ak]- \beta) $ \Rightarrow $ \iro[ak]- \csin(\beta) $$と「$$ \iro[ak]- $$」を通す性質
((専門用語では、$$ \ccos $$は偶関数、$$ \csin $$は奇関数。))を使えば良い。
また、色で直感的に覚えても良い。
正弦陰性則でも、「$$ \iro[ak]- $$」を伝搬する性質でも、$$ \csin(\beta) $$は「$$ \iro[ak]- $$」と相性が良い。
$$ \csin $$と「$$ \iro[ak]- $$」を赤で統一しているのもこのためである。
以上の結果、加法定理の４式は次のようになる。
#ceq(e)
$$ \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[mr]+ $ \csin \alpha $ \csin \beta $$
#ceq(end)
%bodynote
''3. 値域合わせ''
本来なら、最後は値域をチェックする段取りだが、
この場合、右辺の値域は簡単には分らない
((「簡単」というのは、加算（or減算）と乗算を１回ずつで出せることを意味し、専門用語では線形変換という。非線形になる途端に解けなくなる場合は結構あるので、こういうセンスも重要である。))。
幸いなことに、数式は上手くできるもので、簡単に分らないからチェックしなくても良い。
既に上手くできているから。
%bodynote
- [[つづき ── 倍角公式>../倍角公式]]
|
|
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
