■フィボナッチ数とその仲間達

  [参]細矢治夫「トポロジカル・インデックス」日本評論社

では,フィボナッチ数fn,リュカ数Ln,ペル数pn,ペル・リュカ数Qnを

n :0,1,2,3,4,5,6,7,8

fn :1,1,2,3,5,8,13,21,34

Ln :2,1,3,4,7,11,18,29,47

pn :1,2,5,12,29,70,169,408,985

Qn :2,2,6,14,34,82,198,478,1154

で定義している.Fn=fn-1で定義する方が多いが,この方がはるかにすっきりするらしい.

 前2者は同じ漸化式:gn=gn-1+gn-2,後2者は同じ漸化式:gn=2gn-1+gn-2をもち,それぞれ初期値が異なっている,

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

【1】畳の敷き方数

 2×nの長方形の部屋に1×2の畳を敷く仕方はfn+1通りある.不飽和共役炭化水素(エチレン,ベンゼン,ナフタレン,フェナントレン,・・・)のケクレ構造もfn+1通りある.

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

【2】行列表現

  [fn ]=[1,1][fn-1]=[1,1]^n[1]

  [fn-1] [1,0][fn-2] [1,0] [0]

  [Ln ]=[1,1][Ln-1]=[1,1]^n[2]

  [Ln-1] [1,0][Ln-2] [1,0] [−1]

  [pn ]=[2,1][pn-1]=[2,1]^n[1]

  [pn-1] [1,0][pn-2] [1,0] [0]

  [Qn ]=[2,1][Qn-1]=[2,1]^n[2]

  [Qn-1] [1,0][Qn-2] [1,0] [−2]

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

【3】固有値

 前2者では

  |1−x,1|=x^2−x−1=0

  |1, −x|

の2根

  α=(1+√5)/2=τ,β=(1−√5)/2=−1/τ

  τは正五角形と密接な関係にある.

 後2者では

  |2−x,1|=x^2−2x−1=0

  |1, −x|

の2根

  γ=1+√2=θ,δ=1−√2=−1/θ

  θは正八角形と密接な関係にある.

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

【4】一般式

  fn=(α^n+1−β^n+1)/√5

  Ln=α^n+β^n

  pn=(γ^n+1−δ^n+1)/2√2

  Qn=γ^n+δ^n

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

【5】項比の極限値

  fn+1/fn,Ln+1/Ln→τ

  pn+1/pn,Qn+1/Qn→θ

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

【6】チェビシェフ多項式との関係

 ところで,ド・モアブルの定理:

  (cosθ+isinθ)^n=cosnθ+isinnθ

の左辺を2項展開して,両辺の実部,虚部を比較すると

  cosnθ=(cosθ)^n−nC2(cosθ)^n-2(sinθ)^2+・・・=(cosθのn次多項式)=Tn(cosθ)

  sinnθ=nC1(cosθ)^n-1sinθ−nC3(cosθ)^n-3(sinθ)^3+・・・=sinθ×(cosθのn−1次多項式)=sinθ×Un(cosθ)

を得る.

 また,

  cosnθ=cosθcos(n−1)−sinθsin(n−1)θ

  sinnθ=sinθcos(n−1)+cosθsin(n−1)θ

より,漸化式

  Tn(cosθ)=cosθTn-1(cosθ)−(sinθ)^2Un-1(cosθ)

  Un(cosθ)=Tn-1(cosθ)+cosθUn-1(cosθ)

  Tn(cosθ)=2cosθTn-1(cosθ)−Tn-2(cosθ)

  Un(cosθ)=2cosθUn-1(cosθ)−Un-2(cosθ)

が成り立つ.

 cosθ=xの多項式で表すと,チェビシュフ多項式は

  Tn(x)=2xTn-1(x)−Tn-2(x)

  Un(x)=2xUn-1(x)−Un-2(x)

となる.

 T~n,U~nは第1種チェビシェフ多項式Tn,第2種チェビシェフ多項式Unの負の符号を正に変えたものである.以下,チェビシェフ多項式を示しておく.

T0(x)=1         T~0(x)=1        

T1(x)=x         T~1(x)=x        

T2(x)=2x^2−1     T~2(x)=2x^2+1    

T3(x)=4x^3−3x    T~3(x)=4x^3+3x   

T4(x)=8x^4−8x^2+1 T~4(x)=8x^4+8x^2+1

U0(x)=1         U~0(x)=1       

U1(x)=2x         U~1(x)=2x       

U2(x)=4x^2−1     U~2(x)=4x^2+1   

U3(x)=8x^3−4x    U~3(x)=8x^3+4x  

U4(x)=16x^4−12x^2+1 U~4(x)=16x^4+12x^2+1

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

  Cn(x)=2Tn(x/2)   (第1種変形チェビシェフ多項式)

  Sn(x)=Un(x/2)    (第2種変形チェビシェフ多項式)

と定義する.

C0(x)=2         C~0(x)=1        

C1(x)=x         C~1(x)=x        

C2(x)=x^2−2     C~2(x)=x^2+2     

C3(x)=x^3−3x    C~3(x)=x^3+3x    

C4(x)=x^4−4x^2+2 C~4(x)=x^4+4x^2+2

S0(x)=1         S~0(x)=1       

S1(x)=x         S~1(x)=x        

S2(x)=x^2−1     S~2(x)=x^2+1    

S3(x)=x^3−2x    S~3(x)=x^3+2x   

S4(x)=x^4−3x^2+1 S~4(x)=x^4+3x^2+1

 すると

  fn=S~n(1)

  Ln=C~n(1)

  pn=S~n(2)

  Qn=C~n(2)

を示すことができる.

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