简约而不简单的３元10次对称不等式

对任意实数x, y, z，有：4*s[(y*z)*((y+z)*(y+z-x)-4*y*z)^2*((x-y)*(x-z))^2]-s[x*(y+z-x)]^2*p[(x-y)*(x-z)]>=0．
当x, y, z ≥ 0时，进一步有：s[(y*z)*((y+z)*x-(y-z)^2)^2*((x-y)*(x-z))^2]+4*s[y*x*(y+z-x)*(x-y)*(x-z)]*s[z*x*(y+z-x)*(x-y)*(x-z)]>=0．
提示: 最好是不用pqr。