■計算可能な多胞体(その19)

 食い違いの原因はまだつかめていないが,解はわかった.体積が0でない方に着目すべきであったのである.

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

[1]2(2^n−1)面体

  V2={0,0},{√3/2,3}

  V3={0,4},{1/√2,16}

  V4={0,85},{√5/4,125}

  V5={0,1707},{√3/4,1296}

  V6={0,37457},{√7/8,16807}

 偶数次元(n=2m)では√(n+1)/2^m

 奇数次元(n=2m+1)では√(n+1)/2^m+1/2

の1種類だけとなりそうである.

 そして,その個数は

  (n+1)^(n-1}

であるから,求める体積は

  Vn=(n+1)^(n-1/2}/2^n/2

となる.

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[雑感]これを使って,スターリング近似の問題にとりかかることもできるが,その前に3^n−1胞体を検討すべきであろう.

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