Maths Olympiad Prep

Library / /34 of 44

Geometry Difficulty 6.3 National Olympiad Prove it Slovenia

Let K\mathcal{K} be the circumcircle of the acute triangle ABCABC with AB<AC|AB| < |AC|. Let pp be the reflection of the line BCBC over the line ABAB. The line pp intersects the circle K\mathcal{K} at BB and EE. The tangent to K\mathcal{K} at AA intersects the line pp at DD. Let FF be the reflection of the point DD over the point AA. The line CFCF intersects the circle K\mathcal{K} at CC and GG. Prove that the lines CECE and GBGB are parallel.

Solution

By the tangent-chord angle theorem we have CAF=CBA\angle CAF = \angle CBA. Since pp is the reflection of the line BCBC over the line ABAB, we have CBA=ABD\angle CBA = \angle ABD. The points A,B,E,CA, B, E, C are concyclic, so ABD=ACE\angle ABD = \angle ACE. Hence, CAF=ACE\angle CAF = \angle ACE, and the line CECE is parallel to the line FDFD.

We would like to show that the line GBGB is also parallel to FDFD. Using the tangent-chord angle theorem one more time we see that DAB=ACB\angle DAB = \angle ACB. Also, CBA=ABD\angle CBA = \angle ABD, so the triangles BADBAD and BCABCA are similar, having two congruent angles. This implies that ADAB=CACB\frac{|AD|}{|AB|} = \frac{|CA|}{|CB|}. Since FF is the reflection of the point DD over the point AA, we have AD=FA|AD| = |FA|. So, FAAB=CACB\frac{|FA|}{|AB|} = \frac{|CA|}{|CB|}, or FACA=ABCB\frac{|FA|}{|CA|} = \frac{|AB|}{|CB|}. We also have CAF=CBA\angle CAF = \angle CBA, so the triangles FACFAC and ABCABC are similar as well. This implies that AFC=BAC=BGC\angle AFC = \angle BAC = \angle BGC and the line GBGB is parallel to FDFD.

Figure 1

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 reproduced verbatim; metadata (topic, difficulty) added by this project.