Вывод сферической теоремы косинусов

В этом видеоуроке объясняется, как вывести сферическую теорему косинусов с помощью гномонической проекции и планарной тригонометрии. При проецировании сферического треугольника на плоскость таким образом, он становится планарным треугольником, к которому можно применить исходную теорему косинусов. Веб-страница для визуализации секанса (и других тригонометрических функций): https://visualize-it.github.io/trig_f...