余弦定理

a^2=b^2+c^2-2bc・cosA

は3辺の長さから角度を求めたり、2辺とその挟角から残りの辺の長さを求めることができる優れものです。

球面では球面余弦定理が成り立ちます。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】球面三角法

　半径１の球面（単位球面）上に３点Ａ，Ｂ，Ｃがあり，それぞれが大円の弧で結ばれているものとします．球面三角形ＡＢＣの３辺の長さ（球面距離）をａ，ｂ，ｃで表すとそれぞれ大円の中心角となります．すなわち，単位球では球面距離を中心角と同一視できるわけです．また，内角Ａ，Ｂ，Ｃは大円同士が交わる面角の大きさです．

　球面三角法の公式は多数ありますが，計算に便利なように単位球における式として与えられています．よく用いられるのは

　　ｃｏｓｃ＝ｃｏｓａ・ｃｏｓｂ＋ｓｉｎａ・ｓｉｎｂ・ｃｏｓＣ

とその巡回置換，それに球面三角形ＡＢＣの面積Ｓを角過剰として表した

　　Ｓ＝Ａ＋Ｂ＋Ｃ−π

の２つだけです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝