Bổ đề: (bất đẳng thức Schur)
x4+y4+z4+xyz(x+y+z)≥≥xy(x2+y2)+yz(y2+z2)+zx(z2+x2),∀x,y,z≥0
Không mất tính tổng quát, giả sử x≥y≥z≥0. Khi đó:
VT(∗)−VP(∗)=(x−y)(x2(x−z)−y2(y−z))+z2(x−z)(y−z)≥0
Sử dụng bất đẳng thức CBS:
(cyc∑2a2+bc1)(cyc∑(b+c)2(2a2+bc))≥4(a+b+c)2
Ta chỉ cần chứng minh:
2(a+b+c)2(a2+b2+c2+ab+bc+ca)≥≥3cyc∑(b+c)2(2a2+bc)⇔2cyc∑a4+3cyc∑ab(a2+b2)+2cyc∑a2bc≥10cyc∑a2b2
Sử dụng bất đẳng thức Schur và bất đẳng thức AM - GM:
cyc∑a4+cyc∑a2bc≥cyc∑ab(a2+b2),cyc∑ab(a2+b2)≥2cyc∑a2b2
Từ đây ta có đpcm
Đẳng thức xảy ra ⇔ a=b=c hoặc a=b, c=0 và các hoán vị