Maths Olympiad Prep

Library / /2 of 8

Algebra Difficulty 7.7 National olympiad, round 2 Prove it Balkan Mathematical Olympiad

Prove that the inequality
(a2+b2a+b)3+(b2+c2b+c)3+(c2+a2c+a)3a3+b3+c3 \left(\frac{a^2 + b^2}{a + b}\right)^3 + \left(\frac{b^2 + c^2}{b + c}\right)^3 + \left(\frac{c^2 + a^2}{c + a}\right)^3 \ge a^3 + b^3 + c^3
holds for all a,b,c>0a, b, c > 0.

Solutions — 3

Solution 1

The desired inequality holds if (and only if) the following one does
2(a2+b2a+b)3a3+b3()a,b 2 \left( \frac{a^2 + b^2}{a+b} \right)^3 \geq a^3 + b^3 \quad (*)_{a,b}
for all a,b>0a, b > 0. Indeed, ()a,b(*)_{a,b} is implied by the problem statement by setting b=cb = c. Conversely, we recover the problem statement by summing ()a,b(*)_{a,b}, ()b,c(*)_{b,c} and ()c,a(*)_{c,a}. We now prove ()a,b(*)_{a,b} by observing that:
2(a2+b2)3(a3+b3)(a+b)3=(ab)4(a2+ab+b2)0. 2(a^2 + b^2)^3 - (a^3 + b^3)(a+b)^3 = (a-b)^4(a^2 + ab + b^2) \geq 0.

Solution 2

One sees that the expressions in the statement are related by the following identity:
3(a2+b2)(a+b)=2(a3+b3)+(a+b)3 3(a^2 + b^2)(a + b) = 2(a^3 + b^3) + (a + b)^3
Combining this with the AM-GM inequality below
4(a2+b2a+b)3+(a+b)32+(a+b)323a2+b2a+b(a+b)2=3(a2+b2)(a+b) 4 \left( \frac{a^2 + b^2}{a+b} \right)^3 + \frac{(a+b)^3}{2} + \frac{(a+b)^3}{2} \geq 3 \cdot \frac{a^2 + b^2}{a+b} \cdot (a+b)^2 = 3(a^2 + b^2)(a+b)
we recover the inequality ()a,b(*)_{a,b} as in the first solution.

Solution 3

Let (a,b,c)=(1,1,x)(a, b, c) = (1, 1, x) for x>0x > 0. The inequality then becomes
2(1+x21+x)31+x3. 2 \left( \frac{1+x^2}{1+x} \right)^3 \geq 1+x^3.
The key insight is that this inequality being true for all x>0x > 0 is equivalent to the original inequality being true for all a,b,c>0a, b, c > 0. Indeed, plugging in x=a/bx = a/b, x=b/cx = b/c, and x=c/ax = c/a respectively, we get
2(a2+b2a+b)3a3+b3 2 \left( \frac{a^2 + b^2}{a+b} \right)^3 \geq a^3 + b^3
2(b2+c2b+c)3b3+c3 2 \left( \frac{b^2 + c^2}{b+c} \right)^3 \geq b^3 + c^3
2(c2+a2c+a)3c3+a3 2 \left( \frac{c^2 + a^2}{c+a} \right)^3 \geq c^3 + a^3
Summing these three inequalities yields the desired original one. Now, we finish by
2(1+x2)3(1+x3)(1+x)3=(x1)4(x2+x+1)0. 2(1 + x^2)^3 - (1 + x^3)(1 + x)^3 = (x - 1)^4(x^2 + x + 1) \geq 0.

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.