x^2+y^2-2y=0
x^2+(y-1)^2=1
设圆的参数方程x=cosa y=1+sina
m>=-(x+y)=-(1+sina+cosa)=-(1+根号2sin(a+b))
恒成立
所以m大等于其最大值
m>=-1+根号2