已知三角形三边长怎么求面积_三斜求积术：从三角形到单纯形

故事从著名的海伦－秦九韶公式开始。

已知三角形的三条边长

，如何计算其面积

？

海伦公式

秦九韶公式

易得这两个公式是等价的。那么一个很自然的问题便是：如何把结论推广到高维情况？

定义

为

上的内积空间，

使得

线性无关，则称

的凸包为一个

维单纯形（

-simplex），

为单纯形的

个顶点。

问题
已知顶点两两间的距离

，如何求出单纯形的大小

呢？

---

我们引入另一个概念，称为“平行形”。

定义

为

上的内积空间，

线性无关，则集合

称为以

为棱的平行形。

二维与三维对应的情况即为平行四边形与平行六面体。

不妨设

并诱导

维 Lebesgue 测度，则有如下的命题：

命题
设平行形的大小为

则有

，其中 Gram 矩阵

。

证明
由 Lebesgue 测度与行列式的性质，

与

都在 Gram-Schmidt 正交化下保持不变，而

正交时有

令

，则有

，证明类比三角形与四面体不难。而对于任意

都有

运用行列式的性质有

从中可以看出，记向量

，矩阵

则有

为伴随矩阵。

注意对行列式的第一行、第一列展开后，每一项都是

的代数余子式。

代入得到

。

• 该式等价于 Cayley-Menger 行列式

• 当
  时，设三角形三边长为
  则有

可以得到海伦－秦九韶公式的又一等价形式

---

以下的“球”均指

维球。

求出

维单纯形的大小，意味着可以通过“体积法”求出其内（旁）切球的半径。更精彩的是：上述论述对于退化的情况是类似的，故可以进一步求出该

维单纯形的外接球半径。

将外接球球心

加入已有的顶点中构成

个点，且

到其它每个顶点的距离都为

。但这

个点都在

维欧氏空间中，根据前面的结论，形成的

维单纯形体积应该为

故有

最终解得

进而有恒等式