Теорема о параллельности трех прямых

Теорема о параллельности трех прямых

Теорема. Если две прямые параллельны третьей прямой, то они параллельны.

Дано: a∥c и b∥c

Доказать: a∥b

Доказательство:

Выберем точку M на прямой b.

Через точку M и прямую a, которая не содержит эту точку, можно провести только одну плоскость α (Через прямую и не лежащую на ней точку можно провести только одну плоскость).

 Возможны два случая:

1) прямая b пересекает плоскость α или 2) прямая b находится в плоскости α.

 Пусть прямая b пересекает плоскость α.

Значит, прямая c, которая параллельна прямой b, тоже пересекает плоскость α. Так как a∥c, то получается, что a тоже пересекает эту плоскость. Но прямая a не может одновременно пересекать плоскость α и находиться в плоскости α. Получаем противоречие, следовательно, предположение, что прямая b пересекает плоскость α, является неверным. Значит, прямая b находится в плоскости α.

 Теперь нужно доказать, что прямые a и b параллельны.

Пусть у прямых a и b есть общая точка L.

Это означает, что через точку L проведены две прямые a и b, которые параллельны прямой c. Но по второй теореме это невозможно. Поэтому предположение неверное, и прямые a и b не имеют общих точек.

Так как прямые a и b находятся в одной плоскости α и у них нет общих точек, то они параллельны.

Если две точки прямой лежат в данной плоскости, то по аксиоме А₂ вся прямая лежит в этой плоскости. Из этого следует, что возможны три расположения прямой и плоскости: