Olympiad Maths Prep

Library / /21 of 30

Geometry Difficulty 6.6 National olympiad Prove it Belarus

Given a trapezium ABCDABCD with BCADBC \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 SOXYSO \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=KMKL=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 SXSA=SLSM=SYSDSX \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.5SOD\angle SAD = 0.5\angle SOD. Therefore,
SYX+YSO=SAD+YSO=0.5SOD+YSO==0.5(180OSDODS)+YSO=[OSD=ODS]==0.5(1802ODS)+YSO=90+(YSOODS)=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 SOXYSO \perp XY.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.