いい証明を思いついた②〈三角関数の合成〉

三角関数の合成は、急に尋ねられると、戸惑う。

「あれ、どんな式だったかな……？」

（カキカキ……）

「そうそう、こんな感じ」

でもこれ、どうやって証明するんだっけ？

この式は、右辺に加法定理を使うと証明することができる。tanα = b/a を“信じて”、cosαとsinαを求めて代入すれば、左辺と等しくなることが確認できる。

しかし、この証明は合成後の関数から逆戻りするスタイルなので