TerminaleAnalyse

Le raisonnement par récurrence

26 min5 exercicesSéquence 3.3Terminale

Vidéo disponible dans la version Premium

Durée : 26 min

Principe de récurrence

Le raisonnement par récurrence permet de démontrer qu'une propriété P(n)P(n) est vraie pour tout entier nn à partir d'un certain rang n0n_0, souvent utilisé pour étudier des suites définies par une relation un+1=f(un)u_{n+1} = f(u_n).

Principe de récurrence : pour démontrer que P(n)P(n) est vraie pour tout entier nn0n \geqslant n_0, on procède en trois étapes :

1. Initialisation : on vérifie que P(n0)P(n_0) est vraie.

2. Hérédité : on suppose que P(n)P(n) est vraie pour un entier nn0n \geqslant n_0 quelconque (hypothèse de récurrence), et on démontre qu'alors P(n+1)P(n+1) est vraie aussi.

3. Conclusion : d'après le principe de récurrence, P(n)P(n) est vraie pour tout entier nn0n \geqslant n_0.

Exemple détaillé

Soit la suite définie par u0=1u_0 = 1 et un+1=2un+1u_{n+1} = 2u_n + 1. Démontrons que pour tout entier nn, un0u_n \geqslant 0 (propriété P(n)P(n)).

Initialisation : u0=10u_0 = 1 \geqslant 0, donc P(0)P(0) est vraie.

Hérédité : supposons un0u_n \geqslant 0 pour un certain nn. Alors :

un+1=2un+12×0+1=10u_{n+1} = 2u_n + 1 \geqslant 2\times 0 + 1 = 1 \geqslant 0

Donc P(n+1)P(n+1) est vraie.

Conclusion : par récurrence, un0u_n \geqslant 0 pour tout entier nn.

Point de vigilance : il ne faut JAMAIS oublier l'étape d'initialisation : une hérédité vraie sans initialisation ne prouve rien (l'édifice entier "s'effondre" s'il n'a pas de premier étage).

Récurrence et monotonie de suites

On utilise souvent la récurrence pour prouver qu'une suite est croissante, décroissante, ou bornée, ce qui permet ensuite (avec le théorème de convergence monotone, admis) de justifier sa convergence.

Exercices

Dans un raisonnement par récurrence, l'étape d'initialisation consiste à :

On peut conclure qu'une propriété est vraie pour tout nn si seule l'étape d'hérédité a été démontrée, sans initialisation.

Suivez votre progression

Connectez-vous pour sauvegarder votre avancement et gagner des XP.

Se connecter