Maths Olympiad Prep

Library / /150 of 462

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+b24S+b2+c24S+c2+a24S. s < \sqrt{a^2 + b^2 - 4S} + \sqrt{b^2 + c^2 - 4S} + \sqrt{c^2 + a^2 - 4S}.

Solution

Since 2S=absinC2S = ab \sin C, we can write
a2+b24S=a2+b22absinC=a2+(basinC)2a2sin2C=a2cos2C+(basinC)2a2cos2C \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+b24S=b2+(absinC)2b2sin2C=b2cos2C+(absinC)2b2cos2C. \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+b24SacosC+bcosC2. \sqrt{a^2 + b^2 - 4S} \geq \frac{a \cos C + b \cos C}{2}.
Equality holds iff b=asinCb = a \sin C, a=bsinCa = b \sin C and cosC0\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+c24SbcosA+ccosA2andc2+a24SccosB+acosB2 \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=bcosA+acosBc = b \cos A + a \cos B (see diagram)
Figure 1
as well as a=ccosB+bcosCa = c \cos B + b \cos C and b=acosC+ccosAb = a \cos C + c \cos A. Therefore, the semiperimeter is
s=a+b+c2=ccosB+bcosC+acosC+ccosA+bcosA+acosB2 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+b24S+b2+c24S+c2+a24S(acosC+bcosC)+(bcosA+ccosA)+(ccosB+acosB)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,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.