Maths Olympiad Prep

Library / /18 of 19

Algebra Difficulty 7.1 National olympiad, round 2 Prove it Romania

Let aa, bb, cc, dd be non-negative real numbers satisfying a+b+c+d=3a + b + c + d = 3. Prove that
a1+2b3+b1+2c3+c1+2d3+d1+2a3a2+b2+c2+d23. \frac{a}{1 + 2b^3} + \frac{b}{1 + 2c^3} + \frac{c}{1 + 2d^3} + \frac{d}{1 + 2a^3} \ge \frac{a^2 + b^2 + c^2 + d^2}{3}.
When does the equality hold?

Solution

First solution. We notice the equality case a=3a = 3, b=c=d=0b = c = d = 0 and we try to mix the variables as follows:
f(a,b,c,d)f(a+b+c+d,0,0,0)=a+b+c+d(a+b+c+d)23=0, f(a, b, c, d) \ge f(a + b + c + d, 0, 0, 0) = a + b + c + d - \frac{(a + b + c + d)^2}{3} = 0,
where
f(a,b,c,d)=a1+2b3+b1+2c3+c1+2d3+d1+2a3a2+b2+c2+d23. f(a, b, c, d) = \frac{a}{1 + 2b^3} + \frac{b}{1 + 2c^3} + \frac{c}{1 + 2d^3} + \frac{d}{1 + 2a^3} - \frac{a^2 + b^2 + c^2 + d^2}{3}.
Then
f(a,b,c,d)abcd+(a+b+c+d)23= f(a, b, c, d) - a - b - c - d + \frac{(a + b + c + d)^2}{3} =
a1+2b3+b1+2c3+c1+2d3+d1+2a3abcd+2(ab+bc+cd+da+ac+bd)30 \frac{a}{1 + 2b^3} + \frac{b}{1 + 2c^3} + \frac{c}{1 + 2d^3} + \frac{d}{1 + 2a^3} - a - b - c - d + \frac{2(ab + bc + cd + da + ac + bd)}{3} \ge 0
a1+2b3+b1+2c3+c1+2d3+d1+2a3abcd+2(ab+bc+cd+da)3= \frac{a}{1 + 2b^3} + \frac{b}{1 + 2c^3} + \frac{c}{1 + 2d^3} + \frac{d}{1 + 2a^3} - a - b - c - d + \frac{2(ab + bc + cd + da)}{3} =
a(11+2b31+2b3)+b(11+2c31+2c3)+c(11+2d31+2d3)+ a \left( \frac{1}{1 + 2b^3} - 1 + \frac{2b}{3} \right) + b \left( \frac{1}{1 + 2c^3} - 1 + \frac{2c}{3} \right) + c \left( \frac{1}{1 + 2d^3} - 1 + \frac{2d}{3} \right) +
d(11+2a31+2a3)= d \left( \frac{1}{1 + 2a^3} - 1 + \frac{2a}{3} \right) =
2ab(2b33b2+1)3(1+2b3)+2bc(2c33c2+1)3(1+2c3)+2cd(2d33d2+1)3(1+2d3)+2ad(2a33a2+1)3(1+2a3)= \frac{2ab(2b^3 - 3b^2 + 1)}{3(1 + 2b^3)} + \frac{2bc(2c^3 - 3c^2 + 1)}{3(1 + 2c^3)} + \frac{2cd(2d^3 - 3d^2 + 1)}{3(1 + 2d^3)} + \frac{2ad(2a^3 - 3a^2 + 1)}{3(1 + 2a^3)} =
2ab(2b+1)(b1)23(1+2b3)+2bc(2c+1)(c1)23(1+2c3)+2cd(2d+1)(d1)23(1+2d3)+ \frac{2ab(2b + 1)(b - 1)^2}{3(1 + 2b^3)} + \frac{2bc(2c + 1)(c - 1)^2}{3(1 + 2c^3)} + \frac{2cd(2d + 1)(d - 1)^2}{3(1 + 2d^3)} +
2ad(2a+1)(a1)23(1+2a3)0. \frac{2ad(2a + 1)(a - 1)^2}{3(1 + 2a^3)} \ge 0.
We have equality when ac+bd=0ac + bd = 0 and also a=3a = 3, b=c=d=0b = c = d = 0 or a=2a = 2, b=1b = 1, c=d=0c = d = 0 as well as for their cyclic permutations.

Second solution. (Ionuț Nicolae) We use the inequality 11+2a312a3\frac{1}{1 + 2a^3} \ge 1 - \frac{2a}{3} which, after computations, comes to a(a1)2(2a+1)0a(a - 1)^2(2a + 1) \ge 0. The last inequality is obviously true and its equality cases are a=0a = 0 and a=1a = 1. We have d1+2a3d2ad3\frac{d}{1 + 2a^3} \ge \frac{d - 2ad}{3}, with equality if d=0d = 0 or a{0,1}a \in \{0, 1\}.
Then cycla1+2b3cycl(a2ab3)=323cyclab\sum_{cycl} \frac{a}{1 + 2b^3} \ge \sum_{cycl} \left(a - \frac{2ab}{3}\right) = 3 - \frac{2}{3} \sum_{cycl} ab. It remains to be proven that a2+b2+c2+d2+2(ab+bc+cd+da)9a^2 + b^2 + c^2 + d^2 + 2(ab + bc + cd + da) \le 9, which follows from a2+b2+c2+d2+2(ab+bc+cd+da+ac+bd)=9a^2 + b^2 + c^2 + d^2 + 2(ab + bc + cd + da + ac + bd) = 9. We have equality if ac+bd=0ac + bd = 0 and each non-zero variable is followed in cyclic order by one that is either 00 or 11. From ac+bd=0ac + bd = 0 we see that two variables need to be 00. If another one is 00 then the last one is 33 and we have indeed equality; if the other two are positive, the second one needs to be 11, hence the first one must be 22.

Third solution. (given in the contest by Andrei Pantea) From AM-GM inequality we have 1+2x3=1+x3+x33x2,x>01 + 2x^3 = 1 + x^3 + x^3 \ge 3x^2, \forall x > 0.
We treat the following cases: 1. aa, bb, cc, d>0d > 0; 2. aa, bb, c>0c > 0, d=0d = 0; 3. aa, b>0b > 0, c=d=0c = d = 0; 4. aa, c>0c > 0, b=d=0b = d = 0; 5. a=b=c=0a = b = c = 0, d=3d = 3. All the other cases follow by cyclic permutations.
Case 1. The inequality is equivalent to
cycl(aa1+2b3)13((a+b+c+d)2cycla2). \sum_{cycl} \left( a - \frac{a}{1 + 2b^3} \right) \le \frac{1}{3} \left( (a + b + c + d)^2 - \sum_{cycl} a^2 \right).
But
cycl2ab31+2b3cycl2ab33b2=23cyclab<23cyclab=13((a+b+c+d)2cycla2), \sum_{cycl} \frac{2ab^3}{1 + 2b^3} \le \sum_{cycl} \frac{2ab^3}{3b^2} = \frac{2}{3} \sum_{cycl} ab < \frac{2}{3} \sum_{cycl} ab = \frac{1}{3} \left( (a + b + c + d)^2 - \sum_{cycl} a^2 \right),
so in this case the inequality is satisfied without equality.

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 and solution reproduced as published; topic and difficulty added by this site.