x2+y2+2y=0 x2+(y+1)^2=1 令 x=cosa; y=-1+sina
x+y=cosa+sina-1=√2sin(a+π/4)-1 m>-(x+y)最大=√2+1
不等式x+y+m>0 恒成立;
m>√2+1