一看你那两个方程是一样的,只不过字母不同
∴可以假设x1,x2是方程x^2-2x=1的两个不同根（已知x1≠x2）
x^2-2x=1等价于x^2-2x-1=0
∴x1*x2=-1（用了根与系数的关系）