MetMat

Comment démontrer une propriété par récurrence simple ?

En vérifiant l'initialisation et l'hérédité

L'objectif

Démontrer rigoureusement qu'une propriété P(n)P(n) est vraie pour tout nn0n \geq n_0.

Le principe

Si P(n0)P(n_0) est vraie et si nn0, P(n)P(n+1)\forall n \geq n_0,\ P(n) \Rightarrow P(n+1), alors nn0, P(n)\forall n \geq n_0,\ P(n) est vraie.

La méthode
  1. 1
    Je pose P(n)P(n) : la propriété à démontrer pour nn0n \geq n_0, et je précise le rang initial n0n_0.
  2. 2
    Initialisation : je vérifie que P(n0)P(n_0) est vraie par un calcul direct.
  3. 3
    Hérédité : je fixe nn0n \geq n_0, je suppose P(n)P(n) vraie (hypothèse de récurrence) et je démontre P(n+1)P(n+1).
  4. 4
    Je conclus par le principe de récurrence que nn0, P(n)\forall n \geq n_0,\ P(n) est vraie.

Exemple corrigé

Difficulté croissante de 1 à 3

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.