Пусть точка ( A ) делит отрезок ( MP ) на два равных отрезка, так что ( MA = AP ). Обозначим точки ( E ) и ( K ) на прямой так, что ( EM = MK ) и ( EP = PK ).
Рассмотрим треугольники ( \triangle AEM ) и ( \triangle AEP ).
В треугольнике ( \triangle AEM ):
- ( AM ) и ( AE ) — катеты, а ( EM ) — гипотенуза.
В треугольнике ( \triangle AEP ):
- ( AP ) и ( AE ) — катеты, а ( EP ) — гипотенуза.
По условию ( EM = MK ) и ( EP = PK ), следовательно, ( AE ) в обоих треугольниках является общим элементом.
Теперь обратим внимание на свойства треугольников:
- В треугольниках ( \triangle AEM ) и ( \triangle AEP ) если ( EM = EP ), то они являются равнобедренными.
- Оба треугольника имеют общий катет ( AE ).
- Из равенства отрезков ( EM ) и ( EP ) следует, что угол ( AEM ) равен углу ( AEP ).
Это означает, что если угол между прямыми ( AE ) и ( EM ) равен углу между прямыми ( AE ) и ( EP ), то они перпендикулярны.
Таким образом, если ( AM = AP ) и выполнены условия на равенство отрезков, можно сделать вывод о том, что прямые ( A ) и ( EK ) перпендикулярны.
Таким образом, мы доказали, что прямые ( A ) и ( EK ) действительно перпендикулярны.