y=x^2+2x+k+1
存在的实数解 x1,x2
所以 b^2-4ac>=0
4-4(k+1)>=0
4k