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