Maths Olympiad Prep

Track / Stage 4 / 237 of 340 #1137 of 2604

Problem 1137

AMC 12 late, AIME early
Geometry Difficulty 4.8 Prove it IRL ABooklet · Ireland

Suppose a,b,ca, b, c are the side lengths of a triangle. Prove that
a2+b2+c2≤amax⁡(b,c)+bmax⁡(c,a)+cmax⁡(a,b) a^2 + b^2 + c^2 \leq a \max(b, c) + b \max(c, a) + c \max(a, b)
with equality iff a=b=ca = b = c.

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 solutions — 2

Solution 1

Since max⁡(x,y)=x+y+∣x−y∣2\max(x, y) = \frac{x+y+|x-y|}{2}, twice the expression
amax⁡(b,c)+bmax⁡(c,a)+cmax⁡(a,b) a \max(b, c) + b \max(c, a) + c \max(a, b)
is equal to
a(b+c)+b(c+a)+c(a+b)+a∣b−c∣+b∣c−a∣+c∣a−b∣. a(b+c) + b(c+a) + c(a+b) + a|b-c| + b|c-a| + c|a-b|.
Therefore,
2(amax⁡(b,c)+bmax⁡(c,a)+cmax⁡(a,b))−2(a2+b2+c2)=2∑cycab+∑cyca∣b−c∣−2∑cyca2=∑cyca∣b−c∣−∑cyc(b−c)2=∑cyc∣b−c∣(a−∣b−c∣)≥0, \begin{aligned} & 2(a \max(b,c) + b \max(c,a) + c \max(a,b)) - 2(a^2 + b^2 + c^2) \\ &= 2 \sum_{\text{cyc}} ab + \sum_{\text{cyc}} a|b-c| - 2 \sum_{\text{cyc}} a^2 \\ &= \sum_{\text{cyc}} a|b-c| - \sum_{\text{cyc}} (b-c)^2 = \sum_{\text{cyc}} |b-c|(a - |b-c|) \ge 0, \end{aligned}
since, by the triangle inequality, ∣b−c∣<a|b-c| < a, ∣c−a∣<b|c-a| < b, ∣a−b∣<c|a-b| < c. Moreover, the inequality is strict unless ∣b−c∣=∣c−a∣=∣a−b∣=0|b-c| = |c-a| = |a-b| = 0, i.e., a=b=ca = b = c.

Solution 2

Both sides of the inequality remain unchanged under any permutation of a,b,ca, b, c. Therefore, we may assume a≤b≤ca \le b \le c. Under this assumption, amax⁡(b,c)+bmax⁡(c,a)+cmax⁡(a,b)=ac+bc+cb=ac+2bca \max(b,c) + b \max(c,a) + c \max(a,b) = ac + bc + cb = ac + 2bc. This means we need to prove that a2+b2+c2≤ac+2bca^2 + b^2 + c^2 \le ac + 2bc which is equivalent to
(c−b)2≤a(c−a). (c-b)^2 \le a(c-a).
As a≤ba \le b, we have c−b≤c−ac - b \le c - a. Because b≤cb \le c and c<a+bc < a + b, we also have 0≤c−b<a0 \le c - b < a. Multiplying these inequalities gives the desired result.
To understand the case of equality note that, because of the strict inequality c−b<ac - b < a, we can only have (c−b)2=a(c−a)(c-b)^2 = a(c-a) if c−b=c−a=0c-b = c-a = 0, which is equivalent to a=b=ca = b = c.

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