Квант

26

С МЕТРОМ ПО ГЛОБУСУ

А. Б. Шварцбург

Попробуем наиссовать на поверхности глобуса путь корабля, который выsel из порта AA и должен пройти в порт BB. Этот путь можно проделать разными способами, и у каждой есть свои достоинства и недостатки. Если корабль спешит, то важно знать кратчайший путь между портами. Как известно, на плоскости кратчайшее расстояние между двумя точками — пряма. Оdnako на сфере картина условияется. Натягивая на глобусе гибкуо нерастижимо нить между точками AA и BB (начало и конец пути), можно найти такое положение нити, при котором длина ABAB будет наименьшей. Оdnako ориентиция нити относительно сетки meridianов и параллелей, нанесенной на глобус, будет различной в каждой точке вдоль длины ABAB. Это значит, что положить такой путь в открытом море нелегко.

Можно выбрать другой способ — например, дивигаться все время в одном направлении, пересекая все meridianны под одним и тем же углом. Тогда ориентировать в море будет легче. Оdnako с помощью той же нити на глобусе легко убедиться, что такой путь будет длинее, чем первый. Чтобы лучше представить себе каждой путь, рассмотрим одну вспомогательную задачу.

Движение вблизи полюса

На школьной карте meridianны и параллелей обычно изобразяются в виде прямогольной сетки. Оdnako для изобразения районаов, примыкающих к полюсом, используют и другую координатную сетку, в которой meridianны представляются лучами, выходящими из полюса OO, а параллелей — окружностями с центром в полюсе. Допустим, что на такой карте нанесены точки AA и BB. Попробуем проложить траекторию ABAB, не заботая о протяженности путь, но требуя, чтобы направление движения было постоянным. Иными словами, требуется намерить плоскую кривую, которая проходит бы через точки AA и BB, пересекая все лучи, выходящие из полюса, под некоторым постоянным углом α\alpha (рис. 1, а).

Координаты точки AA и BB считаем известными (то есть известны их расстояния до полюса ρA\rho_A и ρB\rho_B и разность их долгот). Легко указать частный случай такой траектории, соответствующей ρA=ρB\rho_A = \rho_B. Линия, перpendикулярная ко всем лучам, выходящим из одной точки, является окружностью. Чтобы найти траекторию при произвольном угле α\alpha, рассмотрим два луча, образующие малый угол θ\theta. Пусть один из них OA=ρ0OA = \rho_0 соответствует значению θ=0\theta = 0. Откладывая на втором луче ON=ρ0=OAON = \rho_0 = OA (рис. 1, б), заметим, что →ANO≈π2\rightarrow ANO \approx \frac{\pi}{2} (так как угол θ\theta мал).

27

Пусть траектория пересекает луч ONON в точке KK. Тогда из треугольника ANKANK, в котором AN=ρ0θ∗AN = \rho_0 \theta^*): найдем NK=AN⋅ctgα=ρ0θctgαNK = AN \cdot \text{ctg} \alpha = \rho_0 \theta \text{ctg} \alpha. Отсюда видно, что длина радиуса-вектора траектории OKOK составляет

ρ1=ρ0−ρ0θctgα=ρ0(1−θctgα).\rho_1 = \rho_0 - \rho_0 \theta \text{ctg} \alpha = \rho_0 (1 - \theta \text{ctg} \alpha).

Откладывая по часовой стрелке от ONON угол θ\theta еще раз, получим для радиуса-вектора

ρ2=ρ1(1−θctgα)=ρ0(1−θctgα)2.\rho_2 = \rho_1 (1 - \theta \text{ctg} \alpha) = \rho_0 (1 - \theta \text{ctg} \alpha)^2.

Повторяя эти выкладки nn раз, найдем

ρn=ρ0(1−θctgα)n.\rho_n = \rho_0 (1 - \theta \text{ctg} \alpha)^n.

Предположим, что радиус-вектор ρ0\rho_0 за nn поворотов повернулся на угол λ\lambda, тогда θ=λn\theta = \frac{\lambda}{n} и

ρn=ρ0(1−λnctgα)n.\rho_n = \rho_0 \left(1 - \frac{\lambda}{n} \text{ctg} \alpha\right)^n.

Предположим, что мы, считая угол λ\lambda постояным, увеличиваем число «шагов» так, что величины одного «шага» θ=λn\theta = \frac{\lambda}{n} уменьшаются. Если nn увеличивается неограниченно, то это будет соответствовать непрерывному перемещению точки по траектории. Переходя в формуле (4) к предлуру при n→∞n \to \infty, найдем (см. Л. Г. Лиманов «О числе ee и n!n!» «Квант» № 5, 1972):

ρ=lim⁡n→∞ρn=ρ0e−λctgα,\rho = \lim_{n \to \infty} \rho_n = \rho_0 e^{-\lambda \text{ctg} \alpha},

где e=2,73e = 2,73 — известная в математике постояная, знамените «число ee», являющееся основанием натуральных логарифмов.

Мы получили уравнение кривой, которая пересекает все лучи, выходящие из центра, под углом α\alpha. Величину этого угла можно найти, зная координаты точки AA и BB и разность их долгот λ\lambda. Из (5) найдем

ctgα=−1λln⁡ρρ0.\text{ctg} \alpha = -\frac{1}{\lambda} \ln \frac{\rho}{\rho_0}.

Пересекая каждой meridian под углом α\alpha, карась придет из порта AA в порт BB.

Из формулы (6) видно и другие важные свойства полученной кривой: угол между радиусами-векторами пропорционален логарифму их

*) Такая замена эквивалентна приближенной равенству, выполненной при малых значениях угла x(x≪π2)x \left(x \ll \frac{\pi}{2}\right): sin⁡x≈x\sin x \approx x. Это равенство и следующее из него равенство ctgx≈x\text{ctg} x \approx x не раз используется в этой статье.

28

λ=−ln⁡ρρ0ctgα.\lambda = - \frac{\ln \frac{\rho}{\rho_0}}{\text{ctg} \alpha}.

Кривая (5) носит специальное название «логарифмическая спираль», а математик Яков Бернулли даже называл ее «spira mirabilis», что по-латыни значит «чудесная спираль».

В этой вспомогательной задаче часть земной поверхности, на которой происходит движение, считалась плоскостью. Попробуем обобщить полученное решение (6) на случай сферического поверхности. Иными словами, попробуем проверсти на глобусе кривую, соединяющую точки A и B и пересекающую все meridianны под постоянным углом α. При этом нам пригодится тот же математический прим, который использался во вспомогательной задаче.

Кривая Снеллиуса

Будем считать, что хотя бы одна из точек A и B не совпадает с полюсом сферы. (Если A и B — полюсы, то любой meridian является исключой кривой). Будем характеризовать положение каждой точки ее широтой φ, отсутствием от экватора, и долготой λ. Требуется проверсти кривую на сфере, выходящую из точки A с координатами φ_A, λ_A и прихождения в точку B с координатами φ_B, λ_B (см. рис. 2), так, чтобы все meridianны пересекались под одним и тем же углом α. Во вспомогательной задаче мы показали, что плоской кривой, обладающей таким свойством, является логарифмическая спираль.

Рассмотрим две близкие точки на сфере (A и N) (рис. 3), разность широт которых (дуга AO) составляет Δφ, а разность долготhora (дуга ON) — θ, где θ — малый угол, (θ << λ). Если обе точки лежат на интересушей нас кривой, то эта кривая образует равные углы α с meridianнами, проходящими через эти точки. Рассмотрим кривойнейный треугольник AON, где дуга AO совпадает с частью meridiana, дуга ON — с частью круга широты φ₁, а ⇄ OAN = α. Обозначим значение координаты φ в точке A через φ_A = φ_0. Таким образом, φ₁ = φ_0 + Δφ.

Рис. 2.
Рис. 3.

29

Можно строго доказать, что значения координат φ0\varphi_0 и φ1\varphi_1 связываны следующим образом:

tg(45∘+φ12)=tg(45∘+φ02)[1+θctgα].\text{tg} \left( 45^\circ + \frac{\varphi_1}{2} \right) = \text{tg} \left( 45^\circ + \frac{\varphi_0}{2} \right) [1 + \theta \text{ctg} \alpha].

(Сторгий вывод этого равенства дан в Приложении I.)

Далее можно рассуждать так же, как и при решении вспомогательной задачи. Значение функции tg(45∘+φ2)\text{tg} \left( 45^\circ + \frac{\varphi}{2} \right) в точке с координатами φ2\varphi_2, 2θ2\theta составит

tg(45∘+φ22)=tg(45∘+φ12)[1+θctgα]=\text{tg} \left( 45^\circ + \frac{\varphi_2}{2} \right) = \text{tg} \left( 45^\circ + \frac{\varphi_1}{2} \right) [1 + \theta \text{ctg} \alpha] =

=tg(45∘+φ02)[1+θctgα]2.= \text{tg} \left( 45^\circ + \frac{\varphi_0}{2} \right) [1 + \theta \text{ctg} \alpha]^2.

После nn «шагов» получим для φn\varphi_n

tg(45∘+φn2)=tg(45∘+φ02)[1+λnctgα]n.\text{tg} \left( 45^\circ + \frac{\varphi_n}{2} \right) = \text{tg} \left( 45^\circ + \frac{\varphi_0}{2} \right) \left[ 1 + \frac{\lambda}{n} \text{ctg} \alpha \right]^n.

Допустим теперь, что мы уведомиваем число «шагов» nn до бесконечности, приближаясь к точке BB. При этом φn→φB\varphi_n \rightarrow \varphi_B. Тогда величина каждого шага θ=λn\theta = \frac{\lambda}{n} стремится к 0, а число сомножителей в правой части (9) неограниченно растет. Перейдя в формуле (9) к пределу при n→∞n \rightarrow \infty, получим (по аналогии с формулой (5)):

tg(45∘+φB2)=lim⁡n→∞{tg(45∘+φA2)[1+λnctgα]n}=\text{tg} \left( 45^\circ + \frac{\varphi_B}{2} \right) = \lim_{n \rightarrow \infty} \left\{ \text{tg} \left( 45^\circ + \frac{\varphi_A}{2} \right) \left[ 1 + \frac{\lambda}{n} \text{ctg} \alpha \right]^n \right\} =

=tg(45∘+φA2)eλctgα.= \text{tg} \left( 45^\circ + \frac{\varphi_A}{2} \right) e^{\lambda \text{ctg} \alpha}.

Полученная кривая пересекает все meridianны на сфере под постоянным углом α\alpha. Величину этого угла легко найти из (10), зная широту каждого порта (φA\varphi_A и φB\varphi_B) и разность долгот (λB−λA)=λ\lambda_B - \lambda_A) = \lambda между ними:

ctgα=1λln⁡tg(45∘+φB2)tg(45∘+φA2).\text{ctg} \alpha = \frac{1}{\lambda} \ln \frac{\text{tg} \left( 45^\circ + \frac{\varphi_B}{2} \right)}{\text{tg} \left( 45^\circ + \frac{\varphi_A}{2} \right)}.

Кривая, выраженная формулой (10), носит специальное название «локсодрома», что можно перевести с латыни как «кособежная». Эту кривую исследовал в XVIII века математик Снеллиус, известный еще и тем, что он сформировал закон преломления световых лучей на границе двух сред, известный как дому школьнику.

Локсодрома пересекает «наискось» meridianны шара и приближается к полюсу, «накручиваясь» на него, как спираль. Нетрудно показать, что влизация полюса локсодрома близка к логарифмическому спирали, о которой мы говорили во вспомогательной задаче. Действительно, вблизи полюса φ=90∘−δ\varphi = 90^\circ - \delta, где δ≪90∘\delta \ll 90^\circ. Тогда

tg(45∘+φ2)tg(45∘+φ02)≈tg(δ02)tg(δ2)≈δ02δ2.\frac{\text{tg} \left( 45^\circ + \frac{\varphi}{2} \right)}{\text{tg} \left( 45^\circ + \frac{\varphi_0}{2} \right)} \approx \frac{\text{tg} \left( \frac{\delta_0}{2} \right)}{\text{tg} \left( \frac{\delta}{2} \right)} \approx \frac{\delta_0}{2} \frac{\delta}{2}.

30

Сравнивая формулы (10a) и (10), получим

δ=δ0e−λctgα.\delta = \delta_0 e^{-\lambda \text{ctg} \alpha}.

(106)

С другой стороны, расстояния от полюса до точек AA и BB, шириты которых δA\delta_A и δB\delta_B, равны соответствию ρA=RδA\rho_A = R \delta_A, ρB=RδB\rho_B = R \delta_B (R — радиус земного шара). (При написании этих равенств мы заменяем часть дуги меридиана хордой, соединяющей концы дуги.) Тогда из (106) получаем:

ρB=ρAe−λctgα.\rho_B = \rho_A e^{-\lambda \text{ctg} \alpha}.

(10в)

Это равенство мы уже получили во вспомогательной задаче.

Локсодрома (10) описывает такой курс корабля в открытом море, при котором направление движения остается постоянным, поэтому ориентировать в пути легко. Однако путь по локсодроме, как мы говорили выше, не является кратчайшим путем на сфере между двумя точками.

Геодезическая линия

Попробуем теперь найти кривую, которая является кратчайшим путем между двумя точками на шаре. Такую кривую называют геодезической линейей, но она представляется не только для геодезистов. Эта кривая важна и для мореплавателей, летчиков, путешествников. Если упрощить задачу и выбрать точки AA и BB, расположенные на одном кругле шировты φ\varphi, то может показаться, что кратчайшим путем между этим точками является дуга широтного круга. Однако такой ответ неверен. Чтобы убедиться в этом, сравним расстояния S1S_1 и S2S_2 между точками AA и BB, измененные вдоль широтного круга (S1S_1) и вдоль дуги большого круга (S2S_2) (рис. 4). Если разность долгот точек AA и BB составляет λ\lambda, то

S1=Rλcos⁡φ,S_1 = R \lambda \cos \varphi,

S2=RC,S_2 = RC,

где CC — радианная мера дуги S2S_2.

Можно доказать, что величины дуги CC (в радианах) равна

C=arccos⁡[cos⁡2φ′+sin⁡2φ′cos⁡λ],C = \arccos \left[ \cos^2 \varphi' + \sin^2 \varphi' \cos \lambda \right],

где φ′=π2−φ\varphi' = \frac{\pi}{2} - \varphi. (Это доказано в приложении II.)

Докажем, что длина дуги большого круга S2S_2 не больше длины дуги широтного круга S1S_1 (S2≤S1S_2 \leq S_1), то есть докажем неравенство:

Rarccos⁡[cos⁡2φ′+sin⁡2φ′cos⁡λ]≤Rλsin⁡φ′.R \arccos \left[ \cos^2 \varphi' + \sin^2 \varphi' \cos \lambda \right] \leq R \lambda \sin \varphi'.

(14)

Равенство (14) возвращает лишь при φ′=90∘\varphi' = 90^\circ или φ=0\varphi = 0, то есть когда широтный круг совпадает с большим кругом.

Обе части неравенства (14) положительные. Будем считать, что разность долгот между точками AA и BB заключана в интервале 0≤λ≤π0 \leq \lambda \leq \pi. Для 0≤λ≤π0 \leq \lambda \leq \pi cos λ\lambda — убывающая функция.

31

Позному из неравенства (14) следует неравенство:

cos⁡2φ′+sin⁡2φ′cos⁡λ≥cos⁡(λsin⁡φ′).\cos^2 \varphi' + \sin^2 \varphi' \cos \lambda \geq \cos (\lambda \sin \varphi').

Используя тождество cos⁡λ=1−2sin⁡2λ2\cos \lambda = 1 - 2 \sin^2 \frac{\lambda}{2}, приведем неравенство (15) к виду

sin⁡2φ′sin⁡2λ2≤sin⁡2(λ2sin⁡φ′).\sin^2 \varphi' \sin^2 \frac{\lambda}{2} \leq \sin^2 \left( \frac{\lambda}{2} \sin \varphi' \right).

Умножив и разделив это неравенство на положительное величины (λ2sin⁡φ′)2\left( \frac{\lambda}{2} \sin \varphi' \right)^2, получим:

(sin⁡λ2λ2)2≤(sin⁡(λ2sin⁡φ′)λ2sin⁡φ′)2.\left( \frac{\sin \frac{\lambda}{2}}{\frac{\lambda}{2}} \right)^2 \leq \left( \frac{\sin \left( \frac{\lambda}{2} \sin \varphi' \right)}{\frac{\lambda}{2} \sin \varphi'} \right)^2.

Если теперь построить с помощью тригонометрических таблиц графики функций y=(sin⁡xx)2y = \left( \frac{\sin x}{x} \right)^2, то будет видно, что эта функция монотонно возрастает от y=(2π)2<1y = \left( \frac{2}{\pi} \right)^2 < 1 до 1 при убывании xx от π2\frac{\pi}{2} до 0. Так как λ2sin⁡φ′≤λ2\frac{\lambda}{2} \sin \varphi' \leq \frac{\lambda}{2}, то неравенство (17) всегда выполено, а значит, выполено и исходное неравенство (14). Следовательно, дуга большого круга короче других широтного круга, соединяющей те же две точки.

Можно доказать, что и при произвольном расположении двух точек на шарре кратчайшее расстояние между ними определяется по дуге большого круга, проходящей через эти точки. Иными словами, геодезический линей на шаре является дуга большого круга.

Однако ориентироваться при движении по дуге большого круга трудно — угол α\alpha между направлением движения и meridianом все время меняется.

Таким образом, пути по локсодроме и по дуге большого круга имеют свои достоинства и недостатки. Выбирая между этим путями, часто поступают так же, как и при движении по плоскости, когда вместе движения по сложной плоской кривой намечают пути по ломаной, все вершины которого лежат на нужной кривой.

Аналогично, при движении по сфере намечают на дуге большого круга, соединяющей пункт отправления и пункт назначения, несколько точек, и от точки к точке движется по локсодромам.

Приложение I

Точку на сфере удобно характеризовать не широтой φ\varphi, а дополнительным углом φ′\varphi'

φ′=90∘−φ.\varphi' = 90^\circ - \varphi.

Удобство такого описания связано с тем, что функция ctg(90∘−φ2)ctg \left( \frac{90^\circ - \varphi}{2} \right) обладает важным свойством. Вычислим, использую формулу для тангенса суммы двух углов, приращение этой функции при изменении φ\varphi:

ctg(90∘−φ2)=tg(90∘+φ2)=tg(45∘+φ2);ctg \left( \frac{90^\circ - \varphi}{2} \right) = tg \left( \frac{90^\circ + \varphi}{2} \right) = tg \left( 45^\circ + \frac{\varphi}{2} \right);

32

Δtg(45∘+φ2)=tg(45∘+φ2)−tg(45∘+φ2)=\Delta tg \left( 45^\circ + \frac{\varphi}{2} \right) = tg \left( 45^\circ + \frac{\varphi}{2} \right) - tg \left( 45^\circ + \frac{\varphi}{2} \right) =

=tg(45∘+φ2)+tgΔφ21−tg(45∘+φ2)tgΔφ2−tg(45∘+φ2)== \frac{tg \left( 45^\circ + \frac{\varphi}{2} \right) + tg \frac{\Delta \varphi}{2}}{1 - tg \left( 45^\circ + \frac{\varphi}{2} \right) tg \frac{\Delta \varphi}{2}} - tg \left( 45^\circ + \frac{\varphi}{2} \right) =

=tgΔφ2cos⁡2(45∘+φ2)⋅(I−3)= \frac{tg \frac{\Delta \varphi}{2}}{\cos^2 \left( 45^\circ + \frac{\varphi}{2} \right)} \cdot (I-3)

Используя то жество 1cos⁡(45∘+φ2)=2sin⁡(45∘+φ2)cos⁡−1φ\frac{1}{\cos \left( 45^\circ + \frac{\varphi}{2} \right)} = 2 \sin \left( 45^\circ + \frac{\varphi}{2} \right) \cos^{-1} \varphi, получим из формулы

Δtg(45∘+φ2)=2tgΔφ2tg(45∘+φ2)[1−tgΔφ2tg(45∘+φ2)]cos⁡φ.\Delta tg \left( 45^\circ + \frac{\varphi}{2} \right) = \frac{2 tg \frac{\Delta \varphi}{2} tg \left( 45^\circ + \frac{\varphi}{2} \right)}{\left[ 1 - tg \frac{\Delta \varphi}{2} tg \left( 45^\circ + \frac{\varphi}{2} \right) \right] \cos \varphi}.

(I-4)

Рассмотрим случай, когда приращения Δφ\Delta \varphi малы, так что ∣tgΔφ2∣⋅∣tg(45∘+φ2)∣≪1|tg \frac{\Delta \varphi}{2}| \cdot |tg \left( 45^\circ + \frac{\varphi}{2} \right)| \ll 1. Тогда значатель в формуле (I-4) можно считать приближенно равным 1, а tgΔφ2tg \frac{\Delta \varphi}{2} можно заменить на Δφ2\frac{\Delta \varphi}{2}. Тогда из (I-3) и (I-4) находится:

Δtg(45∘+φ2)=Δφcos⁡φ⋅tg(45∘+φ2).\Delta tg \left( 45^\circ + \frac{\varphi}{2} \right) = \frac{\Delta \varphi}{\cos \varphi} \cdot tg \left( 45^\circ + \frac{\varphi}{2} \right).

(I-5)

Формула (I-5) показывает, что функция tg(45∘+φ2)tg \left( 45^\circ + \frac{\varphi}{2} \right) действительно обладает важным свойствам: малые приращения этой функции пропорциональны значению самого функции.

Найдем коэффициент пропорциональности в формуле (I-5). Так как радиус круга шипоты равен

r=Rcos⁡φ,r = R \cos \varphi,

то длина дуги ONON составляет (см. рис. 3)

ON=Rθcos⁡φ.ON = R \theta \cos \varphi.

Здесь RR – радиус сферы. Аналогично, длина дуги OAOA равна

OA=RΔφ.OA = R \Delta \varphi.

Так как в треугольнике угол ∠AON=π2\angle AON = \frac{\pi}{2}, то для тангенса угла α\alpha можно записать

tgα=Rθcos⁡φRΔφ.tg \alpha = \frac{R \theta \cos \varphi}{R \Delta \varphi}.

Из этого соотношения находится Δφcos⁡φ\frac{\Delta \varphi}{\cos \varphi} в формуле (I-5):

Δφcos⁡φ=θ ctg α.\frac{\Delta \varphi}{\cos \varphi} = \theta \text{ ctg } \alpha.