55. (2007.03.05) Simplify and prove: First prove: If a2+b2+c2⩾3, then
Because
(∑a3)2⩾3+2∑a4
a2+b2+c2⩾3
So
3+2∑a4⩽3(3∑a2)3+23∑a2∑a4
Therefore, it suffices to prove
9(∑a3)2⩾(∑a3)3+6∑a2⋅∑a4⇔2∑a6+18∑b3c3−9∑b2c2(b2+c2)−6a2b2c2⩾0⇔∑(b4−c4)(b2−c2)−8∑b2c2(b−c)2+∑a2(bc+ca+ab)(b−c)2⩾0⇔∑[(b2+c2)(b+c)2−8b2c2+a2(bc+ca+ab)](b−c)2⩾0
This inequality is clearly true, hence inequality (1) holds. Therefore,
∑x3+y+z1=∑(x3+y+z)(1+y2+z2)1+y2+z2⩽(∑x23)23+2∑x2⩽1