Sequence $x_1 , x_2 , ..., $ with $x_1=20$ ; $x_2=12$ for all $n\geq 1$ such that $x_{n+2}=x_n+x_{n+1}+2\sqrt{x_{n}*x_{n+1}+121} $then prove that $x_{2013}$ is an integer number.
Source: Turkmenistan National Math Olympiad 2013
Tags: induction, algebra unsolved, algebra
Sequence $x_1 , x_2 , ..., $ with $x_1=20$ ; $x_2=12$ for all $n\geq 1$ such that $x_{n+2}=x_n+x_{n+1}+2\sqrt{x_{n}*x_{n+1}+121} $then prove that $x_{2013}$ is an integer number.