Maths Olympiad Prep

Library / /234 of 520

Geometry Difficulty 6.4 National olympiad Prove it

Let ABCA B C be an acute-angled triangle with circumcircle Γ\Gamma. Let DD and EE be points on the segments ABA B and ACA C, respectively, such that AD=AEA D=A E. The perpendicular bisectors of the segments BDB D and CEC E intersect the small arcs \overparenAB\overparen{A B} and \overparenAC\overparen{A C} at points FF and GG respectively. Prove that DEFGD E \| F G. (Greece)

Solution

In the sequel, all the considered arcs are small arcs. Let PP be the midpoint of the arc\overparenBC\operatorname{arc} \overparen{B C}. Then APA P is the bisector of BAC\angle B A C, hence, in the isosceles triangle ADE,APDEA D E, A P \perp D E. So, the statement of the problem is equivalent to APFGA P \perp F G. In order to prove this, let KK be the second intersection of Γ\Gamma with FDF D. Then the triangle FBDF B D is isosceles, therefore
AKF=ABF=FDB=ADK \angle A K F=\angle A B F=\angle F D B=\angle A D K
yielding AK=ADA K=A D. In the same way, denoting by LL the second intersection of Γ\Gamma with GEG E, we get AL=AEA L=A E. This shows that AK=ALA K=A L.
!
Now FBD=FDB\angle F B D=\angle F D B gives \overparenAF=\overparenBF+\overparenAK=\overparenBF+\overparenAL\overparen{A F}=\overparen{B F}+\overparen{A K}=\overparen{B F}+\overparen{A L}, hence \overparenBF=\overparenLF\overparen{B F}=\overparen{L F}. In a similar way, we get CG^=GK^\widehat{C G}=\widehat{G K}. This yields
(AP,FG)=\overparenAF+\overparenPG2=\overparenAL+\overparenLF+\overparenPC+\overparenCG2=\overparenKL+\overparenLB+\overparenBC+\overparenCK4=90. \angle(A P, F G)=\frac{\overparen{A F}+\overparen{P G}}{2}=\frac{\overparen{A L}+\overparen{L F}+\overparen{P C}+\overparen{C G}}{2}=\frac{\overparen{K L}+\overparen{L B}+\overparen{B C}+\overparen{C K}}{4}=90^{\circ} .

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.