回転行列の成分表示を求めるために極表示と加法定理を使うんだろ、どうせw