三角関数を定義して加法定理を証明する。 これは高校数学でありながら深淵な数学をのぞかせてくれました。 (2)の教科書的方法はさておき、それ以外の方法を考察してみましょう。 (3)回転行列の方法 複素数を使う方法でも同じですが、循環論法になりそうな感…