すいません。
>>753は、81年高校卒で、大学は数学科に行きたかったのですが、病気やら経済的事情やらで結局行けなかった私が書きました。
よく考えると、当時の数研出版教科書による回転行列を導く幾何的方法で、
しかし回転行列を経由せずに加法定理を導けますね。
これなら文句なしに循環ではありませんね。
お騒がせしてすいませんでした。