Maths Olympiad Prep

Library / /463 of 520

Geometry Difficulty 5.9 AIME, harder Prove it

Question 4 Let Γ\Gamma be the circumcircle of acute-angled ABC\triangle ABC, and let points DD and EE lie on segments ABAB and ACAC, respectively, such that AD=AEAD = AE. The perpendicular bisectors of segments BDBD and CECE intersect the minor arcs \overparenAB\overparen{AB} and \overparenAC\overparen{AC} of circle Γ\Gamma at points FF and GG, respectively. Prove that line DEDE is parallel to or coincides with line FGFG. [2]{ }^{[2]}
(59th IMO)

Solution

Proof: Let the perpendicular bisectors of BDBD and CECE intersect BDBD and CECE at points MM and NN, respectively, and intersect the circle Γ\Gamma at the second points JJ and II. Extend JDJD and IEIE to intersect the circle at points XX and YY. Draw the auxiliary lines as shown in Figure 5.
 By BF=FD,BJ=JD,FXD=180FBJ=180FDJ=FDX, \begin{array}{l} \text { By } B F=F D, B J=J D, \\ \angle F X D=180^{\circ}-\angle F B J \\ =180^{\circ}-\angle F D J=\angle F D X, \end{array}

we get FD=FXF D=F X.
Since BDJ\triangle B D J is an isosceles triangle, then AXDJBD\triangle A X D \backsim \triangle J B D.
Thus, AD=AXA D=A X.
Similarly, AE=AYA E=A Y.
Therefore, points XX, EE, DD, and YY lie on a circle with AA as the center and ADAD as the radius, so
EDY=12EAY=YJG. Then DEY=180DEI=180DXY=YGJ. \begin{array}{l} \angle E D Y=\frac{1}{2} \angle E A Y=\angle Y J G . \\ \text { Then } \angle D E Y=180^{\circ}-\angle D E I \\ =180^{\circ}-\angle D X Y=\angle Y G J . \end{array}

Hence, GEYJGY\triangle G E Y \backsim \triangle J G Y
JFG=JYG=DYE=12DAE=DAZF,M,Z,A are concyclic FGAZ. \begin{aligned} \Rightarrow & \angle J F G=\angle J Y G=\angle D Y E \\ & =\frac{1}{2} \angle D A E=\angle D A Z \\ \Rightarrow & F, M, Z, A \text { are concyclic } \\ \Rightarrow & F G \perp A Z . \end{aligned}

Since AZDEA Z \perp D E, we have FGDEF G \parallel D E.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.