■計算可能な多胞体(その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胞体を検討すべきであろう.
===================================