Maths Olympiad Prep

Track / Stage 4 / 33 of 340 #293 of 1964

Problem 293

AMC 12 late, AIME early
Geometry Difficulty 4.5 Prove it The Problems of Ukrainian Authors · Ukraine

Angular bisectors BDBD and CECE are drawn in the triangle ABCABC with angle BAC60\angle BAC \ge 60^\circ. Prove that AD+AEBCAD + AE \le BC.
Figure 1

Fig.30

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 the sides of triangle by aa, bb, cc. By the property of angular bisectors,

AD=cha+cAD = \frac{ch}{a+c}, AE=cha+bAE = \frac{ch}{a+b} (pic.30), thus it is enough to prove: cha+c+cha+ba\frac{ch}{a+c} + \frac{ch}{a+b} \le a.

After simple transformations, we have: (a2bc)(a+b+c)0(a^2 - bc)(a+b+c) \ge 0, and so it is enough to prove: a2bc0a^2 - bc \ge 0.

By the cosine theorem, a2=b2+c22bccosAb2+c22bc122bcbc=bca^2 = b^2 + c^2 - 2bc \cos A \ge b^2 + c^2 - 2bc \cdot \frac{1}{2} \ge 2bc - bc = bc, which required.

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