Теорема 3.

Через любую точку пространства, не лежащую на данной прямой, проходит прямая, параллельная данной, и притом только одна.

Дано: прямая а, (Рис. 2.)

Доказать: существует единственная прямая b || a,

Рис. 2.

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

Через прямую а и точку , не лежащую на ней, можно провести единственную плоскость α (Рис. 3.). В плоскости α можно провести единственную прямую b, параллельную а, проходящую через точку M (из аксиомы планиметрии о параллельных прямых). Существование такой прямой доказано.

Рис. 3.

Докажем единственность такой прямой. Предположим, что существует другая прямая с, проходящая через точку M и параллельная прямой а. Пусть параллельные прямые а и с лежат в плоскости β. Тогда плоскость β проходит через точку M и прямую а. Но через точку M и прямую а проходит единственная плоскость (в силу теоремы 2). Значит, плоскости β и α совпадают. Из аксиомы параллельных прямых, следует, что прямые b и с совпадают, так как в плоскости существует единственная прямая, проходящая через данную точку и параллельная заданной прямой. Единственность доказана.