Maths Olympiad Prep

Track / Stage 4 / 237 of 340 #977 of 2444

Problem 977

AMC 12 late, AIME early
Geometry Difficulty 4.8 Prove it Irish Mathematical Olympiad · Ireland

Suppose a,b,ca, b, c are the side lengths of a triangle. Prove that
a2+b2+c2amax(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+xy2\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)+abc+bca+cab. 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)=2cycab+cycabc2cyca2=cycabccyc(bc)2=cycbc(abc)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, bc<a|b-c| < a, ca<b|c-a| < b, ab<c|a-b| < c. Moreover, the inequality is strict unless bc=ca=ab=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 abca \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+c2ac+2bca^2 + b^2 + c^2 \le ac + 2bc which is equivalent to
(cb)2a(ca). (c-b)^2 \le a(c-a).
As aba \le b, we have cbcac - b \le c - a. Because bcb \le c and c<a+bc < a + b, we also have 0cb<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 cb<ac - b < a, we can only have (cb)2=a(ca)(c-b)^2 = a(c-a) if cb=ca=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.