[tex]a^2+b^2+c^2 \ge ab+ac+bc[/tex]

[tex]a^2+b^2+c^2-ab-ac-bc \ge 0\ \ \ |\cdot 2[/tex]

[tex]2a^2+2b^2+2c^2-2ab-2ac-2bc \ge 0[/tex]

[tex]a^2-2ab+b^2+a^2-2ac+c^2+b^2-2bc +c^2\ge 0[/tex]

[tex](a-b)^2+(b-c)^2+(a-c)^2 \ge 0[/tex]

Сума невід’ємних чисел є невід’ємним числом.