Problem 4
Let be a convex quadrilateral with . Suppose that an interior point has distance from the line and satisfies and . Prove that .
Step 5 of 5: Return from equality to the inequality
In plain words
Any non-extremal circle is smaller; a smaller height makes its reciprocal square root larger.
Detailed analysis
The extremal configuration maximizes for the fixed lengths ; every admissible quadrilateral has . Since decreases for positive x, the equality from Step 4 at becomes , as required.