Maths Olympiad Prep

Library / 6-th Czech-Slovak Match /5 of 6

6-th Czech-Slovak Match

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∣+∣CD∣−∣BC∣2=∣BD∣+∣CD∣+∣BC∣2∣QE∣=∣QC∣+∣CE∣=∣AC∣+∣BD∣+∣CD∣−∣BC∣2=∣BD∣+∣CD∣+∣BC∣2 \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=2∠AQP=∠AQC+∠CAQ=180∘−∠QCA=∠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+CD−AC)/2CK = (AD+CD-AC)/2. By a similar computation in triangle △BCD\triangle BCD, we see that CE=(BC+CD−BD)/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=90∘−12∠GCA=90∘−12∠GFA \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

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.