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


.. image:: Joh-SphereGeo1.gif 


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


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


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


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

.. image:: 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}|}$ で表わされますから、これらの内積を取って次式がなりたちます。


<tex>
\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}
</tex>

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


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


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


<tex>
\cos \alpha = \frac{\cos a - \cos c \cos b}{\sin b \sin c}
</tex>

角 $\beta$ や $\gamma$ についても同様です。

<tex>
\cos \beta = \frac{\cos b - \cos a \cos c}{\sin c \sin a}
</tex>

<tex>
\cos \gamma = \frac{\cos c - \cos b \cos a}{\sin a \sin b}
</tex>


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

<tex>
\cos a = \sin b \sin c \cos \alpha + \cos c \cos b 
</tex>

<tex>
\cos b = \sin c \sin a \cos \beta + \cos a \cos c
</tex>

<tex>
\cos c = \sin a \sin b \cos \gamma + \cos b \cos a 
</tex>




外積から出てくる関係式
-------------------------------------------------------------------
角 $\alpha$ について、面 $OAC$ と面 $OAB$ の単位法線ベクトルの外積を取って、 $\sin \alpha$ を次のように表わすこともできます。

<tex>
\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}
</tex>

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

<tex>
(\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}
</tex>

右辺の第二項が零になることに注意してください。この結果は $\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}$ がなりたちます。そこで、次の関係を導けます。（ 三重積_ を参考にしてください。）

<tex>
\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} 
</tex>


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

<tex>
\frac{\sin \alpha}{\sin a}  = \frac{\sin \beta}{\sin b}  = \frac{\sin \gamma}{\sin c} 
</tex>



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



.. _三重積: http://www12.plala.or.jp/ksp/vectoranalysis/Triprod/
.. _ベクトルの公式１: http://www12.plala.or.jp/ksp/vectoranalysis/VectorFormulae1/


@@author:Joh@@
@@accept: 2006-07-15@@
@@category: ベクトル解析@@
@@id: SphereTriangle@@