Đặt a=1+x1−x;b=1+y1−y;c=1+z1−z với x,y,z∈(−1;1] khi đó:
a+1a2+1=x+1x2+1;b+1b2+1=y+1y2+1;c+1c2+1=z+1z2+1;abc+1=(x+1)(y+1)(z+1)2(xy+yz+zx+1)
Bất đẳng thức trở thành (x2+1)(y2+1)(z2+1)≥xy+yz+zx+1⇔x2y2+y2z2+z2x2+x2+y2+z2≥xy+yz+zx
Theo AM - GM:
x2+y2+z2=2x2+y2+2y2+z2+2z2+x2≥≥∣xy∣+∣yz∣+∣zx∣≥xy+yz+zx vaˋ x2y2+y2z2+z2x2≥0
Cộng theo vế hai bất đẳng thức trên ⇒ (đpcm)
Đẳng thức xảy ra ⇔ a = b = c = 1