对实数a, b, c，有：
s[a*(a-b)*(a-c)]*s[a^3*(b^2+c^2-a^2)^2*(a-b)*(a-c)]-(s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]-p[b^2+c^2-a^2])*s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]>=0、
(2*s[a*(a-b)*(a-c)]+p[b+c-a])*s[a^3*(b^2+c^2-a^2)^2*(a-b)*(a-c)]+4*p[b^2+c^2-a^2]*s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]>=0、
(s[a*(a-b)*(a-c)]+k*p[a])*s[a^3*(b^2+c^2-a^2)^2*(a-b)*(a-c)]+(k+1)^2*((k-1)*s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]+p[b^2+c^2-a^2])*s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]≥0（k≥0）．
s[a*(a-b)*(a-c)]*s[a^3*(b^2+c^2-a^2)^2*(a-b)*(a-c)]-(s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]-p[b^2+c^2-a^2])*s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]>=0、
(2*s[a*(a-b)*(a-c)]+p[b+c-a])*s[a^3*(b^2+c^2-a^2)^2*(a-b)*(a-c)]+4*p[b^2+c^2-a^2]*s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]>=0、
(s[a*(a-b)*(a-c)]+k*p[a])*s[a^3*(b^2+c^2-a^2)^2*(a-b)*(a-c)]+(k+1)^2*((k-1)*s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]+p[b^2+c^2-a^2])*s[a^2*(b^2+c^2-a^2)*(a-b)*(a-c)]≥0（k≥0）．
