(1)
n=1 のとき
a1+b15=2+5 である。
5 は無理数なので係数を比較して
a1=2, b1=1 となり、
a1−b15=2−5 を得る。
また、定義式から、すべての
n≧1 について
an+1+bn+15=(2+5)(an+bn5)=(2an+5bn)+(an+2bn)5.an+1+bn+15=(2+5)(an+bn5)=(2an+5bn)+(an+2bn)5.係数を比較すると
an+1=2an+5bn,bn+1=an+2bn.ここで
an−bn5=(2−5)n と仮定すれば、
an+1−bn+15=(2an+5bn)−(an+2bn)5=(2−5)(an−bn5)=(2−5)n+1.an+1−bn+15=(2an+5bn)−(an+2bn)5=(2−5)(an−bn5)=(2−5)n+1.以上より数学的帰納法によって、すべての自然数
n について成り立つ。
(2) 定義式と (1) の等式を加え、また引くと
2an=(2+5)n+(2−5)n,2bn5=(2+5)n−(2−5)n.したがって、
r=2+52−5 とおけば
bnan=51−rn1+rn.2<5<3 より
∣2−5∣<1 かつ
2+5>1 なので
∣r∣<1 である。よって
rn→0 となり、
n→∞limbnan=51−01+0=5.