为什么对称不等式的证明中可以增设a+b+c=1或abc=1?