Maths Olympiad Prep

Track / Stage 6 / 374 of 400 #1374 of 1964

Problem 1374

National olympiad, first round
Algebra Difficulty 6.9 Prove it

6. Let real numbers a,b,ca, b, c be such that the sum of any two is greater than the third, then 23(a+b+c)(a2+b2+\frac{2}{3}(a+b+c)\left(a^{2}+b^{2}+\right. c2)a3+b3+c3+abc\left.c^{2}\right) \geqslant a^{3}+b^{3}+c^{3}+a b c.

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 solution

6. The inequality to be proved is equivalent to
2(a+b+c)(a2+b2+c2)3(a3+b3+c3+abc)2(a+b+c)\left(a^{2}+b^{2}+c^{2}\right) \geqslant 3\left(a^{3}+b^{3}+c^{3}+a b c\right)

Let 2x=a+b+c,2y=ab+c,2z=a+bc2 x=-a+b+c, 2 y=a-b+c, 2 z=a+b-c, then a=y+z,b=z+x,c=x+y,(1)a=y+z, b=z+x, c=x+y, (1) \Leftrightarrow
Thus, a+b+c=2(x+y+z),a2+b2+c2=2(x2+y2+z2+xy+yz+zx)a+b+c=2(x+y+z), a^{2}+b^{2}+c^{2}=2\left(x^{2}+y^{2}+z^{2}+x y+y z+z x\right), a3+b3+c3=2(x3+y3+z3)+3(x2y+xy2+y2z+yz2+z2x+zx2),abc=a^{3}+b^{3}+c^{3}=2\left(x^{3}+y^{3}+z^{3}\right)+3\left(x^{2} y+x y^{2}+y^{2} z+y z^{2}+z^{2} x+z x^{2}\right), a b c= x2y+xy2+y2z+yz2+z2x+zx2+2xyx^{2} y+x y^{2}+y^{2} z+y z^{2}+z^{2} x+z x^{2}+2 x y
The left side of (1) =8(x+y+z)(x2+y2+z2+xy+yz+zx)=8(x3+y3+z3)+=8(x+y+z)\left(x^{2}+y^{2}+z^{2}+x y+y z+z x\right)=8\left(x^{3}+y^{3}+z^{3}\right)+ 16(x2y+xy2+y2z+yz2+z2x+zx2)+24xyz16\left(x^{2} y+x y^{2}+y^{2} z+y z^{2}+z^{2} x+z x^{2}\right)+24 x y z
The right side of (1) =6(x3+y3+z3)+12(x2y+xy2+y2z+yz2+z2x+zx2)+6xyz=6\left(x^{3}+y^{3}+z^{3}\right)+12\left(x^{2} y+x y^{2}+y^{2} z+y z^{2}+z^{2} x+z x^{2}\right)+6 x y z, so the inequality clearly holds.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.