設一個球面三角形繪製在半徑為的球體表面上,球心位於點
,頂點為
、
和
。因此,從球心到頂點的向量由
、
和
給出。現在,三角形邊長的角長(以弧度為單位)為
、
和
,而邊的實際弧長為
、
和
。 明確地,
|
(1)
| |||
|
(2)
| |||
|
(3)
|
現在使用、
和
來表示頂點本身以及這些頂點處球面三角形的角,因此二面角在平面
和
之間寫為
,二面角在平面
和
之間寫為
,並且二面角在平面
和
之間寫為
。(這些角有時也表示為
、
、
;例如,Gellert et al. 1989)
考慮平面和
之間的二面角
,可以使用平面法向量的點積計算得出。假設
,法向量由頂點向量的叉積給出,因此
|
(4)
| |||
|
(5)
|
然而,使用一個眾所周知的向量恆等式得到
|
(6)
| |||
|
(7)
| |||
|
(8)
| |||
|
(9)
|
由於這兩個表示式必須相等,我們得到恆等式(及其兩個類似的公式)
|
(10)
| |||
|
(11)
| |||
|
(12)
|
稱為邊餘弦定理(Smart 1960,pp. 7-8;Gellert et al. 1989,p. 264;Zwillinger 1995,p. 469)。
恆等式
|
(13)
| |||
|
(14)
| |||
|
(15)
|
其中是標量三重積,給出
|
(16)
|
因此,正弦定理的球面 аналог 可以寫成
|
(17)
|
(Smart 1960,pp. 9-10;Gellert et al. 1989,p. 265;Zwillinger 1995,p. 469),其中是四面體的體積。
|
(18)
| |||
|
(19)
| |||
|
(20)
|
(Gellert et al. 1989,p. 265;Zwillinger 1995,p. 470)。
最後,存在正切定理的球面 аналог,
|
(21)
| |||
|
(22)
| |||
|
(23)
|
(Beyer 1987;Gellert et al. 1989;Zwillinger 1995,p. 470)。
其他重要的恆等式由下式給出
|
(24)
|
(Smart 1960,p. 8),
|
(25)
|
(Smart 1960,p. 10),以及
|
(26)
|
(Smart 1960,p. 12)。
設
|
(27)
|
為半周長,則正弦的半形公式可以寫為
|
(28)
| |||
|
(29)
| |||
|
(30)
|
餘弦的半形公式可以寫為
|
(31)
| |||
|
(32)
| |||
|
(33)
|
正切的半形公式可以寫為
|
(34)
| ||||
|
(35)
| ||||
|
(36)
| ||||
|
(37)
|
其中
|
(38)
|
(Smart 1960,pp. 8-9;Gellert et al. 1989,p. 265;Zwillinger 1995,p. 470)。
設
|
(39)
|
為半形和,則半邊公式為
|
(40)
| |||
|
(41)
| |||
|
(42)
|
其中
|
(43)
|
(Gellert et al. 1989,p. 265;Zwillinger 1995,p. 470)。
邊的半正矢公式,其中
|
(44)
|
由下式給出
|
(45)
|
(Smart 1960,pp. 18-19;Zwillinger 1995,p. 471),而角的半正矢公式由下式給出
|
(46)
| |||
|
(47)
| |||
|
(48)
|
(Zwillinger 1995,p. 471)。
高斯公式(也稱為 Delambre 類比)為
|
(49)
| |||
|
(50)
| |||
|
(51)
| |||
|
(52)
|
(Smart 1960,p. 22;Zwillinger 1995,p. 470)。
|
(53)
| |||
|
(54)
| |||
|
(55)
| |||
|
(56)
|
(Beyer 1987;Gellert et al. 1989,p. 266;Zwillinger 1995,p. 471)。