積和公式は、三角関数の積を三角関数の和に変換する公式。未定記号を使うと、
ただし、とはそれぞれとで、次のようになる。
一応、対応する指数の法則はで、加法定理の逆になる。このため、右辺に加法定理の左辺となるとが現われる。
が、、、の場合について、等号が成立するように右辺を決めていくのが組立の仕事。
1. 正弦合わせ
それぞれの左辺の正弦数と組合せ可能な右辺を配置すると次のようになる：
── １個 ── 奇数 ── ── １個 ── 奇数 ── ── ０個 ── 偶数 ── ── ２個 ── 偶数 ──
右辺がのみ、またはのみになるのが特徴。正弦奇偶則のため、のように混ざった加算は現われない。
2. 符号合わせ
続けて、右辺の符号を決める。ここでは簡単にの符号を反転させ、値の変化を調べる。の符号を反転させると、左辺はは符号が消されて変化無し、は通され符号反転。一方、右辺は第１項と第２項が入れ替わり、「」なら変化無し、「」なら符号反転。
── 変化無し ── ── 符号反転 ── ── 変化無し ── ── 符号反転 ──
3. 値域合わせ
左辺は三角関数の積のため値域は、右辺は三角関数の和のため値域はしたがって、値域を合わせるには、右辺を倍すれば良い。
以上より、積和公式の４式は次のようになる。
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
![$$ \iro[ak]-\! $$](./eq/eq-ni-77b8ae092763a7026793d8dd0665b912.png "\iro[ak]-\!")
![$$ \iro[ao]+ $$](./eq/eq-ni-5ec5c519cbfcc279693f8847ee14e4d5.png "\iro[ao]+")
![$$ \iro[ak]- $$](./eq/eq-ni-ca39963766973534592b7618bfd002ec.png "\iro[ak]-")
![$$ \iro[md]{\ffd12} $$](./eq/eq-ni-25b8861bdc65f61f4abe7939341cdeac.png "\iro[md]{\ffd12}")
