已知X1,X2为x^2+x-4=0的2个实数根,