SUITES

I. Raisonnement par rcurrence

Principe :
On considre une file illimite de dominos placs cte cte. La rgle veut
que lorsqu'un domino tombe, alors il fait tomber le domino suivant et ceci
n'importe quel niveau de la file.
Alors, si le premier domino tombe, on est assur que tous les dominos de
la file tombent.

Axiome de rcurrence :
Soit P(n) une proprit qui dpend dun nombre entier naturel n et soit n0 un nombre entier naturel :
Si la proprit P(n) vrifie les deux conditions suivantes :
-Initialisation : P(n0) est vraie ;
-Hrdit : Si P(k) est vraie pour un nombre entier naturel k n0 alors P(k+1) est vraie ;
Alors pour tout nombre entier naturel n n0, P(n) est vraie.
Dans l'exemple, si on suppose qu'un domino (k) tombe alors le domino suivant (k+1) tombe
galement.
Dans l'exemple, le premier domino tombe (initialisation). Ici n0 = 1.
L'hrdit est vrifie (voir plus haut).
On en dduit que tous les dominos tombent.
Remarque : Une dmonstration par rcurrence sur les entiers est mise en uvre lorsque toute
dmonstration "classique" est difficile.