>>755
回転行列は自分で導けるじゃん。
今は知らんが昔の教科書には導き方も載ってた。その教科書ではその回転行列から加法定理も導き出していた。
>>753は循環論法でも何でもない。