Maths Olympiad Prep

Track / Stage 8 / 9 of 180 #2349 of 2604

Problem 2349

IMO Shortlist mid-range; USAMO P2/P5
Geometry Difficulty 8.0 Prove it China National Team Selection Test · China

In triangle ABCABC, we have AB>ACAB > AC. The incircle ω\omega touches BCBC at EE, and AEAE intersects ω\omega at DD. Choose a point FF on AEAE (FF is different from EE), such that CE=CFCE = CF. Let GG be the intersection point of CFCF and BDBD. Prove that CF=FGCF = FG.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Proof Referring to the figure, draw a line from DD, tangent to ω\omega, and the line intersects ABAB, ACAC, BCBC at points MM, NN, KK respectively.
Figure 1
Since
∠KDE=∠AEK=∠EFC, \angle KDE = \angle AEK = \angle EFC,
we know MK∥CGMK \parallel CG.
By Newton's theorem, the lines BNBN, CMCM, DEDE are concurrent.
By Ceva's theorem, we have
BEEC⋅CNNA⋅AMMB=1.1◯ \frac{BE}{EC} \cdot \frac{CN}{NA} \cdot \frac{AM}{MB} = 1. \qquad \textcircled{1}
From Menelaus' theorem,
BKKC⋅CNNA⋅AMMB=1.2◯ \frac{BK}{KC} \cdot \frac{CN}{NA} \cdot \frac{AM}{MB} = 1. \qquad \textcircled{2}
① ÷ ②, we have
BE⋅KC=EC⋅BK, BE \cdot KC = EC \cdot BK,
thus
BC⋅KE=2EB⋅CK.3◯ BC \cdot KE = 2EB \cdot CK. \qquad \textcircled{3}
Using Menelaus' theorem and ③, we get
1=CBBE⋅EDDF⋅FGGC=CBBE⋅EKCK⋅FGGC=2FGGC. 1 = \frac{CB}{BE} \cdot \frac{ED}{DF} \cdot \frac{FG}{GC} = \frac{CB}{BE} \cdot \frac{EK}{CK} \cdot \frac{FG}{GC} = \frac{2FG}{GC}.
So CF=GFCF = GF.

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