Формулы половинного угла используются в навигации для расчёта расстояния между двумя точками по заданным координатам GPS. 1 Для этого применяется формула гаверсинусов, в которой используется квадрат синуса половинного угла (haversine). 1 Переменные в формуле — кратчайшее расстояние, радиус сферы, широта и долгота точек соответственно. 1 Формула гаверсинусов хорошо работает при сравнительно небольших расстояниях, но имеет проблему для антиподов. 1 Формула через арктангенс устраняет эту проблему. 1
В геодезии формулы половинного угла применяются в сферической тригонометрии для решения задач, связанных с решением сферических треугольников. 2 Например, по известным элементам сферического треугольника находят элементы полярного прямостороннего треугольника, после чего решают полярный треугольник и по специальной формуле переходят обратно к данному. 2