■一般化フィボナッチ数(その19)
[Q]x0=m,mは2より大きい整数とする.このとき
xn=(xn-1)^2−2,
の一般項を求めよ.
[A]α+1/α=m,α>1とすると,帰納法より
xn=α^(2^n)+α^-(2^n)
これはxn=[α^(2^n)]と等価である.
たとえば,m=3のとき,
α+1/α=3
α^2−3α+1=0,α=(3+√5)/2=φ^2
xn=[φ^(2^n+1)]
===================================
α=2のとき,xn=[α^(2^n)]はフェルマー数になる.
α+1/α=5/2=m→m=5/2とすればよい.
α^2−5/2α+1=0,
2α^2−5α+2=0,(α−2)(2α−1)=0
x0=5/2=2.5
xn=(xn-1)^2−2,
x1=25/4−2=17/4=4.25
x2=289/16−2=257/16=16.0625
x3=289/16−2=66049/256−2=65537/256
=256.0039
一般に,
xn={2^(2^n+1)+1}/2^(2^n)
となるが,これを切り上げるとフェルマー数2^(2^n)+1となる.
===================================