MetMat

Comment raisonner par récurrence pour établir une propriété ?

En initialisant au rang de base, en posant l'hypothèse de récurrence au rang nn, puis en démontrant la propriété au rang n+1n+1

L'objectif

Démontrer qu'une propriété P(n)\mathcal{P}(n) est vraie pour tout entier nn0n \geq n_0 en utilisant la récurrence simple.

Le principe

Si P(n0)\mathcal{P}(n_0) est vraie et que P(n)P(n+1)\mathcal{P}(n) \Rightarrow \mathcal{P}(n+1) pour tout nn0n \geq n_0, alors P(n)\mathcal{P}(n) est vraie pour tout nn0n \geq n_0.

La méthode
  1. 1
    Initialisation : vérifier que P(n0)\mathcal{P}(n_0) est vraie en calculant explicitement les deux membres (ou en vérifiant la propriété directement pour la valeur de base n0n_0).
  2. 2
    Hypothèse de récurrence : supposer que P(n)\mathcal{P}(n) est vraie pour un certain entier nn0n \geq n_0 (énoncer clairement ce qu'on suppose).
  3. 3
    Hérédité : démontrer P(n+1)\mathcal{P}(n+1) en partant de l'expression au rang n+1n+1, en faisant apparaître l'expression au rang nn (souvent en séparant le dernier terme), puis en substituant l'hypothèse de récurrence.
  4. 4
    Conclusion : par le principe de récurrence, P(n)\mathcal{P}(n) est vraie pour tout nn0n \geq n_0.

Exemple corrigé

Difficulté croissante de 1 à 4

Exercices aujourd'hui0 / 3

Prêt à t'entraîner ?

Génère un exercice personnalisé sur cette méthode et entraîne-toi avec la correction IA.