>回転行列も加法定理から導く
導いてみなさい