方程aX^2+x+1=0有两个实数根x1,x2,求证x1