a) Tražena nejednakost je redom ekvivalentna sa sljedećim nejednakostima:
2a2+2b2+2c2−2ab−2bc−2ca(a−b)2+(b−c)2+(c−a)2≥0,≥0,
a ova posljednja ispunjena je za sve realne brojeve a, b, c. Jednakost vrijedi ako i samo ako je a=b=c.
b) Dokažimo da je razlika lijeve i desne strane nejednadžbe nenegativna.
a+bab+c2−c+b+cbc+a2−a+c+aca+b2−b=a+bc2+ab−ac−bc+b+ca2+bc−ab−ac+c+ab2+ac−ab−bc=a+b(c−a)(c−b)+b+c(a−b)(a−c)+c+a(b−a)(b−c)=(a+b)(b+c)(c+a)(c2−a2)(c2−b2)+(a2−b2)(a2−c2)+(b2−a2)(b2−c2)=(a+b)(b+c)(c+a)a4+b4+c4−b2c2−c2a2−a2b2≥0(prema a)).
Jednakost vrijedi ako i samo ako je a=b=c.