В математике большой круг или ортодромия — это круговое пересечение сферы и плоскости, проходящей через центр сферы . [1] [2]
Любая дуга большого круга является геодезической сферы, так что большие круги в сферической геометрии являются естественным аналогом прямых линий в евклидовом пространстве . Для любой пары различных неантиподальных точек на сфере существует единственный большой круг, проходящий через обе. (Каждый большой круг, проходящий через любую точку, также проходит через свою антиподальную точку, поэтому существует бесконечно много больших кругов, проходящих через две антиподальные точки.) Более короткая из двух дуг большого круга между двумя различными точками на сфере называется малой дугой и является кратчайшим поверхностным путем между ними. Длина ее дуги является расстоянием большого круга между точками ( внутренним расстоянием на сфере) и пропорциональна мере центрального угла , образованного двумя точками и центром сферы.
Большой круг — это наибольший круг, который можно нарисовать на любой данной сфере. Любой диаметр любого большого круга совпадает с диаметром сферы, и поэтому каждый большой круг концентричен со сферой и имеет тот же радиус . Любой другой круг сферы называется малым кругом и является пересечением сферы с плоскостью, не проходящей через ее центр. Малые круги — это сферически-геометрический аналог кругов в евклидовом пространстве.
Каждый круг в евклидовом трехмерном пространстве является большим кругом ровно одной сферы.
Диск , ограниченный большим кругом, называется большим кругом : он является пересечением шара и плоскости, проходящей через его центр. В более высоких измерениях большие круги на n -сфере являются пересечением n -сферы с 2-плоскостями, проходящими через начало координат в евклидовом пространстве R n + 1 .
Половину большого круга можно назвать большим полукругом (например, как части меридиана в астрономии ).
Чтобы доказать, что малая дуга большого круга является кратчайшим путем, соединяющим две точки на поверхности сферы, можно применить к ней вариационное исчисление .
Рассмотрим класс всех регулярных путей из точки в другую точку . Введем сферические координаты так, чтобы совпадало с северным полюсом. Любая кривая на сфере, которая не пересекает ни один из полюсов, за исключением, возможно, конечных точек, может быть параметризована с помощью
при условии, что разрешено принимать произвольные действительные значения. Бесконечно малая длина дуги в этих координатах равна
Таким образом, длина кривой от до является функционалом кривой, заданным формулой
Согласно уравнению Эйлера–Лагранжа , минимизируется тогда и только тогда, когда
где - независимая константа, а
Из первого уравнения этих двух можно получить, что
Интегрируя обе стороны и учитывая граничное условие, действительное решение равно нулю. Таким образом, и может быть любым значением от 0 до , что указывает на то, что кривая должна лежать на меридиане сферы. В декартовой системе координат это
которая представляет собой плоскость, проходящую через начало координат, т. е. центр сферы.
Некоторые примеры больших кругов на небесной сфере включают небесный горизонт , небесный экватор и эклиптику . Большие круги также используются как довольно точные аппроксимации геодезических на поверхности Земли для воздушной или морской навигации (хотя это не идеальная сфера ), а также на сфероидальных небесных телах .
Экватор идеализированной Земли — это большой круг, а любой меридиан и его противоположный меридиан образуют большой круг. Другой большой круг — тот, который разделяет сухопутное и водное полушария . Большой круг делит Землю на два полушария , и если большой круг проходит через точку, он должен проходить через свою антиподную точку .
Преобразование Функа интегрирует функцию по всем большим окружностям сферы.
{{cite web}}
: CS1 maint: несколько имен: список авторов ( ссылка )