Жуан Гомес - Мир математики. т.4. Когда прямые искривляются. Неевклидовы геометрии

1) при уменьшении d α стремится к прямому углу (90°);

2) при увеличении d α стремится к 0.

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

При этом существует постоянная величина, которую мы обозначим k , зависящая от единицы измерения длины d и выражаемая следующим образом:

Предыдущий результат можно получить по-другому. Когда значение d увеличивается, правая часть уравнения будет стремиться к 0, и поэтому значение tg ( α/2) также стремится к 0, что означает, что α практически 0.

Аналогично, когда d очень мало, значение tg ( α/2) — будет приближаться к 1, что означает, что , то есть α будет прямым углом, так как π /2 = 90°.

В евклидовой геометрии этот угол не меняется при изменении расстояния. В гиперболической геометрии, как мы видим, угол всегда зависит от величины d .

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

Рассмотрим прямую l и параллельную ей прямую s . Выберем точку Р на s , как на следующем рисунке:

При перемещении точки Р вправо мы видим, что расстояние от Р до прямой l уменьшается. Выражаясь математическим языком, это расстояние стремится к нулю.

Мы также можем сказать, что прямые l и s асимптотически сходятся справа.

Аналогично, если точка Р движется налево, мы видим, что расстояние от Р до прямой l увеличивается. В этом случае говорят, что прямые l и s расходятся. Поэтому, когда в гиперболической геометрии имеются прямые, расстояние между которыми остается постоянным, то такие прямые не могут быть параллельны. Иначе это противоречило бы пятому постулату гиперболической геометрии. Прямая, находящаяся на постоянном расстоянии от данной прямой, называется эквидистантой.

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

Треугольники

Формула для площади треугольника в евклидовой геометрии всегда одинакова для любого треугольника: s= ( b· h/ 2) то есть площадь равна половине произведения основания треугольника на высоту. В основе этого выражения лежит тот факт, что сумма внутренних углов треугольника всегда равна 180°.

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

В евклидовой геометрии если три угла A, В и С одного треугольника и три угла А', В' и С' другого треугольника соответственно равны, то эти треугольники являются подобными. Это не означает, что их соответствующие стороны имеют одинаковую длину. В гиперболической геометрии у таких треугольников с соответственно равными углами будут равны и соответствующие стороны.

Теперь рассмотрим этот случай более подробно. Пусть А, В и С — углы одного треугольника. Их сумма меньше двух прямых углов (180°), и поэтому разность 180 — ( А + В + С ) будет положительна. Эта разность называется угловым дефектом, и мы имеем следующий результат: площадь любого треугольника пропорциональна его угловому дефекту.

Если мы обозначим через k коэффициент пропорциональности, то формула для площади треугольника ( S ) будет выглядеть следующим образом:

так что максимальное значение площади треугольника равно π · k 2(в гиперболической геометрии не бывает треугольников с бесконечной площадью). Мы не приводим доказательство этого результата, так как оно достаточно сложное. Мы лишь записали окончательную формулу, какой бы странной она ни казалась.