球面三角法

球面三角法（きゅうめんさんかくほう、）とは、いくつかの大円で囲まれた球面上の図形（球面多角形、とくに球面三角形）の辺や角の三角関数間の関係を扱う球面幾何学の一分野である。
球面上に2点A,Bがあるとき、この2点と球の中心を通る平面で切断したときの断面に現れる円が大円であり、このときの大円上の弧ABを球面多角形においては辺と呼ぶ。
通常、球の半径は1とするので、辺の長さはその辺を含む大円における中心角の弧度法表示と一致する。
平面三角法では6つの要素のうち3つの要素が決定されれば、残りの3つの要素を求めることができる。球面三角法でも同様に、3つの要素が分かれば残りの3つの要素を求めることができる。
球面三角法は、主に天文学や航海術で利用されてきた。現在では電子計算機の発達により、より簡潔に式を表すことができる行列を使用した座標変換に計算方法が移行している。
球面三角法の基本公式.
ABC を球面三角形とし辺 BC, CA, AB の長さをそれぞれ a, b, c とする。弧 AB を含む大円が乗る平面と弧 AC を含む大円が乗る平面のなす角を A とする。これは、点 A における2つの大円の接ベクトルのなす角ともいえる。ただし、a と一致するとは限らない。同様に B, C も定義する。
このとき、次の式が成り立つ。
球面三角法の余弦定理
球面三角法の正弦定理
正弦余弦定理
球面三角法の正接定理
球面三角法の余接定理
面積（球面の半径 formula_6，球過量 (Spherical Excess) formula_7，formula_8）
直角球面三角形.
天文学や航海術では一つの角が直角の場合が多く、この場合公式は簡単になる。
これらを記憶するためにネイピアの円がある。
ネイピアの円.
右図をネイピアの円という。 formula_18である。
ネイピアの円のどれか一つの要素を中央要素とし、その隣の要素を隣接要素、残りの中央要素の反対側にある2つの要素を対向要素とする。このとき上記の定理(R1)～(R10)は次のように書ける。
象限三角形.
球面三角形の一辺がformula_19となっているものを象限三角形という。この場合も公式は簡単になる。formula_20とすると、
象限三角形の場合はネイピアの円に formula_22 をあてはめればよい。
極三角形と双対原理.
一般に、大円の平面に垂直な直径の両端をその大円の極という。右図において球面三角形ABCの1つの辺BCを考えると、それには2つの極があるが、そのうち辺BCから見てAと同じ側にあるほうをA'とする。同様に辺CA, ABについても極B', C'を定めることができる。このようにして得られた3点A', B', C'を結んで新しい一つの球面三角形A'B'C'が得られる。これを元の球面三角形ABCの極三角形という。
球面三角形A'B'C'が球面三角形ABCの極三角形であるならば、逆に球面三角形ABCは球面三角形A'B'C'の極三角形である。また今、球面三角形A'B'C'が球面三角形ABCの極三角形であるとし、その三辺、三角をそれぞれa', b', c'、A', B', C'で表すと、a, b, c、A, B, Cとの間には次のような関係がある：
上記をまとめると、球面三角形の法則は、それぞれの要素の向かい合った要素の補角に置き換えても成り立つ。これを双対原理という。具体例をあげると
から
すなわち
が成り立つ。
haversine 半正矢関数.
で定義される半正矢関数 formula_28 が航海用として使用されていた。具体的には、球面上の2点間の球面に沿った距離を求める場面である。前述の余弦定理でも求めることは可能だが、2地点間が近い（例えば経度差が0に近い）ときformula_29といった値を使うことになり、計算しづらいのでこちらを用いた。定義からこの関数の値は常に正であり、かつ、偶関数である。
より
となる。
半径1の球の2点の緯度が formula_33、経度が formula_34 であるとき、2点間の大円上の距離を formula_35 とすると、
ここから求めた formula_35 に地球の半径約6371kmを掛ければ、地球上でのおおよその距離が分かる。
ドランブル (Delambre) の公式.
ジャン＝バティスト・ジョゼフ・ドランブルによる。ガウスの公式と呼ばれることもある。