Facem substituțiile x=a−11,y=b−11,z=c−11 și obținem enunțul echivalent:
x,y,z>0,x+y+z=1⇒(1+x1)(1+y1)(1+z1)≥64.
Vom demonstra această nouă inegalitate:
(1+x1)(1+y1)(1+z1)≥Huygens∗(1+3x1⋅y1⋅z1)3≥hm−gm(1+x+y+z3)3=(1+13)3=64.
(*) Inegalitatea lui Huygens: (1+a1)(1+a2)…(1+an)≥(1+na1a2…an)n,ai≥0.