方程x^2+x-1=0有几个实数解