Maths Olympiad Prep

Library / NMO Selection Tests for the Junior Balkan Mathematical Olympiad /61 of 62

NMO Selection Tests for the Junior Balkan Mathematical Olympiad

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+2a3≥a2+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+2a3−a2+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)−a−b−c−d+(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+2a3−a−b−c−d+2(ab+bc+cd+da+ac+bd)3≥0 \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+2a3−a−b−c−d+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+2b3−1+2b3)+b(11+2c3−1+2c3)+c(11+2d3−1+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+2a3−1+2a3)= d \left( \frac{1}{1 + 2a^3} - 1 + \frac{2a}{3} \right) =
2ab(2b3−3b2+1)3(1+2b3)+2bc(2c3−3c2+1)3(1+2c3)+2cd(2d3−3d2+1)3(1+2d3)+2ad(2a3−3a2+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)(b−1)23(1+2b3)+2bc(2c+1)(c−1)23(1+2c3)+2cd(2d+1)(d−1)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)(a−1)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+2a3≥1−2a3\frac{1}{1 + 2a^3} \ge 1 - \frac{2a}{3} which, after computations, comes to a(a−1)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+2a3≥d−2ad3\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+2b3≥∑cycl(a−2ab3)=3−23∑cyclab\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+x3≥3x2,∀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(a−a1+2b3)≤13((a+b+c+d)2−∑cycla2). \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+2b3≤∑cycl2ab33b2=23∑cyclab<23∑cyclab=13((a+b+c+d)2−∑cycla2), \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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