大圏航路の計算で「余弦定理」を用いた 2地点間の距離 $d$ を求める式は。

球面三角形の 2辺とその間の角(経度差)から残りの 1辺(距離)を算出する。