把（1,2）带入 令结果大于0 即求得k的范围 为任意实数
然后把方程化为标准型 （x+k/2）^2+（y+1）^2=1-3/4K^2 方程右端要大于0
得到结果