Ta có: a+b+c=0 => (a+b+c)2=0
<=> a2+b2+c2+2ab+2bc+2ca=0
=> \(ab+bc+ca=-\frac{1}{2}\left(a^2+b^2+c^2\right)\)
Mà: \(a^2;b^2;c^2\ge0\) => \(a^2+b^2+c^2\ge0\)=> \(-\frac{1}{2}\left(a^2+b^2+c^2\right)\le0\)
=> \(ab+bc+ca=-\frac{1}{2}\left(a^2+b^2+c^2\right)\le0\)