■リュカ・レーマーの判定法と２重指数型公式（その８）
ｕ0＝１，ｕn+1＝ｕn^2＋ｕn＋１
ｕ1＝１，ｕ2＝３，ｕ3＝１３，ｕ4＝１８３，ｕ5＝３３９７３
では，この手は使えなかったが，
ｕn+1＋１／２＝（ｕn＋１／２）^2−２
ｘn+1＝（ｘn）^2−２，ｘ0＝ｍ（≧２）
すなわち，
ｕn+1＝ｕn^2＋ｕn−９／４，ｕ0≧３／２
ならばこの手が使えることになる．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
