正性使乘积等式转化为变量等式。
十个平方都必须为零。因所有 xi>0x_i>0xi>0,上述等式推出 x2=x4x_2=x_4x2=x4、x3=x5x_3=x_5x3=x5、x4=x1x_4=x_1x4=x1、x5=x2x_5=x_2x5=x2。