球面三角法 (きゅうめんさんかくほう、英 : spherical trigonometry )とは、いくつかの大円 で囲まれた球面 上の図形 (球面多角形 、とくに球面三角形 )の辺 や角 の三角関数 間の関係を扱う球面幾何学 の一分野である。球面上に2点A,Bがあるとき、この2点と球の中心を通る平面で切断したときの断面に現れる円が大円であり、このときの大円上の弧ABを球面多角形においては辺と呼ぶ。通常、球の半径は1とするので、辺の長さはその辺を含む大円における中心角の弧度法 表示と一致する。平面三角法 では6つの要素のうち3つの要素が決定されれば、残りの3つの要素を求めることができる。球面三角法でも同様に、3つの要素が分かれば残りの3つの要素を求めることができる[1] 。
球面三角形 球面三角法は、主に天文学 や航海術 で利用されてきた。現在では電子計算機 の発達により、より簡潔に式を表すことができる行列 を使用した座標変換に計算方法が移行している[2] 。
球面三角法の基本公式 誘導定理 2 s = a + b + c {\displaystyle 2s=a+b+c} 、 2 S = A + B + C {\displaystyle 2S=A+B+C} とおく。 sin A 2 = sin ( s − b ) sin ( s − c ) sin b sin c cos A 2 = sin s sin ( s − a ) sin b sin c tan A 2 = sin ( s − b ) sin ( s − c ) sin s sin ( s − a ) {\displaystyle {\begin{aligned}\sin {\frac {A}{2}}&={\sqrt {\frac {\sin(s-b)\sin(s-c)}{\sin b\sin c}}}\\\cos {\frac {A}{2}}&={\sqrt {\frac {\sin s\sin(s-a)}{\sin b\sin c}}}\\\tan {\frac {A}{2}}&={\sqrt {\frac {\sin(s-b)\sin(s-c)}{\sin s\sin(s-a)}}}\end{aligned}}} sin a 2 = − cos S cos ( S − A ) sin B sin C cos a 2 = cos ( S − B ) sin ( S − C ) sin B sin C tan a 2 = − cos S cos ( S − A ) cos ( S − B ) cos ( S − C ) {\displaystyle {\begin{aligned}\sin {\frac {a}{2}}&={\sqrt {\frac {-\cos S\cos(S-A)}{\sin B\sin C}}}\\\cos {\frac {a}{2}}&={\sqrt {\frac {\cos(S-B)\sin(S-C)}{\sin B\sin C}}}\\\tan {\frac {a}{2}}&={\sqrt {\frac {-\cos S\cos(S-A)}{\cos(S-B)\cos(S-C)}}}\end{aligned}}} 直角球面三角形 天文学や航海術では一つの角が直角の場合が多く、この場合公式は簡単になる[3] 。
C = π 2 {\displaystyle C={\frac {\pi }{2}}} とすると、 (R1) cos c = cos a cos b , (R6) tan b = cos A tan c , (R2) sin a = sin A sin c , (R7) tan a = cos B tan c , (R3) sin b = sin B sin c , (R8) cos A = sin B cos a , (R4) tan a = tan A sin b , (R9) cos B = sin A cos b , (R5) tan b = tan B sin a , (R10) cos c = cot A cot B . {\displaystyle {\begin{alignedat}{4}&{\text{(R1)}}&\qquad \cos c&=\cos a\,\cos b,&\qquad \qquad &{\text{(R6)}}&\qquad \tan b&=\cos A\,\tan c,\\&{\text{(R2)}}&\sin a&=\sin A\,\sin c,&&{\text{(R7)}}&\tan a&=\cos B\,\tan c,\\&{\text{(R3)}}&\sin b&=\sin B\,\sin c,&&{\text{(R8)}}&\cos A&=\sin B\,\cos a,\\&{\text{(R4)}}&\tan a&=\tan A\,\sin b,&&{\text{(R9)}}&\cos B&=\sin A\,\cos b,\\&{\text{(R5)}}&\tan b&=\tan B\,\sin a,&&{\text{(R10)}}&\cos c&=\cot A\,\cot B.\end{alignedat}}} これらを記憶するためにネイピア の円 がある。
ネイピアの円 ネイピアの円と直角球面三角形 右図をネイピアの円という。 a ¯ = π 2 − a , b ¯ = π 2 − b {\displaystyle {\bar {a}}={\frac {\pi }{2}}-a,{\bar {b}}={\frac {\pi }{2}}-b} である。
ネイピアの円のどれか一つの要素を中央要素 とし、その隣の要素を隣接要素 、残りの中央要素の反対側にある2つの要素を対向要素 とする。このとき上記の定理(R1)~(R10)は次のように書ける。
中央要素 の余弦 = 隣接要素 の余接の積中央要素 の余弦 = 対向要素 の正弦の積
象限三角形 球面三角形の一辺が π 2 {\displaystyle {\frac {\pi }{2}}} となっているものを象限三角形という。この場合も公式は簡単になる[4] 。 c = π 2 {\displaystyle c={\frac {\pi }{2}}} とすると、
(Q1) cos C = − cos A cos B , (Q6) tan B = − cos a tan C , (Q2) sin A = sin a sin C , (Q7) tan A = − cos b tan C , (Q3) sin B = sin b sin C , (Q8) cos a = sin b cos A , (Q4) tan A = tan a sin B , (Q9) cos b = sin a cos B , (Q5) tan B = tan b sin A , (Q10) cos C = − cot a cot b . {\displaystyle {\begin{alignedat}{4}&{\text{(Q1)}}&\qquad \cos C&=-\cos A\,\cos B,&\qquad \qquad &{\text{(Q6)}}&\qquad \tan B&=-\cos a\,\tan C,\\&{\text{(Q2)}}&\sin A&=\sin a\,\sin C,&&{\text{(Q7)}}&\tan A&=-\cos b\,\tan C,\\&{\text{(Q3)}}&\sin B&=\sin b\,\sin C,&&{\text{(Q8)}}&\cos a&=\sin b\,\cos A,\\&{\text{(Q4)}}&\tan A&=\tan a\,\sin B,&&{\text{(Q9)}}&\cos b&=\sin a\,\cos B,\\&{\text{(Q5)}}&\tan B&=\tan b\,\sin A,&&{\text{(Q10)}}&\cos C&=-\cot a\,\cot b.\end{alignedat}}} 象限三角形の場合はネイピアの円に A ¯ , B ¯ , a , π − C , b {\displaystyle {\bar {A}},{\bar {B}},a,\pi -C,b} を当てはめればよい。
極三角形と双対原理 球面三角形 ABC の極三角形 A'B'C' 一般に、大円の平面に垂直な直径の両端をその大円の極という。右図において球面三角形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との間には次のような関係がある[注釈 1] :
A ′ = π − a , B ′ = π − b , C ′ = π − c , a ′ = π − A , b ′ = π − B , c ′ = π − C . {\displaystyle {\begin{alignedat}{3}A'&=\pi -a,&\qquad B'&=\pi -b,&\qquad C'&=\pi -c,\\a'&=\pi -A,&b'&=\pi -B,&c'&=\pi -C.\end{alignedat}}} 上記をまとめると、球面三角形の法則は、それぞれの要素の向かい合った要素の補角に置き換えても成り立つ。これを双対原理 という[5] 。具体例を挙げると
cos a = cos b cos c + sin b sin c cos A {\displaystyle \cos a=\cos b\cos c+\sin b\sin c\cos A} から
cos ( π − A ) = cos ( π − B ) cos ( π − C ) + sin ( π − B ) sin ( π − C ) cos ( π − a ) {\displaystyle \cos(\pi -A)=\cos(\pi -B)\cos(\pi -C)+\sin(\pi -B)\sin(\pi -C)\cos(\pi -a)} すなわち
cos A = − cos B cos C + sin B sin C cos a {\displaystyle \cos A=-\cos B\cos C+\sin B\sin C\cos a} が成り立つ。
haversine 半正矢関数 ドランブル (Delambre) の公式 ジャン=バティスト・ジョゼフ・ドランブル による。ガウス の公式と呼ばれることもある。
cos A + B 2 cos c 2 = cos a + b 2 sin C 2 sin A + B 2 cos c 2 = cos a − b 2 cos C 2 cos A − B 2 sin c 2 = sin a + b 2 sin C 2 sin A − B 2 sin c 2 = sin a − b 2 cos C 2 {\displaystyle {\begin{aligned}\cos {\frac {A+B}{2}}\cos {\frac {c}{2}}&=\cos {\frac {a+b}{2}}\sin {\frac {C}{2}}\\\sin {\frac {A+B}{2}}\cos {\frac {c}{2}}&=\cos {\frac {a-b}{2}}\cos {\frac {C}{2}}\\\cos {\frac {A-B}{2}}\sin {\frac {c}{2}}&=\sin {\frac {a+b}{2}}\sin {\frac {C}{2}}\\\sin {\frac {A-B}{2}}\sin {\frac {c}{2}}&=\sin {\frac {a-b}{2}}\cos {\frac {C}{2}}\end{aligned}}} ネイピア (Napier) の公式 tan A + B 2 = cos a − b 2 cos a + b 2 cot C 2 tan A − B 2 = sin a − b 2 sin a + b 2 cot C 2 tan a + b 2 = cos A − B 2 cos A + B 2 tan c 2 tan a − b 2 = sin A − B 2 sin A + B 2 tan c 2 {\displaystyle {\begin{aligned}\tan {\frac {A+B}{2}}={\frac {\cos {\dfrac {a-b}{2}}}{\cos {\dfrac {a+b}{2}}}}\cot {\frac {C}{2}}\\\tan {\frac {A-B}{2}}={\frac {\sin {\dfrac {a-b}{2}}}{\sin {\dfrac {a+b}{2}}}}\cot {\frac {C}{2}}\\\tan {\frac {a+b}{2}}={\frac {\cos {\dfrac {A-B}{2}}}{\cos {\dfrac {A+B}{2}}}}\tan {\frac {c}{2}}\\\tan {\frac {a-b}{2}}={\frac {\sin {\dfrac {A-B}{2}}}{\sin {\dfrac {A+B}{2}}}}\tan {\frac {c}{2}}\end{aligned}}} 脚注 参考文献 関連項目 外部リンク