设 , , 和 为三角形的边长,分别对应角 , , 和 。那么余弦定理指出
(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)
|