已经知道a=x^2-2y+3/2 ,b=y^2-2x+3/4 c=Z^2-2x+6 a,b,c至少有一个大于0的 用反证