Maths Olympiad Prep

Library / Belarusian Mathematical Olympiad /158 of 208

Belarusian Mathematical Olympiad

Geometry Difficulty 6.6 National Olympiad Prove it Belarus

Given a trapezium ABCDABCD with BC∥ADBC \parallel AD, AD>BCAD > BC. Let MM be the point of intersection of ACAC and BDBD. A circle Γ1\Gamma_1 passes through MM and touches ADAD at AA. A circle Γ2\Gamma_2 passes through MM and touches ADAD at DD. Let SS be the point of intersection of the lines ABAB and DCDC, XX be the point of intersection of the circle Γ1\Gamma_1 and the line ASAS, YY be the point of intersection of the circle Γ2\Gamma_2 and the line DSDS, OO be the circumcenter of the triangle ASDASD.
Prove that SO⊥XYSO \perp XY.

Solution

Draw the line LMLM, where LL is the second (different from MM) point of intersection of Γ1\Gamma_1 and Γ2\Gamma_2. (If Γ1\Gamma_1 touches Γ2\Gamma_2 at MM, then LMLM is the common tangent of these circles at MM.) Let KK be the point of intersection of the lines LMLM and ADAD. By the tangent-secant theorem, we have KA2=KM⋅KL=KD2KA^2 = KM \cdot KL = KD^2 (or KA2=KM2=KD2KA^2 = KM^2 = KD^2) ⇒\Rightarrow KA=KDKA = KD.

Figure 1

It is well-known fact that the midpoint of the base, of the trapezium, KK, the point of intersection of the trapezium diagonals, MM, and the point of intersection of the extensions of its lateral sides, SS, lie on the same line. Then SX⋅SA=SL⋅SM=SY⋅SDSX \cdot SA = SL \cdot SM = SY \cdot SD. Hence
SX:SY=SD:SASX : SY = SD : SA, which gives the similarity of the triangles SXYSXY and SDASDA. Thus ∠SYX=∠SAD\angle SYX = \angle SAD. The angles SODSOD and SADSAD are respectively a central and an inscribed angle of the same circle, and both of them are subtended by the same chord SDSD. Hence ∠SAD=0.5∠SOD\angle SAD = 0.5\angle SOD. Therefore,
∠SYX+∠YSO=∠SAD+∠YSO=0.5∠SOD+∠YSO==0.5(180∘−∠OSD−∠ODS)+∠YSO=[∠OSD=∠ODS]==0.5(180∘−2∠ODS)+∠YSO=90∘+(∠YSO−∠ODS)=90∘, \begin{aligned} \angle SYX + \angle YSO &= \angle SAD + \angle YSO = 0.5\angle SOD + \angle YSO = \\ &= 0.5(180^\circ - \angle OSD - \angle ODS) + \angle YSO = [\angle OSD = \angle ODS] = \\ &= 0.5(180^\circ - 2\angle ODS) + \angle YSO = 90^\circ + (\angle YSO - \angle ODS) = 90^\circ, \end{aligned}
which implies SO⊥XYSO \perp XY.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.