Problem

Source:

Tags: number theory



The sequence $(a_n)$ is given by $a_1=2$, $a_2=500$, $a_3=2000$ and $$\frac{a_{n+2}+a_{n+1}}{a_{n+1}+a_{n-1}}=\frac{a_{n+1}}{a_{n-1}}\qquad\text{for }n\ge2$$Prove that all terms of this sequence are positive integers and that $a_{2000}$ is divisible by $2^{2000}$.