$\forall a,b,c\in \mathbb{R}$ mà $a+b+c=0$ thì $-\frac{a^2+b^2+c^2}{2}=ab+bc+ca$
[tex]a+b+c=0 \\ \Leftrightarrow (a+b+c)^2=0 \\ \Leftrightarrow a^2+b^2+c^2+2ab+2bc+2ca=0 \\ \Leftrightarrow -a^2-b^2-c^2=2ab+2bc+2ca \\ \Leftrightarrow -\frac{a^2+b^2+c^2}{2}=ab+bc+ca[/tex]
Suy ra mệnh đề đúng