Две прямые называются параллельными, если, находясь в одной плоскости, они не пересекаются, сколько бы их ни продолжали. Параллельность прямых на письме обозначают так: AB || СE

Возможность существования таких прямых доказывается теоремой.

Теорема.

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

 

Параллельные прямые. Основные понятия.

 

Пусть AB данная прямая и С какая-нибудь точка, взятая вне ее. Требуется доказать, что через С можно провести прямую, параллельную AB. Опустим на AB из точки С перпендикуляр СD и затем проведем СE ^ СD, что возможно. Прямая CE параллельна AB.

 

Для доказательства допустим противное, т.е., что CE пересекается с AB в некоторой точке M. Тогда из точки M к прямой СD мы имели бы два различных перпендикуляра MD и , что невозможно. Значит, CE не может пересечься с AB, т.е. СE параллельна AB.

 

Следствие.

Два перпендикуляра (СE и DB) к одной прямойD) параллельны.

 

Аксиома параллельных линий.

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

 

Параллельные прямые. Основные понятия.

 

Так, если прямая СD, проведенная через точку С параллельна прямой AB, то всякая другая прямая СE, проведенная через ту же точку С, не может быть параллельна AB, т.е. она при продолжении пересечется с AB.

 

Доказательство этой не вполне очевидной истины оказывается невозможным. Ее принимают без доказательства, как необходимое допущение (postulatum).

Следствия.

 

1. Если прямая (СE) пересекается с одной из параллельных (СВ), то она пересекается и с другой (AB), потому что в противном случае через одну и ту же точку С проходили бы две различные прямые, параллельные AB, что невозможно.

 

2. Если каждая из двух прямых (A и B) параллельны одной и той же третьей прямой (С), то они параллельны между собой.

 

Действительно, если предположить, что A и B пересекаются в некоторой точке M, то тогда через эту точку проходили бы две различные прямые, параллельные С, что невозможно.

Теорема.

Если прямая перпендикулярна к одной из параллельных прямых, то она перпендикулярна и к другой параллельной.

 

Параллельные прямые. Основные понятия.

 

Пусть AB || СD и EF ^ AB.Требуется доказать, что EF ^СD.

Перпендикуляр EF, пересекаясь с AB, непременно пересечет и СD. Пусть точка пересечения будет H.

 

Предположим теперь, что СD не перпендикулярна к EH. Тогда какая-нибудь другая прямая, например HK, будет перпендикулярна к EH и, следовательно через одну и ту же точку H будут проходить две прямые параллельные AB: одна СD, по условию, а другая HK по доказанному раньше. Так как это невозможно, то нельзя допустить, что СВ была не перпендикулярна к EH.