Гиперболический треугольник

Гиперболический треугольник — треугольником на гиперболической плоскости. Он состоит из трёх отрезков, называемых сторонами или рёбрами, и трёх точек, называемых углами или вершинами.

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

Гиперболический треугольник состоит из трёх неколлинеарных точек и трёх отрезков между ними^[1].

Гиперболические треугольники имеют некоторые свойства, которые аналогичны свойствам треугольников в евклидовой геометрии:

• Каждый гиперболический треугольник имеет вписанную окружность, но не любой гиперболический треугольник имеет описанную окружность (см. ниже)^[2][3]. Его вершины могут лежать на орицикле или гиперцикле.

Гиперболические треугольники имеют некоторые свойства, аналогичные свойствам треугольников на сферической или эллиптической геометрии:

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

Гиперболические треугольники имеют некоторые свойства, которые противоположны свойствам треугольников в сферической или эллиптической геометрии:

• Сумма углов треугольника меньше 180°.
• Площадь треугольника пропорциональна дефициту его суммы углов (до 180°).

Гиперболические треугольники имеют также некоторые свойства, которых нет в других геометриях:

• Некоторые гиперболические треугольники не имеют описанной окружности, что бывает в случае, когда по меньшей мере одна из вершин является идеальной точкой или когда все из вершин лежат на орицикле или на одностороннем гиперцикле.
• Гиперболические треугольники тонкие, существует максимальное расстояние δ от точки на стороне до других двух сторон. Этот принцип приводит к появлению δ-гиперболических пространств.

Определение треугольника можно обобщить, если разрешить вершинам лежать на идеальной границе гиперплоскости, при этом стороны должны лежать внутри плоскости. Если пара сторон является асимптотически параллельными (то есть расстояние между ними стремится к нулю при стремлении к идеальной точке, но они не пересекаются), то они заканчиваются в идеальной вершине, представленной омега-точкой.

Говорят, что такая пара сторон образует нулевой угол.

Треугольник с нулевым углом невозможен в евклидовой геометрии для прямолинейных сторон, лежащих на разных прямых. Однако такие нулевые углы возможны для касающихся окружностей^[англ.].

Треугольник с одной идеальной вершиной называется омега-треугольником.

Специальные виды треугольников с идеальными вершинами:

Треугольник, в котором одна вершина является идеальной точкой, один угол прямой — третий угол является углом параллельности для стороны между прямым углом и третьим углом.

Треугольник, в котором две вершины являются идеальными точками, а оставшийся угол является прямым. Это один из первых гиперболических треугольников (1818), который описал Фердинанд Карл Швайкарт.

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

Связи между углами и сторонами аналогичны связям между такими же объектами в сферической тригонометрии. Масштаб длины для сферической геометрии и геометрии Лобачевского можно, например, определить как длину стороны равностороннего треугольника с фиксированными углами.

Масштаб длины наиболее удобен, если длины измеряются в терминах абсолютной длины (специальной единицы длины, аналогичной отношению между расстояниями в сферической геометрии). Выбор масштаба длины делает формулы проще^[4].

В терминах модели Пуанкаре в верхней полуплоскости абсолютная длина соответствует инфинитезимальной метрике ${\displaystyle ds={\frac {|dz|}{\operatorname {Im} (z)}}}$, а в дисковой модели Пуанкаре соответствует ${\displaystyle ds={\frac {2|dz|}{1-|z|^{2}}}}$

В терминах (постоянной отрицательной) кривизны Гаусса K гиперболической плоскости единица абсолютной длины соответствует длине

${\displaystyle R={\frac {1}{\sqrt {-K}}}.}$

В гиперболическом треугольнике сумма углов A, B, C (соответствующих противоположным сторонам с тем же буквами) строго меньше развёрнутого угла. Разница между мерой развёрнутого угла и суммой мер углов треугольника называется дефектом треугольника. Площадь гиперболического треугольника равна его дефекту, умноженному на квадрат R:

${\displaystyle (\pi -A-B-C)R^{2}{}{}.\!}$

Эта теорема, впервые доказанная Иоганном Генрихом Ламбертом^[5], связана с теоремой Жирара в сферической геометрии.

Во всех формулах ниже стороны a, b и c должны быть измерены по абсолютной длине, единице, такой, что кривизна Гаусса K поверхности равна −1. Другими словами, величина R в вышестоящем параграфе должна быть принята равной 1.

Тригонометрические формулы для гиперболических треугольников зависят от гиперболических функций sh, ch, and th.

Если C обозначает прямой угол, то:

• Синус угла A равен гиперболическому синусу противоположной углу стороны A, делённому на гиперболический синус гипотенузы c.

${\displaystyle \sin A={\frac {\mathrm {sh} \,a}{\,\mathrm {sh} \,c\,}}.\,}$

• Косинус угла A равен гиперболическому тангенсу прилежащего катета b, делённому на гиперболический тангенс гипотенузы c.

${\displaystyle \cos A={\frac {\mathrm {th} \,b}{\,\mathrm {th} \,c\,}}.\,}$

• Тангенс угла A равен гиперболическому тангенсу противоположного катета a, делённого на гиперболический синус прилежащего катета b.

${\displaystyle \mathrm {tg} \,A={\frac {\mathrm {th} \,a}{\,\mathrm {sh} \,b\,}}.}$

• Гиперболический косинус прилежащего катета b угла A равен косинусу угла B, делённому на синус угла A.

${\displaystyle {\textrm {ch(b)}}={\frac {\cos B}{\sin A}}.}$

• Гиперболический косинус гипотенузы c равен произведению гиперболических косинусов катетов a и b.

${\displaystyle {\textrm {ch(c)}}={\textrm {ch(a)}}{\textrm {ch(b)}}.}$

• Гиперболический косинус гипотенузы H равен произведению косинусов углов, делённому на произведение их синусов^[6].

ch(H) ${\displaystyle ={\frac {\cos A\cos B}{\sin A\sin B}}=\mathrm {ctg} \,A\mathrm {ctg} \,B}$

Верны следующие равенства^[7]:

${\displaystyle \cos A=\mathrm {ch} \,a\sin B}$

${\displaystyle \sin A={\frac {\cos B}{\mathrm {ch} \,b}}}$

${\displaystyle \mathrm {tg} \,A={\frac {\cot B}{\mathrm {ch} \,c}}}$

${\displaystyle \cos B=\mathrm {ch} \,b\sin A}$

${\displaystyle \mathrm {ch} \,c=\mathrm {ctg} \,A\mathrm {ctg} \,B}$

Площадь прямоугольного треугольника равна:

Площадь ${\displaystyle ={\frac {\pi }{2}}-\angle A-\angle B}$

а также

${\displaystyle {\textrm {Area}}=2\arctan(\mathrm {th} \,({\frac {a}{2}})\mathrm {th} \,({\frac {b}{2}}))}$^[8].

Экземпляр омега-треугольника с прямым углом даёт конфигурацию для проверки угла параллельности в треугольнике.

В случае, когда угол B = 0, a = c = ${\displaystyle \infty }$ и ${\displaystyle {\textrm {th}}(\infty )=1}$, получаем ${\displaystyle \cos A={\textrm {th(b)}}.}$ (b = прилежащий катет)

Тригонометрические формулы для прямоугольных треугольников дают также отношения между сторонами s и углами A равностороннего треугольника (треугольника, у которого все стороны имеют одинаковую длину и все углы равны):

${\displaystyle \cos A={\frac {{\textrm {th}}{\frac {1}{2}}s}{{\textrm {th}}(s)}}}$

${\displaystyle \mathrm {ch} \,{\frac {1}{2}}s={\frac {\cos({\frac {1}{2}}A)}{\sin(A)}}={\frac {1}{2\sin({\frac {1}{2}}A)}}}$

Независимо от того, является C прямым углом или нет, выполняются следующие соотношения: Гиперболический закон косинусов^[англ.]:

${\displaystyle \mathrm {ch} \,c=\mathrm {ch} \,a\mathrm {ch} \,b-\mathrm {sh} \,a\mathrm {sh} \,b\cos C,}$

Двойственная закону теорема

${\displaystyle \cos C=-\cos A\cos B+\sin A\sin B\mathrm {ch} \,c,}$

Существует также закон синусов:

${\displaystyle {\frac {\sin A}{\mathrm {sh} \,a}}={\frac {\sin B}{\mathrm {sh} \,b}}={\frac {\sin C}{\mathrm {sh} \,c}},}$

и четырёхчленная формула:

${\displaystyle \cos C\mathrm {ch} \,a=\mathrm {sh} \,a\mathrm {ch} \,b-\sin C\mathrm {ctg} \,B.}$

• Группа треугольника

Для гиперболической тригонометрии:

• Четырёхугольник Ламберта
• Четырёхугольник Саккери

• Svetlana Katok (1992) Fuchsian Groups, University of Chicago Press ISBN 0-226-42583-5

У этой статьи есть несколько проблем, помогите их исправить: Необходимо проверить качество перевода c неуказанного языка, исправить содержательные и стилистические ошибки. Вы можете помочь улучшить эту статью (см. также рекомендации по переводу). Оригинал не указан. Пожалуйста, укажите его. (20 августа 2018) Стиль этой статьи неэнциклопедичен или нарушает нормы литературного русского языка. Статью следует исправить согласно стилистическим правилам Википедии. (20 августа 2018) Пожалуйста, после исправления проблемы исключите её из списка параметров. После устранения всех недостатков этот шаблон может быть удалён любым участником.