猫式/三角公式/積和公式 のバックアップソース(No.1)

• バックアップ一覧
• バックアップ を表示
• 猫式/三角公式/積和公式 は削除されています。
  • 1 (2011.0613 (月) 0528.5600)

/積和公式
%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)
この式の左辺が
$$ \csin \alpha $ \ccos \beta $$、
$$ \ccos \alpha $ \csin \beta $$、
$$ \ccos \alpha $ \ccos \beta $$、
$$ \csin \alpha $ \csin \beta $$の場合について、等号が成立するように右辺を決めていくのが組立の仕事。

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

それぞれの左辺の正弦数と組合せ可能な右辺を配置すると次のようになる：
#ceq(e)
    $$ \phantom-\! $ \csin \alpha $ \ccos \beta $$ ── １個 ── 奇数 ── $$ \csin (\alpha + \beta) $ \cpm $ \csin (\alpha - \beta) $$ 
&br;$$ \phantom-\! $ \ccos \alpha $ \csin \beta $$ ── １個 ── 奇数 ── $$ \csin (\alpha + \beta) $ \cpm $ \csin (\alpha - \beta) $$
&br;$$ \phantom-\! $ \ccos \alpha $ \ccos \beta $$ ── ０個 ── 偶数 ── $$ \ccos (\alpha + \beta) $ \cpm $ \ccos (\alpha - \beta) $$
&br;$$ \iro[ak]-\! $ \csin \alpha $ \csin \beta $$ ── ２個 ── 偶数 ── $$ \ccos (\alpha + \beta) $ \cpm $ \ccos (\alpha - \beta) $$
#ceq(end)
右辺が$$ \csin $$のみ、または$$ \ccos $$のみになるのが特徴。
正弦奇偶則のため、$$ \csin \alpha $ \cpm $ \ccos \beta $$のような混ざった加算は現れない。

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

続けて、右辺の符号を決める。
ここでは簡単に$$ \beta $$の符号を反転させ、値の変化を調べる。
$$ \beta $$の符号を反転させると、
左辺は$$ \ccos $$は影響無し、$$ \csin $$は変化有り。
一方、右辺は第１項と第２項が入れ替わり、
「$$ + $$」なら変化無し、「$$ - $$」なら変化有り。

#ceq(e)
    $$ \phantom-\! $ \csin \alpha $ \ccos \beta $$ ── 変化無し ── $$ \csin (\alpha + \beta) $ \iro[ai]+ $ \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[ak]- $ \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 $$倍すれば良い。

以上より、積和公式の４式は次のようになる。
#ceq(e)
    $$ \phantom-\! $ \csin \alpha $ \ccos \beta $ = $ \iro[md]{\ffd12} $ \! \Big( \! $ \csin(\alpha + \beta) $ \iro[ai]+ $ \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[ai]+ $ \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)

////////////////////////////////////////////////////////////////
* [[つづき ── 和積公式>../和積公式]] [#l4d67728]

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