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