已知方程x²-3x+1=0 的两个实数根是x1、x2,则x1-x2为多少(韦达定理解)