画像
という公式が得られます。この式で −β → β とおくと

画像
となります。また (2) と (3) から

画像
　両辺を cosαsinβ で割ると

画像
が得られます。それでは三角関数の加法定理をまとめておきましょ〜。

画像
　これで今までより色々な三角関数の値が計算できるのね〜。
　最後にひとつだけ試してみましょ〜。sin75°の値を求めますよ。