已知点p(x,y)是圆x的平方加y的平方等于2y上的动点.如果x+y+a大与等于o恒成立,求实数a的取值范围