■スターリングの公式の図形的証明?(その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}が自然にでてくるのがおおきな特徴である.

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