Problem 4
Let be a convex quadrilateral with . Suppose that an interior point has distance from the line and satisfies and . Prove that .
Step 4 of 5: Add the tangent segments
In plain words
The three adjacent tangent lengths add exactly, so reciprocal square roots add too.
Detailed analysis
The points occur in order on the common tangent, so . Taking square roots in Step 3 gives . Divide by to obtain in the extremal case.