Problem

Source: 2010 Saudi Arabia Pre-TST 2.3

Tags: irrational number, Sequence, algebra



Let $a_0$ be a positive integer and $a_{n + 1} =\sqrt{a_n^2 + 1}$, for all $n \ge 0$. 1) Prove that for all $a_0$ the sequence contains infinitely many integers and infinitely many irrational numbers. 2) Is there an $a_0$ for which $a_{2010}$ is an integer?