26. (2007.03.30) Simplify
∑a2+2bca(b+c)−1−∑a2∑bc=∑[a2+2bca(b+c)−∑a2a(b+c)]+∑a22∑bc−1−∑a2∑bc=∑(a2+2bc)∑a2a(b+c)(b−c)2−2∑a2∑(b−c)2=∑2(a2+2bc)(a2+b2+c2)2ab+2ac−a2−2bc(b−c)2=∑2(a2+2bc)(a2+b2+c2)a2−2(a−b)(a−c)(b−c)2
Therefore, we only need to prove
∑a2+2bca2−2(a−b)(a−c)(b−c)2⩾0
Since
∑a2+2bca2(b−c)2⩾0
We only need to prove
∑a2+2bc−2(a−b)(a−c)(b−c)2⩾0⇔∑a2+2bc−(a−b)(a−c)(b−c)2⩾0
By symmetry, without loss of generality, assume a⩾b⩾c, then
the left side of equation (3) =(a−b)(b−c)(a−c)(−a2+2bcb−c+b2+2aca−c−c2+2aba−b)=
(a−b)(b−c)(a−c)[(b−c)(b2+2ac1−a2+2bc1)+(a−b)(b2+2ac1−c2+2ab1)]=(a−b)(b−c)(a−c)[(b2+2ac)(a2+2bc)(a+b−2c)(a−b)(b−c)+(b2+2ac)(c2+2ab)(2a−b−c)(a−b)(b−c)]⩾0
Thus, equation (3) holds. By equations (2) and (3), equation (1) holds, and the original proposition is proved.