Для того чтобы доказать, что отрезок \( MN \) параллелен отрезку \( PQ \), воспользуемся свойствами средних линий треугольника и проводим некоторые рассуждения по координатам.
Рассмотрим треугольник \( ABC \) и точку \( D \), которая не принадлежит плоскости треугольника. Обозначим координаты точек следующим образом:
- \( A(x_1, y_1, z_1) \)
- \( B(x_2, y_2, z_2) \)
- \( C(x_3, y_3, z_3) \)
- \( D(x_4, y_4, z_4) \)
Теперь найдем координаты средних точек:
\( M \) — середина отрезка \( AD \): \[ M\left(\frac{x_1 + x_4}{2}, \frac{y_1 + y_4}{2}, \frac{z_1 + z_4}{2}\right) \]
\( N \) — середина отрезка \( AB \): \[ N\left(\frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2}, \frac{z_1 + z_2}{2}\right) \]
\( P \) — середина отрезка \( BC \): \[ P\left(\frac{x_2 + x_3}{2}, \frac{y_2 + y_3}{2}, \frac{z_2 + z_3}{2}\right) \]
\( Q \) — середина отрезка \( CD \): \[ Q\left(\frac{x_3 + x_4}{2}, \frac{y_3 + y_4}{2}, \frac{z_3 + z_4}{2}\right) \]
Теперь для того, чтобы показать, что отрезок \( MN \) параллелен отрезку \( PQ \), мы можем рассмотреть векторы \( \overrightarrow{MN} \) и \( \overrightarrow{PQ} \) и проверить, равны ли их направления.
Вектор \( \overrightarrow{MN} = N - M \): \[ \overrightarrow{MN} = \left(\frac{x_1 + x_2}{2} - \frac{x_1 + x_4}{2}, \frac{y_1 + y_2}{2} - \frac{y_1 + y_4}{2}, \frac{z_1 + z_2}{2} - \frac{z_1 + z_4}{2}\right) = \left(\frac{x_2 - x_4}{2}, \frac{y_2 - y_4}{2}, \frac{z_2 - z_4}{2}\right) \]
Вектор \( \overrightarrow{PQ} = Q - P \): \[ \overrightarrow{PQ} = \left(\frac{x_3 + x_4}{2} - \frac{x_2 + x_3}{2}, \frac{y_3 + y_4}{2} - \frac{y_2 + y_3}{2}, \frac{z_3 + z_4}{2} - \frac{z_2 + z_3}{2}\right) = \left(\frac{x_4 - x_2}{2}, \frac{y_4 - y_2}{2}, \frac{z_4 - z_2}{2}\right) \]
Обратите внимание, что векторы \( \overrightarrow{MN} \) и \( \overrightarrow{PQ} \) будут параллельны, если один из них является кратным (по направлению) другого. В данном случае можно заметить, что векторы имеют одинаковую природу и их координаты между собой связаны. Таким образом, \( MN \parallel PQ \).
Следовательно, мы подошли к выводу, что отрезок \( MN \) действительно параллелен отрезку \( PQ \).