Problem

Source: China Northern MO 2012 p5 CNMO

Tags: Sequence, recurrence relation, algebra



Let $\{a_n\}$ be the sequance with $a_0=0$, $a_n=\frac{1}{a_{n-1}-2}$ ($n\in N_+$). Select an arbitrary term $a_k$ in the sequence $\{a_n\}$ and construct the sequence $\{b_n\}$: $b_0=a_k$, $b_n=\frac{2b_{n-1}+1} {b_{n-1}}$ ($n\in N_+$) . Determine whether the sequence $\{b_n\}$ is a finite sequence or an infinite sequence and give proof.