球面三角形的 AAA 定理
張海潮
正如平面三角形有正弦、 餘弦律, (單位) 球面上的球面三角形也有球面三角的正、 餘弦律。
在球面上取三點, 假設都在北半球內, 將這三點 (在北半球內) 用大圓連起, 就得到一個球 面三角形 (圖一)
圖一
其中, A, B, C 表頂點的角度, a, b, c 表對應的弧長。 我們有:
正弦律 : sin a
sin A = sin b
sin B = sin c sin C
餘弦律 : sin b sin c cos A = cos a − cos b cos c sin c sin a cos B = cos b − cos c cos a sin a sin b cos C = cos c − cos a cos b
二律的證明不難, 我們將在附錄中提供。 (註一) 基本上餘弦律告訴我們, 球面三角形的三個邊 長如何決定它的三個角度, 這一點與平面的餘弦律相彷。
倒是球面三角還有一個角餘弦律, 又稱對偶餘弦律, 特別神奇, 為球面三角學所獨有, 值得 一提。
34
球面三角形的 AAA定理 35
角餘弦律
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 此律證明了三個角如何決定三個邊。 因此我們有 AAA 定理, 亦即兩個球面三角形如果對應角相等就得到全等, 不像平面三角形, 只能得到相似。
為何如此? 一個球面三角形, 看似複雜, 其實不過 是三個單位長的向量 α, β, γ 罷了。 (圖二) 圖中 a, b, c 分別是 β 與 γ, γ 與 α, α 與 β 之間的夾角, 至於 A, B, C, 不過是相關平面之間的夾角, 例如 αβ 決定的 平面和 αγ 決定的平面之間的夾角就是 A。 想像 αβ 平 面, βγ 平面, γα 平面都搭好了, 那麼球面三角也都跟著 決定下來, 換句話說, 給定 A, B, C 三個角請你用過球 心的三個平面搭出指定的夾角, 基本上只有一種搭法, 當 然, 如果 A + B + C 太小 (如果小於等於 π) 就搭不起 來。 (註二) 搭法只有一種指的就是 AAA 定理。
角餘弦律的證明有一個版本是利用對偶三角形 (註 三), 這裡提供一個直接的證明, 不去碰球面三角的對偶 問題 (同註三)
回到圖二, 以 l, m, n 表相關平面的單位長法向量, 不過 l, n 指向內, 而 m 指向外。
圖二
用兩個方法分別計算 (n × l) · (n × m)
(n × l) · (n × m) =
(n, n) (n, m) (l, n) (l, m)
=
1 cos C
− cos A cos B
= cos B + cos C cos A
= |n × l| |n × m| cos(n × l 與 n × m 的夾角)
= sin A sin C cos b
因為 n × l 與 α 平行, 而 n × m 與 γ 平行, α 與 γ 的夾角就是 b。 (註四)
有了角餘律之後, 很多球面上的幾何問題都可以利用角餘弦律來處理, 因為畢竟角的關係 比較容易掌握, 一個有趣的例子, 是如何計算內接於球面的正二十面體的稜長。 這個問題通常要
36 數學傳播 28卷1期 民93年3月
靠一點立體幾何的觀察找出一些邊長之間的關係 (註五)。 現在, 我們把這個正二十面體從中心 向球面作投影, 因此得到一個球面上的分割, 每一小塊都是一個球面正三角形, 不過由於在正二 十面體的表面上, 每一個頂點屬於五個正三角形, 所以在球面上相關的正三角形的三個角的大 小都是 72◦ (360◦ 除以 5), 利用角餘弦律
(sin 72◦)2cos b = cos 72◦+ (cos 72◦)2
cos 72◦=
√5 − 1
4 代入求出
cos b = 1 +√ 5 5 +√
5
然後再計算 b 弧所對應的弦長, 弦長 = 2q1−cos b2 =q10−25√5, 同樣的方法可以用來計算正十 二面體的稜長, 有與趣的讀者可以試試。
附錄
一 . 球面正弦定律
由圖, α, β, γ 三個單位長向量, 暫時把 γ 的頂點看成北極, α, β 的頂點分別在兩條經線 上, α, β, γ 決定一個平行六面體, 體積 V , 注意到 α, β 所決定的平行四邊形沿著 γ 投影到赤 道面上時, α 的投影長是 sin b, β 的投影長是 sin a, 而兩個投影之間的夾角是 C, 所以有:
V = γ · (α × β) = sin a sin b sin C
球面三角形的 AAA定理 37
兩邊同除以 sin a sin b sin c, 就得到正弦律 sin C
sin c = sin A
sin a = sin B
sin b = V sin a sin b sin c
二 . 球面餘弦定律
用兩種方式計算 (γ × α) · (γ × β), 得出餘弦律。
(γ × α) · (γ × β) = |γ × α| |γ × β| cos C = sin b sin a cos C
=
(γ, γ) (γ, β) (α, γ) (α, β)
=
1 cos a cos b cos c
= cos c − cos a cos b
註一. 也可以參考項武義的書: Least Action Principle of Crystal Formation of Dense Pack- ing Type and Kepler’s Conjecture, World Scientific. 第 30 頁。
註二. 可以直接證明三個平面共點時, 其相關的夾角之和大於一百八十度。 同時, 由基本的球面幾 何知道球面三角形的面積等於 A + B + C − π。
註三. 參考曹亮吉的書: 阿草的葫蘆, 遠哲科學教育基金會出版, 第 179頁。
註四. 由 l, −m, n 三個單位長向量所形成的球面三角形就是所謂的對偶三角形, 它與原來三角 形之間有簡單的邊角關係, 利用原來球面三角形的餘弦律加上與對偶三角形的特殊邊角關 係也可證出角餘弦律, 請參考註三。
註五. 同註三, 第 155頁。
—本文作者曾任教於臺灣大學數學系, 現已退休—