【１】２重指数型公式

　ここでは，

　　ｇn+1＝（ｇn）^2−２，ｇ0＝４

を考えるが，この場合，

　　ω1＝２＋√３，ω2＝２−√３

となって，２重指数型公式

　　ｇn＝ω1^(2^n)＋ω2^(2^n)

が得られる．

　帰納法により

［１］ｎ＝０，ｇ0＝ω1＋ω2＝４

［２］ｇn＝ω1^(2^n)＋ω2^(2^n)が正しいとすると，

　（ｇn）^2−２＝（ω1^(2^n)＋ω2^(2^n)）^2−２

＝ω1^(2^n+1)＋ω2^(2^n+1)＋２（ω1ω1）^(2^n)−２

＝ω1^(2^n+1)＋ω2^(2^n+1)＝ｇn+1

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