�@回転行列を導き出せ。
�A回転行列から加法定理を導け。