Для доказательства этого утверждения рассмотрим следующую ситуацию:
Пусть А и В лежат по разные стороны от прямой m и на одинаковом расстоянии от нее. Обозначим середину отрезка AB как точку М. Так как точки А и В лежат на одинаковом расстоянии от прямой m, то отрезки AM и BM равны по длине, так как они проведены из одной точки к прямой и образуют равные углы с ней.
Предположим, что прямая m не пересекает отрезок AB в его середине. Тогда существует точка P, которая лежит на отрезке AB, но не является его серединой. Посмотрим на отрезок AP. Так как точка P лежит на отрезке AB, на нем существует точка Q, которая является серединой отрезка AP. Так как отрезки AM и BM равны по длине, то и отрезки AQ и BQ также равны. Но это означает, что точка Q совпадает с точкой M, что противоречит нашему предположению.
Следовательно, прямая m пересекает отрезок AB в его середине.
На рисунке ниже показано, как прямая пересекает отрезок AB в его середине:
A---------M---------B
|
|
|
|
Таким образом, доказано, что прямая пересекает отрезок AB в его середине.