Cayley-Menger行列式（Heron公式的推广）

我们初中学过 Heron 公式: /Delta^2=s(s-a)(s-b)(s-c).

其中 s=(a+b+c)/2.

告诉你一个n-simplex的顶点坐标，计算n维体积是简单的，直接用行列式就可以了。

有时候只知道这个simplex的各个边长，我们有 Cayley-Menger 行列式：

 

V^2 = (-1)^(n+1)/2^n/(n!)^2 det(B).

其中B_ij = |v_i - v_j|^2.

 

除了Heron 公式常用的是计算四面体体积：

 

 

                    | 0     1       1      1      1 |
                    | 1     0   D12  D13  D14 |
 288*V^2 =  | 1  D21      0  D23  D24 |.
                    | 1  D31  D32      0  D34 |
                    | 1  D41  D42  D43      0 |

 

其中D_ij 是连结顶点i和顶点j的边长的平方.