Sređivanjem dobivamo:
(a+bc)2+(b+ac)2=a2+2a⋅bc+b2c2+b2+2b⋅ac+a2c2=a2+a2c2+b2+b2c2+2c(ba+ab).
Primjenom nejednakosti između aritmetičke i geometrijske sredine dobivamo:
a2+a2c2≥2c,b2+b2c2≥2c,ba+ab≥2,
pa slijedi:
(a+bc)2+(b+ac)2≥2c+2c+4c=8c,
što je i trebalo pokazati.