На сфере задана замкнутая дуга большого круга между точками A и B; исследуйте геометрическое место точек C на сфере, для которых сумма расстояний по сфере AC + CB минимальна, и сравните с евклидовыми геодезическими
Для сферического расстояния выполняется неравенство треугольника: для любых точек A,B,CA,B,CA,B,Cd(A,C)+d(C,B)≥d(A,B).
d(A,C)+d(C,B)\ge d(A,B). d(A,C)+d(C,B)≥d(A,B).
Следовательно минимум суммы d(A,C)+d(C,B)d(A,C)+d(C,B)d(A,C)+d(C,B) равен d(A,B)d(A,B)d(A,B) и достигается тогда и только тогда, когда все три точки лежат на одном большом круге и точка CCC лежит между AAA и BBB вдоль кратчайшей дуги этого большого круга. То есть, если расстояние между AAA и BBB меньше полуокружности, то геометрическое место искомых CCC — замкнутая (включая концы) кратчайшая дуга большого круга от AAA до BBB: {C: d(A,C)+d(C,B)=d(A,B)}=кратчайшая дуга AB.
\{C:\ d(A,C)+d(C,B)=d(A,B)\}=\text{кратчайшая дуга }AB. {C:d(A,C)+d(C,B)=d(A,B)}=кратчайшаядугаAB. Особый случай: если d(A,B)=πRd(A,B)=\pi Rd(A,B)=πR (антиподальные точки), то любая точка сферы даёт d(A,C)+d(C,B)=πR,
d(A,C)+d(C,B)=\pi R, d(A,C)+d(C,B)=πR,
и потому геометрическое место — вся сфера. Сравнение с евклидовыми геодезическими: в евклидовой плоскости для фиксированных A,BA,BA,B минимум AC+CBAC+CBAC+CB равен расстоянию ∣AB∣|AB|∣AB∣ и достигается ровно для точек CCC на отрезке ABABAB. На сфере аналогичная картина: вместо отрезка — кратчайшая дуга большого круга между AAA и BBB, с учётом исключения для антиподов, когда кратчайший путь не единственен.
d(A,C)+d(C,B)≥d(A,B). Следовательно минимум суммы d(A,C)+d(C,B)d(A,C)+d(C,B)d(A,C)+d(C,B) равен d(A,B)d(A,B)d(A,B) и достигается тогда и только тогда, когда все три точки лежат на одном большом круге и точка CCC лежит между AAA и BBB вдоль кратчайшей дуги этого большого круга. То есть, если расстояние между AAA и BBB меньше полуокружности, то геометрическое место искомых CCC — замкнутая (включая концы) кратчайшая дуга большого круга от AAA до BBB:
{C: d(A,C)+d(C,B)=d(A,B)}=кратчайшая дуга AB. \{C:\ d(A,C)+d(C,B)=d(A,B)\}=\text{кратчайшая дуга }AB.
{C: d(A,C)+d(C,B)=d(A,B)}=кратчайшая дуга AB.
Особый случай: если d(A,B)=πRd(A,B)=\pi Rd(A,B)=πR (антиподальные точки), то любая точка сферы даёт
d(A,C)+d(C,B)=πR, d(A,C)+d(C,B)=\pi R,
d(A,C)+d(C,B)=πR, и потому геометрическое место — вся сфера.
Сравнение с евклидовыми геодезическими: в евклидовой плоскости для фиксированных A,BA,BA,B минимум AC+CBAC+CBAC+CB равен расстоянию ∣AB∣|AB|∣AB∣ и достигается ровно для точек CCC на отрезке ABABAB. На сфере аналогичная картина: вместо отрезка — кратчайшая дуга большого круга между AAA и BBB, с учётом исключения для антиподов, когда кратчайший путь не единственен.