MetMat

Comment démontrer une propriété dépendant d'un entier par récurrence ?

En menant une récurrence simple (initialisation + hérédité P(n)P(n+1)P(n)\Rightarrow P(n+1))

L'objectif

Démontrer qu'une propriété P(n)P(n) est vraie pour tout entier nn0n \geq n_0 par récurrence simple.

Le principe

Principe de récurrence : 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
    J'énonce clairement la propriété P(n)P(n) à démontrer et le rang initial n0n_0.
  2. 2
    Initialisation : je vérifie P(n0)P(n_0) par calcul direct.
  3. 3
    Hérédité : je suppose P(n)P(n) vraie pour un nn0n \geq n_0 quelconque fixé (hypothèse de récurrence), et j'en déduis P(n+1)P(n+1).
  4. 4
    Je conclus par le principe de récurrence : P(n)P(n) est vraie pour tout nn0n \geq n_0.

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.