Две прямые называются параллельными, если, находясь в одной плоскости, они не пересекаются, сколько бы их ни продолжали. Параллельность прямых на письме обозначают так: AB || СE
Возможность существования таких прямых доказывается теоремой.
Теорема.
Через всякую точку, взятую вне данной прямой, можно провести параллельную этой прямой.
Пусть AB данная прямая и С какая-нибудь точка, взятая вне ее. Требуется доказать, что через С можно провести прямую, параллельную AB. Опустим на AB из точки С перпендикуляр СD и затем проведем СE ^ СD, что возможно. Прямая CE параллельна AB.
Для доказательства допустим противное, т.е., что CE пересекается с AB в некоторой точке M. Тогда из точки M к прямой СD мы имели бы два различных перпендикуляра MD и MС, что невозможно. Значит, 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.