Пусть точки A и B имеют координаты (x1, y1) и (x2, y2), соответственно. Мы знаем, что линия AB - это прямая, проходящая через середину отрезка AB, поэтому ее уравнение имеет вид y - ym = k(x - xm), где (xm, ym) - координаты середины отрезка AB, а k - угловой коэффициент прямой AB.
Учитывая, что AB перпендикулярна прямой l, угловой коэффициент прямой l равен -1/k. Пусть точка H (xh, yh) - проекция точки X (x, y) на прямую l. Так как линия l проходит через точку B, ее уравнение имеет вид y = -1/k(x - x2) + y2.
Теперь найдем координаты точки H. Так как H является проекцией точки X на прямую l, xh должно быть равно x. Подставляя это значение в уравнение линии l, мы получаем yh = -1/k(x - x2) + y2.
Теперь мы можем вычислить расстояние между точками X и A, а также между точками X и B. По теореме Пифагора, они равны:
d(XA)^2 = (x - x1)^2 + (y - y1)^2
d(XB)^2 = (x - x2)^2 + (y - y2)^2
Теперь сравним эти два расстояния. Для этого вычтем одно уравнение из другого:
d(XB)^2 - d(XA)^2 = (x - x2)^2 + (y - y2)^2 - (x - x1)^2 - (y - y1)^2
= (x^2 - 2x*x2 + x2^2 + y^2 - 2y*y2 + y2^2) - (x^2 - 2x*x1 + x1^2 + y^2 - 2y*y1 + y1^2)
= -2x*x2 + x2^2 - (-2x*x1 + x1^2) - 2y*y2 + y2^2 - (-2y*y1 + y1^2)
= 2(x1 - x2)x + 2(y1 - y2)y + (x2^2 - x1^2) + (y2^2 - y1^2)
= 2(x1 - x2)x + 2(y1 - y2)y + x2^2 - x1^2 + y2^2 - y1^2
= 2(x1 - x2)x + 2(y1 - y2)y + (x2 - x1)(x2 + x1) + (y2 - y1)(y2 + y1)
= 2(x1 - x2)x + 2(y1 - y2)y + (x2 - x1)(x2 + x1) + (y2 - y1)(y2 + y1)
= 2(x1 - x2)x + 2(y1 - y2)y + (x2 - x1)(x2 - x1) + (y2 - y1)(y2 - y1)
= 2(x1 - x2)x + 2(y1 - y2)y + (x2 - x1)^2 + (y2 - y1)^2
Так как точка H лежит на прямой l, yh = -1/k(x - x2) + y2. Подставим это значение в уравнение выше:
d(XB)^2 - d(XA)^2 = 2(x1 - x2)x + 2(y1 - y2)(-1/k(x - x2) + y2) + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x - 2(y1 - y2)/k(x - x2) + 2(y1 - y2)y2 + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x - 2(y1 - y2)/k(x - x2) + 2(y1 - y2)y2 + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)/k(x - x2) + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)/k(x - x2) + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + (2(y1 - y2)y2 - 2(y1 - y2)/k(x - x2)) + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)(y2 - 1/k(x - x2)) + (x2 - x1)^2 + (y2 - y1)^2
Так как точка H лежит на прямой l, yh = -1/k(x - x2) + y2. Подставим это значение в уравнение выше:
d(XB)^2 - d(XA)^2 = 2(x1 - x2)x + 2(y1 - y2)(-1/k(x - x2) + y2) + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x - 2(y1 - y2)/k(x - x2) + 2(y1 - y2)y2 + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x - 2(y1 - y2)/k(x - x2) + 2(y1 - y2)y2 + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)/k(x - x2) + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)/k(x - x2) + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)/k(x - x2) + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)(y2 - y1)/k + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)(y2 - y1)/k + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)(y2 - y1)/k + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)(y2 - y1)/k + (x2 - x1)^2 + (y2 - y1)^2
= 2(x1 - x2)x + 2(y1 - y2)y2 - 2(y1 - y2)(y2 - y1)/k + (x2 - x1)^2 + (y2 - y1)^2
Таким образом, мы получили выражение d(XB)^2 - d(XA)^2 в виде линейной комбинации x и y с коэффициентами, не зависящими от x и y.
В итоге, мы показали, что d(XB)^2 - d(XA)^2 равно линейной комбинации координат точки X с коэффициентами, не зависящими от этих координат. Это означает, что если точка X принадлежит прямой l, то d(XB)^2 - d(XA)^2 равно 0, а это в свою очередь означает, что d(XB) = d(XA), то есть каждая точка на прямой l одинаково удалена от точек A и B.