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

) и две прилегающие стороны (

и

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