IMO 1999 Shortlist Question 3

N3 (RUS). Prove that there exist two strictly increasing sequences $(a_n)$ and $(b_n)$ such that $a_n(a_n+1)$ divides $b_n^2+1$ for every natural number $n$.