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