Problem

Source: Moldova TST 2018

Tags: number theory



The sequence $\left(a_{n}\right)_{n\in\mathbb{N}}$ is defined recursively as $a_{0}=a_{1}=1$, $a_{n+2}=5a_{n+1}-a_{n}-1$, $\forall n\in\mathbb{N}$ Prove that $$a_{n}\mid a_{n+1}^{2}+a_{n+1}+1$$for any $n\in\mathbb{N}$