已知X是一元二次方程X^2+3X-1=0的实数根