Olympiad Maths Prep

Library / /5 of 6

Geometry Difficulty 6.1 National olympiad Prove it Czech Republic

Let ABCDABCD be an equilateral trapezoid with sides ABAB and CDCD. The incircle of the triangle BCDBCD touches CDCD at EE. Point FF is chosen on the bisector of the angle DAC\angle DAC such that the lines EFEF and CDCD are perpendicular. The circumcircle of the triangle ACFACF intersects the line CDCD again at GG. Prove that the triangle AFGAFG is isosceles.

Solution

Figure 1
Let us show that FA=FG|FA| = |FG|. We will proceed: from behind. On the extension of CDCD we take the point PP such that DP=DA|DP| = |DA| and similarly on extension of DCDC we take the point QQ such that CQ=CA|CQ| = |CA|. Then, using well known properties of the incircle, we have
PE=PD+DE=DA+BD+CDBC2=BD+CD+BC2QE=QC+CE=AC+BD+CDBC2=BD+CD+BC2 \begin{aligned} |PE| &= |PD| + |DE| = |DA| + \frac{|BD| + |CD| - |BC|}{2} = \frac{|BD| + |CD| + |BC|}{2} \\ |QE| &= |QC| + |CE| = |AC| + \frac{|BD| + |CD| - |BC|}{2} = \frac{|BD| + |CD| + |BC|}{2} \end{aligned}
This means that the line EFEF is the axis of the segment PQPQ. In particular, it means that the circumcenter OO of triangle APQ\triangle APQ lies on the line EFEF as well as on the axes of segments APAP and AQAQ. This means that
DAO=OPD=CQO=OAC \angle DAO = \angle OPD = \angle CQO = \angle OAC
So points OO and FF coincide. Moreover
AOP=2AQP=AQC+CAQ=180QCA=ACP \angle AOP = 2\angle AQP = \angle AQC + \angle CAQ = 180^{\circ} - \angle QCA = \angle ACP
Therefore the points AA, CC, FF, PP are concyclic. Thus, necessarily P=GP = G, and thus FP=FG=FA|FP| = |FG| = |FA|. We have proved what we need. \Box

Figure 2
We will show that FA=FGFA = FG. Let HH be the center of the excircle of triangle ACD\triangle ACD opposite vertex AA. Then HH lies on the angle bisector AFAF. Let KK be the point where this excircle touches CDCD. By a standard computation using equal tangents, we see that CK=(AD+CDAC)/2CK = (AD+CD-AC)/2. By a similar computation in triangle BCD\triangle BCD, we see that CE=(BC+CDBD)/2=CKCE = (BC+CD-BD)/2 = CK. Therefore E=KE = K and F=HF = H.
Since FF is now known to be an excenter, we have that FCFC is the external angle bisector of DCA=GCA\angle DCA = \angle GCA. Therefore
GAF=GCF=9012GCA=9012GFA \angle GAF = \angle GCF = 90^\circ - \frac{1}{2}\angle GCA = 90^\circ - \frac{1}{2}\angle GFA
We conclude that the triangle GAF\triangle GAF is isosceles with FA=FGFA = FG, as desired. \square

Looking for a route rather than 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.