Maths Olympiad Prep

Library / /15 of 62

Geometry Difficulty 5.0 AIME, harder Prove it Ukraine

Let ABCABC be a triangle. Suppose that ADAD and BEBE are its angle bisectors. Prove that ACB=60\angle ACB = 60^\circ if and only if AE+BD=ABAE + BD = AB.

Solution

Denote by II the incenter of the triangle ABC\triangle ABC (fig. 03). Also denote the point D1D_1, which is the symmetric reflection of DD with respect to BEBE. Then DB=BD1DB = BD_1 and DI=ID1DI = ID_1.

Figure 1

Without any dependence on the given conditions we have D1ABD_1 \in AB, since in DBD1\triangle DBD_1 the line BEBE contains the altitude, so it is the bisector of DBD1\angle DBD_1.

If ACB=60\angle ACB = 60^\circ we get AIB=90+12ACB=120\angle AIB = 90^\circ + \frac{1}{2}\angle ACB = 120^\circ. Then DIB=60=D1IB\angle DIB = 60^\circ = \angle D_1IB, because DBD1\triangle DBD_1 is isosceles. Hence, EIA=60=AIBD1IB\angle EIA = 60^\circ = \angle AIB - \angle D_1IB. Then AIE=AID1\triangle AIE = \triangle AID_1, so EA=AD1EA = AD_1 and AE+BD=ABAE + BD = AB.

Conversely, if AE+BD=ABAE + BD = AB, then EA=AD1EA = AD_1, so AIE=AID1\triangle AIE = \triangle AID_1. Then EIA=AID1\angle EIA = \angle AID_1. Since DBD1\triangle DBD_1 is isosceles we have DIB=D1IB\angle DIB = \angle D_1IB. Then EIA+DIB=AIB=EID\angle EIA + \angle DIB = \angle AIB = \angle EID, so 120=AIB=90+12ACBACB=60120^\circ = \angle AIB = 90^\circ + \frac{1}{2}\angle ACB \Rightarrow \angle ACB = 60^\circ.

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.