この記事は現在、プロジェクトメンバーによる査読中のものです。草稿段階ですので、内容・表現の正確さについて責任を負いかねます。 リンクを正しく張れていないところが存在しますのでご注意ください。 正式公開まで、いましばらくお待ちください。
球面三角形の角度

今までに勉強した内容を使って,球面上に描かれた三角形の角度を考えましょう.私たちは普段,平面上での幾何学に馴れっこになっていますが,球面上では少し様子の異なる幾何学が展開されます.よく知られた例ですが,球面上に描いた三角形では,内角の和が 180 度よりも大きくなります.

Joh-SphereGeo1.gif

絵に描いてみましたが,地球儀の上に北極から経度 0 度の子午線に沿って赤道まで線を引き,そこから東経 90 まで赤道上に線を引き,そこから北極まで再び経線に沿って線を引けば,この三角形の角はそれぞれ 90 度になりますから,内角の和は 270 度ですね.

このように,曲率のある面上で幾何学をする際には,いつもと違った注意が必要です.

[*]曲面上の幾何学には,ほかに楕円体上や双曲面上で図形を考えるものなどがあります.これらは一般に非ユークリッド幾何学と呼ばれます.曲率が正の曲面上では三角形の内角の和は 180 度以上,曲率が負の曲面上では三角形の内角の和は 180 度以下になります.

球面三角形の角度

半径 1 の球面上に,三角形 ABC を考えます.三角形の角や辺は次図のように決めることにします.

Joh-SphereGeo2.gif

例えば,図中の角 \alpha を考えみましょう.角 \alpha は,面 OAC と面 OAB のなす角だと考えられますから,それぞれの面の法線ベクトルの内積を使って表わすことができそうです.

OAC の単位法線ベクトルは \frac{\vec {OA} \times \vec {OC}}{|\vec {OA} \times \vec {OC}|} ,面 OAB の単位法線ベクトルは \frac{\vec {OA} \times \vec {OB}}{|\vec {OA} \times \vec {OB}|} で表わされますから,これらの内積を取って次式がなりたちます.

\cos \alpha = \frac{(\vec {OA} \times \vec {OC})\cdot (\vec {OA} \times \vec {OB})}{|\vec {OA} \times \vec {OC}||\vec {OA} \times \vec {OB}|}  \tag{1}

\alpha を表わすことができました.ところで,いま球の半径を 1 としていますので, \angle AOC = b, \angle AOB=c, \angle BOC = a がなりたっています.(このように,球面上の距離を中心角として表わせるのが,半径 1 の球面の便利な点です.)そこで,角度について次の関係がなりたちます.

|\vec {OB} \times \vec {OC}| = \sin \angle BOC = \sin a |\vec {OA} \times \vec {OC}| = \sin \angle AOC = \sin b |\vec {OA} \times \vec {OB}| = \sin \angle AOB = \sin c

これらを使うと,式 (1) は次のように整理できます.

\cos \alpha = \frac{\cos a - \cos c \cos b}{\sin b \sin c}

\beta\gamma についても同様です.

\cos \beta = \frac{\cos b - \cos a \cos c}{\sin c \sin a} \cos \gamma = \frac{\cos c - \cos b \cos a}{\sin a \sin b}

これは球面三角形になりたつ重要な関係式で, 球面三角法の余弦定理 と呼ばれています.式変形して次の形で紹介されることも多いです.

\cos a = \sin b \sin c \cos \alpha + \cos c \cos b \cos b = \sin c \sin a \cos \beta + \cos a \cos c \cos c = \sin a \sin b \cos \gamma + \cos b \cos a

外積から出てくる関係式

\alpha について,面 OAC と面 OAB の単位法線ベクトルの外積を取って, \sin \alpha を次のように表わすこともできます.

\sin \alpha &= \frac{|(\vec {OA} \times \vec {OC})\times (\vec {OA} \times \vec {OB})|}{|\vec {OA} \times \vec {OC}||\vec {OA} \times \vec {OB}|} \\ &= \frac{|(\vec {OA} \times \vec {OC})\times (\vec {OA} \times \vec {OB})|}{\sin b \sin c}

分母については \sin b = |\vec {OC} \times \vec {OA}|, \sin c = |\vec {OA} \times \vec {OB}| を使いました.分子については,さらに次のように式変形が可能です.(馴れていないと面食らうかも知れませんが,一行目の式変形は公式通りの変形です.成分を代入すればすぐに確認できます. ベクトルの公式1 を参照して下さい.)

(\vec {OA} \times \vec {OC})\times (\vec {OA} \times \vec {OB})&=[\vec {OA} \cdot (\vec {OC} \times \vec {OB})]\vec {OA} - [\vec {OA} \cdot ((\vec {OC} \times \vec {OA}))]\vec {OB} \\ &=[\vec {OA} \cdot (\vec {OC} \times \vec {OB})]\vec {OA}

右辺の第二項が零になることに注意してください.この結果は \vec {OA}, \vec {OB}, \vec {OC} のスカラー三重積ですので,巡回的な関係 [\vec {OA} \cdot (\vec {OC} \times \vec {OB})]\vec {OA}=[\vec {OB} \cdot (\vec {OA} \times \vec {OC})]\vec {OB}=[\vec {OC} \cdot (\vec {OB} \times \vec {OA})]\vec {OC} がなりたちます.そこで,次の関係を導けます.( 三重積 を参考にしてください.)

\frac{\sin \alpha}{\sin a} &= \frac{[\vec {OA} \cdot (\vec {OC} \times \vec {OB})]\vec {OA}}{\sin a \sin b \sin c} \\  &= \frac{[\vec {OB} \cdot (\vec {OA} \times \vec {OC})]\vec {OB}}{\sin a \sin b \sin c} = \frac{\sin \beta}{\sin b} \\ &= \frac{[\vec {OC} \cdot (\vec {OB} \times \vec {OA})]\vec {OC}}{\sin a \sin b \sin c} = \frac{\sin \gamma}{\sin c}

この関係を 球面三角法の正弦定理 と呼びます.とても重要な定理です.

\frac{\sin \alpha}{\sin a}  = \frac{\sin \beta}{\sin b}  = \frac{\sin \gamma}{\sin c}

以上,ベクトル演算の応用問題として,球面三角法で使う基本的な定理を導いてみました.