设实数x,y满足x^2+(y-1)^2=1,若对满足条件的x,y,x+y