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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Гиперболический треугольник на седловидной поверхности

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

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

Треугольная мозаика 7-го порядка[англ.] имеет равносторонние треугольники с внутренним углом 2π/7 радиан.

Определение

[править | править код]

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

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

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

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

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

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

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

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

[править | править код]
Три идеальных треугольника в дисковой модели Пуанкаре

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

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

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

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

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

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

[править | править код]

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

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

[править | править код]

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

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

[править | править код]

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

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

[править | править код]

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

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

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

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

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

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

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

[править | править код]

Во всех формулах ниже стороны 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 равен произведению косинусов углов, делённому на произведение их синусов[6].
ch(H)

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

[править | править код]

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

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

Площадь

а также

[8].

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

[править | править код]

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

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

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

[править | править код]

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

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

[править | править код]

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

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

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

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

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

Примечания

[править | править код]
  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. Needham, 1998, с. 270.
  5. Ratcliffe, 2006, с. 99.
  6. Martin, 1998, с. 433.
  7. Smogorzhevski, 1982, с. 63.
  8. Mathematics stackexchange, 2015.

Литература

[править | править код]

Литература для дальнейшего чтения

[править | править код]