■e+πに収束する分数列(その20)

 連分数とは,

  a1/(b1+a2/(b2+a3/(b3+a4/(b4+a5/b5+・・・)

のような分数を続けた式で,実用上は最初にa0+をつけた形が使われます.整数論で使われる連分数は普通,ak=1,bkが正の整数である標準連分数です.

 連分数の第n近似分数wnは

  p-1=1,p0=0,pk=akpk-2+bkpk-1

  q-1=0,q0=1,qk=akqk-2+bkqk-1   (k=1,2,・・・)

をつくると,wn=pn/qnとして計算できます.wnの値だけが必要ならば,除法は最後の1回だけで済むとうわけです.そして,標準連分数はすべて収束し,その際,近似分数列{wn}は振動しつつ,交互に上下から収束する形になります.

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

 上で述べたことを標準連分数の場合に書き換えますと,

  α=[q1,・・・,qn]=Pn/Qn

  P0=1,P1=q1,Pn=qnPn-1+Pn-2

  Q0=0,Q1=1 ,Qn=qnQn-1+Qn-2   (n=2,3,・・・)

  PnQn-1−Pn-1Qn=(−1)^n   (n=1,2,・・・)

  PnQn-2−Pn-2Qn=(−1)^n-1qn   (n=2,3,・・・)

が成り立ちます.

 また,

  α=[q1,・・・,qn-1,qn,qn+1,・・・]

の部分列[qn,qn+1,・・・]に対して

  αn=[qn,qn+1,・・・]

なる実数αnを定めると

  α=[q1,・・・,qn-1,αn]

   =(αnPn-1+Pn-2)/(αnQn-1+Qn-2)

が証明されます.

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

 また,

  π/4=1//1+1//3+4//5+9//7+16/9+・・・

=1//1+Φk^2//(2k+1))+・・・

と,

  π/4=1/{1+1^2/{2+3^2/{2+5^2/{2+7^2/{2+9^2/{2+・・・}

が整合しているかどうかも怪しい.本日は時間切れにて,次回の宿題としたい.

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