DG - DEMONSTRATION PAR RECURRENCE
1. Les axiomes de Peano
Ces cinq axiomes permettent de définir formellement l’ensemble Ndes nombres entiers naturels. En
voici la liste :
1 0 est un entier naturel
2 Tout entier naturel a un successeur
3 Deux entiers naturels ayant le même successeur sont égaux
4 0 n’est le successeur d’aucun entier naturel
5 Si une partie Pde Ncontient 0, et si le successeur de tout élément de Pappartient à P, alors P
est égale à N(axiome d’induction)
Le successeur de l’entier nest noté n+ 1.
C’est le cinquième axiome qui est la base de la démonstration par récurrence.
2. Première formulation de la démonstration par récurrence
Soit Pune propriété sur l’ensemble N. Si nest un entier, P(n)est soit vraie, soit fausse. Si P(n)est
vraie, on dira que la propriété Pest vraie à l’ordre nou au rang n.
Soit alors Pl’ensemble des entiers tels que P(n)soit vraie. Dire que nappartient à Psignifie donc
que P(n)est vraie, et l’axiome 5 devient alors :
Si P(0) est vraie, et si pour tout entier ntel que P(n)soit vraie alors P(n+ 1) est vraie, il en résulte
que, pour tout entier n,P(n)est vraie.
En convenant d’écrire « P(n)» au lieu de « P(n)est vraie », on peut formaliser ce qui précède de la
manière suivante :
(P(0) et (∀n∈N)(P(n)⇒P(n+ 1))) ⇒(∀n∈N)(P(n)) .
Le schéma de la démonstration par récurrence comporte donc deux étapes :
– Initialisation : on démontre que la propriété est vraie au rang 0.
– Hérédité : on démontre que si la propriété est vraie au rang n(hypothèse de récurrence), alors elle
est vraie au rang n+ 1.
Alors la propriété P(n)est vraie pour tout entier npositif.