c Christophe Bertault - MPSI

Limite dune suite

1

Introduction aux suites relles

Dfinition (Suite relle) On appelle suite relle toute application u de N dans R.

Dans la plupart des cas, la suite u est note (un )nN ou (un )n 0 .

Explication
Pour tout n0 N, on appelle aussi suite relle toute application u de n0 , dans R, note (un )n n0 , ou (un )n n0 .
Par commodit, les dfinitions et thormes de ce chapitre seront noncs seulement pour les suites dfinies sur tout N.
Avec cette dfinition, lensemble des suites relles est RN .
On peut reprsenter graphiquement les suites de plusieurs faons. Prenons lexemple de la suite (un )nN dfinie pour tout
1
1
4
3
6
n N par : un = (1)n +
. Premires valeurs : u0 = 2, u1 = , u2 = , u3 = , u4 = ,
n+1
2
3
4
5
5
8
7
10
9
12
u5 = , u6 = , u7 = , u8 =
, u9 =
, u10 =
...
6
7
8
9
10
11
n u(n) = un
u7 u3 u1
1 u5

Dfinition

u6 u2
0

1 u4

u0
2

(Vocabulaire usuel sur les suites) Soit (un )nN une suite relle.

On dit que (un )nN est constante sil existe R tel que pour tout n N :
On dit que (un )nN est stationnaire sil existe R et N N tels que pour tout n

un = .
N :

un = .

On dit que (un )nN est majore si un nN est une partie majore de R, i.e. sil existe M R tel que pour tout n N :
un
M . Un tel M est appel un majorant de (un )nN . On dit aussi que (un )nN est majore par M ou que M majore
(un )nN .
On dit que (un )nN est borne si elle est la fois majore et minore.
Cela revient dire quil existe K R+ tel que pour tout n N : |un | K.
On dit que (un )nN est positive si elle est minore par 0, i.e. si pout tout n N :

un

On dit que (un )nN est croissante (resp. strictement croissante) si pour tout n N :

0.
un

un+1

(resp. un < un+1 ).

On dispose bien sr de dfinitions analogues des suites minores, ngatives, dcroissantes et strictement dcroissantes.
On dit que (un )nN est monotone (resp. strictement monotone) si elle est croissante ou dcroissante (resp. strictement
croissante ou strictement dcroissante).

Attention !
Une suite (un )nN ne possde jamais un seul majorant quand elle en possde un, car tout rel plus grand quun majorant
est aussi un majorant. Raisonnement analogue pour les minorants.
Minore nest pas le contraire de majore , ngative nest pas le contraire de positive , dcroissante
nest pas le contraire de croissante . Par exemple, la suite de terme gnral (1)n nest ni croissante ni dcroissante, ni
positive ni ngative.
En pratique

Pour montrer quune suite (un )nN est monotone, deux mthodes courantes :

tudier le signe de un+1 un ;

un+1
par rapport 1. Cette mthode est intressante
un
surtout lorsque la dfinition de (un )nN ne fait intervenir que des produits et des quotients et quon peut esprer des
simplifications entre le numrateur et le dnominateur.
si un > 0 pour tout n N, tudier la position de

c Christophe Bertault - MPSI

Exemple

2n
. Alors la suite (un )nN est croissante.
n+1
Les deux mthodes de diffrence et quotient sont envisageables ici. Au choix, donc, pour tout n N :

Pour tout n N, on pose :

En effet

Diffrence :
Quotient :

un =

un+1 un =
un > 0

et

2n n
2n
2n
2n+1
2(n + 1) (n + 2) =

=
n+2
n+1
(n + 1)(n + 2)
(n + 1)(n + 2)

un+1
2n+1
n+1
2(n + 1)
(n + 2) + n
n
=

=
=
=1+
un
n+2
2n
n+2
n+2
n+2

0.

1.

Dfinition (Suite extraite) Soit (un )nN une suite. On appelle suite extraite de (un )nN toute suite relle de la forme
(u(n) )nN pour une certaine application strictement croissante de N dans N.

Explication
Lapplication strictement croissante de N dans N nest jamais quune suite strictement croissante dentiers naturels utiliss nouveaux indices. Par exemple, si = (2, 4, 5, 8, 24, 59, . . .), la suite (u(n) )nN est la suite
(u2 , u4 , u5 , u8 , u24 , u59 , . . .).
Exemple
Soit (un )nN la suite relle de terme gnral un =

n. Les suites
n

2n + 4n
2

nN

et (n)nN sont deux suites extraites de

(un )nN , associes respectivement aux applications n 2 + 4n et n n strictement croissantes de N dans N.

Les suites constantes gales 1 et 1 respectivement sont deux suites extraites de la suite relle de terme gnral (1)n .
Attention !
Remarque authentiquement essentielle ! Pour tout k N, le terme qui vient aprs u2k dans la
suite (u2n )nN est u2(k+1) = u2k+2 et non pas u2n+1 ; de mme, le terme qui vient aprs u2k+1 dans la suite (u2n+1 )nN est
u2(k+1)+1 = u2k+3 et non pas u2k+2 .

Dfinition
(Proprit vraie partir dun certain rang) Soient (un )nN une suite et P = (Pn )nN une suite de
propositions portant sur (un )nN . On dit que (un )nN vrifie la proprit P partir dun certain rang sil existe N N tel que
pour tout n N , la proposition Pn soit vraie.
Explication
Ce qui nous intresse dans une suite, en gnral, ce ne sont pas ses premiers termes mais plutt son
comportement linfini . Ainsi, si tous les termes dune suite sont majors par 1 sauf les 30 premiers, on a bien envie de
considrer que les 30 premiers termes ne comptent pas et que grosso modo la suite est majore par 1. On dira simplement que
la suite est majore par 1 partir dun certain rang.
Explication

La distinction prsente ci-dessous est la base de la base. Il est impensable que vous ne la matrisiez pas.

Suites dfinies explicitement : On peut dfinir une suite (un )nN explicitement par une expression de la forme
un = f (n) o f est une fonction. Une telle dfinition prsente un norme avantage : pour calculer u1000 , pas besoin
de calculer u0 , u1 , u2 , . . . , u999 , on peut calculer directement u1000 = f (1000).
De nombreuses proprits de f se transmettent telles quelles (un )nN , qui nest aprs tout que la restriction de f N :
monotonie, signe et caractre major/minor/born.

y = f (x)

(un )nN

f est borne. . .

. . . donc (un )nN est borne.

Suites dfinies par une relation de rcurrence : On peut dfinir une suite (un )nN par rcurrence par la donne de
son premier terme u0 et dune relation de la forme un+1 = f (un ) o f est une fonction. Une telle dfinition prsente
un norme inconvnient : pour calculer u1000 , on est oblig de calculer les uns aprs les autres u0 , u1 , u2 , . . . , u999 , u1000
impossible dobtenir u1000 directement.

c Christophe Bertault - MPSI

Atention hlas ! Les proprits de f ne se transmettent pas toutes telles quelles (un )nN dans le cas dune dfinition
par rcurrence. Les monotonies ventueles de f et (un )nN nont en gnral aucun rapport.
y=x

y=x
y = f (x)

y = f (x)

. . . u3 u2 u1

u0

u1

f est croissante mais (un )nN dcroissante.

u3 u5 . . . u4 u2

u0

f est dcroissante mais (un )nN nest mme pas monotone.

Explication
Les exercices auxquels on vous a habitus jusquici ont pu vous donner limpression que, pour dfinir
une suite (un )nN par rcurrence, il suffit de se donner une fonction f quelconque et un u0 dans le domaine de dfinition de f ,
et de dcrter simplement que un+1 = f (un
) . Illusion !
Notons par exemple f la fonction x 1 + 1 x dfinie sur ] , 1] et posons u0 = 0. Comme f (u0 ) = f (0) = 2, on peut
poser u1 = 2. Mais ensuite f (2) ? Aucun sens ! Quelle valeur pour u2 ? La suite (un )nN nest ici pas dfinie. Quelle diffrence
entre les exemples qui marchent et ceux qui ne marchent pas ?
Dfinition (Partie stable par une application) Soient E un ensemble, f : E E une application et D une partie de
E. On dit que D est stable par f si f (D) D, i.e. si pour tout x D : f (x) D.

Thorme (Existence de suites dfinies par rcurrence) Soient D une partie de R et f une fonction dfinie sur D
valeurs dans D bref : D est stable par f .
Pour tout D, il existe une et une seule suite (un )nN telle que u0 = et telle que pour tout n N :
Cette suite est valeurs dans D.
Dmonstration

un+1 = f (un ).

Fixons D.

Existence : Comme f (D) D, on peut composer f avec elle-mme autant de fois quon veut. Posons
u0 = D et pour tout n N : un = f n (u0 ) D, o f n = f f f . . . f (n fois). Alors comme voulu,
pour tout n N : f (un ) = f f n (u0 ) = f n+1 (u0 ) = un+1 .

Unicit : Soient (un )nN et (un )nN deux suites telles que u0 = u0 = etun+1 = f (un ) et un+1 = f (un )
pour tout n N. Montrons par rcurrence que un = un pour tout n N.
1) Initialisation : Par hypothse, u0 = u0 = .

2) Hrdit : Soit n N. On suppose que un = un . Alors un+1 = f (un ) = f (un ) = un+1 .

Exemple

Il existe une et une seule suite (un )nN dfinie par u0 = 2 et pour tout n N : un+1 = ln 1 + un .

En effet
Lintervalle R+ est stable par la fonction x ln 1 + x car pour tout x R+ , 1 + x 1 et donc
ln 1 + x R+ . Comme u0 = 2 R+ , la suite (un )nN propose est bien dfinie et on peut mme ajouter quelle
est valeurs dans R+ , i.e. que pour tout n N : un 0.

Limite dune suite relle dans R

La notion de voisinage, issue dune partie des mathmatiques appele topologie , nest pas au programme de MPSI mais
elle facilite grandement la comprhension des limites. Je ne vous en donne cependant ci-dessous quune dfinition simplifie.
Dfinition

On appelle voisinage de (dans R) :

(Voisinage dans R) Soit R.

si R, tout intervalle de la forme ] , + [ avec > 0 ;

si = , tout intervalle de la forme ]A, [ avec A R ;
si = , tout intervalle de la forme ] , A[ avec A R.

c Christophe Bertault - MPSI

Explication

Lide, cest quun voisinage de contient tous les rels proximit immdiate de .

Voisinage de R

Voisinage de

Voisinage de

Si = , il existe un voisinage V
Thorme (On peut distinguer deux points par leurs voisinages) Soient , R.

de et un voisinage V de pour lesquels V V = .

Dmonstration

1
2

Traitons seulement deux cas caractristiques : les autres se traitent de la mme manire.

, puis V = ] , + [ et V = ] , + [.
3

Alors V est un voisinage de , V un voisinage de et il est facile de vrifier que V V = .

Cas o , R avec < : Posons =

Cas o R et = : Posons V = ] 1, + 1[ et V = ] + 2, [. Alors V est un voisinage

de , V un voisinage de = et il est facile de vrifier que V V = .

La dfinition suivante est lobjet central de ce chapitre.

Dfinition

(Limite dune suite) Soient (un )nN une suite et R.

(Dfinition gnrale) On dit que (un )nN admet pour limite si tout voisinage de contient tous les un partir
dun certain rang, i.e. si :

pour tout voisinage V de , un appartient V partir dun certain rang.

(Cas dune limite finie) Lorsque R, on dit que (un )nN admet pour limite si :
> 0,
ou bien de manire plus concise, si :

N N/

> 0,

n N,

N N/

N,

= |un | < ,

|un | < .

(Cas de la limite ) On dit que (un )nN admet pour limite si :

A > 0,
ou bien de manire plus concise, si :

N N/

A > 0,

n N,

N N/

n
N,

= un > A,

un > A.

(Cas de la limite ) On dit que (un )nN admet pour limite si :

A < 0,
ou bien de manire plus concise, si :

N N/

A < 0,

n N,

N N/

n
N,

= un < A,

un < A.

Attention ! Dans ces dfinitions, les quantificateurs et ne doivent tre permuts sous aucun prtexte. On peut
montrer en revanche que les ingalits strictes |un | < , un > A et un < A peuvent tre remplaces si on le
souhaite par des ingalits larges |un | , un A et un A .
Explication
La dfinition ci-dessus de la limite dune suite, un peu obscure au premier abord, satisfait en ralit
lintuition que nous avons de cette notion ; cest ce que nous allons montrer prsent. Donnons-nous donc un rel raisonnement
analogue si = et une suite (un )nN de limite au sens de la dfinition prcdente.
Tous les un
Partons dun voisinage V1 = ] 1 , + 1 [ de . Par dfinition de la limite, les un sont
partir de N1
V1

pigs dans V1 partir dun certain rang N1 . Cela ne nous donne aucun renseignement
sur les un pour n < N1 ce qui nest pas gnant puisque nous faisons tendre n vers
1
mais nous sommes certains que les un pour n N1 ne sloignent pas trop de .
Tous les un
Ce travail avec V1 ne suffit bien sr pas nous convaincre que est limite de (un )nN :
V2
partir de N2
aprs tout, le fait que les un soient dans V1 pour n N1 ne signifie pas quils sapprochent
de . Mais lessentiel de la dfinition de la limite, cest quil y soit crit pour tout
2
voisinage. . . . Les un sont ainsi voisins de aussi prs que lon veut.
Tous les un
V3 partir de N3

..
.

c Christophe Bertault - MPSI

Thorme

(Unicit de la limite) Soit (un )nN une suite. Si (un )nN possde une limite, celle-ci est unique, note lim un .

la relation
Pour tout R,

lim un =

se note souvent

un .
n

et R.
Il sagit de montrer que
Dmonstration
On suppose que (un )nN admet pour limites R

= . Supposons par labsurde que = . Il existe alors un voisinage V de et un voisinage V de tels que
V V = . Or, par hypothse, un V partir dun certain rang N et un V partir dun certain rang N .
Posons n0 = max N, N . Alors un0 V V = contradiction !
Tous les un
partir de n0

Tous les un
partir de n0
V

Folie !

Explication
Il y a une ide importante dans cette preuve que nous allons retrouver tout au long de ce chapitre.
Supposons quune certaine proprit P1 soit vraie partir dun rang N1 , quune certaine proprit P2 soit vraie partir dun rang
N2 . . . et enfin quune certaine proprit Pk soit vraie partir dun rang Nk . Alors partir du rang n0 = max N1 , N2 , . . . , Nk ,
les proprits P1 , P2 , . . . , Pk sont toutes vraies la fois.
Dfinition (Convergence et divergence) Soit (un )nN une suite. On dit que (un )nN est convergente ou quelle converge
si elle possde une limite finie. On dit sinon quelle est divergente ou quelle diverge.

Attention !

Limite
finie

Converger nest pas avoir une limite mais avoir une limite finie .
Diverger nest pas avoir pour limite , mais ventuellement ne
pas avoir de limite .

Thorme

Limite

Convergence

Pas de
limite

Divergence

(Convergence et caractre born) Toute suite convergente est borne.

Dmonstration
Soit (un )nN une suite convergente, disons de limite R. Pour = 1, la dfinition de la
limite affirme que lingalit |un | < 1 est vraie partir dun certain rang N . Ainsi pour tout n N :
|un | = (un ) +

|un | + ||

|| + 1

daprs lingalit triangulaire.

Posons K = max |u0 |, |u1 |, |u2 |, . . . , |uN1 |, || + 1 . Clairement :

et bien sr |un |

K pour tout n

N , donc en fait |un |

|u0 |

K,

|u1 |

K,

...

|uN1 |

K,

K pour tout n N. Bef : (un )nN est borne.

Attention !
La rciproque est fausse : toute suite borne nest pas convergente. Pensez simplement la suite de terme gnral (1)n .

Une suite non borne nadmet pas forcment ou pour limite. La suite de terme gnral (1)n n, par exemple, nest
pas borne et na pas de limite ses termes dindice pair sapprochent de et ses termes dindice impair de .

En pratique La manipulation des dfinitions de la limite nest pas trop difficile si lon veut bien se conformer aux
recommandations qui suivent. Imprgnez-vous-en comme jamais : sans elles vous serez vite perdus.
Un point technique tout dabord, sur trois exemples. Fixons > 0 et A > 0.
1
1
< ? Cette ingalit est vraie si et seulement si n > . Comme
1) A partir de quel rang est-il vrai que
n

1
1
1
1
< est vraie partir du rang
est le plus grand entier infrieur ou gal , lingalit
+1.

1
1
< ? Cette ingalit est vraie si et seulement si 2n > , ou
2n

1
ln
ln
. Lingalit n < est donc vraie partir du rang max 0,
+1 . Pourquoi ce
encore n >
ln 2
2
ln 2
max ? Parce que les entiers que nous appelons ici rangs se doivent dtre positifs.

3) A partir de quelrang est-il vrai que n2 > A ? Cette ingalit est vraie si et seulement si n > A, donc
partir du rang
A +1.
2) A partir de quel rang est-il vrai que

c Christophe Bertault - MPSI

Expliquons prsent de quelle manire on peut montrer un rsultat de la forme lim un = en revenant la dfinition.
n

Supposons dans un premier temps que R. Pour montrer que : > 0, N N/ n

N, |un | < , on
commence videmment sans rflchir par : Soit > 0. Ensuite, pour trouver un rang N partir duquel |un | < ,
on essaie de majorer |un | en respectant deux rgles :

1) La majoration obtenue doit tendre vers 0 quand n tend vers . Sans cela nous ne pourrons
pas trouver un rang N partir duquel |un | < quand est trop petit.
2) La majoration obtenue doit tre une quantit simple mais simple au regard de quoi ? Simple
vis--vis de la recherche du rang N . Do lintrt, dans un cas concret, des exemples tech1
1
, on pourra poser N =
niques qui prcdent. Si on a obtenu la majoration |un |
+ 1. Si
n

1
ln
cest |un |
, on posera N = max 0,
+1 .
2n
ln 2
Dans le cas o = , on sadapte. Pour montrer que : A > 0, N N/ n
N, un > A, on commence
videmment sans rflchir par : Soit A > 0. Ensuite, pour trouver un rang N partir duquel un > A, on essaie de
minorer un en respectant deux rgles :
1) La minoration obtenue doit tendre vers et non plus 0 quand n tend vers .
2) La minoration obtenue doit tre une quantit simple vis--visde la recherche du
A + 1.
rang N . Si on a obtenu la minoration un n2 , on pourra poser N =
Exemple

lim

n sin n
= 0.
n2 + 2

En effet

Nous devons montrer que :

Soit > 0. Pour tout n N, majorons :

> 0,

N N/

n| sin n|
n sin n
= 2
n2 + 2
n +2

N,

n
n2 + 2

n sin n
< .
n2 + 2
n
1
= .
n2
n

On majore en simplifiant et
en vrifiant que ce par quoi on
majore tend toujours vers 0.
Posons donc N =

Exemple

lim

On arrte de majorer quand on

se sent capable de trouver le
rang N cherch.

n sin n
1
1
< aussi.
+ 1. A partir de N , lingalit
< est vraie, donc a fortiori lingalit 2

n
n +2

n2 + (1)n n = .

En effet

Nous devons montrer que :

Soit A > 0. Pour tout n N, minorons :

A > 0,

N N/

n2 + (1)n n

On minore en simplifiant et en
vrifiant que ce par quoi on minore tend toujours vers .

N,

n2 + (1)n n > A.

n2 n = n(n 1)

(n 1)2 .
On arrte de minorer quand on
se sent capable de trouver le
rang N cherch.

Pour tout n N : (n 1)2 > A n > A + 1. Posons donc N = A + 2. A partir de N , lingalit

2
2
n
(n 1) > A est vraie, donc a fortiori lingalit n + (1) n > A aussi.

Manipulations des limites

3
3.1

Oprations sur les limites

Soient (un )nN et (vn )nN deux suites, , R et R. Les tableaux de ce paragraphe, sous lhypothse que lim un
n

et lim vn existent, racontent ce quil en est de

lim (un + vn ) (somme),
lim (un vn ) (produit) et
lim (un )
n
n
n
n
1
(inverse) lorsque un = 0 partir dun certain rang.
(multiplication par un rel), ainsi que
lim
n un
Dans ces tableaux, le symbole ? ? ? ne signifie pas une absence de limite mais une indtermination. Nous reviendrons plus
loin en dtail sur la signification prcise de ce je-ne-sais-pas.

c Christophe Bertault - MPSI

lim un

ou

ou

lim vn

lim (un + vn )

???

Somme

lim un

>0
ou

<0
ou

>0
ou

<0
ou

ou

lim vn

lim (un vn )

???

Produit

>0
Multiplication
par un rel

<0

=0

lim un

peu
importe

lim (un )

un > 0
un < 0
partir dun partir dun
certain rang certain rang
Inverse

lim un

lim

1
un

sinon

=0

ou

???

Explication

On pourrait bien sr contruire un tableau quotient partir des tableaux produit et inverse .

1
et
. Mais quest-ce au fond quune forme indtermine ?
0

Cest une forme dterminer . Dans les tableaux prcdents, le symbole ? ? ? signifie quen effectuant une opration
ou 0 , on peut tomber sur nimporte quel rsultat, impossible prdire dans le tableau.
On y dcouvrirait de nouveaux cas dindtermination :

Cas de la forme indtermine :

1) On peut obtenir nimporte quel rel :
2) On peut obtenir :

lim (n+) = et lim n = , mais lim

lim 2n = et
lim

limn n = , mais lim

3) On peut ne pas obtenir de limite :

(n+)n = .

2n n = .

n + (1)n = et lim n = ,
n

mais n + (1)n n = (1)n na pas de limite.

Cas de la forme indtermine 0 :
1) On peut obtenir nimporte quel rel :

lim

= 0 et lim n = , mais lim

n
n
n

1
1
= 0 et lim n2 = , mais lim
n2 = .
n
n
n
n
(1)n
= 0 et lim n = ,
3) On peut ne pas obtenir de limite :
lim
n
n
n
(1)n
mais
n = (1)n na pas de limite.
n
2) On peut obtenir :

lim

n
n

= .

c Christophe Bertault - MPSI

Dmonstration

Nous nous contentrons de dmontrer quelques-uns des rsultats des tableaux prcdents.

Somme de deux limites finies : On suppose que lim un = et lim vn = . Soit > 0. Pour tout
n

(un + vn ) ( + ) = (un ) + (vn )

n N, daprs lingalit triangulaire :

|un | + |vn |.

On majore en simplifiant et
en vrifiant que ce par quoi on
majore tend toujours vers 0.

Ici, simplifier, cest faire apparatre les quantits |un |

et |vn | de lhypothse.

partir dun certain rang N et |vn | < partir dun certain rang N .
2
2

. Alors pour tout n n0 :
(un + vn ) ( + )
|un | + |vn | < + = .
2 2

Or par hypothse, |un | <

Posons n0 = max N, N

Somme dune limite finie et dune limite : On suppose que lim un = et lim vn = . Soit
n

A > 0. Par hypothse, |un | < 1 partir dun certain rang N , donc en particulier un > 1, et
vn > A + 1 partir dun certain rang N . Posons n0 = max N, N . Alors pour tout n

n0 :

un + vn > ( 1) + (A + 1) = A.

Somme de deux limites : On suppose que lim un = et lim vn = . Soit A > 0. Par hypothse,
n

un > A partir dun certain rang N et vn > 0 partir dun certain rang N . Posons n0 = max N, N .
Alors pour tout n n0 : un + vn > A + 0 = A.
Produit de deux limites finies : On suppose que lim un = et lim vn = . Soit > 0. Pour tout
n

un vn = (un )vn + (vn )

n N daprs lingalit triangulaire :

|un |.|vn | + ||.|vn |.

Or par hypothse (vn )nN est convergente donc borne, disons par K en valeur absolue. Ensuite, |un | <
2K

partir dun certain rang N . Posons n0 = max N, N .

partir dun certain rang N et |vn | <
2 || + 1

Alors pour tout n n0 :

un vn
K + ||
+ = .
|un |.|vn | + ||.|vn | <
2K
2
2
2 || + 1
Produit dune limite finie strictement positive et dune limite : On suppose que lim un = > 0
n

et lim vn = . Soit A > 0. Par hypothse, |un | < partir dun certain rang N , donc en particulier
n
2

2A
un > = > 0, et vn >
> 0 partir dun certain rang N . Posons n0 = max N, N . Alors pour
2
2

2A

= A.
tout n n0 : un vn >
2

Produit de deux limites : On suppose que lim un = et lim vn = . Soit A > 0. Par hypothse,
n

un > A partir dun certain rang N et vn > 1 partir dun certain rang N . Posons n0 = max N, N .
Alors pour tout n n0 : un + vn > A 1 = A.
Inverse dune limite finie non nulle :
lim un = = 0. Soit > 0. Pour tout n

Or par hypothse |un | < min

On suppose un = 0 partir dun certain rang N et que

1
|un |
1
N :
=

.
un

|un |.||

|| ||2
,
2
2

partir dun certain rang N , donc en particulier daprs

||
||
||
, do |un | > ||
=
. Posons n0 = max N, N .
2
2
2
2
||
|un |
1
1
2

=
<
= .
Alors pour tout n n0 :
||
un

|un |.||
||
2
Inverse dune limite : On suppose un = 0 partir dun certain rang N et que lim un = . Soit
n
1

partir dun certain rang N . Posons n0 = max N, N . Alors pour tout

> 0. Par hypothse un >

1
1
n n0 :
< .
=
un
un
lingalit triangulaire :

|un | ||

|un | <

Inverse dune limite nulle de suite strictement positive : On suppose un > 0 partir dun certain
1
partir dun certain rang N . Posons
rang N et que lim un = 0. Soit A > 0. Par hypothse |un | <
n
A
1
1
n0 = max N, N . Alors pour tout n n0 :
=
> A.
un
|un |

c Christophe Bertault - MPSI

Le rsultat suivant est momentanment admis car il requiert la notion de limite dune fonction de R dans R notion connue
intuitivement, mais qui ne sera dfinie proprement que plus tard dans lanne.

Thorme (Composition gauche par une fonction) Soient I un intervalle de R, f : I R une application, I,

L R et (un )nN une suite.

Si lim un = , et si lim f (x) = L, alors lim f (un ) = L.
n

Exemple

Pour tout x R :

lim

1+

x
n

= ex .

Rsultat connatre !

x
ln(1 + u)
x n
= en ln(1+ n ) . Or lim
= 1, donc par composition :
Pour tout n N :
1+
u0
n
u
x
ln 1 +
n = 1, ou encore lim n ln 1 + x = x. Pour finir, composer avec lexponentielle.
lim
x
n
n
n
n

En effet

Attention !

Ce nest pas parce quon a lim

que 1 est une nouvelle forme indtermine.

3.2

1+

x
n

= 1 que lim

x
n

1+

= 1. On peut rsumer cela en disant

Limites de suites extraites

Lemme

Soit une application strictement croissante de N dans N. Alors pour tout n N :

Dmonstration

Par rcurrence.

(n)

n.

Initialisation : Comme (0) N, (0)

Hrdit : Soit n N. On suppose que (n)

n. Alors par stricte croissance de :
Mais (n + 1) est un entier, donc (n + 1) n + 1.

0.

(n + 1) > (n)

n.

Les assertions suivantes sont quivalentes :

Thorme (Thorme des suites extraites) Soient (un )nN une suite et R.
(i)
(ii)
(iii)

lim un = .

lim u2n = lim u2n+1 = .

Toute suite extraite de (un )nN admet pour limite.

Dmonstration
(i) = (iii) On suppose que lim un = . Soit une application strictement croissante de N dans N. Montrons
n

que lim u(n) = . Soit V un voisinage de . Alors un V partir dun certain rang N . Pour tout n
n

par croissance de et daprs le lemme prcdent :

(n)

(N )

N,

N,

et enfin u(n) V.

(iii) = (ii) Evident, puisque (u2n )nN et (u2n+1 )nN sont deux suites extraites de (un )nN .
(ii) = (i) On suppose que lim u2n = lim u2n+1 = . Montrons que lim un = . Soit V un voisinage
n

de . Alors u2n V partir dun certain rang N et u2n+1 V partir dun certain rang N . Posons
n0 = max 2N, 2N + 1 et donnons-nous n n0 quelconque.
Si n est pair, disons n = 2p :

2p = n

n0

Si n est impair, disons n = 2p+1 : 2p+1 = n

Dans les deux cas, un V.

2N donc p
n0

N , et enfin un = u2p V.

2N +1 donc p

N , et enfin un = u2p+1 V.

En pratique Ce thorme est souvent utilis pour montrer quune suite na pas de limite : il suffit pour ce faire
den exhiber deux suites extraites nayant pas la mme limite ventuellement pas de limite.
Exemple

La suite de terme gnral (1)n na pas de limite.

En effet

Posons un = (1)n pour tout n N. Alors (un )nN na pas de limite car lim u2n = 1 alors que
n

lim u2n+1 = 1 = 1.

c Christophe Bertault - MPSI

3.3

Passage la limite dans les ingalits

Thorme

(Limites et ingalits strictes) Soient (un )nN une suite relle possdant une limite et m, M R.

(i) Si lim un < M , alors un < M partir dun certain rang.

n

M
lim un

(ii) Si lim un > m, alors un > m partir dun certain rang.

n

m < un < M partir dun certain rang

Attention !

Rsultats faux avec des ingalits larges ! Par exemple, lim

Dmonstration

1
=0
n

0, mais

1
> 0 pour tout n N .
n

Prouvons seulement lassertion (i). Posons = lim un . Si = , tous les un sont dans le
n

voisinage ] , M [ de partir dun certain rang. Si au contraire R, sachant que M > 0 par hypothse,
tous les un sont tous dans le voisinage ] (M ), + (M )[ ] , M [ de partir dun certain rang. Dans
les deux cas, un < M partir dun certain rang.

Thorme

(Limites et ingalits larges) Soient (un )nN et (vn )nN deux suites relles possdant une limite finie.
Si un

vn partir dun certain rang, alors lim un

n

lim vn .

Ce rsultat est utilis le plus souvent lorsque lune des deux suites est constante.

Attention !

Rsultat faux avec des ingalits strictes ! Par exemple,

1
1
> 0 pour tout n N , mais lim
= 0.
n n
n

Dmonstration Par hypothse, vn un 0 partir dun certain rang. Raisonnons par labsurde en supposant
que lim (vn un ) < 0. Le thorme prcdent affirme alors que vn un < 0 partir dun certain rang
n

contradiction. Conclusion :

lim (vn un )

et cest fini.

Thormes dexistence de limites pour les suites relles

Lexistence dune limite nest jamais acquise. Dans les paragraphes qui prcdent, lexistence de certaines limites a t tablie :
somme, produit, suites extraites, etc. On omet gnralement de voir ces rsultats comme des thormes dexistence pour les
voir seulement, en pratique, comme des thormes de calcul.
Les thormes qui suivent, au contraire, gagnent tre conus comme de vrais thormes dexistence, mme en pratique.
Ce quils nous fournissent de faon essentielle, ce nest pas la valeur dune limite mais son existence. Mme le thorme des
gendarmes doit tre envisag sous cet angle : ce qui importe, cest que la suite encadre converge. Le thorme nous donne en
plus la valeur de la limite, mais en ralit, sous rserve dexistence, cette valeur tait accessible partir du seul thorme de
passage la limite dans les ingalits larges.

4.1

Thorme des gendarmes, thormes de minoration/majoration

Thorme

Soient (un )nN , (mn )nN et (Mn )nN trois suites relles et R.

(i) Thorme des gendarmes/de lencadrement :

Si lim mn = lim Mn = et si mn
n

un

Mn partir dun certain rang, alors lim un existe et vaut .

n

(ii) Thorme de minoration :

Si lim mn = et si un
n

mn partir dun certain rang, alors lim un existe et vaut .

n

(iii) Thorme de majoration :

Si lim Mn = et si un
n

Mn partir dun certain rang, alors lim un existe et vaut .

n

10

c Christophe Bertault - MPSI

Explication
Thorme des gendarmes

Les un sont forcs

daller vers .

Thorme de minoration

un

mn

Mn

mn pousse un
vers .

un

mn

Dmonstration
(i) Soit > 0. Par hypothse, mn un Mn partir dun certain rang N , mn > partir dun certain
rang N et Mn < + partir dun certain rang N . Posons n0 = max N, N , N . Alors pour tout
n0 :

< mn

un

donc |un | < .

Mn < + ,

(ii) et (iii) Dmontrons seulement (ii). Soit A > 0. Par hypothse, un

mn > A partir dun certain rang N . Posons n0 = max N, N

donc un > A.
Exemple

mn partir dun certain rang N et

. Alors pour tout n

n0 :

un

mn > A,

lim n! = .

En effet

Pour tout n N, n!

n. Or lim n = , donc daprs le thorme de minoration, lim n! = .

n

Le thorme des gendarmes est souvent utilis sous lune des deux formes suivantes :
Corollaire

Soient (un )nN et (n )nN deux suites.

(i) Si |un |

n partir dun certain rang et si lim n = 0, alors lim un = 0.

n

(ii) Si (un )nN est borne et si lim n = 0, alors lim un n = 0.

n

Dmonstration
(i) Directement le thorme des gendarmes, puisquon suppose que n

un

(ii) Puisque (un )nN est borne, il existe K R+ tel que pour tout n N :
par n : |un n | K|n |. Il ne reste plus qu utiliser (i) !
Exemple

lim

|un |

K.

Multiplions ensuite

sin n
= 0.
n

En effet

Exemple

n partir dun certain rang.

La suite (sin n)nN est borne et lim

1
= 0.
n

an
= 0.
n n!
a
an
un+1
=
En effet
Nous pouvons supposer a = 0. Pour tout n N, posons un =
, de sorte que :
.
n!
un
n+1
a
a
|a|
1
=
Comme lim
= 0,
< partir dun certain rang N . Du coup par produit, pour tout n N :
n n + 1
n+1
n+1
2

(Comparaison exponentielles/factorielle) Pour tout a R :

n1

n1

nN

lim

1
uk+1
1
|a|
un
=
=
, puis |un |
2N |uN |. Comme lim
n
uN
u
k
+
1
2
2
k
k=N
k=N
bien montr que lim un = 0 daprs le thorme des gendarmes.

1
2

2N |uN | = 0, on a

Thorme

(Limite dune suite gomtrique) Soit a R.

lim an

11

a>1

a=1

|a| < 1

Pas de
limite

c Christophe Bertault - MPSI

Dmonstration

pour tout n

a>1
n
n
(a 1)k
n(a 1)
(a 1)k = 1 + n(a 1) +
k
k
k=2
k=0
n
2. Or lim n(a 1) = car a > 1, donc lim a = daprs le thorme de minoration.

Cas o a > 1 : Alors an = 1 + (a 1)

1
Cas o |a| < 1 : Alors
> 1, donc lim
n
|a|
passage linverse, et enfin lim an = 0.

1
|a|

= daprs le cas prcdent, puis lim an = 0 par

n

Cas o a = 1 : Le cas de la suite (1)n

nN

a dj t trait thorme des suites extraites. . .

Cas o a < 1 : Alors a2 > 1, donc lim a2n = daprs le premier cas, et :
n

2n

car a < 0. Les suites extraites (a )nN et (a

de limite.

2n+1

a2n+1 = a2n a

)nN nayant pas la mme limite, la suite (an )nN na pas

Exemple

Pour tout a ] 1, 1[ :
En effet

lim a2 = 0.

Nous avons tabli juste avant que lim an = 0. Par ailleurs a2

nN

est une suite extraite de (an )nN .

Attention ! La suite de terme gnral a2 nest pas gomtrique : a2 et (a2 )n nont rien voir lun avec lautre.
Cette confusion est frquente chez les lves, mais vous me ferez le plaisir de lviter.

4.2

Thorme de la limite monotone

Le thorme de la limite monotone est le thorme dexistence par excellence.

Thorme

(Thorme de la limite monotone) Soit (un )nN une suite relle.

Si (un )nN est monotone, alors lim un existe.
n

:
Plus prcisment, les bornes suprieures et infrieures tant prises dans R
(i) si (un )nN est croissante, alors lim un = sup un
n

nN

. On retiendra quune suite croissante majore converge et

nN

. On retiendra quune suite dcroissante minore converge et

quune suite croissante non majore diverge vers ;

(ii) si (un )nN est dcroissante, alors lim un = inf un
n

quune suite dcroissante non minore diverge vers .

Explication

Si (un )nN est croissante et majore,

les un viennent scraser
contre leur sup .

Dmonstration

u0

u1 u2

u3

u4 u5 u6 u7 u8

sup un

...

nN

<

Contentons-nous de montrer lassertion (i).

Supposons (un )nN croissante et majore. Lensemble un nN est alors une partie non vide majore de R,
donc possde donc une borne suprieure dans R daprs la proprit de la borne suprieure. Nous allons
montrer que (un )nN admet pour limite.
Soit > 0. Le rel nest pas un majorant de un nN car en est le plus petit majorant. Il existe donc
N N tel que uN > . Du coup pour tout n N , (un )nN tant croissante : un uN > , mais
donc aussi : < un < + , ou encore |un | < .
Supposons (un )nN croissante et non majore. Soit A R. Comme (un )nN nest pas majore par A, il existe
N N tel que uN > A. Du coup pour tout n
N , (un )nN tant croissante : un
uN > A, donc
un > A. Bref :
lim un = .
n

Attention !
Une suite qui possde une limite nest pas ncessairement monotone. Par exemple, la suite de terme gnral

1
2

est

convergente de limite 0 mais non monotone : elle oscille en permanence autour de 0.

Une suite croissante majore par un certain rel M possde une limite, mais cette limite na aucune raison dtre M
lui-mme car M nest jamais quun majorant parmi dautres.

12

c Christophe Bertault - MPSI

Les deux exemples suivants doivent tre tudis trs srieusement : vous devez absolument savoir faire ce type de raisonnement.
Nous verrons dautres exemples semblables dans peu de temps.
Exemple

On note (un )nN la suite dfinie par u0 = 0 et pour tout n N :

un+1 = un + eun . Cette suite diverge vers .

En effet
Cette suite est croissante car pour tout n N : un+1 un = eun
0. Le thorme de la limite
monotone affirme donc lexistence de lim un , que nous notons , et affirme aussi que R {}.
n

Faisons lhypothse que R. Sachant que lim ex = e :

x

un + eun = + e ,

= lim un+1 = lim

n

donc

e = 0 contradiction ! Il en dcoule que nest pas un rel, et donc = .

Exemple

On note (un )nN la suite dfinie par u0 = 1 et pour tout n N :

En effet

un+1 =

Parce que lintervalle R+ est stable par la fonction x

un
.
1 + u2n

Cette suite converge vers 0.

x
, et parce que u0 = 1 R+ , un > 0
1 + x2

un
u3n
un =
0. Ainsi (un )nN est dcroissante et positive,
2
1 + un
1 + u2n
donc convergente daprs le thorme de la limite monotone, disons de limite .

3
un
=
, donc
=
= 0, et finalement = 0.
Ensuite : = lim un+1 = lim
2
2
n
n 1 + u2
1+
1+
1 + 2
n

pour tout n N. Du coup :

4.3

un+1 un =

Thorme des suites adjacentes

Dfinition (Suites adjacentes) Soient (un )nN et (vn )nN deux suites relles. On dit que (un )nN et (vn )nN sont adjacentes
si lune de ces suites est croissante, lautre dcroissante et si lim (un vn ) = 0.
n

Thorme (Thorme des suites adjacentes) Soient (un )nN et (vn )nN deux suites relles. Si elles sont adjacentes, alors
(un )nN et (vn )nN sont toutes deux convergentes de mme limite .
Prcisment, si cest (un )nN qui est croissante et (vn )nN qui est dcroissante, alors pour tous m, n N : um vn .
Explication
Intuitivement, deux suites adjacentes sont deux suites qui viennent la
rencontre lune de lautre, lune en croissant, lautre en dcroissant, et qui
finissent par scraser lune contre lautre. Le thorme des suites adjacentes
affirme simplement que, puisquelles scrasent lune contre lautre linfini,
il faut bien quelles scrasent quelque part thorme dexistence.
Dmonstration

un

vn

Existence force
dune limite
Thorme des suites adjacentes

On suppose (un )nN croissante et (vn )nN dcroissante.

Montrons dabord que pour tout n N : un vn .

Supposons par labsurde que pour un certain N N, uN > vN , i.e. uN vN > 0. Alors pour tout n N ,
sachant que uN un (croissance) et que vn vN (dcroissante) : un vn uN vN . Faisons tendre n
vers : 0 = lim (un vn ) uN vN . Du coup 0 uN vN > 0. Contradiction !
n

Montrons ensuite que pour tous m, n N : um vn .

Soient m, n N. Si m n, um un vn par croissance de (un )nN et daprs le premier point ; et si m > n,
um vm vn par dcroissance de (vn )nN et daprs le premier point. Dans les deux cas, um vn .
La suite (un )nN est croissante et majore (par v0 ), donc convergente de limite un certain rel u en vertu
du thorme de la limite monotone. De mme, la suite (vn )nN est dcroissante et minore (par u0 ), donc
convergente de limite un certain rel v . Lgalit u = v dcoule de ce que lim (un vn ) = 0. Come voulu,
n

(un )nN et (vn )nN sont convergentes de mme limite.

Pour tous m, n N, lingalit um

u = v
vn dcoule du deuxime point. A m fix, nous obtenons
um v en faisant tendre n vers , et n fix, u vn en faisant tendre m vers .
n

1
. Alors la suite (un )nN est convergente.
k!
k=0
Nous verrons plus tard dans lanne que sa limite est le nombre e.
1
pour tout n N et montrons que (un )nN et (vn )nN sont adjacentes. Cela
En effet Posons vn = un +
n.n!
montrera bien quelles convergent en vertu du thorme des suites adjacentes.
Exemple

Pour tout n N, posons :

un =

13

c Christophe Bertault - MPSI

Tout dabord :

vn un =

1
n.n!

0.

n+1

Ensuite (un )nN est croissante car pour tout n N :

un+1 un =

k=0

k!

=0

1
1
=
k!
(n + 1)!

0.

Enfin (vn )nN est dcroissante car pour tout n N :

1
1
1
1
1

=
+

(n + 1).(n + 1)!
n.n!
(n + 1)!
(n + 1).(n + 1)!
n.n!
1
1
=
n(n + 1) + n (n + 1)2 =
0.
n(n + 1).(n + 1)!
n(n + 1).(n + 1)!

vn+1 vn = un+1 un +

Si [a, b] est un segment, o a, b R avec a

Thorme

b, on appelle longueur de [a, b] et on note [a, b] le rel positif :

[a, b] = ba.

(Thorme des segments embots) Soit (In )nN une suite de segments :

dcroissante au sens o pour tout n N :

In+1 In ;

dont la suite des longueurs converge vers 0, i.e. lim (In ) = 0.

n

Alors

In est un singleton, i.e. :

x R/

nN

In = x .
nN

Explication Ce thorme nest jamais quune reformulation du thorme des suites adjacentes en termes ensemblistes.
Il affirme que lorsquon calcule lintersection dune famille dcroissante de segments de longueurs tendant vers 0, il ne reste pas
rien : il reste exactement un lment thorme dexistence.
Dmonstration Pour tout n N, posons an = inf In et bn = sup In de sorte que In = [an , bn ]. Par hypothse
(an )nN est croissante et (bn )nN dcroissante, et lim bn an = 0. Cela signifie prcisment que (an )nN et
n

b0

b1 b2

nN

b3

b4

b5 b6

Soit t

b7 b8
x

a2
a0 a1

In = x .

(bn )nN sont adjacentes, donc convergentes de mme limite un certain rel x. Il reste montrer que :

a3

a6
a4 a5

a7 a8

nN

ingalits an

In . Montrons que t = x. Il suffit de faire tendre n vers dans les

t

bn :

Inversement, montrons que x

x,

i.e. t = x.
In . Or an

nN

bn pour tout n N daprs

le thorme des suites adjacentes, bref x [an , bn ] = In .

Attention !

Il est essentiel que les In soient des segments. Avec des intervalles ouverts ou semi-ouverts, le
1
1
1
= , car pour tout x > 0, x
/ 0,
pour N =
+ 1.
rsultat est faux. Par exemple :
0,
n
N
x
nN
Le rsultat suivant, dans lequel figurent des suites adjacentes mais qui ne repose pas sur le thorme des suites adjacentes,
est rapprocher de deux rsultats que nous avons tudis rcemment : entre deux rationnels (resp. irrationnels) il y a une infinit
dirrationnels (resp. rationnels).
Thorme

(Densit de Q dans R)

Tout rel est la limite dune suite de rationnels. On dit que Q est dense dans R.

10n x
1
et bn = an + n .
10n
10
Alors (an )nN et (bn )nN sont deux suites adjacentes valeurs rationnelles de limite commune x. Pour tout n N, an est la
valeur dcimale approche de x par dfaut 10n prs et bn est la valeur dcimale approche de x par excs 10n prs.
Prcisment, soit x R. Posons, pour tout n N, an =

Explication Nous savons intuitivement, sans rentrer dans les dtails, que tout rel possde un dveloppement dcimal
illimit. Par exemple, = 3, 141592653589793 . . . Calculons, pour x = , les premiers termes des suites (an )nN et (bn )nN :
31
314
3141
31415
314159
= 3, 1, a2 =
= 3, 14, a3 =
= 3, 141, a4 =
= 3, 1415, a5 =
= 3, 14159 . . .
10
100
1000
10000
100000
32
315
3142
31416
314160
et b0 = 4, b1 =
= 3, 2, b2 =
= 3, 15, b3 =
= 3, 142, b4 =
= 3, 1416, b5 =
= 3, 14160 . . .
10
100
1000
10000
100000
On voit bien que les suites (an )nN et (bn )nN convergent vers .
a0 = 3,

a1 =

14

c Christophe Bertault - MPSI

Dmonstration
Les notations sont celles du thorme. Pour tout n N : 10n x 1 < 10n x
10n x,
1
donc x n < an
x. Le thorme des gendarmes montre donc aussitt que lim an = x. Du coup bien sr,
n
10
lim bn = x galement. Comme an et bn sont rationnels pour tout n N, cela prouve bien que x est la limite
n

dune suite de rationnels. Nous montrons ci-dessous ladjacence des suites (an )nN et (bn )nN .
1
0.
Tout dabord : bn an = n
n
10
Montrons que (an )nN est croissante. Soit n N. Partons de lingalit 10n an = 10n x
10n x et
n+1
n+1
n+1
multiplions-la par 10 : 10
an
10
x. Or 10
an est un entier, donc par dfinition de la partie entire : 10n+1 an 10n+1 x = 10n+1 an+1 . Divisons par 10n+1 : an an+1 .

Montrons que (bn )nN est dcroissante. Soit n N. Tout dabord 10n bn = 10n an + 1 = 10n x + 1 > 10n x.
Multiplions par 10 : 10n+1 bn > 10n+1 x. Or 10n+1 bn est un entier, donc par dfinition de la partie
entire : 10n+1 bn 10n+1 x + 1 = 10n+1 an+1 + 1 = 10n+1 bn+1 . Divisons par 10n+1 : bn bn+1 .

4.4

Thorme de Bolzano-Weierstrass

Contrairement aux autres thormes tudis dans cette partie, ce thorme a pour nous un intrt essentiellement thorique.
Il tablit une sorte de rciproque mais pas jusquau bout au rsultat selon lequel toute suite convergente est borne.
Thorme

(Thorme de Bolzano-Weierstrass) De toute suite relle borne on peut extraire une suite convergente.

Explication
Ce thorme est un thorme dexistence dun genre particulier. Il naffirme pas que toute suite
borne est convergente on a vu que cest faux mais quune suite borne possde toujours une suite extraite convergente.
Intuitivement, cela revient dire que les valeurs dune suite borne sont forces de saccumuler autour dau moins un point.
m
M
a0

b0

a1

b1
a2

un

b2
a3

b3
..
.
Dmonstration Le programme stipule que vous ntes pas obligs de savoir refaire cette dmonstration, mais
il vous impose de connatre lalgorithme de dichotomie sur laquelle elle repose. . .
Soit (un )nN une suite borne, disons entre deux rels m et M avec m
M . Nous cherchons une application
: N N strictement croissante pour laquelle u(n) nN est convergente. Nous allons construire pas pas une
telle au moyen dun algorithme appel dichotomie.
On commence en posant a0 = m, b0 = M et (0) = 0. Soit ensuite n N. Supposons construits a0 , a1 , . . . , an R,
b0 , b1 , . . . , bn R et (0), (1), . . . , (n) N tels que :
(i)

m = a0

(ii)
(iii)

...

an

bn

bn1

b0 = M ;

...

M m
pour tout k 0, n : bk ak =
;
2k
lensemble i N/ ui [ak , bk ] est infini pour tout k 0, n ;

(iv)
(v)

a1

pour tout k 0, n :

u(k) [ak , bk ] ;

(0) < (1) < . . . < (n).

Nous allons construire trois rels an+1 , bn+1 et (n+1) rendant vraies les assertions (i) (v) au rang (n+1). Dans ce
a n + bn
a n + bn
but, remarquons quau moins lun des ensembles k N/ uk an ,
et k N/ uk
, bn
2
2
est infini, car si les deux taient finis, il en serait de mme de leur runion gale k N/
contredirait (iii).

Du coup, posons :

Par construction,

an+1 = an

et

an+1 = an + bn
2

k N/

bn+1 =
et

uk [an+1 , bn+1 ]

a n + bn
2

bn+1 = bn

si

k N/

uk an ,

a n + bn
2

uk [an , bn ] , et cela
est infini (cas )

sinon (cas ).

est infini, donc aussi

k N/

k > (n) et uk [an+1 , bn+1 ]

le mme ensemble ceci prs quon a t les lments infrieurs ou gaux (n), qui sont en nombre fini. Ce
deuxime ensemble, en particulier, est une partie non vide de N, donc possde un plus petit lment que nous
allons noter (n + 1).

15

c Christophe Bertault - MPSI

a n + bn
bn , et donc
Assertion (i) au rang n + 1 : Comme an
bn daprs (i) au rang n, alors an
2
an an+1 bn+1 bn , que lon soit dans le cas ou dans le cas .

M m

an + bn an = bn an (ii)
(cas )
=
2
2
2n+1
Assertion (ii) au rang n + 1 :
bn+1 an+1 =
(ii)

bn a n + bn = bn a n = M m
(cas ).
2
2
2n+1
Assertion (iii) au rang n + 1 : Dj fait.
Assertions (iv) et (v) au rang n + 1 : Vraies par dfinition de (n + 1).

Ouf ! Fin de la construction. Nous avons construit deux suites (an )nN et (bn )nN , la premire croissante et la
seconde dcroissante, et une application : N N strictement croissante telles que :
1)

bn a n =

2)

an

u(n)

M m
pour tout n N, donc en particulier lim (bn an ) = 0 ;
n
2n
bn pour tout n N.

Il apparat ainsi que les suites (an )nN et (bn )nN sont adjacentes, donc convergentes de limite commune un certain
rel daprs le thorme des suites adjacentes. Enfin 2) nous met en situation dutiliser le thorme des gendarmes,
donc en effet la suite extraite u(n) nN converge (vers ).

Etude de suites dfinies par rcurrence

Thorme (Monotonie des suites dfinies par rcurrence) Soient D une partie de R, u0 D et f une fonction dfinie
sur D valeurs dans D bref : D est stable par f . On note (un )nN la suite dfinie pour tout n N par : un+1 = f (un ).
(i) Si f est croissante, (un )nN est monotone. Son sens de variation dpend de la position de u0 par rapport u1 .
(ii) Si f est dcroissante, (u2n )nN et (u2n+1 )nN sont monotones de sens contraires. Leurs sens de variation dpendent
de la position de u0 et u2 .

Attention ! Pour tout n N, f (u2n ) vaut u2n+1 et non pas u2n+2 . Par contre u2n+2 = f f (u2n ), ce qui prouve
que la suite (u2n )nN est rcurrente associe la fonction f f . Mme chose pour la suite (u2n+1 )nN .
Dmonstration
(i) Supposons f croissante et montrons que, si u0 u1 , alors (un )nN est croissante on montrerait de mme
que si u1 u0 , alors (un )nN est dcroissante. Simple rcurrence de rien du tout :
Initialisation : u0

u1 par hypothse.

Hrdit : Soit n N. On suppose que un

est croissante et cest fini.

un+1 . Alors un+1 = f (un )

f (un+1 ) = un+2 car f

(ii) Supposons f dcroissante. Alors f f est croissante. Or u2n+2 = u2(n+1) = f f (u2n ) pour tout n N,
donc (u2n )nN est monotone daprs (i) : croissante si u0 u2 , dcroissante si u2 u0 .
Dans le cas o u0
u2 , u2n
u2n+2 pour tout n N, donc u2n+1 = f (u2n )
f (u2n+2 ) = u2n+3 par
dcroissance de f . Bref : (u2n+1 )nN est dcroissante. Dans le cas o u2
u0 , on montre de mme que
(u2n+1 )nN est croissante. Dans les deux cas, (u2n )nN et (u2n+1 )nN sont monotones de sens contraires.

Thorme (Limite des suites dfinies par rcurrence) Soient D une partie de R, u0 D et f une fonction dfinie sur
D valeurs dans D bref : D est stable par f . On note (un )nN la suite dfinie pour tout n N par : un+1 = f (un ).
Si (un )nN converge vers un certain rel R et si f est continue en , alors est une point fixe de f , i.e. f () = .
Dmonstration
lim f (un ) = f ().

Comme f est continue en , lim f (x) = f (). Composons avec la limite lim un = :
n

Or un+1 = f (un ) pour tout n N avec lim un+1 = , donc en effet f () = .

n

16

c Christophe Bertault - MPSI

Etudiez les exemples suivants avec le plus grand soin. On attend beaucoup dautonomie de votre part dans ce type dexercices.
un+1 = u2n + un .

Exemple On note (un )nN la suite dfinie par u0 = 1 et pour tout n N :

On note en outre f la fonction x x2 + x.

y=x

y = f (x)

Clairement, R+ est stable par f . Comme u0 R+ , la suite (un )nN est bien dfinie et
valeurs positives ou nulles.
Comme f est croissante sur R+ et u1 = u20 + u0 = 2 u0 , (un )nN est croissante, donc possde une limite daprs le thorme de la limite monotone. On pouvait aussi remarquer
que pour tout n N : un+1 un = u2n 0.
Supposons par labsurde que R. Alors f () = puisque f est continue sur R, i.e. = 0.
Or (un )nN est croissante et u0 = 1, donc 1. Contradiction ! Ainsi = .

u2 . . .

u0 u1

Conclusion : (un )nN crot vers .

Exemple On note (un )nN la suite dfinie par u0 = 0 et pour tout n N :
On note en outre f la fonction x ln(x + 3) dfinie sur ] 3, [.

un+1 = ln(un + 3).

y=x

Lintervalle R+ est stable par f car pour tout x R+ : f (x) = ln(x + 3)

ln 1 = 0.
Comme u0 R+ , la suite (un )nN est bien dfinie et valeurs dans positives ou nulles.

y = f (x)

Comme f est croissante sur R+ et u1 = ln(u0 + 3) = ln 3 0 = u0 , (un )nN est croissante,

donc possde une limite R+ daprs le thorme de la limite monotone.
Comme f est continue sur R+ , on sait que si est finie, alors f () = . Nous voil donc
conduits tudier les zros de la fonction g : x f (x) x sur R+ .
1) g est strictement dcroissante sur R+ car drivable de drive x

strictement ngative.

x+2
x+3

u1 u2 u3

u0

2) g est continue sur R+ .

3) Enfin g(0) = ln 3 et lim g = savez-vous le justifier proprement ?

Daprs le corollaire du thorme des valeurs intermdiaires, g ralise une bijection de R+ sur ] , ln 3]. En particulier,
puisque 0 ] , ln 3], lquation g(x) = 0 ou f (x) = x dinconnue x R+ possde une et une seule solution .

Montrons par rcurrence que pour tout n N :

Hrdit : Soit n N. On suppose que un

un

Initialisation : u0 = 0

. Alors f tant croissante, un+1 = f (un )

f () = et voil.

Le point prcdent montre en particulier que [0, ], et nous pouvons ds lors affirmer que f () = . Par dfinition de
, = ncessairement.
Conclusion : (un )nN converge vers vers en croissant.
Exemple

On note (un )nN la suite dfinie par u0 = 1 et pour tout n N :

On note en outre f la fonction x 1 +

un+1 = 1 +

1
dfinie sur R+ .
x

1
.
un
y=x

y = f (x)

Lintervalle R+ est stable par f et u0 R+ , donc la suite (un )nN est bien dfinie et
valeurs strictement positives.
La fonction inverse tant dcroissante sur R+ , la fonction f lest tout autant. Or
3
u1 = 2 et u2 =
u0 , donc (u2n )nN est croissante et (u2n+1 )nN dcroissante.
2
Ces deux suites possdent alors chacune une limite en vertu du thorme de la limite
monotone, disons > 0 et > 0 respectivement.
Dterminons les points fixes de f sur R+ . Pour tout x R+ :
f (x) = x

1+

1
=x
x

x2 x 1 = 0

Montrons par rcurrence que pour tout n N : u2n

5+1
1) Initialisation : u0 = 1
2 = u1 .
2

x>0

5+1
2

2) Hrdit : Soit n N. On suppose que u2n

5+1
donc : u2(n+1) = u2n+2 = f f (u2n ) f f
2

17

x=

5+1
2
=

5+1
.
2
u0

u2 u3
...

u1

u2n+1 .

u2n+1 . Or f est dcroissante, donc f f est croissante,

5+1
2

f f (u2n+1 ) = u2n+3 = u2(n+1)+1 .

c Christophe Bertault - MPSI

Les informations de monotonie/majoration/minoration dont nous disposons nous garantissent que R+ et R+ . Or

2x + 1
2 + 1
f f : x
est continue sur R+ , et u2n+2 = f f (u2n ) pour tout n N, donc : =
, ou encore
x+1
+1

5+1
5+1
, et =
par un raisonnement analogue.
2 1 = 0 avec > 0. Finalement =
2
2

5+1
Conclusion : (u2n )nN et (u2n+1 )nN tant convergentes de mme limite
, le thorme des suites extraites affirme
2

5+1
que (un )nN est convergente de limite
.
2
Attention !

Dans le cas o f est dcroissante, il se peut que (un )nN nait pas de limite. Cest le cas des suites

arithmtico-gomtriques un+1 = aun + b pour a

1. Exemple : la suite (1)n

nN

pour a = 1 et b = 0.

Extension au cas des suites complexes

Nous allons brivement tendre les rsultats que nous avons obtenus pour les suites relles aux suites complexes.

Dfinition

(Suite complexe) On appelle suite complexe toute application u de N dans C.

Attention !

Pas dingalits dans C, donc pas de suites complexes majores/minores/monotones ! Hlas !

Chose remarquable : la notion de suite borne a toujours un sens.

Dfinition (Suite borne) Soit (un )nN une suite complexe.
On dit que (un )nN est borne sil existe K R+ tel que pour tout n N :

|un |

K.

On dfinit comme avant les notions de suite extraite et de proprit vraie partir dun certain rang.
Pour une suite complexe, la notion de limite infinie na aucun sens, car il est o linfini dans C ? Y a-t-il un seul infini ?
Un dans chaque direction ? Dans R ces questions ne se posaient pas : et taient bien dfinis et distincts. Pourquoi bien
dfinis ? Parce quon a sur R une relation dordre totale dont ne manquaient que les extrmits. Dans C, pas dingalits. . .
Dfinition

(Voisinage dans C) Soit C. On appelle voisinage de (dans C) tout disque ouvert de centre , cest--dire

tout ensemble de la forme

z C/

|z | <

pour un certain > 0.

Explication

Un voisinage de dans C contient tous les nombres complexes proximit immdiate de . Cest la mme notion
que dans le cas rel, mais on travaille ici avec deux dimensions. Comme dans le cas rel galement, la dfinition
Voisinage de C
donne ici nest quune version simplifie de la dfinition mathmatique usuelle.
Dfinition (Limite dune suite complexe) Soient (un )nN une suite complexe et C. On dit que (un )nN admet pour
limite si tout voisinage de contient tous les un partir dun certain rang, i.e. si :
pour tout voisinage V de , un appartient V partir dun certain rang.
Cela revient dire que

lim |un | = 0,

ce qui nous ramne au cas des limites de suites relles :

> 0,

N N/

N,

|un | < .

Le thorme dunicit de la limite est encore valable.

Explication

Mme dfinition que dans le cas des suites relles. La seule modification, cest lallure des voisinages.

18

c Christophe Bertault - MPSI

Exemple

Pour tout a C tel que |a| < 1 :

En effet

lim an = 0.

Montrer que lim an = 0 revient, comme dans le cas rel, montrer que lim an = 0. Or nous savons
n

trs bien que lim |a|n = 0 quand |a| < 1.

n

Thorme (Caractrisation de la limite partir des parties relle et imaginaire) Soient (un )nN une suite complexe
et C. Les assertions suivantes sont quivalentes :
(i)

lim un = .

(ii)

lim Re(un ) = Re()

et

lim Im(un ) = Im().

Dmonstration
(i) = (ii) Faisons lhypothse que lim un = et montrons que lim Re(un ) = Re() preuve analoque pour
n

la partie imaginaire. Il suffit dappliquer le thorme des gendarmes puisque lim |un | = 0 et puisque
n

pour tout n N :
Re(un ) Re() = Re(un )
gendarmes des suites relles !

|un |. Attention : on applique ici le thorme des

(ii) = (i) Si lim Re(un ) = Re() et lim Im(un ) = Im(), alors par dfinition du module, tant donnes les
n

oprations quon peut faire sur les limites, lim un = 0. Ceci signifie prcisment que lim un = .
n

Exemple

lim Arctan n =

et lim
= 0, donc lim
n n
n
2

1
+ iArctan n
n

i
.
2

On dfinit comme avant les notions de suite convergente et de suite divergente. Il est toujours vrai quune suite convergente
est borne.
Les oprations daddition, produit, multiplication par un scalaire et inverse sur les limites donnent lieu aux mmes rsultats
que dans le cas rel, ceci prs que les symboles sont bannis. De mme, le thorme des suites extraites est maintenu.
Les grands thormes dexistence de limites nont pas de sens dans le cas des suites complexes car ils utilisent de faon
essentielle la relation dordre naturelle
sur R. Seul le thorme de Bolzano-Weierstrass chappe cette remarque, mais il ne
figure pas notre programme dans le cas complexe.

19