![5d52ccc00ea8e958dbfdb07cb270fd98.png](https://i-blog.csdnimg.cn/blog_migrate/fc501becd6d5fd30cfe0356ca714efa6.png)
故事从著名的海伦-秦九韶公式开始。
已知三角形的三条边长,如何计算其面积
海伦公式?
秦九韶公式![]()
![]()
易得这两个公式是等价的。那么一个很自然的问题便是:如何把结论推广到高维情况?
定义为
上的内积空间,
使得
线性无关,则称
的凸包为一个
维单纯形(
-simplex),
为单纯形的
问题个顶点。
已知顶点两两间的距离,如何求出单纯形的大小
呢?
我们引入另一个概念,称为“平行形”。
定义为
上的内积空间,
线性无关,则集合
![]()
称为以为棱的平行形。
二维与三维对应的情况即为平行四边形与平行六面体。
不妨设
命题
设平行形的大小为则有
,其中 Gram 矩阵
证明。
由 Lebesgue 测度与行列式的性质,与
都在 Gram-Schmidt 正交化下保持不变,而
正交时有
![]()
令
运用行列式的性质有
从中可以看出,记向量
为伴随矩阵。
注意对行列式的第一行、第一列展开后,每一项都是的代数余子式。
代入得到
- 该式等价于 Cayley-Menger 行列式
- 当
时,设三角形三边长为
则有
可以得到海伦-秦九韶公式的又一等价形式
以下的“球”均指维球。
求出
将外接球球心
最终解得
进而有恒等式