Trong 3 số \(a;b;c\) có ít nhất 2 số cùng dấu. Như vậy sẽ có tích của 2 số lớn hơn hoặc bằng 0. Giả sử: \(xy\ge0\Leftrightarrow2xy\ge0\) (1)
\(-1\le a;b;c\le1\Leftrightarrow a^2;b^2;c^2\le1\) (2)
Từ (1) và (2) ta có:
\(x^2+y^4+z^6=x^2+y^2.y^2+z^2.z^2.z^2\le x^2+y^2.1+z^2.1.1=x^2+y^2+z^2\le x^2+y^2+z^2+2xy=\left(x+y\right)^2+z^2=z^2+z^2=2z^2\le2\)
Ta có điều phải chứng minh