Students.by - это живая энциклопедия белорусского студента (статьи, книги, мультимедиа). Еще мы предлагаем поиск по лучшим полнотекстовым научным хранилищам Беларуси!
![]() |
Гиперболическая плоскость. Из абсолютной геометрии Бойяи можно вывести евклидову геометрию, добавив евклидову (или аффинную) аксиому: через точку B, не лежащую на данной прямой r, можно провести не более одной прямой, параллельной данной. Гиперболическую геометрию можно вывести из абсолютной геометрии, добавив гиперболическую аксиому, повторяющую только что приведенную, но без отрицания «не» во втором случае. Таким образом, лучи BM и BN на рис. 4 могут быть оба параллельны r, а если M и N их концы, то r называется «прямой MN». Любая прямая, например t, являющаяся продолжением стороны угла РNBM, образует с r пару «гиперпараллельных», т.е. пару прямых, которые не пересекаются и не параллельны. Две такие прямые имеют единственный общий перпендикуляр. Множество прямых, перпендикулярных данной прямой a, называются «пучком гиперпараллельных» с «осью» a. Отражение относительно BC показывает, что РCBM и РNBC равные острые углы. Лобачевский назвал каждый из них «углом параллельности» П(a), где a длина BC. Он показал, что функция П(a) монотонно убывает от p ¤ 2 до 0, когда a возрастает от 0 до Ґ. Треугольник BMN естественно назвать «дважды асимптотическим треугольником». Два дважды асимптотических треугольника конгруэнтны, если имеют конгруэнтные углы. Если отрезок CB возрастает до тех пор, пока не превратится в луч CL, то BMN превращается в «трижды асимптотический треугольник» LMN, все три вершины которого являются концами (все три стороны такого треугольника бесконечны, а все три угла равны нулю). Все трижды асимптотические треугольники конгруэнтны. Одной из самых прекрасных страниц в литературе по неевклидовой геометрии со времен Лобачевского считается предложенное Г.Либманом доказательство того, что площадь треугольника остается конечной, когда две (или три) его стороны становятся бесконечными. Доказательство сводится к разбиению асимптотического треугольника на бесконечную последовательность конечных треугольников и перекладыванию их с соблюдением одного условия: все они должны умещаться внутри некоторого конечного пятиугольника. Метод Либмана восполняет один из двух недостающих шагов в предложенном Гауссом красивом доказательстве того, что площадь любого треугольника пропорциональна его «угловому дефекту» величине, показывающей, насколько сумма углов треугольника меньше двух прямых. Аналогия с выражением (A + B + C) p для площади сферического треугольника (на единичной сфере) наводит на мысль о естественной единице измерения, при которой площадь треугольника ABC просто равна p (A + B + C). Используя эту единицу, Лобачевский выразил угол параллельности, соответствующий расстоянию x, формулой П(x) = 2arctg ex. Кривые, ортогональные обычному пучку прямых, имеют вид концентрических окружностей; кривые, ортогональные пучку параллельных, имеют вид концентрических «орициклов». В действительности орицикл это предельная форма окружности, центр которой уходит в бесконечность (так, что диаметры окружности становятся параллельными). |
|