Докажем, что прямая, проходящая через середины отрезков \( AC \) и \( BC \), параллельна плоскости \( \pi \).
Обозначим точки:
- \( A(x_1, y_1, z_1) \) и \( B(x_2, y_2, z_2) \) – точки в плоскости \( \pi \), следовательно, их координаты удовлетворяют уравнению плоскости \( \pi \).
- \( C(x_3, y_3, z_3) \) – точка, не лежащая в плоскости \( \pi \).
Сначала найдем середины отрезков \( AC \) и \( BC \):
Середина отрезка \( AC \): \[ M_{AC} = \left( \frac{x_1 + x_3}{2}, \frac{y_1 + y_3}{2}, \frac{z_1 + z_3}{2} \right) \]
Середина отрезка \( BC \): \[ M_{BC} = \left( \frac{x_2 + x_3}{2}, \frac{y_2 + y_3}{2}, \frac{z_2 + z_3}{2} \right) \]
Теперь найдем вектор \( \overrightarrow{M_{AC}M_{BC}} \) (вектор, направленный от \( M_{AC} \) к \( M_{BC} \)): \[ \overrightarrow{M_{AC}M_{BC}} = M_{BC} - M_{AC} = \left( \frac{x_2 + x_3}{2} - \frac{x_1 + x_3}{2}, \frac{y_2 + y_3}{2} - \frac{y_1 + y_3}{2}, \frac{z_2 + z_3}{2} - \frac{z_1 + z_3}{2} \right) \]
Упрощаем: \[ \overrightarrow{M_{AC}M_{BC}} = \left( \frac{x_2 - x_1}{2}, \frac{y_2 - y_1}{2}, \frac{z_2 - z_1}{2} \right) \]
Вектор \( \overrightarrow{M_{AC}M_{BC}} \) имеет ненулевые компоненты только в плоскости \( \pi \) и не зависит от координаты \( z \) точки \( C \), так как она не влияет на разность координат между \( A \) и \( B \).
Теперь, чтобы доказать, что прямая, проходящая через точки \( M_{AC} \) и \( M_{BC} \), параллельна плоскости \( \pi \), мы можем воспользоваться тем, что нормальный вектор плоскости \( \pi \) будет перпендикулярен вектору, направляющемуся вдоль этой прямой. Если нормальный вектор плоскости \( \pi \) обозначить как \( \mathbf{n} = (a, b, c) \), то необходимо показать, что: \[ \mathbf{n} \cdot \overrightarrow{M_{AC}M_{BC}} = 0 \]
При подстановке: \[ \mathbf{n} \cdot \overrightarrow{M_{AC}M_{BC}} = a \cdot \frac{x_2 - x_1}{2} + b \cdot \frac{y_2 - y_1}{2} + c \cdot \frac{z_2 - z_1}{2} \]
Из уравнения плоскости следует, что \( z_1 \) и \( z_2 \) равно одинаковую константу, следовательно, \( c \) umести.
Таким образом, вектор \( \overrightarrow{M_{AC}M_{BC}} \) зависит только от координат, принадлежащих плоскости \( \pi \), и его проекция на нормальный вектор равна нулю, что показывает, что прямая, проходящая через середины отрезков \( AC \) и \( BC \), действительно параллельна плоскости \( \pi \).
Таким образом, завершаем доказательство:
Прямая, проходящая через середины отрезков \( AC \) и \( BC \), параллельна плоскости \( \pi \).