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 3 of 4: Match two right triangles using the cyclic angle condition
In plain words

Two right triangles with the same short leg and the same acute angle are forced to be identical in shape and size — like two identical set-squares, one just rotated into place.

△OLX≅△OMC ⟹ LX=MC\triangle OLX \cong \triangle OMC \ \Longrightarrow\ LX = MC
Detailed analysis

Both △OLX\triangle OLX and △OMC\triangle OMC are right triangles at LL and MM (radius meets tangent at 90∘90^\circ), with equal legs OL=OMOL=OM (radii). Since AX=AOAX=AO, triangle OAXOAX is isosceles, giving ∠OXL=90∘−∠A2=180∘−∠A2\angle OXL = 90^\circ-\tfrac{\angle A}{2}=\tfrac{180^\circ-\angle A}{2}; because ABCDABCD is cyclic, ∠A+∠C=180∘\angle A+\angle C=180^\circ, so this equals ∠C2\tfrac{\angle C}{2}. On the other side, OCOC bisects ∠C\angle C because CM,CNCM,CN are the two tangents from CC, so ∠OCM=∠C2\angle OCM=\tfrac{\angle C}{2} too. Matching angle and leg makes △OLX≅△OMC\triangle OLX\cong\triangle OMC, hence LX=MCLX=MC.