Aller au contenu

Mathématiques (spécialité) · TerminaleBac

Théorèmes de comparaison et convergence monotone : cours de Terminale

Publié le 6 novembre 2026 · Mis à jour le 6 novembre 2026 · Signaler une erreur

L'essentiel

  • Comparaison : si un≥vnu_n \geq v_n à partir d'un rang et vn→+∞v_n \to +\infty, alors un→+∞u_n \to +\infty ; si un≤wnu_n \leq w_n et wn→−∞w_n \to -\infty, alors un→−∞u_n \to -\infty. Elle ne sert que dans ce sens.
  • Gendarmes : si vn≤un≤wnv_n \leq u_n \leq w_n et vnv_n, wnw_n ont la même limite finie ℓ\ell, alors un→ℓu_n \to \ell. Variante : ∣un−ℓ∣≤vn|u_n - \ell| \leq v_n avec vn→0v_n \to 0.
  • Convergence monotone : une suite croissante et majorée converge ; une suite décroissante et minorée converge. Croissante non majorée : elle tend vers +∞+\infty.
  • Le majorant n'est pas la limite : on trouve la limite en résolvant ℓ=f(ℓ)\ell = f(\ell) quand un+1=f(un)u_{n+1} = f(u_n).
  • Méthode type : récurrence pour prouver la monotonie et la borne, théorème de convergence monotone, puis équation sur la limite.

Pourquoi comparer des suites ?

Pour beaucoup de suites, calculer la limite directement est impossible. Prends un=n2+3sin⁡nu_n = n^2 + 3\sin n : le terme sin⁡n\sin n oscille sans qu'on sache lui donner une limite, donc les règles sur les sommes de limites ne s'appliquent pas. Pourtant, l'intuition dit que n2n^2 domine et que unu_n tend vers +∞+\infty.

Les théorèmes de ce chapitre transforment cette intuition en preuve. Ils reposent sur une idée simple : si on connaît le comportement d'une suite, on peut en déduire celui d'une autre qui lui est coincée ou comparée. Les outils sont :

  • le théorème de comparaison, pour les limites infinies ;
  • le théorème des gendarmes, pour les limites finies ;
  • le théorème de convergence monotone, qui garantit qu'une suite converge sans qu'on sache encore vers quoi.

Tu les utiliseras après le raisonnement par récurrence, qui sert à prouver qu'une suite est croissante ou majorée, et après le chapitre sur les limites de suites, dont tu connais déjà les opérations. Ils préparent aussi l'étude des suites avec des algorithmes de seuil, qui viendra ensuite.

Rappels : limites, suites bornées, suites monotones

Le théorème de comparaison (limites infinies)

Lis ce théorème avec les mots : la plus petite des deux suites tend vers +∞+\infty, donc la plus grande aussi. Dans le cas −∞-\infty, c'est l'inverse : la plus grande tend vers −∞-\infty, donc la plus petite aussi. On pousse toujours dans la direction de l'infini visé.

Démonstration · Démonstration du premier point

Soit AA un réel quelconque. Il faut montrer que tous les termes unu_n sont dans ]A ;+∞[]A\,;+\infty[ à partir d'un certain rang.

Par hypothèse, il existe un rang N0N_0 tel que un≥vnu_n \geq v_n pour n≥N0n \geq N_0. Comme vn→+∞v_n \to +\infty, l'intervalle ]A ;+∞[]A\,;+\infty[ contient tous les vnv_n à partir d'un rang N1N_1 : on a vn>Av_n > A pour n≥N1n \geq N_1.

Pour n≥max⁡(N0,N1)n \geq \max(N_0, N_1), on obtient un≥vn>Au_n \geq v_n > A. L'intervalle ]A ;+∞[]A\,;+\infty[ contient donc tous les unu_n à partir de ce rang. Comme AA est quelconque, un→+∞u_n \to +\infty.

Le théorème des gendarmes (limites finies)

L'image est celle de deux gendarmes qui encadrent un prisonnier : s'ils vont au même endroit, le prisonnier aussi. Les deux suites d'encadrement doivent avoir exactement la même limite. Avec deux limites différentes, l'encadrement ne dit rien.

Démonstration · Démonstration

Soit II un intervalle ouvert contenant ℓ\ell, noté ]a ;b[]a\,;b[ avec a<ℓ<ba < \ell < b.

Il existe un rang N0N_0 tel que vn≤un≤wnv_n \leq u_n \leq w_n pour n≥N0n \geq N_0. Comme vn→ℓv_n \to \ell, il existe N1N_1 tel que vn∈Iv_n \in I, donc vn>av_n > a, pour n≥N1n \geq N_1. Comme wn→ℓw_n \to \ell, il existe N2N_2 tel que wn<bw_n < b pour n≥N2n \geq N_2.

Pour n≥max⁡(N0,N1,N2)n \geq \max(N_0, N_1, N_2), on a

a<vn≤un≤wn<b,a < v_n \leq u_n \leq w_n < b,

donc un∈Iu_n \in I. L'intervalle II contient tous les termes de (un)(u_n) à partir d'un certain rang, et ce raisonnement vaut pour tout intervalle ouvert contenant ℓ\ell : un→ℓu_n \to \ell.

Le théorème de convergence monotone

Les deux théorèmes précédents demandent de trouver une suite de comparaison. Celui-ci ne demande rien de tel : il utilise seulement la forme de la suite, croissante ou décroissante, et une borne.

Cherche l'idée derrière l'énoncé : une suite croissante ne peut que monter. Si un plafond l'empêche de monter indéfiniment, elle s'accumule forcément quelque part sous ce plafond. Si rien ne la limite, elle finit par dépasser n'importe quel nombre.

Démonstration · Démonstration du cas croissant non majoré

Soit (un)(u_n) croissante et non majorée, et soit AA un réel. Comme AA ne majore pas la suite, il existe un rang NN tel que uN>Au_N > A. La suite étant croissante, pour tout n≥Nn \geq N on a un≥uN>Au_n \geq u_N > A. L'intervalle ]A ;+∞[]A\,;+\infty[ contient donc tous les termes à partir du rang NN : un→+∞u_n \to +\infty.

Le cas décroissant non minoré s'obtient en appliquant ce résultat à la suite (−un)(-u_n).

Méthode : suite définie par récurrence

Le théorème de convergence monotone sert surtout pour les suites définies par une relation un+1=f(un)u_{n+1} = f(u_n). On ne dispose pas de formule explicite pour unu_n, mais le raisonnement par récurrence permet de prouver monotonie et borne.

Choisir le bon théorème et éviter les pièges

Exercices corrigés

Exercice 1 Une suite qui tend vers l'infini malgré un cosinus

★☆☆Environ 10 min

On considère la suite (un)(u_n) définie pour tout entier nn par un=3n+2cos⁡nu_n = 3n + 2\cos n.

  1. Montre que un≥3n−2u_n \geq 3n - 2 pour tout nn.
  2. En déduire la limite de (un)(u_n).
  3. Quel est le plus petit entier nn pour lequel on est sûr, grâce à la minoration 3n−23n-2, que un≥1000u_n \geq 1000 ?
Indice 1

On sait que cos⁡n≥−1\cos n \geq -1 pour tout entier nn.

Indice 2

Pour la question 3, résous 3n−2≥10003n - 2 \geq 1000 puis prends le plus petit entier qui convient.

Voir la correction pas à pas
  1. Pour tout entier nn, cos⁡n≥−1\cos n \geq -1, donc 2cos⁡n≥−22\cos n \geq -2. En ajoutant 3n3n aux deux membres, un≥3n−2u_n \geq 3n - 2.

  2. La suite de terme général 3n−23n-2 tend vers +∞+\infty. Comme un≥3n−2u_n \geq 3n-2 pour tout nn, le théorème de comparaison donne lim⁡un=+∞\lim u_n = +\infty.

  3. On résout 3n−2≥10003n - 2 \geq 1000, soit 3n≥10023n \geq 1002 et n≥334n \geq 334. Pour n=334n = 334, 3n−2=10003n-2 = 1000 : le plus petit entier est 334334.

La minoration un≥3n−2u_n \geq 3n-2 suffit : on n'avait pas besoin de connaître le comportement de cos⁡n\cos n, seulement son minorant. Le rang 334334 est celui que garantit la minoration ; la suite peut dépasser 10001000 plus tôt.

Exercice 2 Encadrer pour trouver une limite

★★☆Environ 15 min

Soit (un)(u_n) la suite définie pour tout entier nn par un=2n+sin⁡nn+1u_n = \dfrac{2n + \sin n}{n+1}.

  1. Montre que, pour tout nn, 2n−1n+1≤un≤2n+1n+1\dfrac{2n-1}{n+1} \leq u_n \leq \dfrac{2n+1}{n+1}.
  2. Détermine la limite de chacune des deux suites d'encadrement.
  3. Conclus sur la limite de (un)(u_n).
Indice 1

Utilise −1≤sin⁡n≤1-1 \leq \sin n \leq 1, puis divise par n+1>0n+1 > 0.

Indice 2

Pour la limite d'un quotient de deux polynômes de même degré, divise numérateur et dénominateur par nn.

Voir la correction pas à pas
  1. Pour tout nn, −1≤sin⁡n≤1-1 \leq \sin n \leq 1. En ajoutant 2n2n : 2n−1≤2n+sin⁡n≤2n+12n - 1 \leq 2n + \sin n \leq 2n + 1. On divise par n+1n+1, qui est strictement positif : l'ordre est conservé, d'où l'encadrement demandé.

  2. On écrit 2n−1n+1=2−1n1+1n\dfrac{2n-1}{n+1} = \dfrac{2 - \frac1n}{1 + \frac1n} pour n≥1n \geq 1. Le numérateur tend vers 22, le dénominateur vers 11, donc la limite est 22. Le même calcul donne 22 pour 2n+1n+1\dfrac{2n+1}{n+1}.

  3. Les deux suites d'encadrement convergent vers la même limite 22. D'après le théorème des gendarmes, (un)(u_n) converge vers 22.

Le point clé est de vérifier que les deux bornes ont la même limite. Ici le terme sin⁡n\sin n devient négligeable devant nn, ce qui explique que sa présence ne change pas la limite.

Exercice 3 Une suite récurrente qui converge

★★★Environ 25 min

On définit la suite (un)(u_n) par u0=0u_0 = 0 et, pour tout entier nn, un+1=12un+3u_{n+1} = \dfrac{1}{2}u_n + 3.

  1. Calcule u1u_1 et u2u_2, et conjecture le sens de variation et une borne.
  2. Démontre par récurrence que, pour tout nn, 0≤un≤un+1≤60 \leq u_n \leq u_{n+1} \leq 6.
  3. En déduire que (un)(u_n) converge.
  4. Détermine sa limite.
Indice 1

Pour l'hérédité, multiplie les inégalités par 12\frac12 puis ajoute 33 : la fonction x↦12x+3x \mapsto \frac12 x + 3 est croissante.

Indice 2

La limite ℓ\ell vérifie ℓ=12ℓ+3\ell = \frac12 \ell + 3.

Voir la correction pas à pas
  1. On a u1=3u_1 = 3 et u2=4,5u_2 = 4{,}5. La suite semble croissante et majorée par 66.

  2. Initialisation : u0=0u_0 = 0 et u1=3u_1 = 3, donc 0≤u0≤u1≤60 \leq u_0 \leq u_1 \leq 6.

  3. Hérédité : on suppose 0≤un≤un+1≤60 \leq u_n \leq u_{n+1} \leq 6. En multipliant par 12\frac12 et en ajoutant 33 : 3≤un+1≤un+2≤63 \leq u_{n+1} \leq u_{n+2} \leq 6. On en déduit 0≤un+1≤un+2≤60 \leq u_{n+1} \leq u_{n+2} \leq 6, c'est-à-dire P(n+1)P(n+1). La propriété est vraie pour tout nn.

  4. La suite est croissante et majorée par 66 : d'après le théorème de convergence monotone, elle converge vers un réel ℓ\ell.

  5. La fonction x↦12x+3x \mapsto \frac12 x + 3 est continue, donc ℓ=12ℓ+3\ell = \frac12 \ell + 3. On obtient 12ℓ=3\frac12 \ell = 3, soit ℓ=6\ell = 6.

Ici le majorant 66 se trouve être la limite, mais ce n'est pas une règle : c'est l'équation ℓ=f(ℓ)\ell = f(\ell) qui donne la limite, le majorant ne sert qu'à prouver la convergence.

Quiz

9 questions · correction immédiate · ton score reste sur ton appareil.

  1. On sait que un≤vnu_n \leq v_n pour tout nn et que lim⁡vn=+∞\lim v_n = +\infty. Que peut-on dire de (un)(u_n) ?

  2. Quelle est la limite de la suite un=3+cos⁡nnu_n = \dfrac{3 + \cos n}{n} pour n≥1n \geq 1 ?

  3. Une suite croissante et majorée par 55 converge forcément vers 55.

  4. Toute suite croissante est convergente.

  5. Quelles suites sont convergentes d'après le théorème de convergence monotone ? (plusieurs réponses)

    Plusieurs réponses possibles.

  6. Quel est le plus petit entier n≥1n \geq 1 tel que 1n≤0,02\dfrac{1}{n} \leq 0{,}02 ?

  7. Une suite convergente est toujours…

  8. Si (un)(u_n) et (vn)(v_n) sont deux suites convergentes, que peut-on dire de la suite (un+vn)(u_n+v_n) ?

  9. Une suite décroissante qui n'est pas minorée…

Les questions qu'on se pose

Quelle différence entre le théorème de comparaison et le théorème des gendarmes ?

Le théorème de comparaison traite les limites infinies et ne demande qu'une seule inégalité (minoration pour +∞+\infty, majoration pour −∞-\infty). Le théorème des gendarmes traite les limites finies et demande un encadrement avec deux suites qui ont la même limite. Si tu vises un nombre réel, pense gendarmes ; si tu vises l'infini, pense comparaison.

Comment savoir quelle inégalité écrire pour appliquer ces théorèmes ?

Regarde le terme qui t'empêche de calculer la limite, souvent sin⁡n\sin n, cos⁡n\cos n ou (−1)n(-1)^n. Il est toujours encadré par −1-1 et 11. Selon que tu vises +∞+\infty (minoration), −∞-\infty (majoration) ou une limite finie (encadrement), tu gardes l'une ou l'autre borne, ou les deux, puis tu opères sur l'inégalité en respectant l'ordre : multiplier ou diviser par un nombre négatif le renverse.

Faut-il toujours démontrer qu'une suite est croissante et majorée pour utiliser la convergence monotone ?

Oui, les deux propriétés sont nécessaires, et chacune doit être justifiée. Le plus souvent on les démontre ensemble par récurrence dans une même propriété, comme « 0≤un≤un+1≤M0 \leq u_n \leq u_{n+1} \leq M ». Seule la combinaison permet de conclure à la convergence. Rappelle-toi aussi que la réciproque partielle existe : une suite convergente est bornée 1, mais pas forcément monotone.

Que faire si le sujet demande la limite et que j'ai prouvé la convergence ?

Tu écris que la limite ℓ\ell vérifie ℓ=f(ℓ)\ell = f(\ell) quand un+1=f(un)u_{n+1} = f(u_n) avec ff continue, tu résous l'équation, puis tu gardes la solution compatible avec les bornes que tu as établies (par exemple ℓ≥0\ell \geq 0 ou ℓ≤M\ell \leq M). S'il reste deux solutions possibles, c'est que les bornes sont insuffisantes : reprends-les.

Ces théorèmes tombent-ils au bac ?

Ils sont au programme de spécialité mathématiques de Terminale et servent régulièrement dans les exercices sur les suites : étude d'une suite récurrente, limite d'une suite avec un terme oscillant, justification de la convergence avant un algorithme de seuil. Les démonstrations de ces théorèmes (comparaison, gendarmes, croissante non majorée) font partie de ce que tu dois savoir refaire.

Sources

  1. Mathématiques 1 : Limites de suites et théorèmes fondamentaux, CNRS. Consulté le 6 novembre 2026.
  2. Comparaison série-intégrale, Wikipédia. Consulté le 6 novembre 2026.

Les numéros dans le texte renvoient à ces sources. Une source qui ne dit pas ce qu'on lui fait dire ? Signale-le.

Signaler une erreur sur cette page

Je suis en…

Primaire

  • CP Bientôt
  • CE1 Bientôt
  • CE2 Bientôt
  • CM1 Bientôt
  • CM2 Bientôt

Collège

Lycée

Supérieur

  • BTS Bientôt
  • BUT Bientôt
  • Licence Bientôt
  • Prépas Bientôt

Sur cette page