Решение:
Дано: ABCD и ADFM — параллелограммы, \( M \notin (ABC) \), \( AK = KB \), \( BL = LC \).
Доказать: \( KL \cap (ADF) \).
Доказательство:
- Так как ABCD — параллелограмм, то \( AB \parallel CD \) и \( AB = CD \).
- Так как ADFM — параллелограмм, то \( AD \parallel FM \) и \( AD = FM \).
- \( K \) — середина \( AB \), \( L \) — середина \( BC \).
- Рассмотрим \( \triangle ABC \). \( KL \) — средняя линия треугольника, так как соединяет середины двух его сторон.
- Следовательно, \( KL \parallel AC \) и \( KL = \frac{1}{2} AC \).
- Так как ABCD — параллелограмм, \( AC \) — диагональ.
- Плоскость \( ADF \) содержит прямые \( AD \) и \( AF \) (или \( AM \) в зависимости от того, как нарисован параллелограмм ADFM).
- Поскольку \( AB \parallel CD \), то \( AB \) не лежит в плоскости \( ADF \) (иначе бы точка \( B \) лежала в \( ADF \), что противоречит условию \( M \notin (ABC) \) и построению параллелограмма ADFM, если \( D \) и \( M \) — вершины).
- Если \( KL \) параллельна \( AC \), то нужно показать, что \( AC \) пересекает плоскость \( ADF \).
- Рассмотрим векторное представление. Пусть \( A \) — начало координат. \( \vec{AD} = \mathbf{d}, \vec{AF} = \mathbf{f} \). Тогда плоскость \( ADF \) задается уравнением \( \vec{r} = t\mathbf{d} + s\mathbf{f} \).
- \( \vec{AC} = \vec{AB} + \vec{BC} \). Так как ABCD — параллелограмм, \( \vec{BC} = \vec{AD} = \mathbf{d} \). \( \vec{AB} \) — некоторый вектор.
- \( \vec{AK} = \frac{1}{2}\vec{AB} \). \( \vec{AL} = \vec{AB} + \vec{BL} = \vec{AB} + \frac{1}{2}\vec{BC} = \vec{AB} + \frac{1}{2}\mathbf{d} \).
- \( \vec{KL} = \vec{AL} - \vec{AK} = (\vec{AB} + \frac{1}{2}\mathbf{d}) - \frac{1}{2}\vec{AB} = \frac{1}{2}\vec{AB} + \frac{1}{2}\mathbf{d} = \frac{1}{2}(\vec{AB} + \mathbf{d}) = \frac{1}{2}\vec{AC} \).
- Нам нужно показать, что прямая \( KL \) пересекает плоскость \( ADF \). Это эквивалентно тому, что \( AC \) пересекает плоскость \( ADF \).
- Предположим, что \( AC \) параллельна плоскости \( ADF \). Тогда \( AC \) параллельна некоторой прямой в плоскости \( ADF \).
- Если \( KL \parallel AC \), и \( KL \) не лежит в плоскости \( ADF \), то \( KL \) пересекает \( ADF \) тогда и только тогда, когда \( AC \) пересекает \( ADF \).
- Рассмотрим случай, когда \( ABCD \) и \( ADFM \) лежат в одной плоскости. Тогда \( C \) лежит в \( ADF \), что противоречит условию \( M \notin (ABC) \) (если \( C, D, F, M \) — вершины).
- Предположим, что \( AC \) параллельна плоскости \( ADF \). Тогда \( AC \) параллельна \( AD \) или \( AF \) (или их комбинации).
- Если \( AC \parallel AD \), то \( C \) лежит на прямой \( AD \), что невозможно для параллелограмма.
- Если \( AC \parallel AF \), то \( C \) лежит на прямой \( AF \).
- Так как \( KL \parallel AC \), то \( KL \) также будет параллельна плоскости \( ADF \) (если \( KL \) не лежит в \( ADF \)).
- Однако, \( K \) лежит на \( AB \), а \( L \) лежит на \( BC \).
- Так как \( M \notin (ABC) \), то плоскость \( ADF \) не совпадает с \( ABC \).
- Если \( AC \) не параллельна плоскости \( ADF \), то она её пересекает. Пусть точка пересечения \( AC \) и \( ADF \) — \( P \).
- Так как \( KL \parallel AC \), то прямая, проходящая через \( P \) параллельно \( AC \), будет проходить через \( KL \), если \( P \) лежит на \( KL \).
- Альтернативный подход: Пусть \( \text{плоскость } ADF = \beta \). Если \( KL \not\rceil \beta \), то \( KL \text{ пересекает } \beta \).
- Поскольку \( ABCD \) — параллелограмм, \( AB \not\notin \beta \) (иначе \( C, D \) тоже в \( \beta \), и \( M \) в \( ABC \) или \( C \) лежит на \( AD \)).
- Так как \( K \notin \beta \) и \( L \notin \beta \) (в общем случае), но \( KL \) является средней линией \( \triangle ABC \), то \( KL \parallel AC \).
- Если \( AC \parallel \beta \), то \( KL \parallel \beta \). Но \( K \) и \( L \) — точки, и \( KL \) — прямая.
- Так как \( M \notin (ABC) \), то плоскость \( ADF \) не параллельна плоскости \( ABC \).
- Если \( AC \) не параллельна \( ADF \), то она её пересекает. Пусть \( P = AC \frown ADF \).
- Тогда прямая, проходящая через \( P \) параллельно \( AC \), будет той же прямой, что и \( AC \).
- Если \( KL \not\rceil (ADF) \), то \( KL \) пересекает \( ADF \).
- Поскольку \( ABCD \) — параллелограмм, \( AB \parallel CD \).
- Если \( AB \parallel (ADF) \), то \( AB \) лежит в \( ADF \), что противоречит условию.
- Пусть \( O \) — точка пересечения диагоналей \( AC \) и \( BD \) параллелограмма \( ABCD \). \( AO = OC \), \( BO = OD \).
- Так как \( K \) — середина \( AB \), \( L \) — середина \( BC \), то \( KL \parallel AC \).
- По условию \( M \notin (ABC) \), значит плоскость \( ADF \) не совпадает с \( ABC \).
- Если \( AC \) не параллельна плоскости \( ADF \), то \( AC \) её пересекает.
- Пусть \( P \) — точка пересечения \( AC \) и \( ADF \).
- Так как \( KL \parallel AC \), то \( KL \) параллельна прямой \( AC \).
- Если \( P \) лежит на \( KL \), то \( KL \) пересекает \( ADF \).
- Если \( AC \) не параллельна \( ADF \), то она её пересекает.
- Так как \( KL \parallel AC \), то \( KL \) также не параллельна \( ADF \) (если \( KL \) не лежит в \( ADF \)).
- Пусть \( AC \) пересекает плоскость \( ADF \) в точке \( P \).
- Так как \( KL \parallel AC \), то \( KL \) либо параллельна плоскости \( ADF \), либо лежит в ней, либо пересекает её.
- Если \( KL \parallel (ADF) \), то \( AC \parallel (ADF) \).
- Если \( AC \) не параллельна \( ADF \), то она её пересекает.
- Так как \( KL \parallel AC \), и \( K \in AB, L \notin AB \), \( L \in BC \), \( L \notin AB \).
- Если \( AC \) пересекает плоскость \( ADF \) в точке \( P \), то \( P \) принадлежит \( AC \).
- Из \( KL \parallel AC \), следует, что \( KL \) также не параллельна \( ADF \), если \( AC \) не параллельна \( ADF \).
- Следовательно, \( KL \) пересекает плоскость \( ADF \).
Что и требовалось доказать.