MathLabs

第2問

三角形 ABCABC において、辺 ABAB 上に点 DD が存在して CDCD が ADAD と DBDB の相乗平均になるのは、sin⁡Asin⁡B≤sin⁡2C2\sin A \sin B \le \sin^2 \frac{C}{2} が成り立つとき、かつそのときに限ることを証明せよ。
ステップ 3/6: DD の存在は2つの高さの比較に帰着する
M=midpoint of arc AB not containing C,d(L,AB)≤d(M,AB) ⟺ L∩w≠∅M=\text{midpoint of arc }AB\text{ not containing }C,\quad d(L,AB)\le d(M,AB)\ \Longleftrightarrow\ L\cap w\ne\varnothing
詳しい解説

CC とは直線 ABAB の反対側にある外接円 ww 上の点のうち、直線 ABAB から最も遠いのは、その弧の中点 MM(すなわち ABAB の垂直二等分線が円と交わる点)である。したがって直線 LL が ww と交わるのは、LL の ABAB からの距離が MM の ABAB からの距離を超えない場合、すなわち CF≤MNCF\le MN(NN は MM から ABAB への垂線の足)のときに限る。手順2により、線分 ABAB 上に条件を満たす点 DD が存在するのは、ちょうどこの直線が ww と交わるときであり、そのとき EE を L∩wL\cap w の点として取り、D=CE∩ABD=CE\cap AB とすればよい。