Maths Olympiad Prep

Library / /1 of 4

Geometry Difficulty 5.8 AIME, harder Prove it North Macedonia

Let ABC\triangle ABC be an acute-angled triangle, and let DD be the foot of the altitude from CC. The angle bisector of ABC\angle ABC intersects CDCD at EE and meets the circumcircle ω\omega of triangle ADE\triangle ADE again at FF. If ADF=45\angle ADF = 45^\circ, show that CFCF is tangent to ω\omega.

Solutions — 5

Solution 1

Since CDF=9045=45\angle CDF = 90^\circ - 45^\circ = 45^\circ, the line DFDF bisects CDA\angle CDA, and so FF lies on the perpendicular bisector of segment AEAE, which meets ABAB at GG. Let ABC=2β\angle ABC = 2\beta. Since ADEFADEF is cyclic, AFE=90\angle AFE = 90^\circ, and hence FAE=45\angle FAE = 45^\circ. Further, as BFBF bisects ABC\angle ABC, we have FAB=90β\angle FAB = 90^\circ - \beta, and thus EAB=AEG=45β\angle EAB = \angle AEG = 45^\circ - \beta and AED=45+β\angle AED = 45^\circ + \beta, so GED=2β\angle GED = 2\beta. This implies that right-angled triangles EDG\triangle EDG and BDC\triangle BDC are similar, and so we have GDCD=DEDB\frac{|GD|}{|CD|} = \frac{|DE|}{|DB|}. Thus the right-angled triangle DEB\triangle DEB and DGC\triangle DGC are similar, whence GCD=DBE=β\angle GCD = \angle DBE = \beta. But DFE=DAE=45β\angle DFE = \angle DAE = 45^\circ - \beta, then GFD=45DFE=β\angle GFD = 45^\circ - \angle DFE = \beta. Hence GDCFGDCF is cyclic, so GFC=90\angle GFC = 90^\circ, whence CFCF is perpendicular to the radius FGFG of ω\omega. It follows that CFCF is a tangent to ω\omega, as required.

Solution 2

As ADF=45\angle ADF = 45^\circ line DFDF is an exterior bisector of CDB\angle CDB. Since BFBF bisects DBC\angle DBC line CFCF is an exterior bisector of BCD\angle BCD. Let ABC=2β\angle ABC = 2\beta, so ECF=(DBC+CDB)/2=45+β\angle ECF = (\angle DBC + \angle CDB)/2 = 45^\circ + \beta. Hence CFE=180ECFBCEEBC=180(45+β+902β+β)=45\angle CFE = 180^\circ - \angle ECF - \angle BCE - \angle EBC = 180^\circ - (45^\circ + \beta + 90^\circ - 2\beta + \beta) = 45^\circ. It follows that FDC=CFE\angle FDC = \angle CFE, then CFCF is tangent to ω\omega.

Solution 3

Note that AEAE is a diameter of circumcircle of ABC\triangle ABC since CDF=90\angle CDF = 90^\circ. From AEF=ADF=45\angle AEF = \angle ADF = 45^\circ it follows that triangle AFE\triangle AFE is right-angled and isosceles. Without loss of generality, let points A,EA, E and FF have coordinates (1,0),(1,0)(-1,0), (1,0) and (0,1)(0,1) respectively. Points F,E,BF, E, B are collinear, hence BB have coordinates (b,1b)(b,1-b) for some b1b \neq -1. Let point CC' be intersection of line tangent to circumcircle of AFE\triangle AFE at FF with line EDED. Thus CC' have coordinates (c,1)(c,1) and from CEABC' \cdot E \perp AB we get c=2bb+1c = \frac{2b}{b+1}. Now vector BC=(2bb+1b,b)=bb+1(1b,b+1)\vec{BC'} = (\frac{2b}{b+1} - b, b) = \frac{b}{b+1}(1-b, b+1), vector BF=(b,b)=b(1,1)\vec{BF} = (-b, b) = b(-1, 1) and vector BA=(b+1),(1b))\vec{BA} = -(b+1), -(1-b)). Its clear that (1b,b+1)(1-b, b+1) and (b+1),(1b))(-b+1), -(1-b)) are symmetric with respect to FE=(1,1)\vec{FE} = (-1, 1), hence BFBF bisects CBA\angle C'BA and C=CC' = C which completes the proof.

Solution 4

Again FF lies on the perpendicular bisector of segment AEAE, so AFE\triangle AFE is right-angled and isosceles. Let MM be an intersection of BCBC and AFAF. Note that AMB\triangle AMB is isosceles since BFBF is a bisector and altitude in this triangle. Thus BFBF is a symmetry line of AMB\triangle AMB. Then FDE=FEA=MEF=45\angle FDE = \angle FEA = \angle MEF = 45^\circ, AF=FE=FMAF = FE = FM and DAE=EMC\angle DAE = \angle EMC. Let us show that EC=CMEC = CM. Indeed,
CEM=180(AED+FEA+MEF)=90AED=DAE=EMC. \angle CEM = 180^\circ - (\angle AED + \angle FEA + \angle MEF) = 90^\circ - \angle AED = DAE = \angle EMC.
It follows that FMCEFMCE is a kite, since EF=FMEF = FM and MC=CEMC = CE. Hence EFC=CFM=EDF=45\angle EFC = \angle CFM = \angle EDF = 45^\circ, so FCFC is tangent to ω\omega.

Solution 5

Let the tangent to ω\omega at FF intersect CDCD at CC'. Let ABF=FBC=β\angle ABF = \angle FBC = \beta. It follows that CFE=45\angle C'FE = 45^\circ since CFC'F is tangent. We have
sinBDCsinCDFsinDFCsinCFBsinFBCsinCBD=sin90sin45sin(90β)sin45sinβsin2β=2sinβcosβsin2β=1. \frac{\sin \angle BDC}{\sin \angle CDF} \cdot \frac{\sin \angle DFC'}{\sin \angle C'FB} \cdot \frac{\sin \angle FBC}{\sin \angle CBD} = \frac{\sin 90^\circ}{\sin 45^\circ} \cdot \frac{\sin(90^\circ - \beta)}{\sin 45^\circ} \cdot \frac{\sin \beta}{\sin 2\beta} = \frac{2\sin \beta \cos \beta}{\sin 2\beta} = 1.
So by trig Cheva on triangle BDF\triangle BDF, lines FC,DCFC', DC and BCBC are concurrent (at CC), so C=CC = C'. Hence CFCF is tangent to ω\omega.

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 and solution reproduced as published; topic and difficulty added by this site.