Une démonstration par récurrence consiste à démontrer qu'une infinité de propositions dépendantes d'un entier naturel sont vraies.
I Le principe de récurrence
Soit un entier naturel et soit , , , …, , une suite de propositions.
Si la est vraie et si, pour n'importe quel entier naturel tel que , la vérité de entraîne celle de , alors on peut conclure que pour tout entier naturel tel que , est vraie.
À noter
Dans la grande majorité des cas, vaut ou .
II La démonstration par récurrence
1 Mise en œuvre
Soit un entier naturel. Pour démontrer par récurrence qu'une proposition est vraie pour tout entier , on procède en deux étapes qui permettront de conclure :
l'initialisation pour vérifier que la proposition est vraie ;
l'hérédité montrant que si la proposition est vraie pour un entier naturel quelconque tel que , alors la proposition doit être également vraie.
Le principe de récurrence permettra alors de conclure que pour tout entier naturel tel que , la proposition est vraie.
À noter
Lors de la seconde étape, on suppose la proposition vraie pour un certain rang : c'est l'hypothèse de récurrence, souvent notée HR.
2 Quelques pièges à éviter
Oublier l'initialisation : par exemple la proposition « est un multiple de 11 » est héréditaire, puisque , mais elle est fausse pour tout entier .
Supposer, pour montrer l'hérédité, que la proposition est vraie pour tout entier naturel n, puisque c'est ce que l'on veut justement démontrer !
On supposera donc la proposition vraie pour un entier naturel.
Méthode
Démontrer une égalité
Démontrer par récurrence que pour tout entier strictement positif :
.
Conseils
Lorsque l'on exprime la propriété au rang , il faut penser à remplacer « tous les » par des « ». Pour la notation , se référer au mémo visuel.
Solution
Initialisation : Pour ,
Et, .
La proposition est donc vraie au rang 1.
Hérédité : Supposons que pour un entier naturel non nul :
(C'est l'hypothèse de récurrence : HR.)
Conseils
Lors de cette étape, tout d'abord, établissez un lien entre les propositions aux rangs et , puis utilisez l'hypothèse de récurrence.
On a :
La propriété est donc héréditaire.
Conclusion : Le principe de récurrence permet de conclure que :