Vous êtes sur la page 1sur 25

Suites de nombres rels Page 1 G. COSTANTINI http://bacamaths.

net/
SUITES DE NOMBRES RELS
SOMMAIRE
1. Convergence. Divergence. Gnralits 1
1.1. Dfinition 2
1.2. Proprit : unicit de la limite 3
1.3. Dfinition : suites de Cauchy 3
1.4. Proprit : (u
n
) converge (u
n
) de Cauchy (u
n
) borne. Exemple : divergence de la srie harmonique 3
1.5. Oprations algbriques sur les suites convergentes 4
1.6. Oprations algbriques sur les suites divergentes vers + 5
1.7. Thorme : suites et applications continues. Exemple : x acos
1
x
ne peut pas se prolonger par continuit en 0 6
1.8. Cas des suites rcurrentes 7
1.9. Thorme de Csaro 8
2. Quelques thormes de comparaison et d'encadrement 9
2.1. et 2.2. Thormes de compatibilit avec l'ordre 9
2.3. Cas des suites divergentes vers + ou -. Exemple : divergence vers + de la srie harmonique 10
2.4. Thorme des "gendarmes". Exercice :
1
0
k
n
n
C
k =
2 10
2.5. Thorme de la limite monotone 11
2.5.1. Application : constante d'Euler 12
2.5.2. Une suite monotone est soit convergente soit divergente (vers + ou -) 12
2.6. Suites adjacentes 13
2.6.1. Application 1 : nombre e 14
2.6.2. Application 2 : moyenne arithmtico-gomtrique 15
2.7. Thorme des segments embots 16
3. Suites extraites. Valeur d'adhrence. Thorme de Bolzano-Weierstrass 16
3.1. Dfinition : suite extraite et valeur d'adhrence 16
3.2. Thorme : lien entre la limite d'une suite et celle de ses extraites. Exercice : divergence de (cos n) 17
3.3. Proprit : suite extraite des termes pairs et suite extraite des termes impairs 18
3.4. Thorme de Bolzano-Weierstrass 19
3.4.1. est complet 20
3.4.2. Thorme de Heine 21
3.4.3. Thorme : une suite borne n'admettant qu'une seule valeur d'adhrence converge 22
4. Quelques applications 23
4.1. Thorme : fonction continue sur un segment 23
4.2. Thorme spcial certaines sries alternes 24
SOMMAIRE
Suites de nombres rels Page 2 G. COSTANTINI http://bacamaths.net/
1. Convergence. Divergence. Gnralits
1.1. Dfinition
On dit qu'une suite (u
n
) converge vers un rel l si :
"e
+
*
, $N !, "n !, (n " N |u
n
- l| # e)
Si un tel rel l n'existe pas, on dit que (u
n
) diverge.
On dit qu'une suite (u
n
) diverge vers + si :
"A
+
*
, $N !, "n !, (n " N u
n
" A)
On dit qu'une suite (u
n
) diverge vers - si (-u
n
) diverge vers +, autrement dit :
"B
+
*
, $N !, "n !, (n " N u
n
# B)
Exemples de manipulation directe de cette dfinition :
1. Dmontrer que la suite (u
n
) dfinie par u
n
= (-1)
n
diverge.
Supposons au contraire qu'elle converge vers un certain rel l :
"e
+
*
, $N !, "n !, (n " N |(-1)
n
- l| # e)
Avec e =
1
2
, cela donne :
$N !, "n !, (n " N l -
1
2
# (-1)
n
# l +
1
2
)
Pour un entier n pair tel que n " N, on a : l -
1
2
# 1 # l +
1
2
Donc : l [
1
2
,
3
2
]
Pour un entier n impair tel que n " N : l -
1
2
# -1 # l +
1
2
Donc : l [-
3
2
, -
1
2
]
Absurde, donc (u
n
) diverge.
On verra plus loin une autre dmonstration l'aide des suites extraites.
2. Dmontrer que la suite (v
n
) dfinie par v
n
=
( 1)
n
n
-
converge.
Le calcul des premiers termes de (v
n
) nous amne la conjecture : (v
n
) converge vers le rel 0. Montrons-le.
Fixons e
+
*
.
On cherche prouver l'existence d'un entier N tel que :
"n !, (n " N |v
n
| # e)
C'est--dire : "n !, (n " N 1 # ne)
"n !, (n " N n "
1
e
)
Avec les quantificateurs, la divergence s'crit :
"l , $e
*
+
, "N !, $n !, (n " N et |un - l| > e)
B = -A
Suites de nombres rels Page 3 G. COSTANTINI http://bacamaths.net/
On constate qu'il suffit de choisir : N = E
1


e
+ 1 "
1
e
Donc (v
n
) converge vers 0.
1.2. Proprit Unicit de la limite
Si (u
n
) converge alors sa limite l est unique
Dmonstration :
Soit e
+
*
. Supposons :
(u
n
) converge vers l
1
: $N
1
!, "n !, (n " N
1
|u
n
- l
1
| # e)
(u
n
) converge vers l
2
: $N
2
!, "n !, (n " N
2
|u
n
- l
2
| # e)
Posons N = max(N
1
; N
2
). Alors :
"n !, (n " N |l
1
- l
2
| # |l
1
- u
n
| + |u
n
- l
2
| # 2e)
En faisant tendre e vers 0, on obtient : l
1
= l
2
Notation :
la convergence de (u
n
) vers l se note : lim
n+
u
n
= l ou u
n

n

l
la divergence de (u
n
) vers + se note : lim
n+
u
n
= + ou u
n

n

+
1.3. Dfinition Suites de Cauchy
On dit qu'une suite (u
n
) est de Cauchy si :
"e
+
*
, $N !, "(p, q) !
2
, (p > q " N |u
p
- u
q
| # e)
Remarque : par ngation, (u
n
) n'est pas de Cauchy lorsque :
$e
+
*
, "N !, $(p, q) !
2
, (p > q " N et |u
p
- u
q
| > e)
1.4. Proprits
(u
n
) converge (u
n
) de Cauchy (u
n
) borne
Dmonstration :
Supposons que (u
n
) converge vers un rel l. Soit e
+
*
. On a :
$N !, "n !, (n " N |u
n
- l| # e)
Soient maintenant des entiers p et q tels que : p > q " N
D'aprs l'ingalit triangulaire, on a :
|u
p
- u
q
| # |u
p
- l| + |u
q
- l| # 2e
Ce qui prouve que la suite (u
n
) est de Cauchy.
(On verra, plus loin que, pour les suites relles, la rciproque est vraie)
Suites de nombres rels Page 4 G. COSTANTINI http://bacamaths.net/
Comme (u
n
) est de Cauchy, on a avec e = 1 et q = N :
$N
1
!, "p !, (p " N
1
|u
p
- u
N
| # 1)
C'est--dire : p " N
1
u
N
- 1 # u
p
# u
N
+ 1
Posons : M = max{|u
0
| ; ... ; |u
N-1
| , |u
N
+ 1|}
Ainsi : "n !, |u
n
| # M
Donc (u
n
) est borne.
Exemple :
Montrer la divergence de la suite (u
n
) dfinie pour n !
*
par :
u
n
=
1
1
n
k
k
=

(Srie harmonique)
Pour tout N !
*
, on a :
u
2N
- u
N
=
2
1
1
N
k
k
=

-
1
1
N
k
k
=

=
1
1 N +
+ ... +
1
2N
> N
1
2N
=
1
2
Donc, il existe un e ( savoir
1
2
) tel que pour tout entier N !
*
, il existe un couple (p, q) !
2
( savoir q = N
et p = 2N) vrifiant p > q " N et |u
p
- u
q
| > e.
Ce qui prouve que la suite (u
n
) n'est pas de Cauchy.
D'aprs la contrapose de 1.4., on en dduit que (u
n
) ne converge pas, donc (u
n
) diverge.
On verra plus loin que (u
n
) diverge vers +.
1.5. Oprations algbriques sur les suites convergentes
a) (u
n
) converge vers l
1
et (v
n
) converge vers l
2
(u
n
+ v
n
) converge vers l
1
+ l
2
.
b) (u
n
) borne et (v
n
) converge vers 0 (u
n
v
n
) converge vers 0.
c) (u
n
) converge vers l
1
et (v
n
) converge vers l
2
(u
n
v
n
) converge vers l
1
l
2
.
d) (u
n
) converge vers l
*

1
n
u



converge vers
1
l
.
Dmonstration :
a) Soit e
+
*
.
$N
1
!, "n !, (n " N
1
|u
n
- l
1
| # e)
$N
2
!, "n !, (n " N
2
|v
n
- l
2
| # e)
Posons N = max(N
1
; N
2
). On a alors :
n " N |(u
n
+ v
n
) - (l
1
+ l
2
)| # |u
n
- l
1
| + |v
n
- l
2
| # 2e
Ce qui prouve que (u
n
+ v
n
) converge vers l
1
+ l
2
.
b) Comme (u
n
) est borne :
Suites de nombres rels Page 5 G. COSTANTINI http://bacamaths.net/

$M
+
*
, "n !, |u
n
| # M
Soit e
+
*
. Comme (v
n
) converge vers 0 :
$N !, "n !, (n " N |v
n
| #
M
e
)
Donc : n " N |u
n
v
n
| # e
Ce qui prouve que la suite (u
n
v
n
) converge vers 0.
c) On crit : u
n
v
n
- l
1
l
2
= (u
n
- l
1
)v
n
+ l
1
(v
n
- l
2
)
On a :
u
n
- l
1

n

0
(v
n
) borne (car convergente)
D'aprs b), on dduit (u
n
- l
1
)v
n

n

0
De mme, on montre que l
1
(v
n
- l
2
)
n

0
Et d'aprs a), on dduit u
n
v
n
- l
1
l
2

n

0 d'o c).
d) Quitte changer u
n
en son oppos, on peut supposer l > 0.
Comme (u
n
) converge vers l :
"e
+
*
, $N !, "n !, (n " N |u
n
- l| # e)
En particulier avec e =
2
l
, on obtient :
$N
1
!, "n !, (n " N
1
0 <
2
l
# u
n
)
Soit e
+
*
. Toujours, comme (u
n
) converge vers l :
$N
2
!, "n !, (n " N
2
|u
n
- l| # e)
Pour n " max(N
1
; N
2
) on a alors :
1 1
n
u
-
l
=
n
n
u
u
- l
l
#
2
2e
l
Ce qui prouve que
1
n
u



converge vers
1
l
.
1.6. Oprations algbriques sur les suites divergentes vers +
a) (u
n
) diverge vers +
1
n
u



converge vers 0.
b) (u
n
) converge vers 0 et (u
n
) strictement positive
1
n
u



diverge vers +.
c) (u
n
) converge vers l > 0 et (v
n
) diverge vers + (u
n
v
n
) diverge vers +.
Suites de nombres rels Page 6 G. COSTANTINI http://bacamaths.net/
Dmonstration :
a) (u
n
) diverge vers + : "A
+
*
, $N !, "n !, (n " N u
n
" A)
Soit e
+
*
. Pour A =
1
e
, on obtient :
$N !, "n !, (n " N u
n
"
1
e
)
Par dcroissance de la fonction inverse sur
+
*
:
$N !, "n !, (n " N
1
n
u
# e)
Donc
1
n
u



converge vers 0.
b) Fixons A
+
*
. Comme (u
n
) converge vers 0, on a avec e =
1
A
:
$N !, "n !, (n " N u
n
#
1
A
)
$N !, "n !, (n " N
1
n
u
" A)
Donc
1
n
u



diverge vers +.
c) Comme (u
n
) converge vers l > 0, on obtient avec e =
2
l
:
$N !, "n !, (n " N 0 <
2
l
# u
n
)
Comme (v
n
) diverge vers + :
"A
+
*
, $N' !, "n !, (n " N' v
n
"
2A
l
)
Pour tout n " max(N, N'), on a alors : u
n
v
n
" A
Ce qui prouve bien que (u
n
v
n
) diverge vers +.
1.7. Thorme Suites et applications continues
Soit X une partie non vide de .
Soit (u
n
) une suite d'lments de X convergeant vers un rel l X.
Soit une application continue en l et valeurs dans .
La suite ((u
n
)) converge vers (l).
Dmonstration :
Soit e
+
*
. Alors, comme est continue en l, on a:
$h
+
*
tel que : (|x - l| < h |(x) - (l)| < e)
Mais la suite (u
n
) converge vers l. Donc pour ce rel h ci-dessus, on peut trouver N ! tel que :
n " N |u
n
- l| < h
Suites de nombres rels Page 7 G. COSTANTINI http://bacamaths.net/
On a donc, par transitivit des implications :
n " N |(u
n
) - (l)| < e
Ceci prouve que la suite ((u
n
)) converge vers (l).
Dans la pratique, on utilise souvent la version contrapose de 1.7, en ce sens : si (u
n
) et (v
n
) convergent vers l et
si les suites ((u
n
)) et (((v
n
)) convergent vers des limites diffrentes, alors n'est pas continue en l.
Exemple :
Soit l [-1, 1].
Soit : :
x a
1
cos si
si 0
x
x
x
*

l =


Alors n'est pas continue en 0.
En effet, supposons le contraire.
Considrons la suite (u
n
) dfinie pour n !
*
par : u
n
=
1
2 n p
Comme on a suppos continue en 0, le thorme 1.6. permet d'affirmer qu'alors :
(u
n
)
n

(0)
Or : "n !
*
, (u
n
) = 1 et (0) = l
Donc : l = 1
Mais, considrons maintenant la suite (v
n
) dfinie pour n !
*
par :
v
n
=
2
1
2 n
p
+ p
Le mme raisonnement que ci-dessus montre que : l = 0
D'o une contradiction.
Donc n'est pas continue en 0.
1.8. Consquence du thorme 1.7.
Soit X une partie non vide de .
Soit continue sur X telle que (X) X.
Soit (u
n
) la suite dfinie par :
0
1
( ),
n n
u X
u u n
+

= "


Si (u
n
) converge vers l alors (l) = l
Dmonstration :
Immdiat en passant la limite dans l'galit : u
n+1
= (u
n
)
Suites de nombres rels Page 8 G. COSTANTINI http://bacamaths.net/
1.9. Exercice : thorme de CSARO
Soit (u
n
) une suite convergeant vers un rel l.
Alors la suite (v
n
) dfinie, pour n !
*
, par : v
n
=
1
n
1
n
k
k
u
=

converge galement vers l.


(On dit que (u
n
) converge en moyenne vers l ou converge au sens de Csaro)
Dmonstration :
Fixons e
+
*
.
Comme (u
n
) converge vers l :
$N !, "k !, (k " N |u
k
- l| # e)
Pour n > N, on a :
v
n
- l =
1
n
1
( )
n
k
k
u
=
-

l
|v
n
- l| #
1
n
1
| |
n
k
k
u
=
-

l #
1
n
1
| |
N
k
k
u
=
-

l +
1
n
1
| |
n
k
k N
u
= +
-

l
Posons A
n
=
1
n
1
| |
N
k
k
u
=
-

l .
Il est clair A
n

n

0 donc : $N' !
*
, "n !, (n " N' |A
n
| # e)
Pour n > max(N, N'), on a alors :
|v
n
- l| # A
n
+
1
n
1
| |
n
k
k N
u
= +
-

l # e +
n N
n
-
e # 2e
Ce qui prouve bien que (v
n
) converge vers l.
Complments sur le thorme de CSARO :
1. Une suite qui converge en moyenne ne converge pas ncessairement. Autrement dit, la rciproque du
thorme de Csaro est fausse. Voici un contre-exemple :
u
n
= (-1)
n
On vu que (u
n
) diverge tandis que (v
n
) dfinie par v
n
=
( 1)
n
n
-
converge vers 0.
2. Le thorme de Csaro admet un prolongement pour les suites divergentes vers + :
Soit (u
n
) une suite divergeant vers +.
Alors la suite (v
n
) dfinie, pour n !
*
, par : v
n
=
1
n
1
n
k
k
u
=

diverge galement vers +.


Dmonstration :
Autrement dit, le thorme de Csaro
affirme que la convergence entrane la
convergence en moyenne.
Suites de nombres rels Page 9 G. COSTANTINI http://bacamaths.net/
Fixons A
+
*
.
Par hypothse : $N
0
!, "n !, (n " N
0
u
n
" 3A)
Pour n > N
0
, on a :
v
n
=
1
n
0
1
N
k
k
u
=

+
1
n
0
1
n
k
k N
u
= +

"
1
n
0
1
N
k
k
u
=

+ 3
0
n N
n
-
A
Posons A
n
=
1
n
0
1
N
k
k
u
=

, ainsi : v
n
" A
n
+ 3A - 3
0
N
n
A
Il est clair A
n

n

0, donc : $N
1
!
*
, "n !, (n " N
1
-A # A
n
# A)
De mme, -3
0
N
n
A
n

0, donc :
$N
2
!
*
, "n !, (n " N
2
-A # -3
0
N
n
A # A)
Si bien que pour n " max(N
0
, N
1
, N
2
), on a :
v
n
" -A + 3A - A
v
n
" A
Ce qui prouve bien que (v
n
) diverge vers +.
Dans cette version encore, la rciproque du thorme de Csaro est fausse. (Voir 3.3.)
2. Quelques thormes de comparaison et d'encadrement
2.1. Thorme compatibilit avec l'ordre
Si (u
n
) converge et : "n !, u
n
> 0 (resp. " 0)
Alors : lim
n
u
n
" 0
Les ingalits deviennent toutes larges lorsqu'on passe la limite
Dmonstration :
Notons l = lim
n
u
n
et supposons l < 0.
Pour e = -
2
l
(noter qu'on a bien e
+
*
), la convergence de (u
n
) s'crit :
$N !, "n !, (n " N u
n
#
2
l
< 0)
Ce qui contredit l'hypothse de positivit. Donc l " 0.
2.2.Consquence
Si (u
n
) et (v
n
) convergent et : "n !, u
n
< v
n
(resp. u
n
# v
n
)
Alors : lim
n+
u
n
# lim
n+
v
n
Suites de nombres rels Page 10 G. COSTANTINI http://bacamaths.net/
Dmonstration :
On applique 2.1. la suite (v
n
- u
n
).
2.3. Thorme
Soient (u
n
) et (v
n
) deux suites telles que : "n !, u
n
# v
n
Si (u
n
) diverge vers + alors (v
n
) diverge vers +.
Si (v
n
) diverge vers - alors (u
n
) diverge vers -
Dmonstration :
Fixons A
+
*
. Comme (u
n
) diverge vers + :
$N !, "n !, (n " N u
n
" A)
Et comme v
n
" u
n
:
$N !, "n !, (n " N v
n
" A)
Donc (v
n
) diverge vers +.
Idem pour le second nonc.
Exemple :
Prouver que la srie harmonique diverge vers +.
D'aprs la dcroissance de l'application t a
1
t
sur ]0 ; +[ on a immdiatement :
"n !
*
,
1
1
+ n
#

+1
d
1
n
n
x
x
#
1
n
(Illustrer)
En sommant, pour n allant de 1 N : 0 # ln(N + 1) #

=
N
n
n
1
1
D'o la divergence vers + de la srie harmonique.
2.4. Thorme d'encadrement ou des "gendarmes"
Soient (u
n
), (v
n
) et (w
n
) trois suites telles que :
$N
0
!, "n !, (n " N
0
u
n
# v
n
# w
n
)
(u
n
) et (w
n
) convergent vers le mme rel l.
Alors (v
n
) converge vers l.
Dmonstration :
Soit e
+
*
. Par hypothse : $N
1
!, "n !, (n " N
1
|u
n
- l| # e)
$N
2
!, "n !, (n " N
2
|w
n
- l| # e)
Pour n " max(N
0
, N
1
, N
2
), on a : l - e # u
n
# v
n
# w
n
# l + e
Donc (v
n
) converge vers l.
Suites de nombres rels Page 11 G. COSTANTINI http://bacamaths.net/
Exercice :
Soit (u
n
) la suite dfinie par : u
n
=
0
1
n
k
n k
C
=

Dmontrer que (u
n
) converge vers 2.
Pour n " 5, on a :
u
n
=
0
1
n
C
+
1
1
n
C
+
2
2
1
n
k
n k
C
-
=

+
1
1
n
n
C
-
+
1
n
n
C
= 2
1
1
n

+


+
2
2
1
n
k
n k
C
-
=

Or, pour tout k 2, n - 2! :


k
n
C "
2
n
C "
( 1)
2
n n -
Donc : 0 #
2
2
1
n
k
n k
C
-
=

#
2( 3)
( 1)
n
n n
-
-
D'aprs le thorme des gendarmes, on dduit :
2
2
1
n
k
n k
C
-
=
n

0
D'o : u
n

n

2
2.5 Thorme limite "monotone"
Toute suite croissante et majore converge
Toute suite dcroissante et minore converge
Dmonstration :
Soit (u
n
) une suite croissante et majore.
On considre l'ensemble : {u
n
, n !}
Cet ensemble tant non vide et major, il admet une borne suprieure l :
"e
+
*
, $N !, l - e < u
N
# l
Mais comme (u
n
) est croissante : "n !, (n " N l - e < u
n
# l)
D'o : "n !, (n " N |u
n
- l| # e)
Donc (u
n
) converge vers l.
Mme raisonnement pour les suites minores et dcroissantes.
Suites de nombres rels Page 12 G. COSTANTINI http://bacamaths.net/
2.5.1. Application : constante d'Euler
On considre la suite u = (u
n
) dfinie pour n !
*
, par :
u
n
=
1
1
n
k
k
=

- ln n
Nous allons montrer, l'aide du thorme 2.5. que cette suite converge.
On montre que u est dcroissante :
Pour tout entier n " 2, on a : u
n
- u
n-1
=
1
n
+ ln
1
1
n

-


Et, tenant compte de l'ingalit : "X ]-1, +[, ln(1 + X) # X
On obtient avec X = -
1
n
]-1, 0[ : u
n
- u
n-1
# 0
Ce qui prouve la dcroissance de la suite u.
On montre que u est positive (i.e. minore par 0) :
Par dcroissance de l'application t a
1
t
sur ]0, +[, on a :
"k 1, n!,
1
1
d
k
k
t
t
+

#
1
k
En sommant pour k allant de 1 n - 1 :
1
1
d
n
t
t

#
1
1
1
n
k
k
-
=

#
1
1
n
k
k
=

D'o : "n !
*
, u
n
" 0
Bilan : la suite u est dcroissante et minore (par 0) donc converge.
Sa limite, note g, s'appelle la constante d'Euler.
2.5.2. Consquence du thorme de la limite monotone
(u
n
) croissante ((u
n
) converge ou (u
n
) diverge vers +)
Dmonstration :
Soit (u
n
) une suite croissante.
Si (u
n
) est majore, alors elle converge, d'aprs 2.5.
Si (u
n
) n'est pas majore : "M
+
*
, $N !, u
N
> M
Et comme (u
n
) est croissante : "n !, (n " N u
n
" u
N
" M)
Ce qui prouve bien que (u
n
) diverge vers +.
On montre de mme que :
(u
n
) dcroissante ((u
n
) converge ou (u
n
) diverge vers -)
Suites de nombres rels Page 13 G. COSTANTINI http://bacamaths.net/
Application : hypothse supplmentaire pour obtenir la rciproque du thorme de Csaro
Soit (u
n
) une suite monotone.
Soit (v
n
) la suite dfinie pour n !
*
par : v
n
=
1
n
1
n
k
k
u
=

On suppose que (v
n
) tend vers l .
Alors (u
n
) tend aussi vers l.
Dmonstration :
Comme (u
n
) est monotone, elle converge ou diverge (vers + ou -). Mais alors, d'aprs le thorme direct de
Csaro, (v
n
) aura le mme comportement. Donc (u
n
) se comporte bien comme (v
n
).
2.6. Dfinition Suites adjacentes
Lorsque
( ) est croissante
( ) est dcroissante
0
n
n
n n
n
u
v
v u

, on dit que les suite (u


n
) et (v
n
) sont adjacentes
Remarque : la condition "n !, u
n
# v
n
est inutile dans les hypothses. Elle dcoule des trois autres.
2.6. Thorme Suites adjacentes
Si (u
n
) et (v
n
) sont adjacentes, alors (u
n
) et (v
n
) convergent vers la mme limite l.
De plus : "n !, u
n
# u
n+1
# l # v
n+1
# v
n
Dmonstration :
Montrons, tout d'abord : "n !, u
n
# v
n
Posons, pour tout n ! : w
n
= v
n
- u
n
On a : "n !, w
n+1
- w
n
= (v
n+1
- v
n
) - (u
n+1
- u
n
)
Et d'aprs le sens de variation des suites (u
n
) et (v
n
) :
"n !, w
n+1
- w
n
# 0
Donc (w
n
) est dcroissante.
Donc : "n !, "m ! tel que m " n on a : w
n
" w
m
Et par passage la limite lorsque m tend vers +, on obtient :
"n !, w
n
" 0
C'est--dire : "n !, u
n
# v
n
On en dduit encore : "n !, u
0
# u
n
# v
n
# v
0
On prouve maintenant la convergence des suites (u
n
) et (v
n
) grce au thorme de la limite monotone :
Comme, (u
n
) est croissante et majore par v
0
, elle converge vers un certain rel l.
Comme, (v
n
) est dcroissante et minore par u
0
, elle converge vers un certain rel l'.
En crivant enfin : u
n
= v
n
+ (u
n
- v
n
)
Un passage la limite donne : l = l' + 0
l = l'
Ci-contre, on dmontre (et on utilise)
qu'une suite dcroissante et convergeant
vers 0 est ncessairement positive.
Suites de nombres rels Page 14 G. COSTANTINI http://bacamaths.net/
Enfin, on a ncessairement : "n !, u
n
# l
En effet, supposons le contraire : $n
0
! tel que l <
0
n
u
Posons l' =
0
2
n
u + l
. (l' est la moyenne de
0
n
u et de l et comme l <
0
n
u , on a : l < l' <
0
n
u ).
Comme (u
n
) est croissante, on a : "n " n
0
, l' < u
n
Et par passage la limite : l' # l
Ce qui contredit l < l'... Donc on a bien : u
n
# l
On dmontre, de mme, que : l # v
n
D'o : "n !, u
n
# u
n+1
# l # v
n+1
# v
n
Remarque : si (u
n
) et (v
n
) sont strictement monotones, on a :
"n !, u
n
< u
n+1
< l < v
n+1
< v
n
2.6.1. Application 1 : le nombre e
1. Montrer que les suites (x
n
) et (y
n
) dfinies par x
n
=
1
0!
+
1
1!
+
1
2!
+ ... +
1
n!
et y
n
= x
n
+
1
nn!
sont adjacentes.
2. Dterminer sept dcimales de leur limite e.
3. Dmontrer que e est un nombre irrationnel.
Solution :
1. La suite (x
n
) est bien sr strictement croissante.
Montrons que (y
n
) est strictement dcroissante en calculant y
n+1
- y
n
:
y
n+1
- y
n
= x
n+1
+
1
1 1 ( )( ) n n + + !
- x
n
-
1
nn!
=
1
1 ( )! n +
+
1
1 1 ( )( ) n n + + !
-
1
nn!
=
2
( 1) ( 1)
( 1)( 1)!
n n n n
n n n
+ + - +
+ +
y
n+1
- y
n
=
1
( 1)( 1)! n n n
-
+ +
< 0
Donc (y
n
) est strictement dcroissante.
Enfin on a : y
n
- x
n
=
1
nn!
Donc : lim
n+
( y
n
- x
n
) = 0
Les suites (x
n
) et (y
n
) sont bien adjacentes donc admettent une limite commune (que l'on notera e)
2. On a donc, pour tout entier n : x
n
# e # y
n
Il suffit de dterminer un entier n tel que :
1
nn!
< 10
-7
n = 10 convient. Donc e x
10
10
-7
prs.
On obtient : e 2,7182818 ( 10
-7
prs)
3. Supposons e $. Alors, il existe des entiers p et q tels que e =
p
q
.
On aurait en particulier : x
q
<
p
q
< y
q
Rduisons au mme dnominateur la somme x
q
=
1
0!
+
1
1!
+
1
2!
+ ... +
1
q!
. On peut crire : x
q
=
a
q!
o a !.
Remarque : on peut galement poser yn = xn +
!
1
n
.
Les calculs sont plus simples mais la convergence
(vers e) plus lente.
Suites de nombres rels Page 15 G. COSTANTINI http://bacamaths.net/
D'o :
a
q!
<
p
q
<
a
q!
+
1
qq!
En multipliant par q! : a < p(q - 1)! < a +
1
q
< a + 1
L'entier p(q - 1)! serait compris strictement entre a et a + 1 qui sont des entiers conscutifs, ce qui est
absurde. Donc e \ $.
Remarque : ceci prouve au passage, que $ n'est pas complet (il existe des suites de rationnels qui convergent
vers des irrationnels)
2.6.2. Application 2 : moyenne arithmtico-gomtrique
Soient a et b deux rels tels que a > b > 0.
Soient (a
n
) et (b
n
) les suites dfinies par : a
0
= a ; b
0
= b
"n !, a
n+1
=
2
n n
a b +
et b
n+1
=
n n
a b
Alors (a
n
) et (b
n
) convergent vers une mme limite.
Solution :
Il suffit de montrer que (a
n
) et (b
n
) sont adjacentes.
"n !,
2 2
1 1 n n
a b
+ +
- =
2 2
2
4
n n n n
a a b b + +
- a
n
b
n
(a
n+1
- b
n+1
)(a
n+1
+ b
n+1
) =
2
2
n n
a b -



" 0 (1)
Et comme (a
n
) et (b
n
) sont positives (faire une rcurrence), il vient :
"n !, a
n+1
" b
n+1
Enfin, comme a
0
> b
0
: "n !, a
n
" b
n
Bien que ce rsultat ne soit pas une hypothse ncessaire du thorme des suites adjacentes, on l'utilise pour
prouver les suivants :
En effet, d'une part : "n !, a
n+1
#
2
n n
a b +
#
2
n n
a a +
# a
n
Donc la suite (a
n
) est dcroissante.
D'autre part : "n !, b
n+1
- b
n
=
n n
a b - b
n
=
n
b (
n
a -
n
b ) " 0
(par croissance de t a t sur
+
)
Donc la suite (b
n
) est croissante.
On considre maintenant la proprit dfinie pour n ! par :
(n) : |a
n
- b
n
| #
1
2
n
|a - b|
* On a bien sr (0).
* Montrons que pour tout n !, (n) (n + 1) :
Supposons (n) : |a
n
- b
n
| #
1
2
n
|a - b|
Utilisons la proprit : 0 # X # Y 0 # (Y - X)
2
# Y
2
- X
2
(Pour le dmontrer, il suffit de multiplier l'ingalit 0 # Y - X # Y + X par Y - X " 0)
Comme 0 # b
n
# a
n
, on a :
Suites de nombres rels Page 16 G. COSTANTINI http://bacamaths.net/
|a
n+1
- b
n+1
|
2
# |
2 2
1 1 n n
a b
+ +
- |
(1)
#
2
2
n n
a b -



( ) n
#
2
2 2
| |
2
n
a b
+
-
Et par croissance de t a t sur
+
: |a
n+1
- b
n+1
| #
1
1
2
n+
|a - b|
D'o (n + 1).
Du principe de raisonnement par rcurrence, on dduit :
"n !, (n) : |a
n
- b
n
| #
1
2
n
|a - b|
D'o, par comparaison : lim
n+
(a
n
- b
n
) = 0
On a donc prouv que les suites (a
n
) et (b
n
) sont adjacentes.
Elles convergent donc vers une mme limite (appele moyenne arithmtico-gomtrique de a et b. On ne
connat pas d'expression de cette limite mais elle est lie aux intgrales elliptiques de 2
me
espce...)
2.7. Corollaire Thorme des segments embots
Soient (a
n
) et (b
n
) deux suites telles que :
"n !, a
n
# b
n
"n !, [a
n+1
, b
n+1
] [a
n
, b
n
]
b
n
- a
n

n

0
Alors : $l , [ , ]
n n
n
a b

I
= {l}
Dmonstration :
Par hypothse, les suites (a
n
) et (b
n
) sont adjacentes, elles convergent donc vers un mme rel l tel que :
"n !, a
n
# l # b
n
Donc : l [ , ]
n n
n
a b

I
Soit x [ , ]
n n
n
a b

I
. Alors : "n !, a
n
# x # b
n
Et par passage la limite : l # x # l
Donc : x = l
3. Suites extraites. Valeur d'adhrence. Thorme de Bolzano-Weierstrass
3.1. Dfinition Suite extraite. Valeur d'adhrence
Soit (u
n
) une suite et s : ! ! une application strictement croissante.
La suite ( )
( ) n
u
s
s'appelle suite extraite de (u
n
).
Si la suite ( )
( ) n
u
s
converge vers l, on dit que l est une valeur d'adhrence de la suite (u
n
)
Remarque : comme s est strictement croissante, une simple rcurrence montre que :
"n !, s(n) " n
Une telle application s s'appelle une
extractrice.
Suites de nombres rels Page 17 G. COSTANTINI http://bacamaths.net/
3.2. Thorme
Si une suite (u
n
) tend vers l alors toute suite extraite tend vers l
Dmonstration :
Cas o l
Soit e
+
*
.
Comme (u
n
) converge vers l : $N !, "n !, (n " N |u
n
- l| # e)
Et comme s(n) " n : n " N s(n) " N |
( ) n
u
s
- l| # e
Ce qui prouve que la suite ( )
( ) n
u
s
converge vers l.
Cas o l = +
Soit A
+
*
.
Comme (u
n
) diverge vers + : $N !, "n !, (n " N u
n
" A)
Et comme s(n) " n : n " N s(n) " N
( ) n
u
s
" A
Ce qui prouve que la suite ( )
( ) n
u
s
diverge vers +.
Cas o l = -
Analogue au prcdent.
L'intrt du thorme 3.2 est sa contrapose :
S'il existe deux suites extraites de (u
n
) qui convergent vers des limites diffrentes, alors (u
n
) diverge.
On retrouve ainsi la divergence de la suite (u
n
) dfinie par u
n
= (-1)
n
.
En effet, pour tout p ! : u
2p
= 1 et u
2p+1
= -1
Les suites extraites (u
2p
) et (u
2p+1
) convergent vers des limites diffrentes, donc (u
n
) diverge.
Exercice : divergence de la suite (cos n).
Supposons que la suite (cos n) converge vers un certain rel l.
D'une part : cos(n + 2) + cos n = 2cos(n + 1)cos 1
Par passage la limite : 2l = 2lcos 1
Et comme cos 1 0 : l = 0
D'autre part : cos(2n) = 2cos
2
n - 1
Par passage la limite : l = 2l
2
- 1
Ce qui contredit l = 0.
Donc la suite (cos n) diverge.
On montre, par des techniques similaires la divergence de la suite (sin n)
Rappel :
cos A + cos B = 2cos
2
A B +
cos
2
A B -
Par "(un) tend vers l ", il faut entendre :
"(un) converge vers l ou (|un|) diverge vers +"
Suites de nombres rels Page 18 G. COSTANTINI http://bacamaths.net/
La rciproque du thorme 3.2. est vraie. Elle dcoule, par exemple, du rsultat suivant :
3.3. Proprit
(u
n
) tend vers l les deux suites extraites (u
2p
) et (u
2p+1
) tendent vers l.
Dmonstration :
Le sens est le thorme 3.2.
Montrons la rciproque.
Cas o l
Soit e
+
*
.
Comme (u
2p
) converge vers l : $N
1
!, "p !, (p " N
1
|u
2p
- l| # e)
Comme (u
2p+1
) converge vers l : $N
2
!, "p !, (p " N
2
|u
2p+1
- l| # e)
Posons N = max(2N
1
, 2N
2
+ 1).
Soit n " N.
Si n = 2p, alors p " N
1
et : |u
n
- l| # e
Si n = 2p + 1, alors p " N
2
et : |u
n
- l| # e
Dans tous les cas, on a : n " N |u
n
- l| # e
Ce qui prouve que la suite (u
n
) converge vers l.
Cas o l = +
Soit A
+
*
.
Comme (u
2p
) diverge vers + : $N
1
!, "p !, (p " N
1
u
2p
" A)
Comme (u
2p+1
) diverge vers + : $N
2
!, "p !, (p " N
2
u
2p+1
" A)
Posons N = max(2N
1
, 2N
2
+ 1).
Soit n " N.
Si n = 2p, alors p " N
1
et : u
n
" A
Si n = 2p + 1, alors p " N
2
et : u
n
" A
Dans tous les cas, on a : n " N u
n
" A
Ce qui prouve que la suite (u
n
) diverge vers +.
Cas o l = -
Analogue au prcdent.
Remarques :
On peut tendre ce rsultat des familles de suites extraites dont les images des extractrices forment une
partition de ! (et a fortiori un recouvrement de !). Par exemple (u
3p
), (u
3p+1
) et (u
3p+2
).
Soit (u
n
) une suite telle que toute suite extraite converge vers l. Alors les suites extraites (u
2p
) et (u
2p+1
)
convergent vers l. D'aprs 3.3. on en dduit que (u
n
) converge vers l ce qui prouve la rciproque de 3.2.
Application : contre-exemple la rciproque du thorme de Csaro, version "divergence vers +"
Suites de nombres rels Page 19 G. COSTANTINI http://bacamaths.net/
u
n
=
si est pair
0 si est impair
n n
n

Il est clair que (u


n
) diverge (considrer les suites extraites (u
2p
) et (u
2p+1
) et utiliser 3.2.)
Montrons, cependant, que (u
n
) diverge vers + au sens de Csaro :
Posons, pour n !
*
: v
n
=
1
n
1
n
k
k
u
=

On a, pour tout p !
*
:
v
2p
=
1
2p
2
1
p
k
k
u
=

=
1
2p
2
1
pair
p
k
k
k
u
=

=
1
2p
2
1
p
j
j
u
=

=
1
2p
1
2
p
j
j
=

=
1
2
p +
v
2p+1
=
1
2 1 p +
2 1
1
p
k
k
u
+
=

=
1
2 1 p +
2 1
1
pair
p
k
k
k
u
+
=

=
1
2 1 p +
2
1
p
j
j
u
=

=
1
2 1 p +
1
2
p
j
j
=

=
( 1)
2 1
p p
p
+
+
Les suites extraites (v
2p
) et (v
2p+1
) divergent toutes deux vers +, donc la suite (v
n
) aussi.
3.4. Thorme Bolzano-Weiestrass
Soit (u
n
) une suite borne de rels. Alors, on peut extraire de (u
n
) une sous-suite convergente.
(Variante : toute suite borne de rels admet une valeur d'adhrence)
Dmonstration :
L'ide gnrale :
Notons a
0
(resp. b
0
) la borne infrieure (resp. suprieure) de l'ensemble {u
n
, n !}. (Existent car (u
n
) borne)
Posons I
0
= [a
0
, b
0
] et c
0
le centre de I
0
.
L'un, au moins, des deux intervalle [a
0
, c
0
] et [c
0
, b
0
] contient une infinit de termes de la suite (x
n
). (On a bien
dit une infinit de termes ; ce n'est pas forcment une infinit de valeurs)
Notons I
1
cet intervalle et c
1
son centre. On ritre le procd ci-dessus avec le segment I
1
.
On construit ainsi une suite de segments embots dont la longueur tend vers 0. L'intersection de tous ces
segments est donc un certain rel l. En outre, par construction, chacun de ces segments contient au moins un
terme de la suite (u
n
). On peut donc construire une suite extraite en choisissant chaque fois l'un de ces termes
et cette suite converge ncessairement vers l.
Mise en forme :
Soient a
0
= inf{u
n
, n !} et b
0
= sup{u
n
, n !}. Ainsi :
"n !, a
0
# u
n
# b
0
Pour tous rels a et b tels que a
0
# a < b # b
0
, notons :
N(a, b) = {n ! | a # u
n
# b}
(N(a, b) est l'ensemble des indices n pour lesquels a # u
n
# b)
On sait que N(a
0
, b
0
) est infini. Posons c
0
=
0 0
2
a b +
.
Suites de nombres rels Page 20 G. COSTANTINI http://bacamaths.net/
Comme N(a
0
, b
0
) = N(a
0
, c
0
) N(c
0
, b
0
), l'un, au moins, des deux ensembles N(a
0
, c
0
) ou N(c
0
, b
0
) est aussi
infini.
Si N(a
0
, c
0
) est infini alors on pose a
1
= a
0
et b
1
= c
0
.
Si N(c
0
, b
0
) est infini alors on pose a
1
= c
0
et b
1
= b
0
.
Le segment [a
1
, b
1
] ainsi construit est ainsi tel que N(a
1
, b
1
) soit infini.
Supposons maintenant [a
n
, b
n
] construit tel que N(a
n
, b
n
) soit infini. Posons c
n
=
2
n n
b a +
.
Comme N(a
n
, b
n
) = N(a
n
, c
n
) N(c
n
, b
n
), l'un, au moins, des deux ensembles N(a
n
, c
n
) ou N(c
n
, b
n
) est infini.
Si N(a
n
, c
n
) est infini alors on pose a
n+1
= a
n
et b
n+1
= c
n
.
Si N(c
n
, b
n
) est infini alors on pose a
n+1
= c
n
et b
n+1
= b
n
.
On a ainsi construit, par rcurrence, une suite ([a
n
, b
n
]) de segments embots :
[a
0
, b
0
] [a
1
, b
1
] ... [a
n
, b
n
] ...
De plus, par construction, la longueur de [a
n
, b
n
] est
0 0
2
n
b a -
.
Les segments [a
n
, b
n
] ont donc des longueurs qui tendent vers 0. Les suites (a
n
) et (b
n
) sont donc adjacentes.
Notons l leur limite commune.
Reste montrer qu'il existe une application s strictement croissante de ! dans ! telle que la suite ( )
( ) n
u
s
converge vers l.
Posons s(0) = 0.
Puis, pour tout n !
*
, on choisit s(n) gal un indice strictement suprieur s(n - 1) qui est situ dans
N(a
n
, b
n
). (Il en existe ncessairement puisque N(a
n
, b
n
) est infini : on peut, par exemple, choisir le plus petit)
La suite ( )
( ) n
u
s
est extraite de (u
n
) et a
n
#
( ) n
u
s
# b
n
donc ( )
( ) n
u
s
converge vers l.
La rciproque du thorme de Bolzano-Weierstrass est bien sr fausse. Considrons la suite (u
n
) dfinie par :
u
n
=
si est pair
0 si est impair
n n
n

La suite extraite (u
2p+1
) est constante (gale 0) donc converge, cependant, (u
n
) n'est pas borne.
Le thorme de Bolzano-Weiestrass admet de trs nombreuses applications. Nous allons en donner quelques
unes.
3.4.1 Thorme est complet
Dans , toute suite de Cauchy converge.
Dmonstration :
Soit (u
n
) une suite de Cauchy.
Fixons e
+
*
.
Suites de nombres rels Page 21 G. COSTANTINI http://bacamaths.net/
Comme (u
n
) est de Cauchy, elle est borne (1.4.). D'aprs le thorme de Bolzano-Weierstrass, on peut donc en
extraire une sous-suite convergente :
Il existe s : ! ! strictement croissante telle que ( )
( ) n
u
s
converge vers un certain rel l :
$N
1
!, "n !, (n " N
1
|
( ) n
u
s
- l| # e)
En outre, comme (u
n
) est de Cauchy :
$N
2
!, "(p, q) !
2
, (p " q " N
2
|u
p
- u
q
| # e)
Posons N = max(N
1
, N
2
). Ainsi, d'aprs l'ingalit triangulaire :
"n !, (n " N |u
n
- l| # |u
n
-
( ) n
u
s
| + |
( ) n
u
s
- l|
2
( ) n n N s " "
# 2e)
Ce qui prouve bien que (u
n
) converge vers l.
3.4.2. Thorme de Heine
Toute fonction numrique continue sur un segment I est uniformment continue sur ce segment I.
On rappelle qu'un segment est un intervalle ferm born.
Dmonstration :
Soit une fonction continue sur I.
Supposons non uniformment continue sur I.
Alors : $e
+
*
tel que :
"h
+
*
, $(x ; y) I
2
tel que : (|x - y| < h et |(x) -(y)| " e)
En particulier, en choisissant h =
1
n
(n !
*
),
"n !
*
, $(x
n
; y
n
) I
2
tel que : (|x
n
- y
n
| <
1
n
et |(x
n
) -(y
n
)| " e) (1)
Comme I est born, les suites (x
n
) et (y
n
) ainsi dfinies le sont galement.
D'aprs le thorme de Bolzano-Weierstrass, on peut donc en extraire des sous-suites qui convergent.
Soit s : !
*
!
*
une application strictement croissante telle que la suite ( )
( ) n
x
s
converge.
Notons l sa limite. (On a ncessairement l I puisque I est ferm).
Fixons e'
+
*
. On a donc :
$N
1
!, "n !, (n " N
1
|x
s(n)
- l| #
2
e
)
Mais, d'autre part, pour tout n !
*
, on a d'aprs (1) :
|
( ) n
x
s
-
( ) n
y
s
| <
1
( ) n s
Comme
1
( ) n s
tend vers 0, on a :
Suites de nombres rels Page 22 G. COSTANTINI http://bacamaths.net/
$N
2
!, "n !, (n " N
2

1
( ) n s
#
2
e
)
Pour tout n " max(N
1
, N
2
) , on a alors :
|y
s(n)
- l| # |y
s(n)
- x
s(n)
| + |x
s(n)
- l| #
2
e
+
2
e
# e'
Ceci prouve que la suite ( )
( ) n
y
s
converge galement vers l.
Or, tant continue sur I, on peut affirmer que les suites ( ) ( )
( ) n
x
s
et ( ) ( )
( ) n
y
s
convergent vers (l).
Donc : $N !, "n !, (n " N
( ) ( )
( ) ( )
n n
y x
s s
- < e)
Ce qui contredit (1).
Conclusion : est uniformment continue sur le segment I.
3.4.3. Thorme
Une suite borne admettant une unique valeur d'adhrence l converge vers l
Dmonstration :
Par l'absurde.
Soit (u
n
) une suite borne admettant une unique valeur d'adhrence l.
Supposons que (u
n
) ne converge pas vers l :
$e
+
*
, "N !, $n !, (n " N et |u
n
- l| > e)
Alors l'ensemble A = {n ! | |u
n
- l| > e} est infini.
Soit s : ! A strictement croissante. (Existe car A est une partie infinie de !)
Ainsi : "n !, |u
s(n)
- l| > e
Comme la suite ( )
( ) n
u
s
est borne (car extraite de (u
n
) qui l'est), on peut (Bolzano-Weierstrass) en extraire une
sous-suite convergente :
Il existe s' : ! ! strictement croissante telle que ( )
'( ) o n
u
s s
converge vers un certain rel l'
On a alors : "n !, |u
s o s'(n)
- l| > e
Et par passage la limite |l' - l| " e
Donc l' l. La suite (u
n
) aurait alors deux valeurs d'adhrences distinctes. Contradiction.
Donc (u
n
) converge vers l.
Suites de nombres rels Page 23 G. COSTANTINI http://bacamaths.net/
4. Quelques applications
4.1. Thorme Fonction continue sur un segment
Soit I = [a, b] un segment de et : I une application continue.
Alors est borne sur I et atteint ses bornes.
C'est une application du thorme des segments embots et du thorme de Bolzano-Weierstrass.
Dmonstration :
1. Montrons : borne sur I
Supposons non borne sur I.
Soit c le milieu de I.
Posons a
1
= a et b
1
= c si non borne sur [a, c].
Posons a
1
= c et b
1
= b sinon.
En ritrant ce procd, on construit, par rcurrence, une suite de segments embots :
[a, b] [a
1
, b
1
] ... [a
n
, b
n
] ...
Sur chacun de ces intervalles, est, par construction, non borne.
De plus, par construction, la longueur de [a
n
, b
n
] est
n
a b
2
-
.
Les segments [a
n
, b
n
] ont donc des longueurs qui tendent vers 0. Les suites (a
n
) et (b
n
) sont donc adjacentes.
Notons x
0
leur limite commune.
Comme est continue en x
0
, on a (avec e = 1) :
$h
+
*
, "x I : (|x - x
0
| < h |(x) - (x
0
)| < 1)
C'est--dire : $h
+
*
, "x I : (|x - x
0
| < h (x
0
) - 1 < (x) < (x
0
) + 1)
Donc est borne sur ]x
0
- h, x
0
+ h[.
Comme les segments [a
n
, b
n
] ont des longueurs qui tendent vers 0, on a :
"e
+
*
, $N !
*
: (n " N b
n
- a
n
< e)
Donc, pour un certain N, les segments [a
n
, b
n
], n " N, sont contenus dans ]x
0
- h, x
0
+ h[.
Or, n'est pas borne sur [a
n
, b
n
] d'o une contradiction.
Donc est borne sur I.
2. Montrons : atteint ses bornes
On vient de voir que est borne sur I. Notons M =
I
sup et m =
I
inf .
Montrons qu'il existe x
0
dans I tel que (x
0
) = M.
Comme M est la borne suprieure de sur I :
"e
+
*
, $x I : M - e < (x) # M
En particulier, avec e =
1
n
: $x
n
I : M -
1
n
< (x
n
) # M
La suite ((x
n
)) converge donc vers M.
Suites de nombres rels Page 24 G. COSTANTINI http://bacamaths.net/
En outre, la suite (x
n
) est borne. D'aprs le thorme de Bolzano-Weierstrass, on peut donc en extraire une
sous suite qui converge vers un certain rel x
0
. Notons s : !
*
!
*
une application strictement croissante telle
que ( )
( ) n
x
s
converge vers x
0
.
La fonction tant continue en x
0
, on a : M =
+ n
lim ( )
( ) n
x
s
= (x
0
).
Donc atteint son maximum.
On dmontre, de mme, que atteint son minimum.
4.2. Thorme Thorme spcial certaines sries dites alternes
Soit u
n
n"0

une srie vrifiant les conditions suivantes :


i) (u
n
) est signes alterns : ("n !, u
n
= (-1)
n
|u
n
|) ou ("n !, u
n
= (-1)
n+1
|u
n
|)
ii) la suite (u
n
)
n !
converge vers 0
iii) la suite (|u
n
|)
n !
est dcroissante.
Alors dans ces conditions :
la srie u
n
n"0

est convergente et le reste R


n
= u
k
k n " +

1
vrifie : sgn(R
n
) = sgn(u
n+1
) et |R
n
| # |u
n+1
|
Dmonstration :
Posons : S
n
=
0
n
k
k
u
=

On suppose que : "n !, u


n
= (-1)
n
|u
n
|
(Le cas "n !, u
n
= (-1)
n+1
|u
n
| est analogue)
Considrons les deux suites (a
n
) et (b
n
) dfinies par :
a
n
= S
2n+1
et b
n
= S
2n
On a :
"n !, a
n+1
- a
n
= S
2n+3
- S
2n+1
= u
2n+3
+ u
2n+2
= -|u
2n+3
| + |u
2n+2
|
Et comme la suite (|u
n
|)
n !
est dcroissante :
"n !, -|u
2n+3
| + |u
2n+2
| " 0
Donc "n !, a
n+1
- a
n
" 0
La suite (a
n
) est croissante.
On a :
"n !, b
n+1
- b
n
= S
2n+2
- S
2n
= u
2n+2
+ u
2n+1
= |u
2n+2
| - |u
2n+1
|
Et comme la suite (|u
n
|)
n !
est dcroissante :
"n !, |u
2n+2
| - |u
2n+1
| # 0
Donc "n !, b
n+1
- b
n
# 0
Suites de nombres rels Page 25 G. COSTANTINI http://bacamaths.net/
La suite (b
n
) est dcroissante.
On a :
"n !, b
n
- a
n
= S
2n+1
- S
2n
= u
2n+1

n

0
Les suites (a
n
) et (b
n
) sont donc adjacentes. Notons S leur limite commune. On a donc :
"n !, S
2n+1
# S
2n+3
# S # S
2n+2
# S
2n
De l'encadrement S
2n+1
# S # S
2n
, on dduit :
u
2n+1
# S - S
2n
# 0
De l'encadrement S
2n+1
# S # S
2n+2
, on dduit :
0 # S - S
2n+1
# u
2n+2
On a donc : (S)
2 1 2
2 1 2 2
0
0
n n
n n
u R
R u
+
+ +

# #
# #
Ceci prouve dj : sgn(R
2n
) = sgn(u
2n+1
) = ngatif
sgn(R
2n+1
) = sgn(u
2n+2
) = positif
On peut donc affirmer : "n !, sgn(R
n
) = sgn(u
n+1
)
De plus, en passant aux valeurs absolues dans (S), il vient :
2 2 1
2 1 2 2
0 | | | |
0 | | | |
n n
n n
R u
R u
+
+ +

# #
# #
On peut donc affirmer : "n !, |R
n
| # |u
n+1
|