Пусть отрезки \( MN \) и \( EF \) пересекаются в точке \( P \), которая является их серединой. Обозначим середины отрезков: \( M_1 \) и \( N_1 \) - середины отрезка \( MN \), а \( E_1 \) и \( F_1 \) - середины отрезка \( EF \). Поскольку \( P \) является средней точкой обоих отрезков, это означает, что:
- \( M_1P = P N_1 \)
- \( E_1P = P F_1 \)
Теперь посмотрим на треугольники \( E_1PM_1 \) и \( F_1PN_1 \). Мы имеем:
- \( E_1P = F_1P \) (они равны по определению середины),
- \( M_1P = N_1P \) (аналогично).
Таким образом, в треугольниках \( E_1PM_1 \) и \( F_1PN_1 \) соблюдается условие равных отрезков, что позволяет нам заключить, что углы \( E_1PM_1 \) и \( F_1PN_1 \) равны. Так, по теореме о параллельности, если два угла, образованные пересечением двух линий (в нашем случае, линий \( EN \) и \( MF \)), равны, то эти линии параллельны.
Таким образом, \( EN \) параллельно \( MF \).