設 ,
, 和
為三角形的邊長,分別對應角
,
, 和
。那麼餘弦定理指出
|
(1)
| |||
|
(2)
| |||
|
(3)
|
解出餘弦值得到等價公式
|
(4)
| |||
|
(5)
| |||
|
(6)
|
這個定理可以透過多種方式推匯出來。點積的定義包含了餘弦定理,因此從 到
的向量長度由下式給出
|
(7)
| |||
|
(8)
| |||
|
(9)
|
其中 是
和
之間的角。
這個公式也可以透過少許幾何學和簡單的代數推匯出來。從上圖可知,
|
(10)
| |||
|
(11)
| |||
|
(12)
|
球面三角形的邊餘弦定理指出
|
(13)
| |||
|
(14)
| |||
|
(15)
|
(Beyer 1987)。球面三角形的角餘弦定理指出
|
(16)
| |||
|
(17)
| |||
|
(18)
|
(Beyer 1987)。
對於相似三角形,廣義餘弦定理由下式給出
|
(19)
|
(Lee 1997)。此外,考慮任意四面體 ,其三角形面為
,
,
和
。設這些三角形的面積分別為
,
,
和
,並用
表示
和
之間的二面角,其中
。那麼
|
(20)
|
這給出了四面體中的餘弦定理,
|
(21)
|
(Lee 1997)。一個推論給出了漂亮的恆等式
|
(22)
|