非极值圆更小;高度越小,倒数平方根越大。
极值构型在固定 AD,BCAD,BCAD,BC 时使 hhh 最大,所以任意可行四边形都有 h≤hmaxh\le h_{\max}h≤hmax。由于 x↦1/xx\mapsto1/\sqrt{x}x↦1/x 在正数上递减,第四步在 hmaxh_{\max}hmax 处的等式变为 1h≥1AD+1BC\frac1{\sqrt h}\ge\frac1{\sqrt{AD}}+\frac1{\sqrt{BC}}h1≥AD1+BC1,即所求。