Maths Olympiad Prep

Library / Estonian Mathematical Olympiad /38 of 93

Estonian Mathematical Olympiad

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 BD⊥ADBD \perp AD. Let II be the incenter of ABCABC and E′≠BE' \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 E′AE'A and E′DE'D of this circle, we have E′A=E′DE'A = E'D. Thus E′E' 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 CI⊥DECI \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=180∘−∠CDI−∠DCI=180∘−90∘−γ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 BD⊥ADBD \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=90∘ADB = 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 BD⊥ADBD \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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