>>397
一方で「（三角関数の）加法定理の証明」は、大学数学ではさしたる意味がない

というのは「加法定理」と呼ばれるのは、三角関数を幾何的に定義しているからであって
仮に、三角関数を、絶対値１の複素数を底とする指数関数の実部と虚部、として定義するなら、
加法定理の公式は当たり前になってしまう

これは便法であり誤魔化しなのか？　実はそうではない
大学以降の数学では、そういう形でしか三角関数を使わない
高校までの初等幾何なんて大学では出てくる幕もない

先の東大の問題は大学数学に直接つながらないという意味では「トラップ」でしかない
論理が大事だという意味はわかるのだが・・・