■単純リー環を使った面数数え上げ(その96)

【1】角錐分解

 置換多面体の体積公式

  Vn=(N0Vn-1H0+N1Vn-2H1+・・・+Nn-2Vn-2Hn-2+Nn-1Vn-1Hn-1)/n

から,

  V1=1,V2=3√3/2,V3=8√2

 同様に,正軸体版の体積公式

  Λn=(N0Λn-1H0+N1Λn-2H1+・・・+Nn-2Vn-2Hn-2+Nn-1Vn-1Hn-1)/n

からは,

  Λ1=1,Λ2=2(√2+1),Λ3=22+14√2

と特殊解は計算できる.

===================================

【2】平行体分解

 これらの体積は線分のミンコフスキー和

  vol(V)=Σ|det(vi1,・・・,vin)|

でも与えられる.すなわち,(m,n)個の項をもつこの公式は,複体を平行体(parallelepiped)に分解してそのミンコフスキー和ととることを意味している.

===================================

【3】雑感

 特殊な多面体については体積の計算は可能であるが,一般の多面体nについての体積公式の導出は難しい.とくに,4次元と5次元の間には大きな壁が立ちはだかっているようだ.その原因はいまだ不明である.

===================================