弦长公式推导y1 - y2 = k(x1 - x2),两点间距离公式是|AB| = √[(x1 - x2)²