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

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

На поверхности эллипсоида нарисован треугольник, вершинами которого являются точки А, В и С. Представьте себе, что два внутренних угла при основании треугольника равны 90° каждый, их измерили живущие на поверхности лилипуты с помощью гигантского транспортира. Верхний угол треугольника будет очень мал, но нам не нужно знать его величину в градусах, так как мы уже видим, что сумма внутренних углов треугольника, нарисованного на поверхности эллипсоида, больше 180°. Это противоречит одной из основных теорем геометрии Евклида: сумма внутренних углов треугольника всегда равна 180°. В эллиптической геометрии все совсем иначе: сумма внутренних углов треугольника, нарисованного на поверхности эллипсоида, всегда будет больше 180°.

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

Сферическая геометрия является частным случаем геометрии на поверхности эллипсоида. Она очень проста и интуитивно понятна и позволяет довольно легко визуализировать результаты Римана. Поэтому ее стоит рассмотреть в качестве модели эллиптической геометрии.

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

Рассмотрим две точки А и В, такие, что отрезок соединяющий их, проходит через центр сферы О. Эти две точки называются диаметрально противоположными.

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

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

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

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

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

* * *

* * *

Внешняя поверхность долек мандарина образована двумя меридианами.

Таким образом, на следующем рисунке мы можем ввести такие обозначения: сторону ВС назовем буквой а, сторону АС — Ь, а сторону АВ — с. Буквы А, В и С также часто используются для обозначения внутренних углов сферического треугольника.

Выполним некоторые вычисления, используя нашу Землю в качестве модели. Для сферы существует несколько полезных формул. Пусть R обозначает радиус Земли, тогда объем (V) и площадь (S) Земли вычисляются следующим образом:

Если радиус Земли взять равным примерно 6350 км, тогда общая площадь Земли составит:

* * *

* * *

Применим теперь формулу для объема и получим:

V = (4·π·6350³)/3 = 1,072499199·10¹²·км³

С этими результатами мы можем вычислить площадь октанта, одной восьмой части земной поверхности. Просто разделим значение площади Земли на 8. Это дает нам 63336566,88 км².

Как мы видим, каждый октант очерчивает сферический треугольник с углами 90° = π/2 радиан. Обратите внимание, что общая сумма составляет 270° = Зπ/2 радиан (то есть более чем 180° = π радиан). Тогда чему будет равна каждая из сторон?

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

(α·R) = (π/2)·6350 = 9 974,2625 км

Этот же результат можно получить и другим способом: разделить длину большого круга на четыре (напомним, что длина окружности составляет 2πR):

(2π·6350)/4 = 9974,2625 км.

Ясно, что ту же процедуру можно повторить для Луны, радиус которой равен 1736 км.

* * *