Maths Olympiad Prep

Library / Czech-Polish-Slovak Mathematical Match competition problems /3 of 6

Czech-Polish-Slovak Mathematical Match competition problems

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=BK∩CLE = 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 O≠EO \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{∘}−∠DBE−∠DCE−∠BDC=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=AD∩BCP = AD \cap BC, then we have
aligned DOE = BOE - BOD = 180 - BCE - 2 BAD = 180 - DCE - BAD = 180 - - BAD = APB = EFD, aligned\text{aligned DOE = BOE - BOD = 180 - BCE - 2 BAD = 180 - DCE - BAD = 180 - - BAD = APB = EFD, 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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.