已知实数a,b,c满足a+2b+c=1,a^2+b^2+c^2=1,求证:-2/3<=c<=1 利用代入消元法然后利用科西不等式求解的过程