已在第一頁 12 次頁

 


首頁 | 搜尋

.作者任教於香港科技大學數學系
 

《基礎幾何學》

七、球面幾何和球面三角學

項武義

 
 

球面乃是空間中最完美勻稱的曲面。兩個半徑相等的球面可以用一個平移把它們疊合起來,而兩個半徑不相等的球面所相差者就是放大或縮小這種相似變換,由此可見本質性的球面幾何可以歸納到單位半徑的球面來研討。再者,在古典天文學的研討中,觀察星星的方向可以用單位球面上的一個點來標記它,而兩個方向之間的角度(亦即方向差)則相應于單位球面上兩點之間的球面距離 (spherical distance) 。這也就是為什麼古希臘天文學和幾何學總是合為一體的,而且古希臘的幾何學家對于球面三角學 (spherical trigonometry) 的投入程度要遠遠超過他們對于平面測量學的興趣,因為「量天的學問」才是他們所致力去理解者;它的確比丈量土地、計量財產等更引人入勝,是不?

從現代的觀點來看,球面幾何乃是空間幾何中蘊含在正交子群的部分,而向量幾何則是空間幾何中蘊含在平移子群的部分,而且兩者又密切相關、相輔相成,例如向量運算都是正交協變的 (orthogonal covariant),所以向量代數又是研討球面幾何的簡明有力的利器。


單位球面的基本性質

O 為球面的心,而單位球面 S2(1) 則是空間 $\mathfrak U$ 中所有和 O 點的距離為 1 的點所成的點集,即:

\begin{displaymath}S^2(1)=\{A\in \mathfrak U,\, \overline{OA}=1\}\end{displaymath}

它是以 O 為其定點的正交子群的一個軌道 (orbit) 。

(i)
反射對稱性:設 Π 是一個過球心 O 點的平面,則顯然有 $\mathfrak R_{\Pi}$ 保持 O 點不動。由 $\mathfrak R_{\Pi}$ 的保長性可見它把和 O 點相距為 1 的點變換成和 O 點相距為 1 之點,所以 $\mathfrak R_{\Pi} \big(S^2(1)\big)=S^2(1)$ 。再者, $\mathfrak R_{\Pi}$S2(1) 上的定點子集就是 $S^2(1) \cap \Pi$ 這一個大圓 (great circle),我們將把 $\mathfrak R_{\Pi}$ 限制在 S2(1) 上的變換叫做以大圓 $S^2(1) \cap \Pi$定點子集球面反射對稱
(ii)
旋轉對稱性:設 $\ell$ 是一條過球心 O 點的直線,它和球面 S2(1) 的交點是球面上的兩個互為對頂的點 A, A' (一如南、北兩極);換言之,球面上兩點 A, A' 互為對頂 (antipodal) 的條件是 $\overline{AA'}$ 以球心為其中點。在空間以 $\ell$ 為軸的旋轉之下,球心 $O\in \ell$ 是固定不動的;同理可見 S2(1) 也是它的一個不變子集,而它限制在球面上的變換乃是一個以對頂點 {A,A'} 為其定點子集的球面旋轉對稱(如日常地球所作者就是一個以南北極為其定點子集的旋轉)。

球面極坐標

{N,S} 是單位球面上給定的兩個互相對頂之點,在以 {N,S} 為定點子集的球面旋轉之下,每點的「緯度」保持不變,而其「經度」則隨著轉角而增加,如 [圖 7-1] 所示。設 P 是球面上相異于兩個極點者,令 $\lambda(P)$ 是過 P 點的那條經線 (longitude arc),$\lambda_0$ 是選定的基準經線。設 rNP 的球面距離,亦即 $\stackrel{\raisebox{-1ex}{\large$\frown$}}{NP}$ 這一段「經弧」的弧長,θ 是 $\lambda_0$ 轉到 $\lambda(P)$ 的(有向)轉角,則稱 $(r,\theta)$P 點對于以 N 為基點的球面極坐標 (spherical polar coordinates) 。


\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=5cm \epsfbox{fig0701.eps}}*\fr...
...7}\z{\fontfamily{cwM2}\fontseries{m}\selectfont \cH40}}}
\endxy\end{displaymath}

[ 圖 7-1 ]

若在空間選取正交坐標系,以球心為原點,以 $\overrightarrow{ON}$z-軸的方向,以 $\overrightarrow{OE}$x-軸的方向,其中 E 點乃是基準經線 $\lambda_0$ 的中點,則有:

\begin{displaymath}x=\sin r\cos \theta,\; y=\sin r \sin \theta ,\; z=\cos r\end{displaymath}

[註]:由直接的微分計算可得

\begin{displaymath}ds^2=dx^2+dy^2+dz^2=dr^2+\sin^2rd\theta^2\end{displaymath}

用上述弧長的微分式,不難証明經弧 $\stackrel{\raisebox{-1ex}{\large$\frown$}}{NP}$ 乃是球面上連結 N, P 兩點的最短曲線(亦稱測地線 (geodesics))。

【阿基米德定理】:半徑為 R 的球面面積等于

\begin{displaymath}4\pi R^2\end{displaymath}

[註]:阿基米德 (Archimedes, 287-212 B.C.) 是公認的古希臘時代偉大的科學家和幾何學家,他一生有很多卓越的貢獻;而他最引以自豪者,首推上述定理及其簡潔的証明,這也就是遵照他本人的遺囑刻在他的墓碑上者。

証明:其証明的要點在于論証一個半徑為 R 的球面面積和一個高為 2R,半徑為 R 的圓柱面面積相等。而在他的墓碑上所刻劃的,就是如 [圖 7-2] 所示把兩者放在相切同高的位置。


\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=4.2cm \epsfbox{fig0702.eps}}*\...
...ac{\bigtriangleup h}{\sin \theta}}
,(2.6,3.05)*+{\theta}
\endxy\end{displaymath}

[ 圖 7-2 ]

設想用一系列和柱面正交的平行平面,把兩個面都細分成很窄很窄的一圈圈。設相鄰兩個平行面之間的距離是 $\Delta h$,則柱面上的窄條(或圈)的面積等于 $2\pi R\Delta h$,而在球面上的相應窄圈,雖然其寬度和長度會隨著 θ 而改變,但在 $\Delta h$ 非常、非常小的時候,它可以看成如 [圖 7-3] 所示的圓台之側面:


\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=6cm \epsfbox{fig0703.eps}}*\frm{}
\endxy\end{displaymath}

[ 圖 7-3 ]

其中環長度是 $2\pi R \sin \theta$,亦即其環長的平均值是 $2\pi R \sin \theta$,而側面的寬度則為 $ \frac{\Delta h}{\sin \theta}$ ,所以其面積的高度近似值也是 $2\pi R\Delta h$ (亦即可能的誤差肯定在 $\Delta h^2$ 這種量級)。由此他就用 Eudoxus 所創的逼近原理証明了兩者的面積必然相等,而後者的面積顯然等于高為 2R,長為 $2\pi R$ 的長方形面積,亦即 $4\pi R^2$ 。 □

球面三角形面積公式

A, B, C 是球面上任取三點但不含對頂者,令 $\stackrel{\raisebox{-1ex}{\large$\frown$}}{AB}$, $\stackrel{\raisebox{-1ex}{\large$\frown$}}{BC}$, $\stackrel{\raisebox{-1ex}{\large$\frown$}}{CA}$ 為連結于點與點之間的測地線,稱之為球面三角形 $\bigtriangleup ABC$ 的三個邊。我們將採用和平面三角學中相同的符號體系,以 A, B, C 表示 $\bigtriangleup ABC$ 在三個頂點的內角,及以 a, b, c 表示 $\bigtriangleup ABC$ 的各角對邊邊長。在平面幾何中,一個三角形的三個內角和恆等于一個平角,這是邏輯等價于平行公理的基本事實,也是平面的平直性的一種基本表達;在球面三角形的情形下,三內角之和則恆大于一個平角,而下述[定理 7.1]証明在單位球面上的球面三角形,其內角和與 π 的差額(稱之為「角盈」)其實恰好等于其面積。

【定理 7.1】:在單位球面上,一個球面三角形 $\bigtriangleup ABC$ 的面積就是

\begin{displaymath}\bigtriangleup ABC = A+B+C-\pi\end{displaymath}

証明:如 [圖 7-1] 所示,由二個夾角為 θ 的經線所圍成的球面部分,其面積顯然和 θ 成正比(這是球面對以 N, S 為定點的旋轉對稱性的直接推論)。再者,當 $\theta =2\pi$ 時,其面積等于 $4\pi$ (阿基米德定理)!所以上述以 θ 為夾角者(稱之為 spherical lune)的面積等于 $2\theta$


\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=4cm \epsfbox{fig0704.eps}}*\fr...
...{C}
,(3.9,0.1)*+{A'}
,(1.1,0.1)*+{B'}
,(2.45,0.75)*+{C'}
\endxy\end{displaymath}

[ 圖 7-4 ]

如 [圖 7-4] 所示,令 A', B', C' 分別是 A, B, C 的對頂者。用上述 spherical lune 的面積公式即得:

\begin{displaymath}
\begin{array}{rcl}
\hspace*{3.5cm} \bigtriangleup ABC+\bigtr...
...\fontfamily{cwM2}\fontseries{m}\selectfont \cH9})}}
\end{array}\end{displaymath}

由此可得

\begin{displaymath}2 {\bigtriangleup ABC} +2\pi =2A+2B+2C\end{displaymath}

亦即

\begin{displaymath}\bigtriangleup ABC =A+B+C-\pi \eqno \Box \end{displaymath}

[註]:上述具有基本重要性的球面三角形面積公式其實就是阿基米德球面面積公式的局部化和精細化。

球面三角形的疊合條件及等腰三角形定理

A, B 是球面上任給兩點。在空間中和 A, B 等距的點集是直線段 $\overline{AB}$ 的垂直平分面 $\Pi_1$,它當然包含球心 O,所以和 A, B 等距的球面上之點乃是 $\Pi_1\cap S^2(1)$ 這個大圓,而球面對于這個大圓的反射對稱將 A, B 互換。用上述球面上的反射對稱即可推導出:

(i)
S.A.S. 也是球面三角形的疊合條件;
(ii)
球面等腰三角形的兩底角相等;反之,兩底角相等的球面三角形亦必為等腰。
再者,由上述兩點還可以同樣地推導出球面三角形也具有其他如 S.S.S. 和 A.S.A. 等疊合條件。在此值得一提的是 A.A.A. 也是球面三角形的一個疊合條件,我們可以用球面三角形中所特有的對偶關係來推導它也是一個疊合條件。設 A, A' 互為對頂,則和 A, A' 等距的球面上的點集就是和 A, A' 的距離是 $\pi/2$ 的那個大圓,將以 $\Gamma_A$ 記之。設 $\bigtriangleup ABC$ 是一個任給球面三角形,在下述三對對頂點偶(即 $\Gamma_B\cap\Gamma_C$, $\Gamma_C\cap \Gamma_A$, $\Gamma_A\cap\Gamma_B$)之中,分別取其靠近 A, B, C 者,以 A*, B*, C* 記之,則稱 $\bigtriangleup A^*B^*C^*$$\bigtriangleup ABC$ 的對偶球面三角形( $\bigtriangleup ABC$ 也是 $\bigtriangleup A^*B^*C^*$ 的對偶球面三角形)。

【引理 7.1】:令 a, b, ca*, b*, c* 分別是 $\bigtriangleup ABC$$\bigtriangleup A^*B^*C^*$ 的各角對邊邊長,則有:

\begin{displaymath}
\begin{array}{lll}
a^*=\pi -A,\;&\; b^*=\pi - B, \;&\; c^*=\...
...\\
a=\pi - A^*,\;&\; b=\pi - B^*, \;&\; c=\pi- C^*
\end{array}\end{displaymath}


\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=3cm \epsfbox{fig0705.eps}}*\fr...
...C^*}
,(5.3,0.3)*+{B^*}
,(0.6,-0.1)*+{P}
,(4.4,-0.1)*+{Q}
\endxy\end{displaymath}

[ 圖 7-5 ]

証明:我們只需要証明其中之一,其餘各式皆可同理類推。由 [圖 7-5] 所示,在大圓 $\Gamma_A$$\stackrel{\raisebox{-1ex}{\large$\frown$}}{B^*P}=\stackrel{\raisebox{-1ex}{\large$\frown$}}{C^*Q}=\pi/2$, $\stackrel{\raisebox{-1ex}{\large$\frown$}}{PQ}=A$,故有

\begin{displaymath}
a^*=\stackrel{\raisebox{-1ex}{\hskip1pt\large $\frown$}}{B^*...
...el{\raisebox{-1ex}{\large $\frown$}}{PQ}
= \pi - A \eqno \Box
\end{displaymath}

【推論】: A.A.A. 也是一種球面三角形的疊合條件。

証明:設 $\bigtriangleup A_1B_1C_1$$\bigtriangleup A_2B_2C_2$ 的三角內角對應相等,由[引理 7.1]得知它們的對偶球面三角形 $\bigtriangleup A^*_1B^*_1C^*_1$$\bigtriangleup A^*_2B^*_2C^*_2$ 的三個邊長對應等長,所以是全等的,因此當然有三個對應內角相等。再用[引理 7.1],即得 $\bigtriangleup A_1B_1C_1$$\bigtriangleup A_2B_2C_2$ 滿足 S.S.S. 全等條件。 □

【引理 7.2】:設 $\bigtriangleup ABC$$\bigtriangleup A'BC$ 的頂點共圓而且 A, A' 同在 $\stackrel{\raisebox{-1ex}{\large$\frown$}}{BC}$ 的一側,則

\begin{displaymath}\angle ABC+\angle ACB-\angle A=\angle A'BC+\angle A'CB-\angle A'\end{displaymath}

再者,上述之逆命題也成立。


\begin{displaymath}
\xy
\xyimport(10,5){\epsfxsize=9cm \epsfbox{fig0706.eps}}*\f...
...heta_3}
,(2,-0.7)*+{\mbox{(i)}}
,(8,-0.7)*+{\mbox{(ii)}}
\endxy\end{displaymath}

[ 圖 7-6 ]

証明:如 [圖 7-6(i)] 所示, $\bigtriangleup OAB$, $\bigtriangleup OBC$, $\bigtriangleup OCA$ 皆為等腰,所以其底角相等,設其分別是 $\theta_1$, $\theta_2$, $\theta_3$ 。則有

\begin{displaymath}\angle ABC+\angle ACB-\angle A=2\theta_1\end{displaymath}

同理亦有

\begin{displaymath}\angle A'BC+\angle A'CB-\angle A'=2\theta_1\end{displaymath}

[圖 7-6(ii)] 的情況和逆命題的証明留作習題。 □

【定理 7.2】(Lexell):設球面三角形 $\bigtriangleup A_1BC$$\bigtriangleup A_2BC$ 具有相等的定向面積,而 B', C' 分別是 B, C 的對頂點,則 B', C', A1, A2 四點共圓。


\begin{displaymath}
\xy
\xyimport(5,5){\epsfxsize=5cm \epsfbox{fig0707.eps}}*\fr...
...2}
,(2.45,4.45)*+{3}
,(1.05,1.83)*+{B}
,(3.95,1.83)*+{C}
\endxy\end{displaymath}

[ 圖 7-7 ]

証明:如 [圖 7-7] 所示:

\begin{displaymath}\angle 1=\pi - B,\; \angle 2=\pi - C, \; \angle 3= A\end{displaymath}

所以

\begin{displaymath}\angle 1+\angle 2-\angle 3=\pi-\bigtriangleup ABC\end{displaymath}

分別取 A=A1A2,再對 $\bigtriangleup A_1B'C'$$\bigtriangleup A_2B'C'$ 運用[引理 7.2]的逆命題,即得 B', C', A1, A2 共圓。 □

【習題】:

(1)
P1, P2 的球面極坐標分別是 (r1,0)(r2,0),而 $\gamma(t)=\big(f(t),g(t)\big)$ 是一條一階可微曲線,$a\leq t\leq b$, $\gamma(a)=(r_1,0)$, $\gamma(b)=(r_2,0)$ 。試証其長度至少等于 |r1-r2|
(2)
$\bigtriangleup ABC$ 是一個半徑為 R 的球面三角形,試問 $A+B+C-\pi$ 和其面積之間的關係是什麼?並試証你的主張。
(3)
$\bigtriangleup A_1B_1C_1$$\bigtriangleup A_2B_2C_2$ 是滿足 S.A.S. 條件的兩個球面三角形,例如 A1=A2, b1=b2, c1=c2 。試構造一系列球面上的反射對稱,它們的組合恰好把 $\bigtriangleup A_1B_1C_1$ 變換到 $\bigtriangleup A_2B_2C_2$
(4)
試用球面的反射對稱性証明等腰三角形的底角相等,而頂角平分線垂直平分底邊。
(5)
試用上述 (3), (4) 所証得者,証明 S.S.S. 也是球面三角形的一種全等條件。
(6)
O 為一個球面的心,A 為球面上任給一點,Π 為過 A 點而且和 $\overline{OA}$ 垂直的平面。試証 Π 和球面僅僅交于 {A} 點。
(7)
設 Γ 是極坐標下「r = 常數」所構成的緯圓。試求 Γ 上任一點 P 的切平面和直線 ON 的交點 V (亦即確定 $\overline{OV}$ 的長度)。

 
對外搜尋關鍵字:
阿基米德
Eudoxus
Menelous
Ptolemy
Almagest

已在第一頁 12 次頁

回頁首
 
(若有指正、疑問……,可以在此 留言寫信 給我們。)
EpisteMath

EpisteMath (c) 2000 中央研究院數學所、台大數學系
各網頁文章內容之著作權為原著作人所有


最後修改日期:6/19/2004