xy(x^3-1)=0,所以X=0或Y=0或X=1
一 X=1代入x^2+xy=1+y
1+y=1+y
所以恒成立
二 X=0代入x^2+xy=1+y
Y+1=0
Y=-1
三 y=0代入x^2+xy=1+y
X^2=1
X=1或-1