Maths Olympiad Prep

Library / /226 of 462

Geometry Difficulty 5.8 AIME, harder Prove it Ireland

Suppose aa, bb, cc are the side lengths of a triangle ABCABC. Prove that
2absin(C2)+2bcsin(A2)+2casin(B2)a2+b2+c2; 2ab \sin \left(\frac{C}{2}\right) + 2bc \sin \left(\frac{A}{2}\right) + 2ca \sin \left(\frac{B}{2}\right) \le a^2 + b^2 + c^2;
and that the inequality is strict unless the triangle ABCABC is equilateral.

Solution

Let 2s=a+b+c2s = a + b + c. Using cos(C)=a2+b2c22ab\cos(C) = \frac{a^2 + b^2 - c^2}{2ab}, we obtain
2sin2(C2)=1cos(C)=2aba2b2+c22ab=c2(ab)22ab=(ca+b)(c+ab)2ab=2(sa)(sb)ab \begin{aligned} 2 \sin^2 \left( \frac{C}{2} \right) &= 1 - \cos(C) = \frac{2ab - a^2 - b^2 + c^2}{2ab} \\ &= \frac{c^2 - (a-b)^2}{2ab} = \frac{(c-a+b)(c+a-b)}{2ab} \\ &= \frac{2(s-a)(s-b)}{ab} \end{aligned}

sin(C2)=(sa)(sb)ab \sin\left(\frac{C}{2}\right) = \sqrt{\frac{(s-a)(s-b)}{ab}}
It follows, with the aid of the AM-GM inequality, that
2absin(C2)=2(a(sa))(b(sb))a(sa)+b(sb)=s(a+b)a2b2, \begin{aligned} 2ab \sin\left(\frac{C}{2}\right) &= 2\sqrt{(a(s-a))(b(s-b))} \\ &\le a(s-a) + b(s-b) = s(a+b) - a^2 - b^2, \end{aligned}
with equality iff a(sa)=b(sb)a(s - a) = b(s - b), i.e., s(ab)=(ab)(a+b)s(a - b) = (a - b)(a + b), i.e., iff a=ba = b. Following from this we see, using 2aba2+b22ab \le a^2 + b^2 etc., that
2absin(C2)+2bcsin(A2)+2casin(B2)2s(a+b+c)2(a2+b2+c2)=(a+b+c)22(a2+b2+c2)=2ab+2bc+2ac(a2+b2+c2)(a2+b2)+(b2+c2)+(a2+c2)(a2+b2+c2)=a2+b2+c2, \begin{aligned} 2ab \sin \left(\frac{C}{2}\right) + 2bc \sin \left(\frac{A}{2}\right) + 2ca \sin \left(\frac{B}{2}\right) &\le 2s(a+b+c) - 2(a^2 + b^2 + c^2) \\ &= (a+b+c)^2 - 2(a^2 + b^2 + c^2) \\ &= 2ab + 2bc + 2ac - (a^2 + b^2 + c^2) \\ &\le (a^2 + b^2) + (b^2 + c^2) + (a^2 + c^2) - (a^2 + b^2 + c^2) \\ &= a^2 + b^2 + c^2, \end{aligned}
with equality iff a=b=ca = b = c.

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.