MathLabs

Problem 1

A circle has its center on the side ABAB of the cyclic quadrilateral ABCDABCD. The other three sides are tangent to the circle. Prove that AD+BC=ABAD + BC = AB.
Step 2 of 4: Build an auxiliary point on line ADAD
In plain words

This is the classic olympiad trick of 'copying' a length onto a more convenient line so that two separated pieces of the figure can finally be compared side by side.

AX=AO,X∈line ADAX = AO,\qquad X\in\text{line } AD
Detailed analysis

Since OO lies on ABAB, mark a point XX on line ADAD, on the same side of AA as DD, with AX=AOAX=AO. This turns the length AOAO (which sits on side ABAB) into a length measured along side ADAD, where the tangent point LL already lives — setting up a direct comparison with triangle OMCOMC.