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
| | #freeze
/積和公式
%indent
積和公式は、三角関数の積を三角関数の和に変換する公式。
未定記号を使うと、
#ceq(e)
$$ \ctri \alpha \, \ctri \beta $ \Rightarrow $ \ctri A $ \cpm $ \ctri B $$
#ceq(end)
ただし、$$ A $$と$$ B $$はそれぞれ$$ \alpha + \beta $$と$$ \alpha - \beta $$で、
次のようになる。
#ceq(e)
$$ \ctri \alpha \, \ctri \beta $ \Rightarrow $ \ctri (\alpha + \beta) $ \cpm $ \ctri (\alpha - \beta) $$
#ceq(end)
一応、対応する指数の法則は$$ e^\alpha\,e^\beta = e^{\alpha + \beta} $$で、加法定理の逆になる。
このため、右辺に加法定理の左辺となる$$ \ctri (\alpha + \beta) $$と$$ \ctri (\alpha - \beta) $$が現われる。
$$ \ctri \alpha \, \ctri \beta $$が
$$ \csin \alpha $ \ccos \beta $$、
$$ \ccos \alpha $ \csin \beta $$、
$$ \ccos \alpha $ \ccos \beta $$、
$$ \csin \alpha $ \csin \beta $$の場合について、等号が成立するように右辺を決めていくのが組立の仕事。
''1. 正弦合わせ''
それぞれの左辺の正弦数と組合せ可能な右辺を配置すると次のようになる:
#ceq(e)
$$ \phantom-\! $ \csin \alpha $ \ccos \beta $$ ── 1個 ── 奇数 ── $$ \csin (\alpha + \beta) $ \cpm $ \csin (\alpha - \beta) $$
&br;$$ \phantom-\! $ \ccos \alpha $ \csin \beta $$ ── 1個 ── 奇数 ── $$ \csin (\alpha + \beta) $ \cpm $ \csin (\alpha - \beta) $$
&br;$$ \phantom-\! $ \ccos \alpha $ \ccos \beta $$ ── 0個 ── 偶数 ── $$ \ccos (\alpha + \beta) $ \cpm $ \ccos (\alpha - \beta) $$
&br;$$ \iro[ak]-\! $ \csin \alpha $ \csin \beta $$ ── 2個 ── 偶数 ── $$ \ccos (\alpha + \beta) $ \cpm $ \ccos (\alpha - \beta) $$
#ceq(end)
右辺が$$ \csin $$のみ、または$$ \ccos $$のみになるのが特徴。
正弦奇偶則のため、$$ \csin (\alpha + \beta) $ \cpm $ \ccos (\alpha + \beta) $$のように混ざった加算は現われない。
''2. 符号合わせ''
続けて、右辺の符号を決める。
ここでは簡単に$$ \beta $$の符号を反転させ、値の変化を調べる。
$$ \beta $$の符号を反転させると、
左辺は$$ \ccos $$は符号が消されて変化無し、$$ \csin $$は通され符号反転。
一方、右辺は第1項と第2項が入れ替わり、
「$$ + $$」なら変化無し、「$$ - $$」なら符号反転。
#ceq(e)
$$ \phantom-\! $ \csin \alpha $ \ccos \beta $$ ── ##変化無し## ── $$ \csin (\alpha + \beta) $ \iro[ao]+ $ \csin (\alpha - \beta) $$
&br;$$ \phantom-\! $ \ccos \alpha $ \csin \beta $$ ── ##符号反転## ── $$ \csin (\alpha + \beta) $ \iro[ak]- $ \csin (\alpha - \beta) $$
&br;$$ \phantom-\! $ \ccos \alpha $ \ccos \beta $$ ── ##変化無し## ── $$ \ccos (\alpha + \beta) $ \iro[ao]+ $ \ccos (\alpha - \beta) $$
&br;$$ \iro[ak]-\! $ \csin \alpha $ \csin \beta $$ ── ##符号反転## ── $$ \ccos (\alpha + \beta) $ \iro[ak]- $ \ccos (\alpha - \beta) $$
#ceq(end)
''3. 値域合わせ''
左辺は三角関数の積のため値域は$$ (-1::1) $ \times $ (-1::1) $ = $ (-1::1) $$、
右辺は三角関数の和のため値域は$$ (-1::1) $ + $ (-1::1) $ = $ (-2::2) $$
したがって、値域を合わせるには、右辺を$$ \ffd12 $$倍すれば良い。
以上より、積和公式の4式は次のようになる。
#ceq(e)
$$ \phantom-\! $ \csin \alpha $ \ccos \beta $ = $ \iro[md]{\ffd12} $ \! \Big( \! $ \csin(\alpha + \beta) $ \iro[ao]+ $ \csin(\alpha - \beta) $ \! \Big) $$
&br;$$ \phantom-\! $ \ccos \alpha $ \csin \beta $ = $ \iro[md]{\ffd12} $ \! \Big( \! $ \csin(\alpha + \beta) $ \iro[ak]- $ \csin(\alpha - \beta) $ \! \Big) $$
&br;$$ \phantom-\! $ \ccos \alpha $ \ccos \beta $ = $ \iro[md]{\ffd12} $ \! \Big( \! $ \ccos(\alpha + \beta) $ \iro[ao]+ $ \ccos(\alpha - \beta) $ \! \Big) $$
&br;$$ \iro[ak]-\! $ \csin \alpha $ \csin \beta $ = $ \iro[md]{\ffd12} $ \! \Big( \! $ \ccos(\alpha + \beta) $ \iro[ak]- $ \ccos(\alpha - \beta) $ \! \Big) $$
#ceq(end)
- [[つづき ── 和積公式>../和積公式]]
|
|