Ta có:
\(ab.bc.ca=\left(abc\right)^2\ge0\) ; \(\forall a;b;c\)
\(\Rightarrow\) Luôn tồn tại ít nhất 1 trong 3 giá trị ab; bc; ca không âm
Không mất tính tổng quát, giả sử \(ab\ge0\)
\(\Rightarrow a^2+b^2+c^2\le a^2+2ab+b^2+c^2=\left(a+b\right)^2+c^2=2c^2\le2\) (đpcm)
Dấu "=" xảy ra khi \(\left(a;b;c\right)=\left(-1;0;1\right)\) và các hoán vị