答：
1+|x-1|=√[1-(y+1)^2]>=1
后面一个不等式两边平方得：1-(y+1)^2>=1
(y+1)^2<=0
所以：
y+1=0
解得：y=-1
代入原式得：1+|x-1|=1
解得：x=1
所以：x^2+y^2=2