Sử dụng bất đẳng thức CBS:
(cyc∑2a2−ab+2b2a3)(cyc∑a(2a2−ab+2b2)(c+a)2)≥≥(cyc∑a3+cyc∑ab2)2
Cuối cùng chứng minh:
3(cyc∑a3+cyc∑ab2)≥(cyc∑a)(cyc∑a(2a2−ab+2b2)(c+a)2)
Giả sử c = min{a, b, c}. Đặt a = c + x, b = c + y(x, y≥0). Khi đó bất đẳng thức trở thành
Ac4+Bc3+Dc2+Ec+F≥0 trong đó A=18(x2−xy+y2)≥0
B=20x3+33x2y−21xy2+20y3=20x3+22x2y+xy2+9y3+11y(x−y)2≥0D=11x4+35x3y+21x2y2−19xy3+11y4=11x4+35x2y2+11x2y2+xy3+y4+10y2(x−y)2≥0E=5x5+4x4y+27x3y2−5x2y3−7xy4+5y5=5x5+4x4y+y2(27x3−5x2y−7xy2+5y3)F=x6−x5y+5x4y2+2x3y3−3x2y4+y6F=x4(x2−xy+y2)+y2(2x2−y2)2+2x3y3+x2y4≥0
Đẳng thức xảy ra ⇔ a=b=c