Maths Olympiad Prep

Library / IRL ABooklet /55 of 191

IRL ABooklet

Geometry Difficulty 5.4 AIME, harder Prove it Ireland

Suppose aa, bb, cc are the side lengths of a triangle ABCABC with area SS, and semi-perimeter ss. Prove that
s<a2+b2−4S+b2+c2−4S+c2+a2−4S. s < \sqrt{a^2 + b^2 - 4S} + \sqrt{b^2 + c^2 - 4S} + \sqrt{c^2 + a^2 - 4S}.

Solution

Since 2S=absin⁡C2S = ab \sin C, we can write
a2+b2−4S=a2+b2−2absin⁡C=a2+(b−asin⁡C)2−a2sin⁡2C=a2cos⁡2C+(b−asin⁡C)2≥a2cos⁡2C \begin{aligned} a^2 + b^2 - 4S &= a^2 + b^2 - 2ab \sin C = a^2 + (b - a \sin C)^2 - a^2 \sin^2 C \\ &= a^2 \cos^2 C + (b - a \sin C)^2 \geq a^2 \cos^2 C \end{aligned}
and similarly
a2+b2−4S=b2+(a−bsin⁡C)2−b2sin⁡2C=b2cos⁡2C+(a−bsin⁡C)2≥b2cos⁡2C. \begin{aligned} a^2 + b^2 - 4S &= b^2 + (a - b \sin C)^2 - b^2 \sin^2 C \\ &= b^2 \cos^2 C + (a - b \sin C)^2 \geq b^2 \cos^2 C. \end{aligned}
Taking square roots and adding both together, we obtain
a2+b2−4S≥acos⁡C+bcos⁡C2. \sqrt{a^2 + b^2 - 4S} \geq \frac{a \cos C + b \cos C}{2}.
Equality holds iff b=asin⁡Cb = a \sin C, a=bsin⁡Ca = b \sin C and cos⁡C≥0\cos C \ge 0. This condition is equivalent to a=ba = b and ∠C=90∘\angle C = 90^\circ. In a similar way we prove
b2+c2−4S≥bcos⁡A+ccos⁡A2andc2+a2−4S≥ccos⁡B+acos⁡B2 \begin{aligned} \sqrt{b^2 + c^2 - 4S} &\ge \frac{b \cos A + c \cos A}{2} \quad \text{and} \\ \sqrt{c^2 + a^2 - 4S} &\ge \frac{c \cos B + a \cos B}{2} \end{aligned}
with equality iff b=cb = c and ∠A=90∘\angle A = 90^\circ, or c=ac = a and ∠B=90∘\angle B = 90^\circ, respectively. To finish, we recall that c=bcos⁡A+acos⁡Bc = b \cos A + a \cos B (see diagram)
Figure 1
as well as a=ccos⁡B+bcos⁡Ca = c \cos B + b \cos C and b=acos⁡C+ccos⁡Ab = a \cos C + c \cos A. Therefore, the semiperimeter is
s=a+b+c2=ccos⁡B+bcos⁡C+acos⁡C+ccos⁡A+bcos⁡A+acos⁡B2 s = \frac{a+b+c}{2} = \frac{c \cos B + b \cos C + a \cos C + c \cos A + b \cos A + a \cos B}{2}
and the desired inequality follows from adding the three earlier inequalities
a2+b2−4S+b2+c2−4S+c2+a2−4S≥(acos⁡C+bcos⁡C)+(bcos⁡A+ccos⁡A)+(ccos⁡B+acos⁡B)2=s \begin{aligned} & \sqrt{a^2 + b^2 - 4S} + \sqrt{b^2 + c^2 - 4S} + \sqrt{c^2 + a^2 - 4S} \\ \geq & \frac{(a \cos C + b \cos C) + (b \cos A + c \cos A) + (c \cos B + a \cos B)}{2} = s \end{aligned}
and noting that equality cannot occur, since there cannot be three right angles in a triangle.

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.