V.

Théorèmes de comparaison

f , g et h désignent des fonctions numériques.

l et l’ sont 2 réels et a est soit un réel, soit +∞, soit -∞.

1) Compatibilité avec l’ordre

Propriété :
Soit et g, 2 fonctions telles que lim ⟶ = et
lim ⟶ = ′
Si et g sont rangées dans un certain ordre, alors leurs limites l et
l’ sont rangées dans le même ordre.

2) Théorème des « Gendarmes »

Théorème des « Gendarmes » :

Si une fonction est encadrée par 2 fonctions g et h ayant la
même limite l en a, alors a pour limite l en a.

c’est-à-dire : Si g≤ ≤ h avec lim ⟶ = lim ⟶ ℎ =

alors lim ⟶ =

Démonstration en +∞ : Soit J, un intervalle contenant l.

Il faut montrer que J contient tous les réels
pour assez grand.
Par hypothèse, lim ⟶ = . Donc J contient tous les réels g( )
pour assez grand c’est-à-dire supérieur à un certain réel que nous
noterons B1.
De même, lim ⟶ ℎ = . Donc J contient tous les réels h( ) pour
assez grand c’est-à-dire supérieur à un certain réel que nous noterons
B2 .
Appelons B, le plus grand des réels B1 et B2 .
Ainsi J contient tous les réels g( ) et h( ) pour supérieur à B.
Or pour tout , g( ) ≤ ≤ h( ).
Donc J contient aussi le réel .
Par définition, lim ⟶ =

Exemple : Soit , la fonction définie sur ]0 ; +∞[ par = sin .

 3) Théorème de comparaison

Théorème : Si ≤ g et lim ⟶ = + ∞, alors

lim =+∞
⟶
Si ≥ g et lim ⟶ = − ∞, alors
lim =−∞
⟶

Démonstration du 1er cas pour a = + ∞ : Soit A, un réel quelconque.

Comme lim ⟶ = + ∞, alors il existe un réel assez grand
appartenant à ℝ tel que : quel que soit > alors > .
Or ≤ pour tout > .
Donc ≤ ≤
Or si tout intervalle ouvert ]A ; +∞[ ( A∈ ℝ) contient toutes les valeurs de
dès que est assez grand, alors on dit que g tend vers +∞
lorsque tend vers +∞ soit lim ⟶ = + ∞.

4) Conséquences

!"
Propriété : lim ⟶ = +∞

Démonstration : Soit , la fonction définie sur [0 ; + ∞[ par

²
= # − .
%
est dérivable sur [0 ; +∞[ comme somme de fonctions dérivables et
&
= # −
’ est dérivable sur [0 ; +∞[ comme somme de fonctions dérivables et
&&
= # − 1
&&
Or pour tout ≥ 0, # ≥ 1 donc ≥ 0 sur [0 ; +∞[.
Donc ′ est croissante sur [0 ; + ∞[.
Or ′ (0) = 1 donc & ≥ 1 > 0 sur [0 ; +∞[.
Donc est croissante sur [0 ; +∞[.
Or (0) = 1 donc ≥ 1 > 0 sur [0 ; +∞[.
²
Ainsi pour tout ≥ 0, # > .
%
x
e x
Donc pour tout > 0, .>
x 2
Comme lim ⟶ = + ∞, d’après le théorème de comparaison,
%
#
lim = +∞
⟶
 !"
Plus généralement, lim ⟶ *
= + ∞ pour tout n ∈ ℕ

Propriété : lim ⟶ #+ =0

Démonstration : #+ =
!"
= ,"
"
!"
Or lim ⟶ = + ∞ donc lim ⟶ #+ =0

Propriété : lim ⟶+ # =0

Démonstration : Posons X = -
Alors # = -X e- X
X
=- X.
e
Or lim ⟶+ - = + ∞
.
Donc lim ⟶+ # = lim.⟶ −
!/
= lim.⟶ − ,/
/
!"
Comme lim ⟶ = + ∞, lim ⟶+ # =0

0
Plus généralement, lim ⟶+ # = 0 pour tout n ∈ ℕ
1
Exemple : lim ⟶+ + 5 +1 # =