Q18 Matemática (IMO Shortlist 1999)

18 | IMO Shortlist | 1999 | Matemática

Prove que existem duas sequências estritamente crescentes $(a_{n})$ e $(b_{n})$ tais que $a_{n} (a_{n} + 1)$ divide $b_{n}^{2} + 1$ para cada n natural.