Raisonner par récurrence
Une méthode complète pour démontrer qu’une propriété est vraie à tous les rangs et choisir la stratégie adaptée à l’énoncé.
Savoir démontrer une propriété pour tout entier naturel grâce à la méthode de récurrence, comprendre ses étapes clés et connaître ses principales applications (encadrements, formules explicites, comportements de suites, sommes).
1. Le principe de récurrence
Pour prouver qu’une propriété $P(n)$ est vraie pour tout entier $n \geq n_0$, on suit trois étapes :
- Initialisation : vérifier que $P(n_0)$ est vraie.
- Hérédité : supposer qu’il existe un entier $k \geq n_0$ tel que $P(k)$ soit vraie, puis montrer que cela implique $P(k+1)$.
- Conclusion : conclure par la phrase : “D’après le principe de récurrence, la propriété est vraie pour tout $n \geq n_0$.”
2. Quelle méthode choisir ?
Conserver une borne, un signe ou un intervalle
Quand l’utiliser ? Quand il faut prouver que la suite reste positive, majorée, minorée ou dans un intervalle.
Dans ce type de question, l’hérédité se fait en partant d’un encadrement portant sur $u_k$ pour construire celui portant sur $u_{k+1}$.
Soit la suite $(u_n)$ définie pour tout entier naturel $n$ par
$$u_{n+1} = \dfrac{1}{3}u_n + 2 \quad\text{et}\quad u_0 = 2.$$
1) Démontrer par récurrence que la suite $(u_n)$ est majorée par $3$.
On veut montrer que, pour tout $n \in \mathbb{N}$, $u_n \leq 3$.
Initialisation : pour $n = 0$, on a $u_0 = 2 < 3$. La propriété est vraie au rang $0$.
Hérédité : soit $n$ un entier naturel. Supposons que $u_n < 3$ et montrons que $u_{n+1} < 3$.
De $u_n < 3$ on déduit $,\dfrac{1}{3}u_n < \dfrac{1}{3} \times 3$, donc
$$\dfrac{1}{3}u_n + 2 < \dfrac{1}{3} \times 3 + 2 = 3,$$
c’est-à-dire $u_{n+1} < 3$.
Conclusion : d’après le principe de récurrence, la propriété est vraie pour tout $n \in \mathbb{N}$ et la suite $(u_n)$ est majorée par $3$.
Démontrer une formule explicite
Quand l’utiliser ? Quand une expression de $u_n$ dépendant directement de $n$ est donnée ou conjecturée.
Ici, on dispose d’une relation de récurrence entre $u_{n+1}$ et $u_n$, et on veut montrer qu’une expression explicite $u_n = f(n)$ est vraie pour tout $n$.
On considère la suite $(u_n)$ définie par
$$u_{n+1} = 2u_n + 5 \quad\text{et}\quad u_0 = 7.$$
Montrer par récurrence que, pour tout entier naturel $n$,
$$u_n = 12 \cdot 2^n – 5.$$
On veut montrer par récurrence la propriété $P(n)$ définie pour tout $n \in \mathbb{N}$ par : $$P(n):\quad u_n = 12 \cdot 2^n – 5.$$
Initialisation : au rang $0$,
$$u_0 = 12 \cdot 2^0 – 5 = 12 – 5 = 7,$$
ce qui est bien conforme à l’énoncé ($u_0 = 7$). Donc $P(0)$ est vraie.
Hérédité : soit $k \in \mathbb{N}$. On suppose $P(k)$ vraie, c’est-à-dire $$u_k = 12 \cdot 2^k – 5,$$ et l’on veut montrer $P(k+1)$ : $$u_{k+1} = 12 \cdot 2^{k+1} – 5.$$
En utilisant la relation de récurrence : $$u_{k+1} = 2u_k + 5.$$
En remplaçant $u_k$ par son expression :
$$\begin{\aligned} u_{k+1} &= 2bigl(12 \cdot 2^k – 5bigr) + 5 \ &= 24 \cdot 2^k – 10 + 5 \ &= 24 \cdot 2^k – 5 \ &= 12 \cdot 2^{k+1} – 5. \end{\aligned}$$
La propriété $P(k+1)$ est donc vraie.
Conclusion : d’après le principe de récurrence, pour tout entier naturel $n$, on a $$u_n = 12 \cdot 2^n – 5.$$
Transmettre un encadrement avec une fonction
Quand l’utiliser ? Quand $u_{n+1}=f(u_n)$ et que les variations de $f$ transmettent l’hypothèse.
On considère une fonction $f$ telle que $u_{n+1} = f(u_n)$. On exploite alors les propriétés de $f$ (croissance, décroissance, encadrement) pour montrer l’hérédité d’un encadrement sur $(u_n)$.
On considère la suite $(u_n)$ définie par
$$u_{n+1} = \sqrt{2u_n + 3} \quad\text{et}\quad u_0 = 1.$$
Montrer que, pour tout $n \in \mathbb{N}$, $1 \leq u_n \leq 3$.
On veut montrer par récurrence la propriété $P(n)$ : $1 \leq u_n \leq 3$ pour tout $n \in \mathbb{N}$.
Initialisation : pour $n = 0$, $u_0 = 1$ donc $1 \leq u_0 \leq 3$. La propriété est vraie au rang $0$.
Hérédité : supposons qu’il existe $n \in \mathbb{N}$ tel que $1 \leq u_n \leq 3$ et montrons que $1 \leq u_{n+1} \leq 3$.
On considère la fonction $f$ définie sur l’intervalle $[1;3]$ par $$f(x) = \sqrt{2x + 3}.$$
La fonction $f$ est dérivable sur $[1;3]$ et $$f'(x) = \dfrac{2}{2sqrt{2x+3}} = \dfrac{1}{\sqrt{2x+3}} > 0,$$ donc $f$ est strictement croissante sur $[1;3]$.
De $1 \leq u_n \leq 3$ et de la croissance de $f$, on obtient $$f(1) \leq f(u_n) \leq f(3).$$
Or $f(1) = \sqrt{5}$ et $f(3) = 3$, donc $$\sqrt{5} \leq u_{n+1} \leq 3.$$ Comme $1 < \sqrt{5}$, on a bien $1 \leq u_{n+1} \leq 3$.
Conclusion : d’après le principe de récurrence, pour tout $n \in \mathbb{N}$, $1 \leq u_n \leq 3$.

Démontrer une formule de somme
Quand l’utiliser ? Quand la propriété porte sur une somme ou un produit et que le rang suivant ajoute ou multiplie un terme.
La récurrence permet de prouver des formules de sommes comme $\displaystyle S_n = sum_{k=1}^{n} k^2$ ou $sum_{k=1}^{n} k$.
Montrer que, pour tout entier $n \geq 1$,
$$sum_{k=1}^{n} k^2 = \dfrac{n(n+1)(2n+1)}{6}.$$
On pose $$S_n = sum_{k=1}^{n} k^2.$$
Initialisation : pour $n = 1$,
$$S_1 = 1^2 = 1 \quad\text{et}\quad \dfrac{1 \cdot 2 \cdot 3}{6} = 1.$$ La formule est vraie au rang $1$.
Hérédité : on suppose la formule vraie au rang $k \geq 1$ : $$S_k = \dfrac{k(k+1)(2k+1)}{6},$$ et on montre qu’elle est vraie au rang $k+1$ : $$S_{k+1} = \dfrac{(k+1)(k+2)(2k+3)}{6}.$$
On écrit $$S_{k+1} = S_k + (k+1)^2.$$ En remplaçant $S_k$ par son expression, puis en factorisant, on retrouve bien la forme $$S_{k+1} = \dfrac{(k+1)(k+2)(2k+3)}{6}.$$
Conclusion : par récurrence, la formule est vraie pour tout entier $n \geq 1$.
3. Rédaction Bac et pièges à éviter
- Bien poser l’hypothèse de récurrence : écrire clairement “On suppose que $P(k)$ est vraie”.
- Dans l’hérédité, partir uniquement de $P(k)$ pour arriver à $P(k+1)$.
- Travailler proprement les expressions algébriques, sans sauter d’étapes clés.
- Utiliser une fonction $f$ lorsque la suite est donnée par $u_{n+1} = f(u_n)$ afin de gérer croissance ou encadrement.
- Oublier l’étape d’initialisation ou la traiter de manière incomplète.
- Ne pas annoncer l’hypothèse de récurrence avant de l’utiliser.
- Tenter de faire l’hérédité sans utiliser $P(k)$ (raisonnement non valide).
- Oublier la conclusion finale faisant explicitement référence au principe de récurrence.
- Bien séparer les trois parties : Initialisation, Hérédité, Conclusion.
- Rédiger avec des phrases complètes et précises (pas seulement des calculs).
- Ne jamais supposer deux choses différentes en même temps dans l’hérédité.
- Terminer par une phrase du type : “La propriété est vraie pour tout $n \geq n_0$.”