Không mất tính tổng quát giả sử a≥b≥c⇒{a3≥b3≥c3b+c1≥c+a1≥a+b1
Sử dụng bất đẳng thức hoán vị:
+{b+ca3+c+ab3+a+bc3≥a+ba3+b+cb3+c+ac3b+ca3+c+ab3+a+bc3≥c+aa3+a+bb3+b+cc3⇒VT(1)≥21(a+ba3+b3+b+cb3+c3+c+ac3+a3)=21[(a2+b2−ab)+(b2+c2−bc)+(c2+a2−ca)]≥≥(2a2+b2+2b2+c2+2c2+a2)=2a2+b2+c2(đpcm)