【１】リュカ・レーマーの判定法と２重指数型公式

［Ｑ］ｘ0＝ｍ，ｍは２より大きい整数とする．このとき

　　　ｘn＝（ｘn-1）^2−２,

の一般項を求めよ．

［Ａ］α＋１／α＝ｍ，α＞１とすると，帰納法より

　　ｘn＝α^(2^n)＋α^-(2^n)

　これはｘn＝［α^(2^n)］と等価である．

　たとえば，ｍ＝３のとき，

　　α＋１／α＝３

　　α^2−３α＋１＝０，α＝（３＋√５）／２＝φ^2

　　ｘn＝［φ^(2^n+1)］

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［Ｑ］ｙ0＝ｍ，ｍは正の整数とする．このとき

　　　ｙn＝２（ｙn-1）^2−１

の一般項を求めよ．

［Ａ］α＋１／α＝２ｍ，α＞１とすると，帰納法より

　　２ｙn＝α^(2^n)＋α^-(2^n)

　これはｙn＝［α^(2^n)／２］と等価である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝