求用代数法判断圆被直线所截的弦的长度公式的推导过程

AB
=√[(x1-x2)^2+(y1-y2)^2].这是两点距离公式
(x1,y1),(x2,y2)是在y=kx+b的直线上
∴y1=kx1+b
y2=kx2+b
距离公式化简得
=√[(x1-x2)^2+k^2(x1-x2)^2]
=√[(1+k^2)(x1-x2)^2]
=√(1+k^2)|x1-x2|应该是这样的吧：
距离公式化简
原式
=√[(x1-x2)^2+(kx1+b-kx2-b)^2]

=√[(x1-x2)^2+(kx1-kx2)^2]

=√[(x1-x2)^2+k^2(x1)^2-2k^2(x1x2)+k^2(x2)^2]
=√[(x1-x2)^2+(x1)^2-(x1x2)+(x2)^2]
=√[2(x1)^2-3(x1x2)+2(x2)^2]倒数第二步，k哪去了
同时2x1x2怎么变成x1x2了
我的过程已径非常标准了后三项的系数分别是k^2、-2k^2、k^2为什么没了三者相加等于零，化简掉了你都没有公因式，怎么约的那是怎么得到”√[(x1-x2)^2+k^2(x1-x2)^2]“这一步的(kx1-kx2)^2

就是从中提取k
=k^2(x1-x2)^2
没什么特殊地方原来可以这么提呀