Maths Olympiad Prep

Library / /30 of 41

Geometry Difficulty 6.2 National Olympiad Prove it New Zealand

Problem:
Let ABCABC be a triangle and let DD be a point inside the triangle ABCABC such that ADAD bisects BAC\angle BAC. Let line BDBD meet side ACAC at EE. Let line CDCD meet side ABAB at FF. Let TT be the intersection of the (internal) angle bisectors of AED\angle AED and AFD\angle AFD. Prove that if TT lies on segment ADAD, then triangle ABCABC is isosceles.

Solutions — 2

Solution 1

Solution:
Figure 1
Assume TT lies on ADAD. Then by the angle bisector theorem in triangles AEDAED and AFDAFD, we have
AEED=ATTD=AFFD. \frac{AE}{ED} = \frac{AT}{TD} = \frac{AF}{FD}.
Applying the angle bisector theorem in triangles AEBAEB and AFCAFC, we also have:
AEED=ABBD \frac{AE}{ED} = \frac{AB}{BD}
AFFD=ACCD \frac{AF}{FD} = \frac{AC}{CD}
Combining all of the above, we get that
ABBD=ACCD, i.e. ABAC=BDCD.(1) \frac{AB}{BD} = \frac{AC}{CD}, \text{ i.e. } \frac{AB}{AC} = \frac{BD}{CD}. \quad (1)
Now extend ADAD beyond DD to meet BCBC at AA'. Applying the angle bisector theorem in triangle ABCABC, we have
ABAC=BACA.(2) \frac{AB}{AC} = \frac{BA'}{CA'}. \quad (2)
Combining (1) and (2) gives
BDCD=BACA \frac{BD}{CD} = \frac{BA'}{CA'}
By the converse of the angle bisector theorem, this implies DADA' bisects BDC\angle BDC, i.e.,
BDA=CDA. \angle BDA' = \angle CDA'.
Therefore, by angles on a line, we have
BDA=180BDA=180CDA=CDA. \angle BDA = 180^{\circ} - \angle BDA' = 180^{\circ} - \angle CDA' = \angle CDA.
Since BAD=CAD\angle BAD = \angle CAD, BDA=CDA\angle BDA = \angle CDA, and AD=ADAD = AD, triangles ABDABD and ACDACD are congruent (ASA). Then
ABDACDAB=AC \triangle ABD \equiv \triangle ACD \Longrightarrow AB = AC
and we're done.

Solution 2

Solution:
Label the following angles:
a=EAT=FATθ1=EDT a = \angle EAT = \angle FAT \qquad \theta_{1} = \angle EDT
e=AET=DETθ2=FDT e = \angle AET = \angle DET \qquad \theta_{2} = \angle FDT
f=AFT=DFT f = \angle AFT = \angle DFT
Now consider the product
ATET×ETDT×DTFT×FTAT=1. \frac{AT}{ET} \times \frac{ET}{DT} \times \frac{DT}{FT} \times \frac{FT}{AT} = 1.
By the law of sines (in triangles AETAET, EDTEDT, DFTDFT and FATFAT), this becomes
sinesina×sinθ1sine×sinfsinθ2×sinasinf=1 \frac{\sin e}{\sin a} \times \frac{\sin \theta_{1}}{\sin e} \times \frac{\sin f}{\sin \theta_{2}} \times \frac{\sin a}{\sin f} = 1
which simplifies to sinθ1=sinθ2\sin \theta_{1} = \sin \theta_{2}. Since DD lies inside triangle ABCABC,
θ1+θ2=EDF=BDC=180BCD>0CBD>0<180. \theta_{1} + \theta_{2} = \angle EDF = \angle BDC = 180^{\circ} - \underbrace{\angle BCD}_{>0} - \underbrace{\angle CBD}_{>0} < 180^{\circ}.
Therefore we have
sinθ1=sinθ2θ1=θ2. \sin \theta_{1} = \sin \theta_{2} \Longrightarrow \theta_{1} = \theta_{2}.
i.e. EDA=FDA\angle EDA = \angle FDA. We also have BDF=CDE\angle BDF = \angle CDE (vertically opposite angles). Combining these,
BDA=BDF+FDA \angle BDA = \angle BDF + \angle FDA
=CDE+EDA \qquad = \angle CDE + \angle EDA
=CDA. \qquad = \angle CDA.
From here we conclude in the same manner as in Solution 1.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.