Этот принцип кратчайшего пути между двумя точками можно легко распространить на сферу. Допустим, надо найти кратчайший путь между Москвой и Рио-де-Жанейро. Нам понадобится глобус, две кнопки и упругая нить. Воткнув кнопки в Москву и Рио, можно натянуть нить вдоль поверхности глобуса и определить кратчайший маршрут. Такие кратчайшие маршруты, подобные экватору и меридианам, называют большими кругами. Есть ли смысл называть их прямыми линиями в сферической геометрии? Да неважно, как мы их назовем. Важно то, как логически соотносятся между собой точки, углы и линии.
Будучи кратчайшим путем между двумя точками, такие линии являются в некотором смысле наиболее прямыми из возможных линий на сфере. Корректное математическое название для таких путей — геодезические. Если на обычной плоскости геодезические являются обычными прямыми линиями, то на сфере геодезические — это большие круги.
Получив эту сферическую замену прямых линий, мы можем перейти к конструированию треугольников. Отметим на сфере три точки, скажем Москву, Рио и Сидней. Затем нарисуем геодезические, попарно соединяющие эти точки: геодезическую Москва—Рио, геодезическую Рио—Сидней и, наконец, геодезическую Сидней— Москва. В результате получится сферический треугольник.
В планиметрии, если сложить углы любого треугольника, получится ровно 180 градусов. Но если внимательно присмотреться к сферическому треугольнику, то видно, что его стороны выпячиваются наружу, что делает углы большими, чем они были бы на плоскости. В результате сумма углов сферического треугольника всегда больше 180 градусов. Про поверхность, на которой треугольники обладают таким свойством, говорят, что она имеет положительную кривизну.
Могут ли существовать поверхности противоположного свойства, а именно чтобы сумма углов треугольника была меньше 180 градусов? Пример такой поверхности — седло. Седловидные поверхности имеют отрицательную кривизну; геодезические, образующие треугольник на поверхности отрицательной кривизны, не выпячиваются, а, наоборот, втягиваются.
