Для доказательства того, что ( PE \parallel QF ), мы можем использовать свойства средних линий и параллельных отрезков в геометрии. Рассмотрим отрезки ( EF ) и ( PQ ), которые пересекаются в точке ( M ), причем ( M ) является их общей серединой. Это означает, что ( M ) делит каждый из отрезков ( EF ) и ( PQ ) пополам.
Обозначим точки пересечения следующим образом:
- ( E ) и ( F ) — концы отрезка ( EF );
- ( P ) и ( Q ) — концы отрезка ( PQ );
- ( M ) — точка пересечения отрезков ( EF ) и ( PQ ).
Поскольку ( M ) является серединой отрезков ( EF ) и ( PQ ), мы можем записать:
[ EM = MF \quad \text{и} \quad PM = MQ. ]
Теперь рассмотрим треугольник ( EPQ ). Отрезок ( EF ) пересекает его в точке ( M ), которая является серединой ( PQ ). Аналогично, отрезок ( PQ ) пересекает его в точке ( M ), которая является серединой ( EF ).
По теореме о средней линии треугольника, если отрезок соединяет середины двух сторон треугольника, то он параллелен третьей стороне и равен половине её длины. Таким образом, в треугольнике ( EPQ ):
- ( M ) — середина ( PQ ).
- Отрезок ( MF ) соединяет середину стороны ( PQ ) с точкой ( F ), которая является одной из вершин треугольника ( EPQ ).
Используя теорему о средней линии, мы можем утверждать, что отрезок, соединяющий середины двух сторон треугольника, параллелен третьей стороне. В нашем случае ( MF \parallel EQ ).
Аналогично, отрезок ( ME ) соединяет середину стороны ( PQ ) с точкой ( E ). По теореме о средней линии, отрезок ( ME \parallel FP ).
Следовательно, из свойств параллельных отрезков и средней линии треугольника следует, что ( PE \parallel QF ).
Таким образом, мы доказали, что ( PE \parallel QF ), используя теорему о средней линии треугольника и свойства параллельных отрезков.