■スターリングの公式の図形的証明?(その69)
空間充填2(2^n−1)面体の場合も再度まとめておきたい.
===================================
Vn=(n+1)^(-1/2}・2^n/2/n^n
hj={(j+1)(n−j)/2n^2(n+1)}^1/2
ここでも偶数次元の場合(n=2k)だけを扱うことにするが,最も体積をよく近似する球は,n→∞になるにつれてj〜kに収束していく(その65参照).
j〜kのとき,
(j+1)(2k−j)=k(k+1)
hj=rとして,両者を比較すると
k!〜(2k+1)^(1/2}{π/4・k(k+1)/(2k+1)}^k
k!/k^k〜(ek)^(1/2}{π/8}^k
が得られる.
空間充填2(2^n−1)面体にはファセットがnあり,前者同様,偶数次元だけの検討であっても
n!/n^n〜(en)^(1/2}(π/8)^n
の(en)^(1/2}が自然にでてくるのがおおきな特徴である.
===================================