■スターリングの公式の図形的証明?(その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)
のときといってもよいのであるが,それに対応する幾何学的対象物が定まらない.
===================================