k mất tính tổng quát, giả sử b nằm giữa a và c
⇒c(b−a)(b−c)≤0
⇔b2c+ac2≤abc+bc2
⇔A=a2b+b2c+c2a+abc≤b(c+a)2≤427(a+b+c)3=4
Thiết lập tương tự với a(b−a)(b−c)=≤0 ta được B=ac2+ba2+cb2+abc≤4
Ngoài ra ta có C=abc≤(a+b+c)327=1
Ta có VT+15≥VT+A+2B+3C=(a+b+c)3=27⇒VT≥12
Dấu bằng xảy ra khi và chỉ khi a=b=c=1