■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+・・・}
が整合しているかどうかも怪しい.本日は時間切れにて,次回の宿題としたい.
===================================