用斜截法求出直线方程,把直线方程代进圆方程,得到一个一元二次方程,K为系数。用韦达定理求出X1+X2:X1.X2再利用直线用X1,X2代替Y1,Y2。向量相乘为X1.X2+Y1.Y2,然后把上面的东西全代进来,就得到一个关于K的式子,化简后变成一个常数的