Supposons que nous ayons des dominos placés comme ci-contre : Comment les faire tous tomber ? |
![]() |
Ici aucun domino ne tombera puisque le premier ne tombe pas ! | ![]() |
Ici les dominos ne tomberont pas tous puisque pour une certaine valeur de n l'enchaînement Pn -> Pn+1 ne se fera pas ! |
|
Donc pour démontrer par récurrence qu'une proposition Pn est vraie pour
tout entier naturel n, il faudra procéder en deux étapes et conclure : |
|
On vérifie que P0 est vraie. |
         Le premier domino P0 tombe bien. |
On vérifie le caractère héréditaire (l'enchaînement Pn -> Pn+1) de la proposition. On suppose que pour un entier naturel n quelconque Pn est vraie, et sous cette hypothèse ( dite hypothèse de récurrence ), on démontre que Pn+1 est encore vraie. |
         Le domino Pn "entraine" bien le domino Pn+1. |
Une fois les deux étapes franchies on conclut que la proposition Pn est vraie pour tout entier naturel n. |
Les deux étapes franchies tous les dominos tomberont en "cascade".
|