在球面三角學中,球面餘弦定理是一個與球面三角形的邊和角有關的定理,類似於平面三角學的餘弦定理

用餘弦定理解球面三角形

給定一個單位球,球體表面的球面三角形由連接球體上三點 的大圓定義(如右圖)。如果這三條邊的長度是 (從 )、(從)和 (從 ),並且 對面的角是 ,那麼(第一)球面餘弦定理指出:

由於這是一個單位球,這三條邊的長度 就等於它們所對的圓心角(以弧度為單位)。對於非單位球體,邊的長度是它所對的圓心角乘以球的半徑,即使 被理解為邊所對的圓心角,這個公式也成立)。作為一個特殊情況,若 ,那麼 ,我們就可以得到球面上的勾股定理

如果用球面餘弦定理來求解 ,那麼當 很小的時候,必須進行的反餘弦函數運算就會放大誤差。在這種情況下,使用另一個公式半正矢公式更為可取。

球面餘弦定理的一個變種,即(第二)球面餘弦定理(也稱做角的餘弦定理)指出:

其中 分別為邊 所對的角。這個公式可以在與給定三角形相對的極三角形中運用第一定理得到。

證明

編輯

第一個證明

編輯

    表示從球體中心到三角形的那些角的單位向量。123