コスモス咲いた？

倍角公式も加法定理も回転行列を掛け算しただけ。