加法定理

概要

任意の角 に対して以下の公式が成り立つことが加法定理として知られている。

上の式を用いると、 の加法定理も求めることができ、

となる（ から導出）。覚え方については、コスモスが咲く可愛いらしいものから、ど下ネタまで色々あるので、ググって自分に合うものを探そう。

例

証明

ここでは、 と の加法定理を証明する。

※ 結構アクロバティックな証明なので、動画でわかりやすく学びたい！という方は、以下の動画を参照しよう。

• 古賀真輝さんの証明動画（背景知識の証明も）
• ガチノビさんの証明動画（ハイレベルな証明方法も）
• 林俊介さんの証明動画（簡潔）

■ まず、単位円上で、角 の動径 、角 の動径 をとる。動径は、原点を中心としてクルクル回る線だと思っておこう。

このとき、 と の間の距離について、2点間の距離の公式から、

と表せる。ただし、角度が同じであれば が成り立つという三角関数の性質を使った。

一方、 を原点周りに だけ回転させて、 を作ってみる。

そうすると、点 や点 の座標は上のようになり、この2点の間の距離について考えると、同じく2点間の距離の公式から、

が得られる。

ここでよくよく考えてみると、 と はただ回転させただけなので、もちろん と の長さは等しいはずである。

よって、 より、

が成り立つ。これで、 の引き算バージョンの式の証明が完了。

■ の に を代入すると、

となって、

であることを用いると（この性質については、こちらの辞書を確認）、

となり、 の足し算バージョンの式を示すことができる。

■ また、 の に を代入すると、

となって、

であることを用いると（この性質については、こちらの辞書を確認）、

となり、 の引き算バージョンの式を示すことができる。

■ そしてさらにこの の に を代入すると、

となって、上と同様に

を用いることで、

となって、 の足し算バージョンの式を示すことができる。これでめでたく全て示される。

補足

• 加法定理の証明は、1999年に東京大学の入試問題となったことでも有名
• 符号がわからなくなったときは、例えば などの値がわかる数を代入し、合っているか確認することができる