Prove
4∑x⋅∑x(y+z)2yz−9=(4∑(y+z)2yz−3)+(4∑x(y+z)yz−6)=2∑yz(x+y)(x+z)x2(y−z)2−∑(y+zy−z)2=∏(y+z)1⋅∑yz(y+z)3x2yz+2x2y2+2x2z2−xy2z−xyz2−y2z2(y−z)2
By symmetry, without loss of generality, assume x⩾y⩾z. It is easy to prove that
xz(x+z)(x−z)2⩾xy(x+y)(x−y)2
And
3x2yz+2x2y2+2x2z2−xy2z−xyz2−y2z2>03xy2z+2x2y2+2y2z2−x2yz−xyz2−x2z2>0
Thus, we have
∑yz(y+z)3x2yz+2x2y2+2x2z2−xy2z−xyz2−y2z2(y−z)2⩾[(3xy2z+2x2y2+2y2z2−x2yz−xyz2−x2z2)+(3xyz2+2x2z2+2y2z2−x2yz−xy2z−x2y2)]⋅xy(x+y)(x−y)2=(2xy2z+2xyz2−2x2yz+x2y2+x2z2+4y2z2)⋅xy(x+y)(x−y)2⩾
0
Note: Equation (4) is equivalent to a,b,c∈R+, then ∑bc⋅∑(b+c)21⩾49. Refer to Example 19 in Chapter 7 "Other Inequality Proof Examples".