假设这三个数都小于等于0,则:
(x²+2y+2)+(y²-2z+4/3)+(z²-2x+2/3)≤0
(x-1)²+(y+1)²+(z-1)²+1≤0
则这个式子矛盾,从而假设错误.
所以,a、b、c中至少有一个大于0