球面三角法

球面三角形

球面三角法（きゅうめんさんかくほう）とは、3つの大円（球の中心を通る円）の弧で囲まれた球面の部分を球面三角形と呼ぶが、その要素である3つの辺や3つの角の関係を表したもの。 平面上の三角法との最大の違いは、辺の大きさが長さではなく球の中心角によって表されることである。 平面三角法では6つの要素のうち3つの要素が決定されれば、残りの3つの要素を求めることができる。球面三角法でも同様に、3つの要素が分かれば残りの3つの要素を求めることができる。

球面三角法は、主に天文学や航海術で利用されてきた。現在では電子計算機の発達により、より簡潔に式を表すことができる行列を使用した座標変換に計算方法が移行している。

球面三角法の基本公式

ABC を球面三角形とし辺 BC, CA, AB をそれぞれ a, b, c とする。弧ABを含む大円と弧 AC を含む大円がなす角を 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 \!$

球面三角法の正弦定理

$\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 \!$

球面三角法の正接定理

$\frac{\sin C}{\tan A} = \frac{\sin b}{\tan a} - \cos b \cos C$

面積（球面の半径 $=r \$）

球面三角形ABCの面積$=(A+B+C-\pi)r\ ^2$

誘導定理

$2s=a+b+c\!$ 、 $2S=A+B+C\!$とおく。

$\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)}}\!$

$\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)}}\!$

$\cos a \cos C = \sin a \cot b - \sin C \cot B \!$

直角球面三角形

天文学や航海術では一つの角が直角の場合が多く、この場合公式は簡単になる。

$\angle C = 90^\circ$ とする。

$\sin a = \sin c \sin A , \sin b = \sin c \sin B \!$

$\cos a \sin b = \sin c \cos A , \cos b \sin a = \sin c \cos B \!$

$\cos c = \cos a \cos b = \cot A \cot B \!$

$\cos b \sin A = \cos B , \cos a \sin B = \cos A \!$

$\tan a = \sin b \tan A = \tan c \cos B \!$

$\tan b = \sin a \tan B = \tan c \cos A \!$

これらを記憶するためにネイピアの法則がある。

ネイピアの円と直角球面三角形

ネイピアの法則

ネイピアの円で $\bar a = 90^\circ - a , \bar b = 90^\circ - b$である。

ネイピアの円のどれか一つの要素を中央要素とし、その隣の要素を隣接要素、さらにその隣にあり中央要素の反対側にある2つの要素を対向要素とする。このときネイピアの法則は次の式で表すことができる。

中央要素の$\cos$ = 隣接要素の$\cot$の積

中央要素の$\cos$ = 対向要素の$\sin$の積

象限三角形

球面三角形の一辺が$90^\circ$となっているものを象限三角形という。この場合も公式は簡単になる。ここで$c=90^\circ$とする。

$\cos C= -\cot a \cot b\!$

$\sin A= \sin a \sin C , \sin B= \sin b \sin C\!$

$\cos b= \sin a \cos B , \cos a= \sin b \cos A\!$

$\tan A= -\cos b \tan C , \tan B= -\cos a \tan C\!$

$\tan A= \tan a \sin B , \tan B= \tan b \sin A\!$

象限三角形もネイピアの円に $\bar A ,\bar B, a,-\bar C,b$ をあてはめると、ネイピアの法則を適合することができる。

双対原理

球面三角形の法則は、それぞれの要素の向かい合った要素の補角に置き換えても成り立つ。これを双対原理という。具体例をあげると

$\cos a = \cos b \cos c + \sin b \sin c \cos A \!$

より

$\cos(180^\circ -A) = \cos(180^\circ -B) \cos(180^\circ -C) + \sin(180^\circ -B) \sin(180^\circ -C) \cos (180^\circ -a) \!$

が成り立つ。

haversine 半正矢関数

$\operatorname{hav}x \ \overset{\underset{\mathrm{def}}{}}{=} \ \frac{1}{2}(1-\cos x) = \sin ^2\frac{x}{2} \!$

で定義される半正矢関数 $\operatorname{hav}()$ が航海用として使用されていた。定義よりこの関数の値は常に正であり、$\operatorname{hav}(-x) = \operatorname{hav}x$ である。

$\cos x = 1-2\operatorname{hav}x \!$ から、最初の球面三角法の余弦定理を書き直すと

$1-2\operatorname{hav}a = \cos b \cos c + \sin b \sin c (1-2\operatorname{hav}A) \!$

より

$\operatorname{hav}a\ = \operatorname{hav}(b-c)+\sin b \sin c\ \operatorname{hav} A\!$

となる。

ドランブル (Delambre) の公式

ジャン＝バティスト・ジョゼフ・ドランブルによる。

$\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} \!$

ネイピア (Napier) の公式

$\tan \frac{A+B}{2} = \frac{\cos \frac{a-b}{2}}{\cos \frac{a+b}{2}} \cot \frac{C}{2} \!$

$\tan \frac{A-B}{2} = \frac{\sin \frac{a-b}{2}}{\sin \frac{a+b}{2}} \cot \frac{C}{2} \!$

$\tan \frac{a+b}{2} = \frac{\cos \frac{A-B}{2}}{\cos \frac{A+B}{2}} \tan \frac{c}{2} \!$

$\tan \frac{a-b}{2} = \frac{\sin \frac{A-B}{2}}{\sin \frac{A+B}{2}} \tan \frac{c}{2} \!$

関連項目

• 球面幾何学