■スターリングの公式の図形的証明?(その45)
r^2k〜(2k+1)^(-1/2}・(π/2k^2)^k・k!
に
hj={(j+1)(n−j)/2n^2(n+1)}^1/2=r
を代入すると
{(j+1)(2k−j)/8k^2(2k+1)}^k
〜(2k+1)^(-1/2}・(π/2k^2)^k・k!
k!〜(2k+1)^(1/2}{4/π・(j+1)(2k−j)/(2k+1)}^k
[1]j=0のとき
k!〜(2k+1)^(1/2}{8/π・2k/(2k+1)}^k
(2k)/(2k+1)=1/(1+1/2k)
{1/(1+1/2k)}^k〜exp(−1/2)
[2]j=1のとき
k!〜(2k+1)^(1/2}{8/π・(2k−1)/(2k+1)}^k
(2k−1)/(2k+1)=1−1/(k+1/2)
{1−1/(k+1/2)}^k+1/2〜e
いずれにせよ,スターリング近似式に似ていない.
===================================