Maths Olympiad Prep

Track / Stage 5 / 81 of 400 #681 of 1964

Problem 681

AIME late
Algebra Difficulty 5.2 Prove it THE 68th NMO SELECTION TESTS FOR THE JUNIOR BALKAN MATHEMATICAL OLYMPIAD · Romania

If a,b,c[1,1]a, b, c \in [-1, 1] satisfy a+b+c+abc=0a + b + c + abc = 0, prove that
a2+b2+c23(a+b+c). a^2 + b^2 + c^2 \ge 3(a + b + c).
When does the equality hold?

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.

Official solutions — 2

Solution 1

*First solution.* If a+b+c0a + b + c \le 0, the inequality is obviously satisfied, with equality occurring if and only if a=b=c=0a = b = c = 0. If a+b+c>0a + b + c > 0, then abc<0abc < 0. It is not possible for all the variables to be negative (their sum would be negative), therefore one of them is negative and the other two are positive. We may assume that a<0<b,ca < 0 < b, c.

Put x=ax = -a. Then x+b+c=xbc>0-x + b + c = xbc > 0 and (a2+b2+c2)2=(x2+b2+c2)2(xb+xc+bc)23(xbxc+xcbc+bcxb)=3xbc(x+b+c)=3(x+b+c)(x+b+c)9(x+b+c)2(a^2 + b^2 + c^2)^2 = (x^2 + b^2 + c^2)^2 \ge (xb + xc + bc)^2 \ge 3(xb \cdot xc + xc \cdot bc + bc \cdot xb) = 3xbc(x + b + c) = 3(-x + b + c)(x + b + c) \ge 9(-x + b + c)^2.
As x+b+c>0-x + b + c > 0, the last inequality comes to x+b+c3(x+b+c)x + b + c \ge 3(-x + b + c), i.e. to xb+c2x \ge \frac{b + c}{2}. But x=b+c1+bcb+c2x = \frac{b + c}{1 + bc} \ge \frac{b + c}{2} because bc1bc \le 1. In conclusion, we obtain a2+b2+c23(x+b+c)=3(a+b+c)a^2 + b^2 + c^2 \ge 3(-x + b + c) = 3(a + b + c), with equality (in the case a<0<b,ca < 0 < b, c) if and only if x=b=cx = b = c and bc=1bc = 1, i.e., if a=1a = -1, b=c=1b = c = 1. To conclude, we have equality if (a,b,c){(0,0,0),(1,1,1),(1,1,1),(1,1,1)}(a, b, c) \in \{(0, 0, 0), (-1, 1, 1), (1, -1, 1), (1, 1, -1)\}.

Solution 2

*Second solution.* If a+b+c0a + b + c \le 0, the inequality is obviously satisfied, with equality occurring if and only if a=b=c=0a = b = c = 0. If a+b+c>0a + b + c > 0, then abc<0abc < 0.
From the AM-GM inequality, a2+b2+c23(abc)233abc=3abc=3(a+b+c)a^2 + b^2 + c^2 \ge 3\sqrt[3]{(abc)^2} \ge 3|abc| = -3abc = 3(a + b + c), with equality if a2=b2=c2a^2 = b^2 = c^2, abc0abc \le 0 and abc=1|abc| = 1, which leads to (a,b,c){(0,0,0),(1,1,1),(1,1,1),(1,1,1)}(a, b, c) \in \{(0, 0, 0), (-1, 1, 1), (1, -1, 1), (1, 1, -1)\}.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.