证明：令a,b,c均小于1.则b=2-x<1,得x>1,那么a=x^2+1/2>1,与假设矛盾.
故a,b,c不可能都小于1,即a,b,c中至少有一个不小于1