Сферическая аналитическая геометрия: большие круги и расстояния

Большие круги как сферические прямые

В геометрии на поверхности сферы роль прямых линий (кратчайших расстояний, или геодезических) играют большие круги. Большой круг образуется при сечении сферы плоскостью, которая строго проходит через центр этой сферы. В декартовой системе координат с центром в начале координат уравнение сферы радиуса R имеет вид $x^2 + y^2 + z^2 = R^2$. Любой большой круг задается системой из двух уравнений: уравнения самой сферы и уравнения секущей плоскости $Ax + By + Cz = 0$ (отсутствие свободного члена гарантирует прохождение через центр). Вектор нормали к этой плоскости $n(A; B; C)$ однозначно задает (полюсует) данный большой круг. Таким образом, работа с прямыми на сфере алгебраически сводится к операциям с векторами нормалей в трехмерном евклидовом пространстве.

Векторное вычисление сферического расстояния

Кратчайшее расстояние между двумя точками на поверхности сферы (ортодромия) измеряется длиной дуги соединяющего их большого круга. Пусть заданы две точки на сфере единичного радиуса, которые описываются радиус-векторами $r_1$ и $r_2$. Поскольку длина этих векторов равна единице, косинус центрального угла $\theta$ между ними в точности равен их скалярному произведению: $\cos \theta = (r_1, r_2) = x_1 x_2 + y_1 y_2 + z_1 z_2$. Сама длина дуги (сферическое расстояние) равна просто углу $\theta$ в радианах (или $R \cdot \theta$ для сферы произвольного радиуса). Если скалярное произведение точек равно нулю, векторы перпендикулярны, и расстояние между точками составляет ровно четверть экватора. Этот метод позволяет компьютерам вычислять расстояния между координатами GPS без сложных тригонометрических теорем косинусов для сферических треугольников.

Сферические треугольники и площадь (Теорема Жирара)

Сферический треугольник образуется пересечением трех больших кругов. Аналитически он задается тройкой линейно независимых единичных векторов $r_1, r_2, r_3$. Границы треугольника — это дуги, а вершины — точки пересечения плоскостей. Углы сферического треугольника (двугранные углы между плоскостями больших кругов) вычисляются через скалярные произведения векторов нормалей к этим плоскостям. Нормали, в свою очередь, легко находятся через векторное произведение радиус-векторов вершин: $n_1 = [r_2 \times r_3]$ и так далее. Площадь сферического треугольника обладает фантастическим метрическим свойством, описанным теоремой Альбера Жирара. Она строго пропорциональна сферическому избытку: $S = R^2 (A + B + C - \pi)$, где A, B и C — внутренние углы треугольника в радианах. На сфере геометрия неотделима от топологии: зная только углы фигуры, мы можем абсолютно точно вычислить ее площадь, что математически невозможно на плоском листе бумаги.

Полярные треугольники и двойственность

Векторный подход выявляет глубокую аналитическую двойственность сферической геометрии. Если для каждого большого круга исходного треугольника взять его полюс (точку на сфере, определяемую вектором нормали к этому кругу), мы получим три новые вершины, образующие так называемый полярный треугольник. Векторная алгебра мгновенно доказывает, что это отношение взаимно: исходный треугольник также является полярным для построенного. Углы одного треугольника математически дополняют до $\pi$ (180 градусов) стороны (дуги) другого. Этот принцип проективной двойственности колоссально упрощает доказательства: любая теорема, доказанная для сторон сферического многоугольника, автоматически порождает симметричную теорему для его углов, просто путем замены скалярных произведений векторов на скалярные произведения их нормалей.