Асимптотически параллельные прямые

Материал из testwiki
Версия от 10:30, 1 января 2024; imported>Cmglee (Определение: Limiting_Parallels.jpg → limiting_parallels.svg)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску
Две прямые через заданную точку P, асимптотически параллельные прямой R.

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

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

Для лучей отношение асимптотической параллельности является отношением эквивалентности, которое включает терминальное отношение эквивалентности.

Асимптотические параллельные могут образовывать две или три стороны асимптотического треугольника.

Определение

Луч Aa является асимптотически параллельным лучу Bb, что записывается как Aa|||Bb

Луч Aa является асимптотически параллельным лучу Bb, если они котерминальны или если они лежат на различных прямых, не равных прямой AB, не пересекаются и любой луч внутри угла BAa пересекает луч BbШаблон:Sfn.

Свойства

Различные прямые, содержащие асимптотические параллельные лучи, не пересекаются.

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

Предположим, что прямые, содержащие различные параллельные лучи, пересекаются. По определению они не могут пересечься на стороне AB, в которой находится луч a. Тогда они должны пересекаться на стороне AB, противоположной лучу a, обозначим эту точку C. Тогда (здесь P = прямой угол) CAB+CBA<2PaAB+bBA>2P. Противоречие.

См. также

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend Шаблон:Rq