令k=(y+2)/(x+2)
y=kx+(2k-2)
代入x^2+y^2=2
所以x^2+k^2x^2+2k(2k-2)x+(2k-2)^2=2
所以(1+k^2)x^2+2k(2k-2)x+(2k-2)^2-2=0
这个关于x的方程有解
所以判别式大于等于0
4k^2(2k-2)^2-4(1+k^2)[(2k-2)^2-2]>=0
4k^2(2k-2)^2-4(1+k^2)(2k-2)^2+8(1+k^2)>=0
(2k-2)^2(4k^2-4-4k^2)+8(1+k^2)>=0
-4(2k-2)^2+8(1+k^2)>=0
-k^2+4k-1>=0
k^2-4k+1