加法定理

加法定理とは、三角関数において、二つの角の和や差の正弦、余弦、正接を、それぞれの角の三角関数を用いて表す公式群です。数学の基礎知識として、信号処理やグラフィックス描画で利用されます。

具体的には、サインやコサインの和や差を、個別のサインとコサインの積の和や差に展開します。これにより、複雑な波形を分解したり、回転行列を用いて座標変換を行ったりすることが数学的に可能になります。

暗記の対象というよりは、プログラムで数式を実装する際の変形手段として使います。試験では、直接的に公式の証明を問うよりも、三角関数の性質を利用した計算問題の中で、応用力が試される場面が多いです。