SU-CSuites réelles

Convergence, limites et théorèmes de comparaison / gendarmes

Idée directrice

L'enjeu est de prouver la convergence d'une suite en la comparant ou en l'encadrant par des suites dont la limite est connue. Deux outils phares : le théorème des gendarmes ( $a_n\leq u_n\leq b_n$ avec $a_n\to\ell$ et $b_n\to\ell$ implique $u_n\to\ell$ ) et les théorèmes de comparaison ( $u_n\leq v_n$ et $v_n\to0$ implique $u_n\to0$ , etc.). On exploite aussi les suites monotones bornées : toute suite croissante et majorée converge.

Signature de reconnaissance — l'énoncé se trahit ainsi

« Montrer que la suite $(u_n)$ est croissante et majorée » ; « En déduire la limite de $(u_n)$ » ; « Encadrer $u_n$ puis appliquer le théorème des gendarmes ».

Sujet principal

Exercice 3 — convergence et encadrements

5 questionsCorrigé masqué

Soit $(u_n)_{n\geq1}$ définie par $u_n = \dfrac{n\cos^2(n\pi/7)}{n^2+3}$ et $(v_n)_{n\geq0}$ définie par $v_0=0$ et $v_{n+1}=\dfrac{v_n+2}{v_n+3}$ . On pose $f(x)=\dfrac{x+2}{x+3}$ pour $x\geq0$ , et $\alpha = \sqrt{3}-1$ (point fixe non négatif de $f$ ).

Partie A — Théorème des gendarmes.

Justifier que $0\leq u_n\leq\dfrac{n}{n^2+3}$ pour tout $n\geq1$ .
Montrer que $\dfrac{n}{n^2+3}\leq\dfrac{1}{n}$ pour tout $n\geq1$ , puis en déduire $\lim_{n\to+\infty}u_n$ .

Partie B — Suite récurrente bornée et monotone.

Montrer par récurrence que pour tout $n\geq0$ , $0\leq v_n\leq \alpha$ , en utilisant la monotonie de $f$ sur $[0,+\infty[$ et le fait que $f(\alpha)=\alpha$ .
1. Vérifier $f(\alpha)=\alpha$ et que $f$ est croissante sur $[0,+\infty[$ .
2. Initialisation : $v_0=0\in[0,\alpha]$ .
3. Hérédité : si $0\leq v_n\leq\alpha$ , en déduire $0\leq v_{n+1}\leq\alpha$ .
Montrer que $v_{n+1}-v_n = \dfrac{-v_n^2-2v_n+2}{v_n+3}\geq 0$ pour tout $n$ (en utilisant $v_n\in[0,\alpha]$ ), et conclure que $(v_n)$ est croissante.
En déduire que $(v_n)$ converge, puis montrer que sa limite vaut $\alpha$ .

Voir la correction commentéeAprès avoir posé votre démarche

A.1 Idée : encadrer le facteur borné $\cos^2$ . $0\leq\cos^2\dfrac{n\pi}{7}\leq1$ , donc $0\leq n\cos^2\dfrac{n\pi}{7}\leq n$ et, en divisant par $n^2+3>0$ , $0\leq u_n\leq\dfrac{n}{n^2+3}$ .

A.2 $\dfrac{n}{n^2+3}\leq\dfrac{n}{n^2}=\dfrac1n$ ; $0\leq u_n\leq\dfrac1n$ et $\dfrac1n\to0$ : par les gendarmes, $\lim u_n=0$ .

B.1 Idée : $\alpha$ point fixe et $f$ croissante rendent $[0,\alpha]$ stable. $\alpha=\sqrt3-1$ vérifie $\alpha^2+2\alpha-2=0$ , d'où $\alpha(\alpha+3)=\alpha+2$ et $f(\alpha)=\alpha$ ; $f'(x)=\dfrac{1}{(x+3)^2}>0$ , $f$ croissante. Récurrence : $v_0=0\in[0,\alpha]$ ; si $0\leq v_n\leq\alpha$ alors $f(0)\leq f(v_n)\leq f(\alpha)$ , soit $\dfrac23\leq v_{n+1}\leq\alpha$ , donc $0\leq v_{n+1}\leq\alpha$ .

B.2 $v_{n+1}-v_n=\dfrac{v_n+2-v_n(v_n+3)}{v_n+3}=\dfrac{-v_n^2-2v_n+2}{v_n+3}$ . Le numérateur $g(x)=-x^2-2x+2$ est une parabole tournée vers le bas, nulle en $\alpha$ et positive en $0$ : $g\geq0$ sur $[0,\alpha]$ . Le dénominateur est positif : $(v_n)$ est croissante.

B.3 Idée : croissante et majorée $\Rightarrow$ convergente ; la limite est un point fixe. $(v_n)$ converge vers $\ell\in[0,\alpha]$ et, $f$ étant continue, $\ell=f(\ell)$ , soit $\ell^2+2\ell-2=0$ : $\ell=-1\pm\sqrt3$ , dont seule $\sqrt3-1$ est dans $[0,\alpha]$ .

\lim_{n\to+\infty}v_n=\sqrt3-1

Exercices d'entraînement — une nuance à la fois

Entraînement 01 / 02

Drill SU-C.1 — théorème des gendarmes

2 questionsCorrigé masqué

Soit $u_n=\dfrac{n+\cos n}{n+1}$ pour $n\ge0$ .

Encadrer $u_n$ à l'aide de $-1\le\cos n\le1$ .
En déduire $\lim u_n$ .

Voir la correction commentéeAprès avoir posé votre démarche

1. On sait que $-1\le\cos n\le1$ , d'où $\dfrac{n-1}{n+1}\le u_n\le1$ .

2. D'après cet encadrement, les bornes tendent vers $1$ . On en déduit que, par le théorème des gendarmes, $u_n\to1$ . Conclusion : $\lim u_n=1$ .

Entraînement 02 / 02

Drill SU-C.2 — croissante majorée

3 questionsCorrigé masqué

Soit $(u_n)$ : $u_0=1$ , $u_{n+1}=\sqrt{2+u_n}$ .

Montrer par récurrence que $1\le u_n\le2$ .
Montrer que $(u_n)$ est croissante.
Conclure et déterminer la limite.

Voir la correction commentéeAprès avoir posé votre démarche

1. Montrons que pour tout $n$ , $1\le u_n\le2$ , par récurrence. Initialisation : $u_0=1\in[1,2]$ . Supposons que $1\le u_n\le2$ et montrons que $1\le u_{n+1}\le2$ : $3\le2+u_n\le4\Rightarrow\sqrt3\le u_{n+1}\le2$ , et $\sqrt3\ge1$ , d'où $1\le u_{n+1}\le2$ .

2. $u_{n+1}^2-u_n^2=2+u_n-u_n^2=-(u_n-2)(u_n+1)\ge0$ sur $[1,2]$ (termes positifs), d'où $u_{n+1}\ge u_n$ : $(u_n)$ est croissante.

3. Croissante et majorée par $2$ , $(u_n)$ converge vers $\ell=\sqrt{2+\ell}$ avec $\ell\in[1,2]$ : $\ell^2-\ell-2=0$ . Conclusion : $\ell=2$ .

Méthode / Automatismes

Gendarmes : trouver $a_n\leq u_n\leq b_n$ avec $\lim a_n=\lim b_n=\ell$ . Courant : majorer par $1/n^k$ (puissance) ou par une suite géométrique.
Suite monotone bornée : prouver la monotonie par signe de $v_{n+1}-v_n$ ou par induction ; exhiber un minorant/majorant explicite ; $\ell$ vérifie $f(\ell)=\ell$ .
Passage à la limite dans $v_{n+1}=f(v_n)$ exige la continuité de $f$ . La passer à la limite sans le dire est une faute.
Forme indéterminée $\infty/\infty$ : factoriser par le terme dominant (ici $n^2$ au dénominateur).

Pièges classiques

Écrire « $(v_n)$ est croissante et bornée, donc $v_{n+1}\to\ell$ » sans mentionner le théorème de la convergence monotone. Oublier de vérifier que $f$ est continue avant de passer à la limite dans $v_{n+1}=f(v_n)$ . Prendre la solution négative de $\ell^2+2\ell-2=0$ sans vérifier son signe par rapport aux termes.

Variantes rencontrées : Suite bornée non monotone (sous-suites paires/impaires) ; théorème des suites adjacentes utilisé pour borner une limite.