Xét hàm số a3+b3+c3+3abc−(a2b+b2c+c2a+ab2+bc2+ca2)
Ta có
f(a,b,c)−f(a,2b+c,2b+c)=(b+c−45a)(b−c)2
Do dó, nếu a = min {a,b,c} (điều này luôn có thể giả sử) thì ta có f(a,b,c)≥f(a,2b+c,2b+c)
Như vậy, để chứng minh bắt dẳng thức đầu bài, ta chỉ cần chứng minh f(a,b,b)≥0
Nhưng bất đẳng thức này tương đương với
a3+2b3+3ab2−(a2b+a2b+b2a+ab2+b3+b2a+b3)≥0⇔a3+ab2−2a2b≥0⇔a(a−b)2≥0