Maths Olympiad Prep

Track / Stage 5 / 19 of 400 #1259 of 2604

Problem 1259

AIME late
Geometry Difficulty 5.0 Prove it UkraineMO · 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.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official 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 D1∈ABD_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∘+12∠ACB=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∘=∠AIB−∠D1IB\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∘+12∠ACB⇒∠ACB=60∘120^\circ = \angle AIB = 90^\circ + \frac{1}{2}\angle ACB \Rightarrow \angle ACB = 60^\circ.

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