球面三角法
球面三角法（きゅうめんさんかくほう、）とは、いくつかの大円で囲まれた球面上の図形（球面多角形、とくに球面三角形）の辺や角の三角関数間の関係を扱う球面幾何学の一分野である。
平面上の三角法との最大の違いは、辺の大きさが長さではなく球の中心角によって表されることにある。
平面三角法では6つの要素のうち3つの要素が決定されれば、残りの3つの要素を求めることができる。球面三角法でも同様に、3つの要素が分かれば残りの3つの要素を求めることができる。
球面三角法は、主に天文学や航海術で利用されてきた。現在では電子計算機の発達により、より簡潔に式を表すことができる行列を使用した座標変換に計算方法が移行している。
ABC を球面三角形とし辺 BC, CA, AB をそれぞれ a, b, c とする。弧ABを含む大円と弧 AC を含む大円がなす角を A、同様に B, C も決定する。そのとき、次の式が成り立つ。
球面三角法の余弦定理
球面三角法の正弦定理
正弦余弦定理
球面三角法の正接定理
球面三角法の余接定理
面積（球面の半径 formula_6）
天文学や航海術では一つの角が直角の場合が多く、この場合公式は簡単になる。
これらを記憶するためにネイピアの法則がある。
ネイピアの円で formula_20である。
ネイピアの円のどれか一つの要素を中央要素とし、その隣の要素を隣接要素、さらにその隣にあり中央要素の反対側にある2つの要素を対向要素とする。このときネイピアの法則は次の式で表すことができる。
球面三角形の一辺がformula_21となっているものを象限三角形という。この場合も公式は簡単になる。ここでformula_22とする。
象限三角形もネイピアの円に formula_28 をあてはめると、ネイピアの法則を適合することができる。
球面三角形の法則は、それぞれの要素の向かい合った要素の補角に置き換えても成り立つ。これを双対原理という。具体例をあげると
より
が成り立つ。
で定義される半正矢関数 formula_32 が航海用として使用されていた。定義よりこの関数の値は常に正であり、formula_33 である。
ジャン＝バティスト・ジョゼフ・ドランブルによる。