弦长公式怎么得出来的？

在消去一个未知数以后，得到一个一元二次方程：ax^2+bx+c=0.
那么，(x1-x2)^2=(x1+x2)^2-4x1x2
=(-b/a)^2-4*c/a
=(b^2-4ac)/a^2
--->|x1-x2|=根号b^2-4ac)/a^2

AB=根号[(x1-x2)^2+(y1-y2)^2]

然后后面就不会推了..后面怎么推呢？

再提取一个根号下(x1-x2)^2*[1+(y1-y2)^2/(x1-x2)^2]=|x1-x2|根号下(1+k^2)

|  |是指绝对值，k是指相交两点连线的斜率，如果是直线和图像的相交问题，那么k就是直线的斜率