Bất đẳng thức cần chứng minh tương đương với:y+z2x+y+z+x+z2y+x+z+x+y2z+x+y≥32
Áp dụng BĐT Svac ta có
VT≥4(x+y+z)22x(y+z)+(y+z)2+2y(x+z)+(x+z)2+2z(x+y)+(x+y)2≥32
Mẫu = 2(x2+y2+z2)+6(xy+yz+xz)
Ta cần chứng minh 8(x+y+z)2≥6(x2+y2+z2)+18(xy+yz+xz)⇔2(x2+y2+z2)−2(xy+yz+xz)≥0
Mà x2+y2+z2≥xy+yz+xz nên ta có đpcm