Что в этой формуле означает «косинус стороны»
Стороной, натянутой на вершины

,

, называется сегмент соответствующей большой окружности, проходящей через

и

. Длина сегмента пропорциональна углу (

), им стягиваемому, и под косинусом стороны имеется в виду

--- косинус этого самого стягиваемого угла. Если сфера единичная, то угол просто равен длине сегмента.