因为 x^2+y^2=3
x^2+y^2=(x-y)^2+2xy=3
因为 xy=1,且0