Сферические теоремы косинусов

Сферический треугольник.

Первая и вторая сферические теоремы косинусов устанавливают соотношения между сторонами и противолежащими им углами сферического треугольника.

Формулировка

Теоремы косинусов для сферического треугольника со сторонами a, b, c и углами A, B, C имеют следующий вид:

[math]\displaystyle{ \cos c = \cos a \cos b + \sin a \sin b \cos C, }[/math]

[math]\displaystyle{ \cos A = -\cos B\cos C + \sin B\sin C\cos a. }[/math]

Эти две теоремы двойственны по отношению друг к другу, поскольку углы и стороны всякого сферического треугольника дополняются до развёрнутого угла сторонами и углами соответствующего полярного треугольника. Поэтому достаточно доказать одну из них.

Доказательство

Рисунок к доказательству теоремы косинусов с помощью проекций.

Доказательство проведём с помощью проекций. На рисунке показан сферический треугольник ABC на сфере радиуса R с центром в точке O. BP — перпендикуляр к плоскости большого круга, проходящего через сторону b, BM — перпендикуляр к OC, BN — перпендикуляр к OA. По утверждению, обратному теореме о трёх перпендикулярах, PM — перпендикуляр к OC, PN — перпендикуляр к OA. Заметим, что угол PMB равен π - C, кроме того, ON = R cos c и OM = R cos a. Далее, проецируем ломаную OMPN на прямую, содержащую ON.

[math]\displaystyle{ \mbox{pr } ON = \mbox{pr } OM + \mbox{pr } MP + \mbox{pr } PN }[/math],

[math]\displaystyle{ PN \perp OA \Rightarrow \mbox{pr } PN = 0 }[/math],

[math]\displaystyle{ \mbox{pr } OM = OM \cos b = R \cos a \cos b }[/math],

[math]\displaystyle{ \mbox{pr } MP = PM \cos (\pi - (\frac {\pi}{2} - \angle MPN)) = PM (- \sin \angle MPN) }[/math]

[math]\displaystyle{ = BM \cos \angle PMB (- \sin b) = BM \cos (\pi - C) (- \sin b) = R \sin b \sin a \cos C }[/math].

Подставляем три последних выражения и указанное выше выражение ON = R cos c в первое выражение и получаем:

[math]\displaystyle{ \cos c= \cos a \cos b + \sin a \sin b \cos C }[/math].

Теоремы косинусов для двух других сторон, то есть теорему для cos a и теорему для cos b, получаем аналогично, их также можно получить сразу из формулы для стороны c при помощи круговой перестановки букв:

[math]\displaystyle{ a \rightarrow b \rightarrow c \rightarrow a, A \rightarrow B \rightarrow C \rightarrow A }[/math]

Сферический треугольник для определения кратчайшего расстояния между точками на Земле.

Следствия и применение

См. также: Решение треугольников

Если угол C — прямой, первая теорема косинусов переходит в сферическую теорему Пифагора:

[math]\displaystyle{ \cos c= \cos a \cos b. }[/math]

Хотя для решения косоугольных сферических треугольников обычно используются более удобные формулы, с помощью теоремы косинусов выводится важная для геодезии формула длины ортодромии — кратчайшего расстояния между точками на земной поверхности с известными координатами (в предположении сферичности Земли). Обозначим географические широты двух данных точек [math]\displaystyle{ \varphi_A }[/math] и [math]\displaystyle{ \varphi_B }[/math], разность долгот — [math]\displaystyle{ \Delta\lambda_{AB} }[/math], кратчайшее расстояние между ними обозначим d, длину дуги в 1 градус — a. Тогда формула длины ортодромии:

[math]\displaystyle{ \cos\left (\frac{d}{a}\right)=\sin\varphi_A\cdot\sin\varphi_B+\cos\varphi_A\cdot\cos\varphi_B\cdot\cos\Delta\lambda_{AB} }[/math]

Эта формула сразу получается применением теоремы косинусов к стороне AB сферического треугольника P_nAB. Подобная формула справедлива для любой сферической поверхности и поэтому её можно применять также для определения углового расстояния между звёздами по известным их экваториальным координатам.

Пример 1: определение углового расстояния между двумя светилами на небесной сфере

Определим угловое расстояние (x) между звездой δ Цефея (экваториальные координаты: α₁=22ч 29м, δ₁=+58° 25′) и галактикой Туманность Андромеды (α₂=0ч 43м, δ₂=+41° 16′) на небесной сфере. Выражаем α₁ в градусах и долях градуса:

[math]\displaystyle{ \alpha_1 = \left (22+\frac{29}{60}\right )\cdot\frac{360}{24}=337^\circ,25 }[/math]

Аналогично получаем, что α₂=10°,75. Выражаем δ₁ в градусах и долях градуса:

[math]\displaystyle{ \delta_1 = 58+\frac{25}{60}=58^\circ,42 }[/math]

Аналогично δ₂=41°,27. Применяем теорему косинусов:

[math]\displaystyle{ \begin{align} \cos x & = \cos(90^\circ-\delta_1)\cdot\cos(90^\circ-\delta_2)+\sin(90^\circ-\delta_1)\cdot\sin(90^\circ-\delta_2)\cdot\cos(\alpha_1-\alpha_2)\\ & =\sin 58^\circ,42\cdot\sin 41^\circ,27+\cos 58^\circ,42\cdot\cos 41^\circ,27\cdot\cos (337^\circ,25-10^\circ,75)\\ &=0,89 \end{align} }[/math]

Отсюда x=27°,11.

Теорема косинусов в её втором виде (соотношение между тремя углами и стороной) может быть применена для вычисления взаимного наклонения двух орбит при известном наклонении каждой орбиты к какой-то другой плоскости. Например, по этой формуле можно вычислить наклонение орбиты Плутона к орбите Нептуна, используя наклонения их орбит к эклиптике и долготы их восходящих узлов.

Пример 2: определение взаимного наклонения орбит небесных тел

Определим взаимное наклонение (x) орбит Плутона (наклонение орбиты к эклиптике — 17°,14, долгота восходящего узла — 110°,30) и Нептуна (наклонение орбиты к эклиптике — 1°,77, долгота восходящего узла — 131°,79). В соответствующем сферическом треугольнике известны два угла: один равен наклонению орбиты Плутона к эклиптике, другой — дополнению наклонения орбиты Нептуна к эклиптике до 180 градусов. Известна также прилегающая к этим углам сторона, равная разности долгот восходящих узлов Плутона и Нептуна. Осталось применить второй вариант теоремы косинусов — для углов:

[math]\displaystyle{ \begin{align} \cos x & = -\cos(17^\circ,14)\cdot\cos(180^\circ-1^\circ,77)+\sin(17^\circ,14)\cdot\sin(180^\circ-1^\circ,77)\cdot\cos(131^\circ,79-110^\circ,30)\\ & \approx0,9636\\ \end{align} }[/math]

Отсюда x≈15°,51.

История

Основная статья: История тригонометрии

Математики средневекового Востока использовали утверждение, равносильное сферической теореме косинусов, при решении конкретных астрономических задач. Эти соотношения, используемые при определении высоты Солнца, встречаются в сочинениях Сабита ибн Корры, ал-Махани, ал-Баттани, Ибн Юниса, ал-Бируни.

Первая явная формулировка теоремы дана в XV веке Региомонтаном, который назвал её «теоремой Альбатегния» (по латинизированному имени ал-Баттани).

См. также

• Сферическая теорема синусов
• Теорема косинусов

Литература

• Вентцель М. К. Сферическая тригонометрия. 2-е изд., ИГКЛ, 1948, 115с.
• Матвиевская Г. П. Очерки истории тригонометрии: Древняя Греция. Средневековый Восток. Позднее Средневековье. — Изд. 2-е. — М.: Либроком, 2012. — 160 с. — (Физико-математическое наследие: математика (история математики)). — ISBN 978-5-397-02777-9.
• Степанов Н. Н. Сферическая тригонометрия. — Л.-М., 1948.