>>124
角度θの回転行列は
cosθ　ーsinθ
sinθ　cosθ

と表せる。これから
加法定理、倍角と半角の公式は直ぐ出る。

高一の範囲ってどんなのか覚えてないよ、
正直なところ。