>>494
もっと初等的にはできないでしょうか？
三角関数などを使わず初等幾何的な考察のように。
それとも>>482は意外と非自明だったのでしょうか。