bdt⇔c(b−a)a2+b2+a(c−b)b2+c2+b(a−c)c2+a2≤∑cyc(12−aba2+b2)
⇔∑cycc(b−a)a2+b2≤∑(a−b)22(a2+b2)
Khi đó VP≥0
Ta chỉ cần cm VT≤0
⇔(a−b).ca2+b2+(b−c).ab2+c2−[(a−b)+(b−c)].bc2+a2≥0
⇔(a−b)(ca2+b2−ba2+c2)+(b−c)(ab2+c2−bc2+a2)≥0
⇔(a−b)(c−b)(a2+b2+c2+cb)(a2+b2)(a2+c2)+(b−c)(a−b)(a2+b2+c2+ab)(b2+c2)(a2+c2)≥0
⇔(a−b)(b−c)(a2+b2+c2+abb2+c2−a2+b2+c2+bca2+b2)=0
Bằng việc giả sử a≥b≥c, dễ dàng cm bdt cuối đúng
⇒ dpcm