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

 角錐分解公式は

  vol(P)=ΣNjHj/n・Vn-1(j)

で与えられる.

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

【1】置換多面体の場合

  Hk=hk/2|x1−a1|=hk/|1−y1|

={(k+1)(n−k)(n+1)/8}^1/2

  vol(P)=(n+1)^n-1/2/2^n/2

 したがって,Hkが正しいとすると,Vkは{(k+1)(n−k)}^1/2の関数でなければならない.それであれば,

  Vk→Vk・Vn-k-1

とすればよいのではないだろうか?

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

【2】正軸体版の場合

  Hk=(1+n√2−(k+2)/√2)・√(k+1)/2

=(1+n√2−(k+2)√2/2)・√(k+1)/2

=(1+(n−1−k/2)√2)・√(k+1)/2

  vol(P)=a+b√2

 したがって,Hkが正しいとすると,Vkは(k+1)^1/2の関数でなければならない.この場合,

  Vk→Vk・Vn-k-1

とすればよいかどうかはすぐにはわからない.

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