Взаимное расположение двух прямых на плоскости Лобачевского

1. Докажем следующую лемму.

Лемма 1. Если АВ || CD, то существует ось симметрии прямых АВ и CD.

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

Пусть Р и Q - точки, лежащие соответственно на прямых АВ и CD, a h и k - биссектрисы углов QPB и PQD. Так как АВ || CD, то луч h пересекает луч QD в некоторой точке Е. Тогда луч k пересекает отрезок РЕ в некоторой точке S.

Докажем, что точка S равноудалена от прямых АВ и CD. Обозна­чим через SH₁, SH₂ и SH₃ — перпендикуляры, проведенные из точки S к прямым АВ, CD и PQ. Так как , то . Теперь ясно, что прямая d, содержащая биссектрису угла H₁SH₂, является осью симметрии прямых АВ и CD.

Доказательство завершено.

Пользуясь этой леммой, легко доказать, что отношение параллель­ности направленных прямых удовлетворяет условию симметричности, т. е. справедлива теорема.

Теорема 1. Если АВ || CD, то CD || АВ.

.

Теорема 2. Если АВ || EF, EF || CD и прямые АВ и CD не сов­падают, то А В || CD.

2. Условимся называть две (ненаправленные) прямые а и b парал­лельными, если на этих прямых можно выбрать направления так, чтобы они были параллельны.

Две прямые на плоскости Лобачевского называются расходящи­мися (или сверхпараллельными), если они не пересекаются и не параллельны. Легко видеть, что через каждую точку М, не лежащуюна прямой а, проходит бесконечное множество прямых, каждая из которых расходится с прямой а. В самом деле, пусть прямые CD и EF параллельны прямой а в разных направлениях (см. рис. 218). Тогда любая прямая, проходящая через точку М внутри вертикальных углов CMF и EMD, расходится с прямой а.

Таким образом, на плоскости Лобачевского в отличие от плоско­сти Евклида имеются три случая взаимного расположения двух пря­мых: прямые пересекаются, параллельны или расходятся.

Теорема 3. Две прямые, имеющие общий перпендикуляр, рас­ходятся.

Следствие. На плоскости Лобачевско'гв-нё существует общего перпендикуляра двух параллельных прямых.

Заметим, что две прямые не могут иметь более чем один общий перпендикуляр. Действительно, если, например, прямые а и b имеют два общих перпендикуляра АВ и А' В', то выпуклый четы­рехугольник ABB' А' имеет четыре прямых угла. Но это противоречит теореме 2 §8. Таким образом, если две прямые имеют общий перпен­дикуляр, то он единственный и по теореме 3 эти прямые расходятся. Ниже, в §27, будет доказана обратная теорема: любые две расходя­щиеся прямые имеют общий перпендикуляр.

В заключение отметим, что на плоскости Лобачевского рас­стояние от переменной точки одной из двух параллельных или расхо­дящихся прямых до другой прямой есть переменная величина. Для этого предварительно докажем следующую лемму.

ОБЩИЕ ВОПРОСЫ АКСИОМАТИКИ. ОБОСНОВАНИЕ ЕВКЛИДОВОЙ ГЕОМЕТРИИ.

Как было отмечено в предыдущей главе, основным методом современной математики является аксиоматический метод, который берет свое начало от «Оснований геометрии» Д. Гильберта. Этот метод тесно связан с понятием математической структуры, с которым читатель познакомится в следующем параграфе.