1 Suite de Cauchy

Définition 1. Une suite réelle (un ) est dite de Cauchy si elle vérifie :

∀ε > 0, ∃ N ∈ N tel que ∀n ∈ N, ∀m ∈ N avec n ≥ N et m ≥ N on ait |un − um | < ε.

En d’autres termes, une suite est de Cauchy si plus les indices sont grands, plus les éléments
se rapprochent entre eux.

Propriétés :
1. Toute suite de Cauchy est bornée.
2. Toute suite de Cauchy admet une sous-suite convergente (car elle est bornée).

Théorème 1. Une suite de nombres réels est convergente si et seulement si elle est de
cauchy. Autrement dit, toute suite de Cauchy est convergente.

Preuve :
=⇒) Soit (un ) une suite convergente vers ` ∈ R, alors
ε
∀ε > 0, ∃N ∈ N, ∀n ≥ N : |un − `| < .
2
ε ε
Si n > N et m > N : |un − um | = |un − ` + ` − um | ≤ |un − `| + |um − `| < 2
+ 2
= ε. On
a alors |un − um | < ε, d’où (un ) est de Cauchy.

⇐=) Supposons que (un ) est de Cauchy, alors elle admet une sous-suite (uϕ(n) ) conver-
gente vers ` ∈ R. Montrons que la suite (un ) converge aussi vers `. On a

|un −`| = |un −uϕ(n) +uϕ(n) −`| ≤ |un −uϕ(n) |+|uϕ(n) −`| < ε+ε, car on a ϕ(n) ≥ n ≥ N
et (un ) est de Cauchy, donc |un − uϕ(n) | < ε et aussi (uϕ(n) ) converge, alors |uϕ(n) − `| < ε.

On obtient alors |un − `| < 2ε d’où (un ) converge vers `.

Remarque : Le théorème ci-dessus s’appelle critère de Cauchy, son intérêt est que :
pour montrer qu’une suite converge il suffit de montrer qu’elle est de Cauchy (sans calculer
sa limite).

Propriété : Toute suite monotone bornée est de Cauchy.

Opérations sur les suites de Cauchy :

• La somme de deux suites de Cauchy est aussi une suite de Cauchy.

• Le produit de deux suites de Cauchy est aussi une suite de Cauchy.

1
 Exercice : Soit x ∈ R, avec |x| < 1. Soit la suite (un )n≥1 telle que :
x2 x3 xn
un = x + + + ··· + .
2 3 n
Montrer que la suite (un )n≥1 converge.
Rappel utile pour la démonstration : on rappelle que lorsque a 6= 1 , on a la somme
n 2 N 1 − aN +1
de la suite géométrique a : 1 + a + a + · · · + a =
1−a
Solution : Soit m ∈ N∗ , avec n > m.

 
n k m k
X x X x
|un − um | =  −
 
k k

 
k=1 k=1
2 m m+1 n 2 m 
   
 x x x x x x
=  x + + ··· + + + ··· + − x+ + ··· + 
2 m m+1 n 2 m 
 m+1 m+2 n
|xm+1 | |xm+2 | |xn |

x x x
=  + + · · · +  ≤ + + ··· + .
m+1 m+2 n m+1 m+2 n
1 1 1
Comme ≤ 1, ≤ 1, · · · , ≤ 1 alors :
m+1 m+2 n
1 − |x|n−m
 
m+1 m+2 n m+1 2 n−m−1 m+1


|un −um | ≤ |x |+|x |+· · ·+|x | = |x| 1 + |x| + |x| · · · + |x| = |x| ,
1 − |x|

2 1 − |x|n−m
n−m−1
car :1+|x|+|x| · · ·+|x| = , (somme d’une suite géométrique avec a = |x|).
1 − |x|
|x|m+1
Puisque |x|n−m ≥ 0, alors 1 − |x|n−m ≤ 1 donc |un − um | ≤ .
1 − |x|
|x|m+1
On a :|x| < 1 =⇒ lim |x|m+1 = 0 =⇒ lim = 0 =⇒ ∃N ∈ N tel que ∀m ≥ N :
m→+∞ m→+∞ 1 − |x|
|x|m+1
< ε.
1 − |x|
Ainsi ∀m ≥ N : |un − um | < ε =⇒ (un ) est de Cauchy, alors (un ) converge.

Remarque : On a aussi une définition équivalente pour qu’une suite soit de cauchy,
elle est tès pratique dans les exercices, (il suffit de poser m = n + p, p ≥ 0), elle est donnée
comme suit :(un ) est dite de Cauchy si elle vérifie :

∀ε > 0, ∀n ∈ N, ∀p ∈ N, ∃ N ∈ N tel que ∀n ∈ N , (n ≥ N =⇒ |un+p − un | < ε).

Cheikh.M ; Harrache.F