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 4 of 4: Combine both sides to finish
In plain words

Once both halves of ABAB have been rewritten in terms of the same four tangent pieces that make up ADAD and BCBC, the two sides of the equation are literally built from identical building blocks.

AB=(AL+MC)+(BN+MD)=AD+BCAB = (AL+MC)+(BN+MD) = AD+BC
Detailed analysis

From AX=AL+LXAX=AL+LX and LX=MCLX=MC we get AO=AL+MCAO=AL+MC. A symmetric construction at vertex BB (swap A↔BA\leftrightarrow B, D↔CD\leftrightarrow C) gives BO=BN+MDBO=BN+MD. Adding, AB=AO+OB=AL+MC+BN+MDAB=AO+OB=AL+MC+BN+MD. Using the equal-tangent facts MC=CNMC=CN and MD=DLMD=DL from Step 1, this becomes AB=(AL+LD)+(BN+NC)=AD+BCAB=(AL+LD)+(BN+NC)=AD+BC.