（x-x0）^2+(y-2)^2=4与直线方程x-y+3=0联立,得x^2+(1-x0)x+(x0^2-3)/2=0
设直线l交圆于两点（x1,y1）、（x2,y2）,有
x1/x2=-2;x1+x2=x0-1;x1x2=(x0^2-3)/2;x0^2