☆ ヤドカリの 気ままな数学 ☆

なるほど。少し直感的ではありますが，[解答1]の幾何学的考察で十分そうですね。 [解答2]は，それをもう少し式のレベルで詰めたものだと思って下さい。 なお，[解答2]で，円の中心 O が □ABCD の外部にある場合を， 幾何学的考察によって排除していますが， 少し技巧的ですが，次のようにすれば，実はこれは不要です。 そうしておけば，さらに図に頼らない記述になります。

SECRET