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

  k!〜(2k+1)^(1/2}{π/4・(j+1)(2k−j)/(2k+1)}^k

において,jが値がいくつであれば,スターリングの公式を模するのであろうか?

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

  k!〜(2k+1)^(1/2}{π/4・(j+1)(2k−j)/(2k+1)}^k

〜(2k)^(1/2}{π/4・(j+1)(2k−j)}^k/(2k)^k

  k!/k^k〜 (2k)^(1/2}{π/4・(j+1)(2k−j)}^k/2^kk^2k

  k!/k^k〜 (2k)^(1/2}{π/8・(j+1)(2k−j)/k^2}^k

 したがって,

  (j+1)(2k−j)/k^2〜1

  (j+1)(2k−j)〜k^2

  j^2−(2k−1)j+k^2−2k〜0

  j〜{(2k−1)±(4k+1)^1/2}/2〜k±√k

なる中接球のときフィットする.

 これはほぼ

  j+1=2k−j → j=k−1/2  (j=1〜2k)

のときといってもよいのであるが,それに対応する幾何学的対象物が定まらない.

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