Maths Olympiad Prep

Library / /42 of 101

Geometry Difficulty 6.0 AIME, harder Prove it Estonia

In an isosceles triangle ABCABC with AB=ACAB = AC, the bisector of the angle BACBAC intersects BCBC at DD. The bisector of the angle ABCABC intersects the perpendicular bisector of ADAD at EE. Prove that the bisector of the angle ACBACB is perpendicular to DEDE.

Solutions — 4

Solution 1

As the AA-bisector is also the altitude, we have BDADBD \perp AD. Let II be the incenter of ABCABC and EBE' \neq B the intersection of BIBI and the circumcircle of ABDABD (Fig. 2). As the angles ABE=DBE\angle ABE' = \angle DBE' correspond to the arcs EAE'A and EDE'D of this circle, we have EA=EDE'A = E'D. Thus EE' lies on the perpendicular bisector of ADAD, meaning E=EE' = E. Hence ABDEABDE is a cyclic quadrilateral (Fig. 3).
It remains to verify that EDI+CID=90\angle EDI + \angle CID = 90^\circ, which would yield CIDECI \perp DE, as desired. To show this, let ACB=ABC=γ\angle ACB = \angle ABC = \gamma. Then
EDI=EDA=EBA=γ2, \angle EDI = \angle EDA = \angle EBA = \frac{\gamma}{2},
whereas
CID=180CDIDCI=18090γ2=90γ2. \angle CID = 180^\circ - \angle CDI - \angle DCI = 180^\circ - 90^\circ - \frac{\gamma}{2} = 90^\circ - \frac{\gamma}{2}.
Thus EDI+CID=90\angle EDI + \angle CID = 90^\circ, finishing the proof.

Solution 2

As the AA-bisector is also the altitude, we have BDADBD \perp AD. Thus the perpendicular bisector of ADAD is parallel to BCBC, therefore containing the midline of ABCABC and bisecting ABAB and ACAC. Let LL be the midpoint of ABAB and II the incenter of ABCABC (Fig. 4). Then LEB=CBE=LBE\angle LEB = \angle CBE = \angle LBE, meaning that LBELBE is isosceles and LE=LB=LALE = LB = LA. Thus LL is the circumcenter of ABEABE and ABAB is a diameter of the circle. Now as ADB=90ADB = 90^{\circ}, the point DD also lies on this circle, meaning ABDEABDE is cyclic. We proceed like in Solution 1.

Solution 3

As the AA-bisector is also the altitude, we have BDADBD \perp AD. Thus the perpendicular bisector of ADAD is parallel to BCBC, therefore containing the midline of ABCABC and bisecting ABAB and ACAC. Let LL and MM be the midpoints of ABAB and ACAC, respectively. Then LEB=CBE=LBE\angle LEB = \angle CBE = \angle LBE, meaning that LBELBE is isosceles and LE=LB=LALE = LB = LA. Also MC=MA=LB=LEMC = MA = LB = LE, and as LMLM is the midline of ABCABC, we have LM=12BC=CDLM = \frac{1}{2}BC = CD.
Let NN be the intersection of DEDE and ACAC; depending on the orientation of points (Figures 5 and 6) we have
CN=CM±MN,CD=LM=LE±EM=CM±ME. CN = CM \pm MN, \\ CD = LM = LE \pm EM = CM \pm ME.
Triangles NCDNCD and NMENME are similar by parallel sides, giving CDME=CNMN\frac{CD}{ME} = \frac{CN}{MN}. Substituting in the previous equation, we get CM±MEME=CM±MNMN\frac{CM \pm ME}{ME} = \frac{CM \pm MN}{MN}, from which CMME±1=CMMN±1\frac{CM}{ME} \pm 1 = \frac{CM}{MN} \pm 1, which in turn implies CMME=CMMN\frac{CM}{ME} = \frac{CM}{MN}. Therefore ME=MNME = MN, from which CD=CNCD = CN. The claim of the problem follows, as the CC-bisector in the isosceles triangle CDNCDN and the side DNDN are perpendicular.

Figure 1
Fig. 5
Figure 2
Fig. 6

Solution 4

Let II be the incenter of ABCABC. Clearly DD is the point of tangency of the incircle and side BCBC. Let NN be the tangency point with side ACAC (Fig. 7), then CD=CNCD = CN. In the isosceles triangle CDNCDN, the line CICI is both the angle bisector and altitude, so DNDN and CICI are perpendicular. It remains to show that EE lies on DNDN.
By the Iran lemma, the angle bisector BIBI and the extensions of the incircle chord DNDN and the midline corresponding to BCBC intersect at one point. Of those, the first and the third intersect at EE, so EE must lie on DNDN, as desired.

Figure 3
Fig. 7

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.