(a + b + c)^2 = a^2 + ab + ac + ab + b^2 + bc + ac + bc + c^2
= a^2 + b^2 + c^2 + 2ab + 2 ac + 2bc
===> a^2 + b^2 + c^2 = (a + b + c)^2 - (2ab + 2 ac + 2bc)
===> a^2 + b^2 + c^2 = (a + b + c)^2 - 2(ab + ac + bc)
===> (a^2 + b^2 + c^2) = (a + b + c)^2 - 2(ab + ac + bc)
Pentru nr reale a, b şi c, a^2 + b^2 + c^2 ≥ 0 şi (a + b + c)^2 ≥ 0.
Atunci, a^2 + b^2 + c^2 ≥ 2(ab + ac + bc) ===> a^2 + b^2 + c^2 ≥ ab + ac + bc
