Sử dụng bất đẳng thức CBS:
cyc∑b3+abc+c3a(b+c)2=cyc∑a3(b3+abc+c3)a4(b+c)2≥≥∑cyca3(b3+abc+c3)(a2(b+c)+b2(c+a)+c2(a+b))2
Ta chỉ cần chứng minh:
(a2(b+c)+b2(c+a)+c2(a+b))2≥cyc∑a3(b3+abc+c3)⇔(a−b)2(b−c)2(c−a)2≥0 (luo^n đuˊng)
Đẳng thức xảy ra ⇔ a=b, c=0 hoặc các hoán vị