はじめに
三角関数の加法定理を忘れたと仮定します。
どうやって、加法定理を導けばよいでしょうか?
私なりの方法を記します。
まず、回転行列を導く
まず、回転行列を導いてみます。
点 と点 を 回転することで、回転行列を導くことができます。
点 を 回転すると、 となるので、回転行列の 第 列がわかります。
点 を 回転すると、 となるので、回転行列の 第 列がわかります。
式 より、回転行列が導けました。
次に、 を導く
回転行列を使って、 を求めることができます。
点 を 回転すると、 となるので、以下の式が成り立ちます。
式 より、 が導けました。
(見慣れた加法定理とは見た目が違いますが。)