Soit
(un) une suite arithmétique.
L'expression de un+1 en fonction de un est donnée par la relation de récurrence : un+1=un+r où r est la raison de la suite arithmétique. D'après les hypothèses, nous savons que, pour tout entier naturel
n, on a :
un+1=un−9 .
Ainsi
r=−9<0 donc la suite
(un) est strictement décroissante.