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