直线截圆所得的弦的长度

题目

直线截圆所得的弦的长度
设一直线为Ax+By+C=0,一圆轨迹方程为(x-a)^2+(y-b)^2=c,如果它们相交,那么直线截圆的长度为多少?（公式）
我要那个公式呀……忘记类，笔记本找不到了，貌似有三个的 要推导过程饿……能发的话发下吧``谢谢~

答案

直线与圆锥曲线所截得的弦长有一个万能公式,[(x+x')^2-4xx']*(1+k^2),其中（x,y)与(x',y')是直线与圆锥曲线的两个交点,k为直线的斜率.不过这个公式是推导公式,在考试中必须把推导过程写出来.你要推导过程吗?