■スターリングの公式の図形的証明?(その38)

 j次元面までの距離rjは

  {(j+1)(1/(j+1)−1/(n+1))^2+(n−j)(1/(n+1))^2}^1/2

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

である.j=0〜1の近傍,すなわち,

  r^2=n/(n+1),(n−1)/2(n+2)〜1

辺の長さ1の場合はr^2〜1/2

を調べてみたい.

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

 もし,置換多面体の体積がこの球で近似できるとしたら

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

〜 π^(n/2)/Γ(n/2+1)・r^n

〜 π^(n/2)/Γ(n/2+1)(1/2)^n/2

  2^n/2(n+1)^-1/2/n^n 〜 π^(n/2)/Γ(n/2+1)(1/2)^n/2

  Γ(n/2+1) 〜 (π/4)^n/2(n+1)^1/2n^n

が成立しなければならない.

 ここでは偶数次元の場合(n=2k)だけを扱うことにするが,

  k! 〜 (π/4)^k(2k+1)^1/2(2k)^2k

  k! 〜 (π/4)^k(2k)^1/2・2^2k(k^k)^2

  k! 〜 (π)^k(2k)^1/2・(k^k)^2

であるから,これもまったくスターリング近似式に似ていない.万事窮す.

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