x²+y²-2ay=0
x²+(y-a)²=a² (a>0)
直线x+y=1与圆没交点也就是说圆心到直线的距离大于半径r=a
圆心到直线的距离d=|0+a-1|/√2>a
解得-1+√2