Prvo rješenje
Kvardiranjem obje strane dobivamo ekvivalentnu nejednakost
c(a−c)+2c2(a−c)(b−c)+c(b−c)≤ab.
Sada raspisivanjem
ab=(c+(a−c))(c+(b−c))=c2+c(b−c)+c(a−c)+(a−c)(b−c)
dobijemo
c(a−c)+c(b−c)+2c2(a−c)(b−c)≤c2+c(b−c)+c(a−c)+(a−c)(b−c),
odnosno
2c2(a−c)(b−c)≤c2+(a−c)(b−c).
Primjenom A–G nejednakosti na c2 i (a−c)(b−c) vidimo da zadnja nejednakost vrijedi.
Drugo rješenje
Uvedimo oznake x:=a−c i y:=b−c.
Sada nejednakost postaje
cx+cy≤(c+x)(c+y).
Kvadriranjem dobivamo ekvivalentnu nejednakost
cx+cy+2c2xy≤c2+cx+cy+xy,
odnosno
2c2xy≤c2+xy.
Primjenom A–G nejednakosti na nenegativne brojeve c2 i xy vidimo da zadnja nejednakost vrijedi.