对正数w、x、y、z，有：F(w, x, y, z)≔4*(w+x+y+z)^6-28*(w+x+y+z)^4*(w*x+w*y+x*y+w*z+x*z+y*z)+49*(w+x+y+z)^2*(w*x+w*y+x*y+w*z+x*z+y*z)^2+36*(w+x+y+z)^3*(w*x*y+w*x*z+w*y*z+x*y*z)-126*(w+x+y+z)*(w*x+w*y+x*y+w*z+x*z+y*z)*(w*x*y+w*x*z+w*y*z+x*y*z)+81*(w*x*y+w*x*z+w*y*z+x*y*z)^2+26*(w+x+y+z)^2*(w*x*y*z)-72*(w*x+w*y+x*y+w*z+x*z+y*z)*(w*x*y*z)⩾0（其中F(0, x, y, z)＝2*s[(y^2+z^2-2*x^2)^2*(y-z)^2]-9*p[y-z]^2≧0）．
对实数w、x、y、z，有：G(w, x, y, z)≔4*(w+x+y+z)^6-28*(w+x+y+z)^4*(w*x+w*y+x*y+w*z+x*z+y*z)+49*(w+x+y+z)^2*(w*x+w*y+x*y+w*z+x*z+y*z)^2+52*(w+x+y+z)^3*(w*x*y+w*x*z+w*y*z+x*y*z)-190*(w+x+y+z)*(w*x+w*y+x*y+w*z+x*z+y*z)*(w*x*y+w*x*z+w*y*z+x*y*z)+225*(w*x*y+w*x*z+w*y*z+x*y*z)^2+40*(w+x+y+z)^2*(w*x*y*z)-152*(w*x+w*y+x*y+w*z+x*z+y*z)*(w*x*y*z)⩾0（其中G(0, x, y, z)＝2*s[(y^2+z^2-0*x^2)^2*(y-z)^2]-9*p[y-z]^2≧0）．
对实数w、x、y、z，有：G(w, x, y, z)≔4*(w+x+y+z)^6-28*(w+x+y+z)^4*(w*x+w*y+x*y+w*z+x*z+y*z)+49*(w+x+y+z)^2*(w*x+w*y+x*y+w*z+x*z+y*z)^2+52*(w+x+y+z)^3*(w*x*y+w*x*z+w*y*z+x*y*z)-190*(w+x+y+z)*(w*x+w*y+x*y+w*z+x*z+y*z)*(w*x*y+w*x*z+w*y*z+x*y*z)+225*(w*x*y+w*x*z+w*y*z+x*y*z)^2+40*(w+x+y+z)^2*(w*x*y*z)-152*(w*x+w*y+x*y+w*z+x*z+y*z)*(w*x*y*z)⩾0（其中G(0, x, y, z)＝2*s[(y^2+z^2-0*x^2)^2*(y-z)^2]-9*p[y-z]^2≧0）．
