■間引いたリュカ数列(その4)

[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となる.

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