Maths Olympiad Prep

Library / /122 of 397

Geometry Difficulty 5.4 AIME, harder Prove it Taiwan

Let two lines BCBC, EFEF be parallel to each other, and let DD be a point on segment BCBC distinct from BB, CC. Lines BFBF, CECE intersect at point II. Denote the circumcircles of CDE\triangle CDE, BDF\triangle BDF by KK, LL respectively. Circles KK, LL are tangent to EFEF at points EE, FF respectively. Let AA be the other intersection point of circles KK, LL distinct from DD. Let line DFDF meet circle KK again at point QQ, and let line DEDE meet circle LL again at point RR. Let line EQEQ and line FRFR intersect at point MM.
Prove that II, AA, MM are collinear.

Solution

1. Since BCEFBC \parallel EF, and circles KK, LL are tangent to EFEF at points EE, FF respectively, we know that points EE, FF are respectively the midpoints of arc CDECDE, arc BFDBFD. We obtain BF=DFBF = DF, CE=DECE = DE. Therefore,
EFD=FDB=DBF=EFI. \angle EFD = \angle FDB = \angle DBF = \angle EFI.
Similarly, FED=FEI\angle FED = \angle FEI. From this we know DEFIEF\triangle DEF \sim \triangle IEF.

2. AA, EE, II, FF are concyclic:
EAF=(AE,AD)+(AD,AF)=(CE,CD)+(BD,BF)=(CI,BC)+(BC,BI)=(CI,BI)=(EI,FI)=EIF. \begin{align*} \angle EAF &= \angle (AE, AD) + \angle (AD, AF) = \angle (CE, CD) + \angle (BD, BF) \\ &= \angle (CI, BC) + \angle (BC, BI) = \angle (CI, BI) \\ &= \angle (EI, FI) = \angle EIF. \end{align*}

AEQ=FEQFEA=EDQFIA=EDFFIA=FIEFIA=AIE. \begin{align*} \angle AEQ &= \angle FEQ - \angle FEA = \angle EDQ - \angle FIA \\ &= \angle EDF - \angle FIA = \angle FIE - \angle FIA = \angle AIE. \end{align*}

3. Let ADAD intersect EFEF at NN. Then NF2=NAND=NE2NF^2 = NA \cdot ND = NE^2. So NF=NENF = NE, and ADAD is the median of DEF\triangle DEF. Since DEFIEF\triangle DEF \cong \triangle IEF, and ADF=AEQ=AIE\angle ADF = \angle AEQ = \angle AIE, ADE=AEF=AIF\angle ADE = \angle AEF = \angle AIF, AIAI is the AA-symmedian of EIF\triangle EIF.
Since EQEQ, FRFR are the tangent lines of KK at EE, FF, the AA-symmedian of EIF\triangle EIF passes through the intersection point MM of EQEQ, FRFR, that is, MM lies on line AIAI. Q.E.D.

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 translated into English from zh; metadata (topic, difficulty) added by this project.