MathLabs

第4题

设凸四边形 ABCDABCD 满足 AB=AD+BCAB=AD+BC。设内部点 PP 到直线 CDCD 的距离为 hh,且 AP=h+ADAP=h+AD、BP=h+BCBP=h+BC。证明 1h≥1AD+1BC\frac1{\sqrt h}\ge\frac1{\sqrt{AD}}+\frac1{\sqrt{BC}}.
第 5/5 步:从等式回到不等式
通俗地说

非极值圆更小;高度越小,倒数平方根越大。

h≤hmax⁡ ⟹ 1h≥1AD+1BCh\le h_{\max}\ \Longrightarrow\ \frac1{\sqrt h}\ge\frac1{\sqrt{AD}}+\frac1{\sqrt{BC}}
详细分析

极值构型在固定 AD,BCAD,BC 时使 hh 最大,所以任意可行四边形都有 h≤hmax⁡h\le h_{\max}。由于 x↦1/xx\mapsto1/\sqrt{x} 在正数上递减,第四步在 hmax⁡h_{\max} 处的等式变为 1h≥1AD+1BC\frac1{\sqrt h}\ge\frac1{\sqrt{AD}}+\frac1{\sqrt{BC}},即所求。