球面三角法(きゅうめんさんかくほう、英: spherical trigonometry)とは、いくつかの大円で囲まれた球面上の図形(球面多角形、とくに球面三角形)の辺や角の三角関数間の関係を扱う球面幾何学の一分野である。球面上に2点A,Bがあるとき、この2点と球の中心を通る平面で切断したときの断面に現れる円が大円であり、このときの大円上の弧ABを球面多角形においては辺と呼ぶ。通常、球の半径は1とするので、辺の長さはその辺を含む大円における中心角の弧度法表示と一致する。平面三角法では6つの要素のうち3つの要素が決定されれば、残りの3つの要素を求めることができる。球面三角法でも同様に、3つの要素が分かれば残りの3つの要素を求めることができる[1]。
球面三角法は、主に天文学や航海術で利用されてきた。現在では電子計算機の発達により、より簡潔に式を表すことができる行列を使用した座標変換に計算方法が移行している[2]。 ABC を球面三角形とし辺 BC, CA, AB の長さをそれぞれ a, b, c とする。弧 AB を含む大円が乗る平面と弧 AC を含む大円が乗る平面のなす角を A とする。これは、点 A における2つの大円の接ベクトルのなす角ともいえる。ただし、a と一致するとは限らない。同様に B, C も定義する。このとき、次の式が成り立つ。 球面三角法の余弦定理 cos a = cos b cos c + sin b sin c cos A cos b = cos c cos a + sin c sin a cos B cos c = cos a cos b + sin a sin b cos C {\displaystyle {\begin{aligned}\cos a&=\cos b\cos c+\sin b\sin c\cos A\\\cos b&=\cos c\cos a+\sin c\sin a\cos B\\\cos c&=\cos a\cos b+\sin a\sin b\cos C\end{aligned}}} 球面三角法の正弦定理 sin a sin A = sin b sin B = sin c sin C {\displaystyle {\frac {\sin a}{\sin A}}={\frac {\sin b}{\sin B}}={\frac {\sin c}{\sin C}}} 正弦余弦定理 sin a cos B = cos b sin c − sin b cos c cos A sin a cos C = cos c sin b − sin c cos b cos A {\displaystyle {\begin{aligned}\sin a\cos B&=\cos b\sin c-\sin b\cos c\cos A\\\sin a\cos C&=\cos c\sin b-\sin c\cos b\cos A\end{aligned}}} 球面三角法の正接定理 tan A + B 2 tan A − B 2 = tan a + b 2 tan a − b 2 {\displaystyle {\frac {\tan {\dfrac {A+B}{2}}}{\tan {\dfrac {A-B}{2}}}}={\frac {\tan {\dfrac {a+b}{2}}}{\tan {\dfrac {a-b}{2}}}}} 球面三角法の余接定理 cot a sin b = cos b cos C + cot A sin C {\displaystyle \cot a\sin b=\cos b\cos C+\cot A\sin C} 面積(球面の半径 = r {\displaystyle =r} ,球過量 (Spherical Excess) = E {\displaystyle =E} , 2 s = a + b + c {\displaystyle 2s=a+b+c} )球面三角形ABCの面積 = E r 2 {\displaystyle =Er^{2}} E = A + B + C − π = 4 tan − 1 tan s 2 tan s − a 2 tan s − b 2 tan s − c 2 = 2 sin − 1 sin s sin ( s − a ) sin ( s − b ) sin ( s − c ) 2 cos a 2 cos b 2 cos c 2 = 2 cos − 1 1 + cos a + cos b + cos c 4 cos a 2 cos b 2 cos c 2 {\displaystyle {\begin{aligned}E&=A+B+C-\pi \\&=4\tan ^{-1}{\sqrt {\tan {\frac {s}{2}}\tan {\frac {s-a}{2}}\tan {\frac {s-b}{2}}\tan {\frac {s-c}{2}}}}\\&=2\sin ^{-1}{\frac {\sqrt {\sin s\sin(s-a)\sin(s-b)\sin(s-c)}}{2\cos {\dfrac {a}{2}}\cos {\dfrac {b}{2}}\cos {\dfrac {c}{2}}}}\\&=2\cos ^{-1}{\frac {1+\cos a+\cos b+\cos c}{4\cos {\dfrac {a}{2}}\cos {\dfrac {b}{2}}\cos {\dfrac {c}{2}}}}\end{aligned}}} 第1式をジラール
球面三角法の基本公式