Maths Olympiad Prep

Library / /3 of 24

Geometry Difficulty 7.9 National olympiad, round 2 Prove it Romania

Let ABCDABCD be a convex quadrilateral with the property that the circles having the segments ABAB and CDCD as diameters are tangent externally at a point MM, different from the intersection point of the diagonals of the quadrilateral.
Let KK be the second point of intersection of the circumcircle of triangle AMCAMC with the line determined by MM and the midpoint of segment ABAB, and let LL be the second point of intersection of the circumcircle of triangle BMDBMD with the line determined by MM and the midpoint of segment CDCD.
Prove that MKML=ABCD|MK - ML| = |AB - CD|.

Figure 1

Solution

Let FF and EE be the midpoints of chords MLML and MKMK, respectively. Then O3FMLO_3F \perp ML and O4EMKO_4E \perp MK. Since O4O1O2O3O_4O_1O_2O_3 is cyclic with O4O2O3=O4O1O3=90\angle O_4O_2O_3 = \angle O_4O_1O_3 = 90^\circ, the midpoint XX of segment O3O4O_3O_4 is the center of the circumscribed circle of O4O1O2O3O_4O_1O_2O_3. Moreover, if TT denotes the foot of the perpendicular from XX onto O1O2O_1O_2, then TO1=TO2TO_1 = TO_2.

In the right trapezoid O4EFO3O_4EFO_3, since XX is the midpoint of O3O4O_3O_4 and XTEFXT \perp EF, it follows that XTEO4FO3XT \parallel EO_4 \parallel FO_3, so XTXT is a midline and therefore ET=TFET = TF.

Consequently, using the last two equalities we get
TETO1=TFTO2    EO1=FO2. TE - TO_1 = TF - TO_2 \implies EO_1 = FO_2.
Thus, MKML=2ME2MF=2MEMF=2EO1+O1MMO2O2F=2O1M2O2M|MK - ML| = |2ME - 2MF| = 2|ME - MF| = 2|EO_1 + O_1M - MO_2 - O_2F| = |2O_1M - 2O_2M|.
But AB=2O1MAB = 2O_1M, CD=2O2MCD = 2O_2M, so substituting into the last equality we obtain MKML=ABCD|MK - ML| = |AB - CD|, which was to be proven.

Want a route through all this instead of 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.