■数直線上の集合(その112)

高貴な数とは、連分数v=[a0:a1,a2,・・,an,1,1,1,・・・]によって定義される。

 [a0:a1,a2,・・,an]のk番目[a0:a1,a2,・・,ak]で打ち切ったとき、

近似分数の分子と分母をそれぞれ、Ak, Bkで表すと

  [a0:a1a2,・・,an]→[a0:a1a2,・・,an+1,1,1,1,・・・]=(τAn-1+An)/(τBn-1+Bn)

のように表現できる。

 [0:1,4,1,1,・・・]

 [0:1,1,4,1,・・・]

 [0:1,1,1,4,・・・]

などを求めてみたいのであるが、・・・。

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

 [0:1,1,1,3]

1/(1+1/(1+1/(1+1/3)))

=1/(1+1/(1+3/4))

=1/(1+4/7)=7/11

 [0:1,1,1]=[0:1,2]

=1/(1+1/2)=2/3

したがって、

 [0:1,1,1,4,・・・]=(2τ+7)/(3τ+11)

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

 [0:1,1,3]

1/(1+1/(1+1/3))

=1/(1+3/4)

=4/7

 [0:1,1]=[0:2]

1/2

したがって、

 [0:1,1,4,1,・・・]=(τ+4)/(2τ+7)

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

 [0:1,3]

1/(1+1/3)=3/4

 [0:1]=[1:0]

1/1

したがって、

 [0:1,4,1,1,・・・]=(τ+3)/(τ+4)

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

ad-bc=(-1)^nであるが、(aτ+b)/(cτ+d)の係数a,b,c,dがフィボナッチ数列にならない。

Fn^2−Fn-1Fn+1=(−1)^n

   Fn^2−Fn-rFn+r=(−Fr)^n

だからである。

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