Теорема Лежандра о сферических треугольниках

В геометрии теорема Лежандра о сферических треугольниках , названная в честь Адриана- Мари Лежандра , формулируется следующим образом:

Пусть ABC — сферический треугольник на единичной сфере с малыми сторонами a , b , c . Пусть A'B'C' — плоский треугольник с одинаковыми сторонами. Тогда углы сферического треугольника превышают соответствующие углы плоского треугольника примерно на треть сферического избытка (сферический избыток — это величина, на которую сумма трёх углов превышает π ).

Теорема сыграла очень важную роль в упрощении тяжелой числовой работы при расчете результатов традиционных (до GPS и до компьютеров) геодезических съемок примерно с 1800 года до середины двадцатого века.

Теорема была сформулирована Лежандром (1787), который предоставил доказательство ^[1] в приложении к отчету об измерении французской меридиональной дуги, используемой в определении метра . ^[2] Лежандр не утверждает, что он был автором теоремы, несмотря на приписывание ему этой теоремы. Тропфке (1903) утверждает, что этот метод широко использовался геодезистами в то время и, возможно, был использован еще в 1740 году Ла Кондамином для расчета перуанской меридиональной дуги . ^[3]

Теорема Жирара утверждает, что сферический избыток треугольника E равен его площади Δ, и поэтому теорему Лежандра можно записать как

${\displaystyle {\begin{aligned}A-A'\;\approx \;B-B'\;\approx \;C-C'\;\approx \;{\frac {1}{3}}E\;=\;{\frac {1}{3}}\Delta ,\qquad a,\;b,\;c\,\ll \,1.\end{aligned}}}$

Избыток или площадь маленьких треугольников очень мала. Например, рассмотрим равносторонний сферический треугольник со сторонами 60 км на сферической Земле радиусом 6371 км; сторона соответствует угловому расстоянию 60/6371 = 0,0094, или примерно 10 ^-2 радиан (стягивая угол 0,57 ° в центре). Площадь такого маленького треугольника хорошо аппроксимируется площадью плоского равностороннего треугольника с теми же сторонами:  = 0,0000433 радиана, что соответствует 8,9 дюймам. ${\displaystyle {\tfrac {1}{2}}a^{2}\sin {\tfrac {\pi }{3}}}$

При длинах сторон треугольников, превышающих 180 км, для которых превышение составляет около 80″, отношения между площадями и разности углов необходимо корректировать членами четвертого порядка по сторонам, составляющими не более 0,01″:

${\displaystyle {\begin{aligned}\Delta &=\Delta '\left(1+{\frac {a^{2}+b^{2}+c^{2}}{24}}\right),\\A&=A'+{\frac {\Delta }{3}}+{\frac {\Delta }{180}}\left(-2a^{2}+b^{2}+c^{2}\right),\\B&=B'+{\frac {\Delta }{3}}+{\frac {\Delta }{180}}\left({\quad a^{2}-2b^{2}+c^{2}}\right),\\C&=C'+{\frac {\Delta }{3}}+{\frac {\Delta }{180}}\left({\quad a^{2}+b^{2}-2c^{2}}\right).\end{aligned}}}$

( — площадь плоского треугольника.) Этот результат доказал Бузенгейгер (1818). ^[4] ${\displaystyle \Delta '}$

Теорему можно распространить на эллипсоид, если , , вычисляются путем деления истинных длин на квадратный корень из произведения главных радиусов кривизны ^[5] на средней широте вершин (вместо сферического радиуса). Гаусс привел более точные формулы. ^[6] ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle c}$

Рекомендации

1. Лежандр (1798).
2. Деламбр (1798).
3. Тропфке (1903).
4. Бузенгейгер (1818). Расширенное доказательство можно найти у Осборна (2013) (Приложение D13). Другие результаты получены Надеником (2004).
5. См. Осборн (2013), глава 5.
6. Гаусс (1828), Ст. 26–28.

Библиография

• Бюзенгейгер, Карл Гериберт Игнац (1818), «Vergleichung zweier kleiner Dreiecke von gleichen Seiten, wovon das eine sphärisch, das andere eben ist», Zeitschrift für Astronomie und verwandte Wissenschaften , 6 : 264–270
• Кларк, Александр Росс (1880), геодезия, Clarendon Press
• Деламбр, Жан-Батист (1798), Аналитические методы для определения дуги меридиена, Дюпра, doi : 10.3931/E-RARA-1836 - через библиотеку ETH Zürich
• Гаусс, К.Ф. (1902) [1828], Общие исследования искривленных поверхностей 1827 и 1825 годов, Princeton Univ. Либ; Английский перевод Disquisitiones Generales Circa Superficies Curvas (Дитерих, Геттинген, 1828 г.).
• Лежандр, Адриен-Мари (1787), «Мемуар о тригонометрических операциях, не результаты, зависящие от фигуры Земли», стр. 7 (Статья VI [1])
• Лежандр, Адриен-Мари (1798), «Метод определения длины точного кварта дю меридиена д'апре ле наблюдений за мерой дуги, состоящей из Дюнкерка и Барселоны», стр. 12–14 (Примечание III [2])
• Наденик, Збинек (2004), Теорема Лежандра о сферических треугольниках (PDF) , заархивировано из оригинала (PDF) 16 января 2014 г.
• Осборн, Питер (2013), Проекции Меркатора, заархивировано из оригинала 24 сентября 2013 г.
• Тропфке, Йоханнес (1903), Geschichte der Elementar-Mathematik (Том 2)., Verlag von Veit, стр. 295