Maths Olympiad Prep

Track / Stage 5 / 145 of 400 #1385 of 2604

Problem 1385

AIME late
Algebra Difficulty 5.2 Prove it 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+c2≥3(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.

Next problem →

Official solutions — 2

Solution 1

First solution. If a+b+c≤0a + 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)2≥3(xb⋅xc+xc⋅bc+bc⋅xb)=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+c≥3(−x+b+c)x + b + c \ge 3(-x + b + c), i.e. to x≥b+c2x \ge \frac{b + c}{2}. But x=b+c1+bc≥b+c2x = \frac{b + c}{1 + bc} \ge \frac{b + c}{2} because bc≤1bc \le 1. In conclusion, we obtain a2+b2+c2≥3(−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+c≤0a + 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+c2≥3(abc)23≥3∣abc∣=−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, abc≤0abc \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 reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.