70. Proof: (1) When a⩾b⩾c, a3b+b3c+c3a−ab3−bc3−ca3=(a+ b+c)⋅(a−b)(b−c)(a−c)⩾0. Therefore, it suffices to prove that inequality (1) holds when a⩾b⩾c.
Since
2∑bc⋅∑(b−c)2+3abc∑a−3∑a3b=2∑bc⋅∑(b−c)2−3∑ab(a−c)2=(2bc+2ca−ab)(a−c)2+(2ca+2ab−bc)(a−b)2+(2ab+2bc−ca)(b−c)2=(4ac+bc+ab)(a−b)2+(4bc+ac+ab)(b−c)2+2(2bc+2ac−ab)(a−b)(b−c)=4ac[(a−b)2+(a−b)(b−c)]+4bc[(b−c)2+(a−b)(b−c)]+ab[(a−b)2+(b−c)2−2(a−b)(b−c)]+bc(a−b)2+ac(b−c)2⩾
0
This shows that inequality (1) holds.
(2) Since ∑a⋅(a2b+b2c+c2a+abc)=∑a3b+(∑bc)2, we have
∑a⋅(a2b+b2c+c2a+abc)−(∑bc)2⩽abc⋅∑a+32∑bc⋅∑(b−c)2
Applying inequality (1), we get
∑a2b⩽∑a(∑bc)2+32∑bc⋅∑(b−c)2=3∑a∑bc⋅[4(∑a)2−9∑bc]
Note: The above inequality (1) and problem 29: ∑a3b+(∑bc)2⩽274(∑a)4, as well as the inequality in Example 15 of Chapter 2 "Incremental Comparison Method for Proving Inequalities": 3∑a3b⩽(∑a2)2, are of equal strength; inequality (2) and a2b+b2c+c2a+abc⩽274(a+b+c)3 are also of equal strength.
Additionally, inequalities (1) and (2) can also be proven using the incremental comparison method.