■スターリングの公式の図形的証明?(その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)

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