В гиперболической геометрии гиперболический треугольник является треугольником на гиперболической плоскости. Он состоит из трёх отрезков, называемых сторонами или рёбрами, и трёх точек, называемых углами или вершинами.
Как и в евклидовом случае, три точки гиперболического пространства[en] произвольной размерности всегда лежат в той же плоскости. Следовательно, планарные гиперболические треугольники также описывают треугольники, возможные в любых гиперболических пространствах высокой размерности.
Гиперболический треугольник состоит из трёх неколлинеарных точек и трёх отрезков между ними[1].
Гиперболические треугольники имеют некоторые свойства, которые аналогичны свойствам треугольников в евклидовой геометрии:
Гиперболические треугольники имеют некоторые свойства, аналогичные свойствам треугольников на сферической или эллиптической геометрии:
Гиперболические треугольники имеют некоторые свойства, которые противоположны свойствам треугольников в сферической или эллиптической геометрии:
Гиперболические треугольники имеют также некоторые свойства, которых нет в других геометриях:
Определение треугольника можно обобщить, если разрешить вершинам лежать на идеальной границе гиперплоскости, при этом стороны должны лежать внутри плоскости. Если пара сторон является асимптотически параллельными (то есть расстояние между ними стремится к нулю при стремлении к идеальной точке, но они не пересекаются), то они заканчиваются в идеальной вершине, представленной омега-точкой.
Говорят, что такая пара сторон образует нулевой угол.
Треугольник с нулевым углом невозможен в евклидовой геометрии для прямолинейных сторон, лежащих на разных прямых. Однако такие нулевые углы возможны для касающихся окружностей[en].
Треугольник с одной идеальной вершиной называется омега-треугольником.
Специальные виды треугольников с идеальными вершинами:
Треугольник, в котором одна вершина является идеальной точкой, один угол прямой — третий угол является углом параллельности для стороны между прямым углом и третьим углом.
Треугольник, в котором две вершины являются идеальными точками, а оставшийся угол является прямым. Это один из первых гиперболических треугольников (1818), который описал Фердинанд Карл Швайкерт.
Треугольник, в котором все вершины являются идеальными точками. Такой треугольник является самым большим из возможных треугольников в геометрии Лобачевского, поскольку имеет нулевую сумму углов.
Связи между углами и сторонами аналогичны связям между такими же объектами в сферической тригонометрии. Масштаб длины для сферической геометрии и геометрии Лобачевского можно, например, определить как длину стороны равностороннего треугольника с фиксированными углами.
Масштаб длины наиболее удобен, если длины измеряются в терминах абсолютной длины (специальной единицы длины, аналогичной отношению между расстояниями в сферической геометрии). Выбор масштаба длины делает формулы проще[4].
В терминах модели Пуанкаре в верхней полуплоскости абсолютная длина соответствует инфинитезимальной метрике , а в дисковой модели Пуанкаре соответствует
В терминах (постоянной отрицательной) кривизны Гаусса K гиперболической плоскости единица абсолютной длины соответствует длине
В гиперболическом треугольнике сумма углов A, B, C (соответствующих противоположным сторонам с тем же буквами) строго меньше развёрнутого угла. Разница между мерой развёрнутого угла и суммой мер углов треугольника называется дефектом треугольника. Площадь гиперболического треугольника равна его дефекту, умноженному на квадрат R:
Эта теорема, впервые доказанная Иоганном Генрихом Ламбертом[5], связана с теоремой Жирара в сферической геометрии.
Во всех формулах ниже стороны a, b и c должны быть измерены по абсолютной длине, единице, такой, что кривизна Гаусса K поверхности равна −1. Другими словами, величина R в вышестоящем параграфе должна быть принята равной 1.
Тригонометрические формулы для гиперболических треугольников зависят от гиперболических функций sh, ch, and th.
Если C обозначает прямой угол, то:
Верны следующие равенства[7]:
Площадь прямоугольного треугольника равна:
а также
Экземпляр омега-треугольника с прямым углом даёт конфигурацию для проверки угла параллельности в треугольнике.
В случае, когда угол B = 0, a = c = и , получаем (b = прилежащий катет)
Тригонометрические формулы для прямоугольных треугольников дают также отношения между сторонами s и углами A равностороннего треугольника (треугольника, у которого все стороны имеют одинаковую длину и все углы равны):
Независимо от того, является C прямым углом или нет, выполняются следующие соотношения: Гиперболический закон косинусов[en]:
Существует также закон синусов:
и четырёхчленная формула:
Для гиперболической тригонометрии:
Для улучшения этой статьи желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .