加法定理と回転行列

回転行列から三角関数の公式を導出します。

加法定理と回転行列

高校数学でお馴染みの三角関数の加法定理。今回は行列のちょっとした応用として行列の積を用いることによって三角関数の加法定理を導きたいと思います。

平面 において点を 回転させる写像は回転行列

で表されます。

よって、点を 回転させる行列は

となります。

一方、 回転させることは 回転させてから 回転させることと同じです。 そしてこのことは、合成写像、すなわち行列の積で表されます。よって

と表されます。

したがって

となりますが、ここで右辺を計算すると

となります。よって

となります。

したがってなんと、三角関数の加法定理

が導かれました。∎