Théorème 3.1.

Soit

(x_{n})

une suite. Soient

(a_{n})

(b_{n})

deux suites telles que

$a_{n} ⩽ x_{n} ⩽ b_{n}$ pour tout $n$ suffisamment grand,
$n \to \infty lim a_{n} = n \to \infty lim b_{n} = L$ .

Alors

(x_{n})

converge, et sa limite vaut

L

n \to \infty lim x_{n} = L .

Proof

Soit

N_{0}

un entier tel que

a_{n} ⩽ x_{n} ⩽ b_{n}

pour tout

n ⩾ N_{0}

.
Fixons

ε > 0

Puisque $a_{n} \to L$ , il existe $N_{a}$ tel que $a_{n} \in [L - ε, L + ε]$ pour tout $n ⩾ N_{a}$ .
Puisque $b_{n} \to L$ , il existe $N_{b}$ tel que $b_{n} \in [L - ε, L + ε]$ pour tout $n ⩾ N_{b}$ .

Définissons l’entier

N := max {N_{0}, N_{a}, N_{b}} .

n ⩾ N

, alors on a en particulier que

a_{n} ⩾ L - ε

b_{n} ⩽ L + ε

, ce qui implique

L - ε ⩽ a_{n} ⩽ x_{n} ⩽ b_{n} ⩽ L + ε .

De ces dernières inégalités, on tire que

∣ x_{n} - L ∣ ⩽ ε

.
On a donc bien montré que pour tout

ε > 0

il existe un entier

N

tel que

∣ x_{n} - L ∣ ⩽ ε

pour tout

n ⩾ N

. Ceci signifie que

x_{n} \to L

□

Exemple 3.15.

Considérons la suite

(x_{n})_{n ⩾ 1}

, définie par

x_{n} = \frac{2 + cos ( 19 n ^{2} + n ^{7} )}{n} .

La partie contenant

cos (\dots)

étant compliquée, on peut utiliser le fait qu’elle est bornée:

- 1 ⩽ cos (\dots) ⩽ + 1

, ce qui permet d’écrire

= a_{n} \frac{1}{n} = \frac{2 - 1}{n} ⩽ x_{n} ⩽ \frac{2 + 1}{n} = = b_{n} \frac{3}{n}

Mais, puisque

lim_{n \to \infty} a_{n} = lim_{n \to \infty} \frac{1}{n} = 0

lim_{n \to \infty} b_{n} = 3 lim_{n \to \infty} \frac{1}{n} = 0

, le théorème des deux gendarmes garantit que

lim_{n \to \infty} x_{n} = 0

Informel 3.5.Une bonne utilisation du théorème, pour montrer qu’une suite

(x_{n})

converge et trouver sa limite, nécessite de trouver deux “gendarmes”

(a_{n})

(b_{n})

qui non seulement encadrent

(x_{n})

, mais qui possèdent en plus la même limite! Dans des situations simples, comme dans l’exemple précédent, on obtient souvent des gendarmes efficaces en majorant/minorant certaines parties de

x_{n}

qui ne sont pas essentielles dans le comportement pour des indices

n

grands. Mais parfois, trouver des gendarmes qui ont la même limite peut s’avérer plus difficile!

Exemple 3.16.

Considérons la suite

(x_{n})_{n ⩾ 1}

, définie par

x_{n} = \frac{2 ^{n}}{n !}, n ⩾ 1 .

Comme le numérateur est un produit de

n

fois le même nombre “

2

”, alors que le dénominateur est un produit de

n

nombres dont presque tous sont plus grands que $2$ , le dénominateur doit croître beaucoup plus vite que le numérateur. Ceci suggère que

x_{n} \to 0

, ce que l’on va essayer de montrer à l’aide du théorème des deux gendarmes.
Comme

x_{n} ⩾ 0

, il suffit de trouver une suite

b_{n}

telle que

$0 ⩽ x_{n} ⩽ b_{n}$ , et
$b_{n} \to 0$ .

Or si on écrit explicitement, pour tout

n ⩾ 3

x_{n} = \frac{2 \cdot 2 \cdot 2 \dots 2}{n ( n - 1 ) ( n - 2 ) \dots 3 \cdot 2 \dots 1} = \frac{2}{n} \cdot ⩽ 1 \frac{2}{n - 1} \cdot ⩽ 1 \frac{2}{n - 2} \dots ⩽ 1 \frac{2}{3} \cdot = 1 \frac{2}{2} \cdot \frac{2}{1} ⩽ \frac{4}{n} =: b_{n} .

Puisque

b_{n} \to 0

, ceci implique bien que

x_{n} \to 0

Voyons ensuite une conséquence très utile du théorème des deux gendarmes:

Corollaire 3.1.

(x_{n})

est bornée et si

y_{n} \to 0

, alors

x_{n} y_{n} \to 0

Quiz 3.4.1.Vrai ou faux?

a_{n} ⩽ x_{n} ⩽ b_{n}

pour tout

n

suffisamment grand, et si

x_{n}

ne converge pas, alors

a_{n}

b_{n}

ne convergent pas non plus.Si

a_{n} < x_{n} < b_{n}

pour tout

n

suffisamment grand, et si

a_{n} \to L

b_{n} \to L

, alors

x_{n} \to L

.Si

a_{n} ⩽ x_{n} ⩽ b_{n}

pour tout

n

suffisamment grand, et si

∣ a_{n} - b_{n} ∣ \to 0

, alors

x_{n}

converge.Si il existe

N_{1}

tel que

x_{n} ⩾ a_{n}

pour tout

n ⩾ N_{1}

et s’il existe

N_{2}

tel que

x_{n} ⩽ b_{n}

pour tout

n ⩾ N_{2}

, et si

a_{n}

b_{n}

convergent vers la même limite, alors

x_{n}

est convergente.Si

a_{n} ⩽ x_{n} ⩽ b_{n}

pour tout

n

suffisamment grand, et si

lim_{n \to \infty} a_{n} \neq = lim_{n \to \infty} b_{n}

, alors

x_{n}

n’a pas de limite.Si

∣ x_{n} ∣ ⩽ n

et si

y_{n} \to 0

, alors

x_{n} y_{n} \to 0

.Si

e^{x_{n}}

est bornée et si

y_{n} \to 0

, alors

x_{n} y_{n} \to 0

Analyse I / GM

3.4 Le Théorème des deux gendarmes