■リュカ・レーマーの判定法と2重指数型公式(その6)

【1】2重指数型公式

 ここでは,

  gn+1=(gn)^2−2,g0=4

を考えるが,この場合,

  ω1=2+√3,ω2=2−√3

となって,2重指数型公式

  gn=ω1^(2^n)+ω2^(2^n)

が得られる.

 帰納法により

[1]n=0,g0=ω1+ω2=4

[2]gn=ω1^(2^n)+ω2^(2^n)が正しいとすると,

 (gn)^2−2=(ω1^(2^n)+ω2^(2^n))^2−2

=ω1^(2^n+1)+ω2^(2^n+1)+2(ω1ω1)^(2^n)−2

=ω1^(2^n+1)+ω2^(2^n+1)=gn+1

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

 xn+1=(xn)^2+1/4,x0=1/2

の場合,足して1/2,かけて1となる必要があるが,そうであったとしても

  2(ω1ω1)^(2^n)+1/4≠0

なので,この手は使えない.

 xn+1=(xn)^2+1,xn+1=(xn)^2+2

についても同様である.

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