■リュカ・レーマーの判定法と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
についても同様である.
===================================