On considère la suite définie par .
Montrer que pour tout entier naturel , .
Il s'agit contrairement aux autres types de démonstrations vus jusqu'à présent de démontrer un résultat de proche en proche sur le principe de "c'est vrai une fois et on peut le répéter".
Il faut être très rigoureux quand on mène ce type de raisonnement et bien respecter trois étapes.
L'initialisation : On montre que la propriété à démontrer est vraie une fois (généralement pour ou ).
L'hérédité : On montre que si la propriété est vraie à un rang donné elle est encore vraie au rang suivant .
La conclusion : Puisque la propriété a été initialisée et est héréditaire alors elle est vraie à partir du rang de l'initialisation.
On considère la suite définie par .
Montrons que pour tout entier naturel , .
Initialisation : Prenons . .
La propriété est vraie au rang .
Hérédité : Supposons la propriété vraie au rang :
Alors :
La propriété est donc vraie au rang .
Conclusion : La propriété est vraie au rang et est héréditaire. Par conséquent, pour tout entier naturel on a : .