Maths Olympiad Prep

Library / /336 of 520

Geometry Difficulty 6.7 National olympiad Prove it

Let ABCA B C be an acute-angled triangle with AB<AC<BCA B < A C < B C and let DD be an arbitrary point on the extension of BCB C beyond CC. The circle γ(A,AD)\gamma(A, A D) intersects the rays ACA C, AB,CBA B, C B at points E,F,GE, F, G, respectively. The circumcircle ω1\omega_{1} of triangle AFGA F G intersects the lines FE,BC,GE,DFF E, B C, G E, D F again at points J,H,H,JJ, H, H^{\prime}, J^{\prime}. The circumcircle ω2\omega_{2} of triangle ADEA D E intersects the lines FE,BC,GE,DFF E, B C, G E, D F again at points I,K,K,II, K, K^{\prime}, I^{\prime}. Prove that the quadrilaterals HIJKH I J K and HIJKH^{\prime} I^{\prime} J^{\prime} K^{\prime} are cyclic and that their circumcenters coincide.
(Greece)

Solution

From \varangleFAH=\varangleFGH=\varangleFGD=12\varangleFAD=90\varangleAFD\varangle F A H=\varangle F G H=\varangle F G D=\frac{1}{2} \varangle F A D=90^{\circ}-\varangle A F D we deduce that AHA H \perp DFD F. Similarly, \varangleDAI=180\varangleDEI=180\varangleDEF=\varangleDGF=12\varangleDAF\varangle D A I=180^{\circ}-\varangle D E I=180^{\circ}-\varangle D E F=\varangle D G F=\frac{1}{2} \varangle D A F, so we also have AIDFA I \perp D F. Therefore, points A,H,IA, H, I are collinear. Analogously, we find that the triples of points (A,K,J),(A,H,I)(A, K, J),\left(A, H^{\prime}, I^{\prime}\right) and (A,K,J)\left(A, K^{\prime}, J^{\prime}\right) are collinear.
Quadrilateral HIJKH I J K is cyclic because \varangleAIK=\varangleADK=\varangleAGH=\varangleAJH\varangle A I K=\varangle A D K=\varangle A G H=\varangle A J H. Analogously, quadrilateral HIJKH^{\prime} I^{\prime} J^{\prime} K^{\prime} is cyclic.
Finally, since \varangleHJH=\varangleHGH=\varangleEGD=\varangleEFD=\varangleJFJ=\varangleJHJ\varangle H^{\prime} J H=\varangle H^{\prime} G H=\varangle E G D=\varangle E F D=\varangle J F J^{\prime}=\varangle J H J^{\prime}, quadrilateral HJJHH J J^{\prime} H^{\prime} is an isosceles trapezoid with HJHJH J \| H^{\prime} J^{\prime}, so the perpendicular bisectors of HJH J and HJH^{\prime} J^{\prime} coincide. Analogously, the perpendicular bisectors of IKI K and IKI^{\prime} K^{\prime} coincide. Therefore the circumcenters of HIJKH I J K and HIJKH^{\prime} I^{\prime} J^{\prime} K^{\prime} coincide.
!

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.