n次元単体の超体積 
n次元単体の方向行列の内積行列の行列式を

とすれば、n次元単体の超体積は

と書けることが知られている。
超体積の方向表記 
超体積の位置表記 

となるため、余因子総和の定理から
![v^n = \det[\mathbf{L}^T \mathbf{L}] = \overset{[n+1]}{\mathbf{1}}^T \mathbf{C}[\mathbf{P}^T \mathbf{P}] \overset{[n+1]}{\mathbf{1}}](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=v%5En%20%3D%20%5Cdet%5B%5Cmathbf%7BL%7D%5ET%20%5Cmathbf%7BL%7D%5D%20%3D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D%5ET%20%5Cmathbf%7BC%7D%5B%5Cmathbf%7BP%7D%5ET%20%5Cmathbf%7BP%7D%5D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D)
(超De Guaの定理)が言える。
超体積の辺乗表記 
また、n次元単体の全ての辺の長さ的な項を要素に持つ(n+1)×(n+1)行列を
![\tilde{\mathbf{B}} = \begin{pmatrix} & [0,i] & \vdots & \\ [j,0] \cdots & [j,i] & \frac{(\mathbf{p}_j - \mathbf{p}_i)^T (\mathbf{p}_j - \mathbf{p}_i)}{2} & [j,n] \cdots \\ & [n,i] & \vdots & \end{pmatrix}](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Ctilde%7B%5Cmathbf%7BB%7D%7D%20%3D%20%5Cbegin%7Bpmatrix%7D%20%20%26amp%3Bamp%3B%20%5B0%2Ci%5D%20%26amp%3Bamp%3B%20%5Cvdots%20%26amp%3Bamp%3B%20%20%5C%5C%20%5Bj%2C0%5D%20%5Ccdots%20%26amp%3Bamp%3B%20%5Bj%2Ci%5D%20%26amp%3Bamp%3B%20%5Cfrac%7B%28%5Cmathbf%7Bp%7D_j%20-%20%5Cmathbf%7Bp%7D_i%29%5ET%20%28%5Cmathbf%7Bp%7D_j%20-%20%5Cmathbf%7Bp%7D_i%29%7D%7B2%7D%20%26amp%3Bamp%3B%20%5Bj%2Cn%5D%20%5Ccdots%20%5C%5C%20%20%26amp%3Bamp%3B%20%5Bn%2Ci%5D%20%26amp%3Bamp%3B%20%5Cvdots%20%26amp%3Bamp%3B%20%20%5Cend%7Bpmatrix%7D)
とすると、
![v^n = \overset{[n+1]}{\mathbf{1}}^T \mathbf{C}\left[ - \tilde{\mathbf{B}} \right] \overset{[n+1]}{\mathbf{1}}](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=v%5En%20%3D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D%5ET%20%5Cmathbf%7BC%7D%5Cleft%5B%20-%20%5Ctilde%7B%5Cmathbf%7BB%7D%7D%20%5Cright%5D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D)
(超Heronの公式)とも表せる。
これは、

とすると、

と書けるため、前述の余因子総和の定理から
![\overset{[n+1]}{\mathbf{1}}^T \mathbf{C}\left[ - \tilde{\mathbf{B}} \right] \overset{[n+1]}{\mathbf{1}} = \overset{[n+1]}{\mathbf{1}}^T \mathbf{C}[ \mathbf{P}^T \mathbf{P} ] \overset{[n+1]}{\mathbf{1}}](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D%5ET%20%5Cmathbf%7BC%7D%5Cleft%5B%20-%20%5Ctilde%7B%5Cmathbf%7BB%7D%7D%20%5Cright%5D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D%20%3D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D%5ET%20%5Cmathbf%7BC%7D%5B%20%5Cmathbf%7BP%7D%5ET%20%5Cmathbf%7BP%7D%20%5D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D)
となり、前述の超De Guaの定理に一致するということからもわかる。
最終更新:2008年07月06日 23:21