■スターリングの公式の図形的証明?(その35)
yj=(2+jyj+1)/(j+2)
yn=0
yn-1=2/(n+1)
yn-2=(2+2(n−2)/(n+1))/n=2(2n−1)/n(n+1)
yn-3=2(1+(n−3)(2n−1)/n(n+1))/(n−1)=2(2n−1)/n(n+1)=6(n−1)/n(n+1)
としたが,畏れず計算を続行すべきであった.
===================================
とはいっても,このままでは難しいので,反転公式を作ると,
(j+2)yj=2+jyj+1
(j+2)yj−2=jyj+1
yj+1=((j+2)yj−2)/j
しかし,これはj=0には対応していない.
そこで,
(y0−y1)=(y1−y2)/2=(y2−y3)/3=・・・=(yn-2−yn-1)/(n−1)=(yn-1−yn)/n=2/n(n+1)
を用いると
1−y1=2/n(n+1)
y1−y2=2・2/n(n+1)
y2−y3=2・3/n(n+1)
yn-2−yn-1=2・(n−1)/n(n+1)
yn-1−yn=2・n/n(n+1)=2/(n+1)
が得られる.
これは,
yn-2=(2+2(n−2)/(n+1))/n=2(2n−1)/n(n+1)
yn-3=2(1+(n−3)(2n−1)/n(n+1))/(n−1)=2(2n−1)/n(n+1)=6(n−1)/n(n+1)
も満たしているはずである.
yn-2−yn-1=2(2n−1)/n(n+1)−2/(n+1)=2(n−1)/n(n+1)
yn-3−yn-2=6(n−1)/n(n+1)=2(2n−1)/n(n+1)=2(n−2)/n(n+1)
===================================