«Через точку вне данной прямой не проходит ни одной прямой, параллельной данной».
Сферическая геометрия является частным случаем геометрии на поверхности эллипсоида. Она очень проста и интуитивно понятна и позволяет довольно легко визуализировать результаты Римана. Поэтому ее стоит рассмотреть в качестве модели эллиптической геометрии.
Терминология сферической геометрии
Сфера — это поверхность, полученная путем вращения окружности вокруг ее диаметра. Плоскость, которая не пересекает сферу, называется внешней по отношению к ней. Если плоскость пересекает сферу только в одной точке, она называется касательной к сфере; в противном случае она будет пересекать сферу по окружности и будет называться секущей плоскостью. Если секущая плоскость проходит через центр сферы, полученное сечение называется большой окружностью.
Рассмотрим две точки А и В, такие, что отрезок соединяющий их, проходит через центр сферы О. Эти две точки называются диаметрально противоположными.
В этом случае большие круги, проходящие через диаметр АОВ, называются меридианами, а точки А и В называются полюсами. Для каждой пары таких точек А и В существует один большой круг, перпендикулярный диаметру АОВ, который называется экватором.
Перпендикуляры к экватору — меридианы — можно наглядно представить. Достаточно рассмотреть очищенный мандарин. Линии, разделяющие дольки, будут пересекаться на полюсах.
Обратите внимание, что два больших круга делят поверхность шара на четыре части.
Три больших круга, которые не пересекаются в одной точке, делят поверхность сферы на восемь областей, называемых сферическими треугольниками.
Сферический треугольник также может быть определен как часть поверхности сферы, получаемая в результате пересечения трехгранника и сферы. Дуги на сфере между вершинами А, В и С называются сторонами треугольника.
* * *
ТРЕУГОЛЬНИКИ И ТРЕХГРАННИКИ
Сферический треугольник определяется как часть поверхности сферы, ограниченная тремя большими кругами. Если вершинами такого треугольника являются точки А, В и С, то фигура, определенная точками А, В, С и центром сферы 0, называется трехгранником.
* * *
Внешняя поверхность долек мандарина образована двумя меридианами.
Таким образом, на следующем рисунке мы можем ввести такие обозначения: сторону ВС назовем буквой а, сторону АС — Ь, а сторону АВ — с. Буквы А, В и С также часто используются для обозначения внутренних углов сферического треугольника.
Выполним некоторые вычисления, используя нашу Землю в качестве модели. Для сферы существует несколько полезных формул. Пусть