Maths Olympiad Prep

Library / /10 of 21

Geometry Difficulty 6.4 National olympiad Prove it Czech-Polish-Slovak Mathematical Match

Let ω\omega be the circumcircle of an acute-angled triangle ABCABC. Point DD lies on the arc BCBC of ω\omega not containing point AA. Point EE lies in the interior of the triangle ABCABC, does not lie on the line ADAD, and satisfies DBE=ACB\angle DBE = \angle ACB and DCE=ABC\angle DCE = \angle ABC. Let FF be a point on the line ADAD such that lines EFEF and BCBC are parallel, and let GG be a point on ω\omega different from AA such that AF=FGAF = FG. Prove that points D,E,F,GD, E, F, G lie on one circle.

(Slovakia)

Solution

Denote α=CAB\alpha = \angle CAB, β=ABC\beta = \angle ABC, and γ=BCA\gamma = \angle BCA. Let KK and LL be the second intersections of lines BEBE and CECE with ω\omega, respectively, different from BB and CC. Observe that
BAK=BAD+DAK=BAD+DBE=BAD+γ=ACD \angle BAK = \angle BAD + \angle DAK = \angle BAD + \angle DBE = \angle BAD + \gamma = \angle ACD
and symmetrically CAL=ABD\angle CAL = \angle ABD. It follows that arcs ADAD, BKBK, and CLCL of ω\omega have equal lengths, so chords ADAD, BKBK, and CLCL also have equal lengths. In particular, since E=BKCLE = BK \cap CL does not lie on ADAD, these chords are not diameters. It follows that if OO is the center of ω\omega, then OO does not lie on any of the chords ADAD, BKBK, CLCL, and in particular OEO \ne E. Moreover, OO and EE lie on the same side of line ADAD. Suppose without loss of generality that OO and EE lie in triangle ACDACD, for the second case is symmetric.

Observe that
BEC=360{}DBEDCEBDC=360{}βγ(180{}α)=2α=BOC, \angle BEC = 360^\{\circ\} - \angle DBE - \angle DCE - \angle BDC = 360^\{\circ\} - \beta - \gamma - (180^\{\circ\} - \alpha) = 2\alpha = \angle BOC,
which implies that B,O,E,CB, O, E, C are concyclic. Further, if we denote P=ADBCP = AD \cap BC, then we have
\begin\{aligned\} \angle DOE &= \angle BOE - \angle BOD = 180^\{\circ\} - \angle BCE - 2\angle BAD \\ &= 180^\{\circ\} - \angle DCE - \angle BAD = 180^\{\circ\} - \beta - \angle BAD = \angle APB = \angle EFD, \end\{aligned\}
which implies that D,F,O,ED, F, O, E are also concyclic.

Consider triangles AFOAFO and GFOGFO. We have AF=FGAF = FG by assumption, also OA=OGOA = OG since GG lies on ω\omega, hence these two triangles are congruent. In particular FAO=FGO\angle FAO = \angle FGO. Triangle AODAOD is isosceles, hence FAO=FDO\angle FAO = \angle FDO. This implies that F,O,G,DF, O, G, D are concyclic as well.

Since points F,O,DF, O, D are pairwise distinct, this implies that all five points D,F,O,E,GD, F, O, E, G lie on the circumference of triangle FODFOD, so in particular D,E,F,GD, E, F, G are concyclic. \square

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.