已知X1是一元二次方程x² 3x-1=0的一个实数根,