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

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

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

Определение

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

Свойства

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

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

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

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

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

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

Треугольники с идеальными вершинами

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

undefined

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

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

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

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

Треугольник параллельности

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

Треугольник Швайкерта

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

Идеальный треугольник

Треугольник, в котором все вершины являются идеальными точками. Такой треугольник является самым большим из возможных треугольников в геометрии Лобачевского (геометрия Лобачевского — это неевклидова геометрия, в которой через точку, не лежащую на данной прямой, можно провести по меньшей мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её; с современной точки зрения она является геометрией пространства постоянной отрицательной кривизны[4].

Стандартизованная кривизна Гаусса

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

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

В терминах модели Пуанкаре в верхней полуплоскости абсолютная длина соответствует инфинитезимальной метрике: , а в дисковой модели Пуанкаре соответствует: .

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

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

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

Тригонометрия

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

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

Тригонометрия прямоугольных треугольников

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

  • синус угла A равен гиперболическому синусу противоположной углу стороны A, делённому на гиперболический синус гипотенузы c.
  • косинус угла A равен гиперболическому тангенсу прилежащего катета b, делённому на гиперболический тангенс гипотенузы c.
  • тангенс угла A равен гиперболическому тангенсу противоположного катета a, делённого на гиперболический синус прилежащего катета b.
  • гиперболический косинус прилежащего катета b угла A равен косинусу угла B, делённому на синус угла A.
  • гиперболический косинус гипотенузы c равен произведению гиперболических косинусов катетов a и b.
  • гиперболический косинус гипотенузы H равен произведению косинусов углов, делённому на произведение их синусов[7].
ch(H) .

Отношения между углами

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

.
.
.
.
.

Площадь

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

Площадь ,

а также

[9].

Угол параллельности

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

В случае, когда угол B = 0, a = c = и , получаем (b = прилежащий катет)

Равносторонний треугольник

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

.

Общая тригонометрия

Независимо от того, является C прямым углом или нет, выполняются следующие соотношения:

Гиперболический закон косинусов:

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

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

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

Прикладное значение

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

  • Теоретическая физика: гиперболическая геометрия служит математическим аппаратом для специальной теории относительности (СТО). Преобразования Лоренца интерпретируются через законы синусов и косинусов для гиперболического треугольника, образованного системами отсчёта и движущейся частицей, что упрощает вывод релятивистского уравнения ракеты и эффекта Доплера.
  • Машинное обучение: свойства экспоненциального роста гиперболического пространства и вычисление его кривизны (через $\delta$-гиперболичность по Громову) используются для эффективного эмбеддинга сложных иерархических и древовидных структур данных в рекомендательных системах и гиперболических нейросетях (HNN). Алгоритм HyperSteiner применяется для построения деревьев Штейнера в модели Клейна — Бельтрами.
  • Разработка компьютерных игр: отрицательная кривизна пространства востребована при процедурной генерации открытых миров. Компьютерные игры (такие как HyperRogue и воксельные движки Hypermine и HyperBlock) задействуют комбинаторные алгоритмы обхода гиперболических мозаик и правильных сот (honeycombs), что позволяет преодолевать ограничения численной точности при рендеринге неевклидовых пространств[10][11].

Примечания

  1. Stothers, 2000.
  2. Атанасян Л. С. Окружность // Геометрия Лобачевского / под ред. М. С. Стригуновой. — М.: БИНОМ. Лаборатория знаний, 2014. — С. 125—126. — 467 с. — ISBN 978-5-9963-2364-7.
  3. Атанасян Л. С. Замечательные точки и прямые треугольника // Геометрия Лобачевского / под ред. М. С. Стригуновой. — М.: БИНОМ. Лаборатория знаний, 2014. — С. 166—167. — 467 с. — ISBN 978-5-9963-2364-7.
  4. Барышгев А. «Коперник геометрии»: как Лобачевский перевернул представление о пространстве. Наука mail (7 февраля 2026). Дата обращения: 28 июля 2026.
  5. Needham, 1998, с. 270.
  6. Ratcliffe, 2006, с. 99.
  7. Martin, 1998, с. 433.
  8. Smogorzhevski, 1982, с. 63.
  9. Mathematics stackexchange, 2015.
  10. Models and projections of hyperbolic geometry. roguetemple.com. Дата обращения: 28 июля 2026.
  11. HyperBlock. hyperbolica. Дата обращения: 28 июля 2026.

Литература

См. также

Категории