Montrons par récurrence que pour tout entier naturel $n$, $a_{n+1}=-\dfrac{1}{2}a_n+1$.
- $-\dfrac{1}{2}a_0+1=1=a_1$ et donc l'égalité est vraie quand $n=0$.
- Soit $n\geqslant0$. Supposons que $a_{n+1}=-\dfrac{1}{2}a_n+1$. Alors $-\dfrac{1}{2}a_n=a_{n+1}-1$ puis $a_n=-2a_{n+1}+2$. Par suite,
$a_{n+2}=\dfrac{1}{2}\left(a_{n+1}+a_n\right)=\dfrac{1}{2}\left(a_{n+1}-2a_{n+1}+2\right)=\dfrac{1}{2}\left(-a_{n+1}+2\right)=-\dfrac{1}{2}a_{n+1}+1$.
On a montré par récurrence que
pour tout entier naturel $n$, $a_{n+1}=-\dfrac{1}{2}a_n+1$.