Ta có : \(27xyz\le\left(x+y+z\right)^3\)
<=> \(\left(x+y+z\right)^3-27xyz\ge0\)
<=> (x + y)3 + 3(x + y)z(x + y + z) + z3 - 27xyz \(\ge0\)
=> x3 + y3 + 3xy(x + y) + 3(x + y)z(x + y + z) + z3 - 27xyz \(\ge\)0
<=> (x3 + y3 + z3) + 3(x + y)[xy + z(x + y + z)] - 27xyz \(\ge0\)
<=> (x3 + y3 + z3) + 3(x + y)(y + z)(z + x) - 27xyz \(\ge0\)
mà x + y \(\ge2\sqrt{xy}\)
Thật vậy x + y \(\ge2\sqrt{xy}\)
=> (x + y)2 \(\ge\)4xy
<=> x2 - 2xy + y2 \(\ge\) 0
<=> (x - y)2 \(\ge\)0 (đúng \(\forall x;y>0\))
Tương tự ta được y + z \(\ge2\sqrt{yz}\)
z + x \(\ge2\sqrt{xz}\)
Khi đó 3(x + y)(y + z)(z + x) \(\ge3.2\sqrt{xy}.2\sqrt{yz}.2\sqrt{zx}=24xyz\)(dấu "=" xảy ra khi x = y = z)
=> (x3 + y3 + z3) + 3(x + y)(y + z)(z + x) - 27xyz \(\ge0\)
<=> (x3 + y3 + z3) + 24xyz - 27xyz \(\ge0\)
<=> x3 + y3 + z3 - 3xyz \(\ge0\)
<=> (x + y + z)[(x - y)2 + (y - z)2 + (z - x)2] \(\ge\)0 (đúng)
=> ĐPCM
