Vous êtes sur la page 1sur 101

Premier cours d'analyse

mathmatique

Sabin Lessard

Universit de Montral

1er mai 2013

Avant-propos

Ces notes sont utilises pour un premier cours d'analyse (MAT1000) offert aux tudiants du premier cycle en mathmatiques et statistique de l'Universit de Montral, ce qui comprend les tudiants en actuariat. Bien que le
cours n'exige pas ociellement de pralables, il s'adresse des tudiants qui
ont dj des connaissances en mathmatiques. Celles-ci ont pu avoir t acquises par exemple par des cours de calcul direntiel et intgral, d'algbre
linaire ou de mathmatiques discrtes.
L'analyse mathmatique a pour objet l'tude du continu. C'est la branche
des mathmatiques qui traite explicitement de la notion de limite, que ce soit
la limite d'une suite ou la limite d'une fonction. Ce qui la distingue du calcul
innitsimal est l'explication rigoureuse des calculs. L'analyse mathmatique
demande un eort srieux de la part des tudiants qui ne sont pas toujours
familiers avec la notion de preuve. Or, toutes les armations dans un cours
d'analyse mathmatique sont habituellement dmontres. On ne se contente
pas d'indiquer comment faire des calculs, on explique pourquoi on peut les
faire ainsi. Un choc culturel pour plusieurs.
Le premier cours approfondit le calcul direntiel. Il commence par une
prsentation des nombres rels (chapitre 1), suivie par une tude des suites
et des sries numriques autour de la notion de convergence (chapitres 2 et
3). Il se poursuit et se termine par l'tude des fonctions numriques autour
des notions de continuit et de drivation (chapitre 4 et 5). Les points culminants sont la proprit de Bolzano-Weierstass sur l'existence d'une sous-suite
convergente, la rgle de l'Hpital sur la limite d'un quotient de fonctions de
forme indtermine, et la formule de Taylor pour approcher une fonction
plusieurs fois drivable.
Le contenu du cours est de nature essentiellement thorique. L'objectif
est de revenir aux sources de la pense mathmatique et de fournir des bases
solides pour les dveloppements ultrieurs. Les applications sont l'objet de
nombreux autres cours, notamment sur les probabilits ou les quations diffrentielles.
Les notes ont t fortement inuences l'origine par le livre Introduction
l'analyse relle, par Jacques Labelle et Armel Mercier, ainsi que par les
notes de cours Analyse 1, de notre collgue Andr Giroux. Mentionnons
galement l'excellent et volumineux Calculus, de Michael Spivak, ainsi que

Premier cours d'analyse mathmatique

ii

de nombreux articles en ligne dans Wikipedia, qui sont souvent des exemples
de concision et la clart. La bibliographie contient une liste complte des
ouvrages qui ont t utiliss.
Enn un grand merci aux gnrations d'tudiants et tudiantes ainsi
qu' mes collgues anciens ou actuels du dpartement de mathmatiques et
de statistique de l'Universit de Montral pour des commentaires judicieux
et des discussions stimulantes sur la matire du cours.
Un merci spcial pour mon directeur de thse de doctorat, Richard Duncan, dont j'ai toujours admir l'enthousiasme pour l'enseignement, et une
pense pour mon superviseur de stage postdoctoral et mentor en gntique
mathmatique, Samuel Karlin, dcd en 2007, le mathmaticien le plus nergique et inspirant que j'ai eu le privilge de connatre.

Montral, 18 janvier 2013

Sabin Lessard

Symboles et notations

R ensemble des nombres rels


N ensemble des entiers naturels
Z ensemble des entiers relatifs
Q ensemble des nombres rationnels
inni
pour tout (tous)
il existe
appartient (l'ensemble)

/ ngation de
inclus dans (l'ensemble)
* ngation de
union (d'ensembles)
intersection (d'ensembles)
E c complmentaire de l'ensemble E
E fermeture ou adhrence de l'ensemble E
int(E) in trieur de l'ensemble E
F r(E) frontire de l'ensemble E
= gal (un nombre ou un ensemble)
6= ngation de =
< infrieur (strictement)
infrieur ou gal
> suprieur (strictement)
suprieur ou gal
+ plus (pour l'addition de deux nombres ou fonctions)
moins (pour la soustraction de deux nombres ou fonctions, ou la dirence

de deux ensembles)
fois (pour la multiplication de deux nombres ou fonctions)
/ (oblique ou horizontal) sur (pour la division de deux nombres ou fonctions)
inf inmum (d'un ensemble)
sup supremum (d'un ensemble)
min minimum (d'un ensemble)
max maximum (d'un ensemble)
lim limite (d'une suite ou d'une fonction)
lim sup ou lim limite suprieure (d'une suite)

Symboles et notations

lim inf ou lim limite infrieure (d'une suite)

P tend vers (un nombre ou l'inni) ou valeur dans (un ensemble)

iv

somme (de nombres ou fonctions)


n! factorielle de l'entier naturel n
bac partie entire du nombre a
|a| valeur absolue du nombre a
a1 lment inverse du nombre a
a2 carr du nombre a
an puissance n-ime du nombre a
ax puissance du nombre a d'exposant rel x

a racine carre du nombre a

n
a racine n-ime du nombre a
e constante d'euler
constante pi
sin fonction sinus
cos fonction cosinus
ln fonction logarithme nprien
exp fonction exponentielle
f (a) valeur de la fonction f au point a
f (a ) limite gauche de la fonction f au point a
f (a+ ) limite droite de la fonction f au point a
f 1 (b) fonction rciproque de la fonction f au point b
f 0 (a) drive de la fonction f au point a
fg0 (a) drive gauche de la fonction f au point a
fd0 (a) drive droite de la fonction f au point a
f (n) (a) drive n-ime de la fonction f au point a
f g(a) ou f (g(a)) composition de la fonctions g par la fonction f value
au point a

Premier cours d'analyse mathmatique

Table des matires

Droite numrique

Suites numriques

Sries numriques

Limite et continuit d'une fonction numrique 55

Drivation d'une fonction numrique

1.1
1.2
1.3
1.4
1.5
1.6
1.7
2.1
2.2
2.3
2.4
2.5
3.1
3.2
3.3
3.4
3.5
3.6
4.1
4.2
4.3
4.4
4.5
4.6
5.1
5.2
5.3
5.4

Nombres rels . . . . . . . . . . . . . . . . .
Valeur absolue . . . . . . . . . . . . . . . .
Entiers naturels et induction mathmatique
Nombres rationnels et nombres irrationnels
Applications . . . . . . . . . . . . . . . . . .
Intervalles . . . . . . . . . . . . . . . . . . .
Ensembles ouverts et ensembles ferms . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

Sries convergentes . . . . . . . . . . . . . . . . . .
Critres de convergence pour les sries positives . .
Sries absolument convergentes . . . . . . . . . . .
*Sries normalement et uniformment convergentes
Sries alternes . . . . . . . . . . . . . . . . . . . .
Dveloppement dcimal d'un nombre rel . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

Limite d'une suite . . . . . . . . . .


Oprations sur les limites . . . . . .
Limite infrieure et limite suprieure
Proprit de Bolzano-Weierstrass . .
Proprit de Cauchy . . . . . . . . .

Limite d'une fonction numrique . .


Fonctions continues . . . . . . . . . .
Proprit des valeurs intermdiaires .
Proprit des bornes atteintes . . . .
Fonctions uniformment continues .
Fonction rciproque . . . . . . . . . .
Fonctions drivables . . . . . . . .
Thorme des accroissements nis .
Rgle de l'Hpital . . . . . . . . . .
Formule de Taylor . . . . . . . . .

.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

2
6
7
10
13
16
17
21

21
27
32
33
36

37

37
39
45
49
51
53
55
59
63
65
66
68

71

71
78
81
84

5.5 Extrema locaux . . . . . . . . . . . . . . . . . . . . . . . . . 89


5.6 Fonctions convexes . . . . . . . . . . . . . . . . . . . . . . . . 92
Rfrences

95

1 Droite numrique

Droite numrique

1.1 Nombres rels


L'ensemble des nombres rels est reprsent par R. Cet ensemble est
muni d'une opration d'addition qui associe un nombre rel x plus y
tous nombres rels x et y :

x, y R, x + y R;

et d'une opration de multiplication qui associe un nombre rel x fois y


tous nombres rels x et y :
x, y R, x y (aussi not xy) R.

Les cinq proprits suivantes, o le signe = signie l'galit , c'est--dire


l'identit, font de R un corps commutatif :

P1 (commutativit) Pour tous x, y R,


x + y = y + x,
x y = y x.

P2 (associativit) Pour tous x, y, z R,


(x + y) + z = x + (y + z), not x + y + z ,
(x y) z = x (y z), not x y z ou xyz.

P3 (distributivit) Pour tous x, y, z R,


(x + y) z = x z + y z.

P4 (lments neutres) Il existe des lments 0 R et 1 R (1 6= 0), tels


que pour tout x R,

x + 0 = 0 + x = x,
x 1 = 1 x = x.

Les lments 0 et 1 sont uniques.

1 Droite numrique

P5 (lments symtriques) Pour tout x R, il existe un lment oppos x R et un lment inverse x1 R (en autant que x 6= 0
dans ce dernier cas, et alors x1 6= 0), tels que
x + (x) = 0,
x x1 = 1.

Les lments oppos et inverse sont uniques. La commutativit entrane


immdiatement les relations
(x) = x = (x1 )1 .

De plus, les lments neutres sont leurs propres lments symtriques,


c'est--dire, 0 = 0 et 11 = 1. Enn, pour tous x et y R, l'opration
de soustraction est dnie par
x y = x + (y),

et l'opration de division par


x
= x y 1 ,
y

en autant que y 6= 0.
L'ensemble R est galement muni d'une relation d'ordre strict de telle
sorte que x < y pour deux nombres rels x et y distincts, c'est--dire ingaux
(x 6= y ), signie que x est infrieur y ou, ce qui est quivalent, que y est
suprieur x, ce qui est aussi not y > x. On crit x y pour signier que
x est infrieur ou gal y , c'est--dire, x < y ou x = y , et de mme x y
pour signier que x est suprieur ou gal y , c'est--dire, x > y ou x = y .
On dit que x est positif (strictement) lorsque x 0 (x > 0), et ngatif
(strictement) lorsque x 0 (x < 0). Les prorits suivantes font de R un
ensemble totalement ordonn , la relation d'ordre strict tant compatible
avec l'opration d'addition par un nombre rel quelconque et l'opration de
multiplication par un nombre rel strictement positif :

P6 (trichotomie) Pour tous x, y R,


soit x < y, soit x = y, soit x > y,
ces trois possibilits tant mutuellement exclusives.

1 Droite numrique

P7 (transitivit) Pour tous x, y, z R,


si x < y et y < z, alors x < z.

P8 (compatibilit) Pour tous x, y, z R,


(a) si x < y , alors x + z < y + z , en particulier x y < y y = 0 ;
(b) si x < y et z > 0, alors x z < y z .
Finalement, l'ensemble le corps commutatif totalement ordonn R possde la proprit suivante :

P9 (axiome de compltude) Si
M R, c'est--dire,

E R non vide possde un

majorant

x E, x M,

alors E possde une borne suprieure ou supremum , sup E R,


qui est le plus petit majorant de E , c'est--dire,
x E, x sup E,
M R majorant de E, sup E M.

Sinon, sup E = +. Le supremum est unique. De faon analogue, si


E R non vide possde un minorant m R, c'est--dire,
x E, x m,

alors E possde une borne infrieure ou inmum , inf E R, qui


est le plus grand minorant de E , c'est--dire,
x E, x inf E,
m R minorant de E, inf E m.

Sinon, inf E = . L'inmum est unique. Enn, si E R non vide


possde un majorant et un minorant, donc une borne suprieure et une
borne infrieure, alors E est dit born .

1 Droite numrique

L'existence d'un ensemble R qui possde les proprits ci-dessus est une
question qui relve de la thorie des ensembles. Les proprits ci-dessous sont
des consquences de ces proprits.

C1 Pour tout x R, on a 0x = x0 = 0. En eet, 0x = (0+0)x = 0x+0x,

et donc 0 = 0x+(0x) = (0x+0x)+(0x) = 0x+(0x0x) =


0 x + 0 = 0 x = x 0.

C2 Pour tous x, y

R, on a (x y) = (x) y = x (y), en particulier


y = (1 y) = (1) y . En eet, x y + (x) y = (x x) y = 0 y =
0 = x 0 = x (y y) = x y + x (y).

C3 Pour tous

x, y R, on a x y = (x) (y). En eet, (x) (y) =


x (y) = (x y) = x y .

C4 Pour tout

x R (x 6= 0), on a (x)1 = x1 , et en particulier


= 11 = 1. En eet, (x) (x1 ) = (x) (1 x1 ) =
(x) ((1) x1 ) = ((x) (1)) x1 = (x 1) x1 = x x1 = 1.

(1)1

C5 Pour tous x, y R, on a (x+y) = xy. En eet, (x+y)+(xy) =


(y +x)+(xy) = y +(x+(xy)) = y +((xx)y) = y +(0y) =
y y = 0.

C6 Pour tous x, y R (x, y 6= 0), on a (xy)1 = y1 x1 = x1 y1 . En ef-

fet, on a alors (xy)(x1 y 1 ) = (xy)(y 1 x1 ) = ((xy)y 1 )x1 =


(x (y y 1 )) x1 = (x 1) x1 = x x1 = 1.

C7 Pour tout

x R (x 6= 0), on a x > 0 si et seulement si x < 0. En


eet, si x > 0, alors 0 = x + (x) > 0 + (x) = x, et si x < 0, alors
0 = x + (x) < 0 + (x) = x.

C8 Pour tous x, y R (x 6= y), on a x > y si et seulement si x < y. En


eet, on a alors x y > 0 si et seulement si (x y) = x + y < 0.

C9 Pour tous x, y, z R, si x < y et z < 0, alors x z > y z . En eet, on a

alors z > 0 et donc (x z) = x (z) < y (z) = (y z), ce qui


est quivalent la conclusion.

1 Droite numrique

C10 On a

1 > 0. Sinon, 1 < 0, donc 1 > 0, et alors on a 1 = 1 1 =


(1) (1) > 0 (1) = 0, ce qui est une contradiction.

C11 Pour tout x R (x 6= 0), on a x > 0 si et seulement si x1 > 0. En eet,

si x > 0 et x1 < 0, alors 1 = x x1 < x 0 = 0, ce qui est une contradiction. De mme, si x < 0 et x1 > 0, alors 1 = x x1 < 0 x1 = 0,
ce qui est une contradiction.

C12 Pour tous


y 1

<

11

x, y R, si y > x > 0, alors y 1 < x1 , en particulier


= 1 si y > 1. En eet, si y 1 = x1 , alors
y = (y 1 )1 = (x1 )1 = x,

ce qui est une contradiction. D'autre part, si y 1 > x1 , alors


1 = y y 1 > y x1 > x x1 = 1,

ce qui est une autre contradiction.

C13 Pour tous

x, y, a, b R, si y > x et b > a, alors y + b > x + a. En


particulier, y + b > 0 si y > 0 et b > 0, car 0 + 0 = 0. En eet, on a
alors x + a < y + a < y + b.

C14 Pour tous x, y, a, b R, si y > x > 0 et b > a > 0, alors y b > x a > 0.
En eet, on a alors 0 = 0 x = x 0 < x a < y a < y b.

1.2 Valeur absolue


La valeur absolue de x R est dnie par

si x > 0,
x > 0
|x| = 0
si x = 0,

x > 0 si x < 0.

On a donc |x| 0, avec |x| = 0 si et seulement si x = 0. L'ensemble des


nombres rels R est ainsi value . En utilisant la quantit |x y| comme
distance entre deux nombres rels x et y, l'ensemble R est un espace mtrique . Les principales proprits de la valeur absolue sont nonces dans la
proposition suivante.

1 Droite numrique

Proposition : Pour tous x, y R, on a :


(a) | x| = |x| ;
(b) |x y| = |x| |y| ;
(c) m x m si et seulement si |x| m, en particulier |x| x |x| ;
(d) |x + y| |x| + |y|, appel ingalit du triangle.

Dmonstration :
(a) Si x = 0, alors x = 0, et donc | x| = |x| = 0. Si x > 0, alors x < 0,
et donc | x| = (x) = x = |x|. Enn, si x < 0, alors x > 0, et donc
| x| = x = |x|.
(b) Si x = 0 ou y = 0, alors x y = 0 et |x| = 0 ou |y| = 0, d'o
|xy| = 0 = |x||y|. Si x > 0, y > 0, alors xy > 0, et donc |xy| = xy = |x||y|.
Si x < 0, y > 0, alors xy < 0y = 0, et donc |xy| = xy = (x)y = |x||y|.
Le cas x > 0, y < 0 est symtrique au prcdent. Enn, si x < 0, y < 0, alors
xy = (x) (y) > 0, et donc |x y| = (x) (y) = |x| |y|.
(c) On a x m, c'est--dire, x = m ou x < m, si et seulement si x = m
ou x > m, c'est--dire, x m. On a donc m x m si et seulement si m x m, ce qui implique que |x| m. Inversement, |x| m
si et seulement si |x| m, ce qui implique que m x m.
(d) Les relations |x| x |x| et |y| y |y| entranent que
(|x| + |y|) = |x| |y|) x + y |x| + |y|.

La proprit prcdente permet alors de conclure.

1.3 Entiers naturels et induction mathmatique


L'ensemble des entiers naturels est un sous-ensemble de R reprsent
par

N = {1, 1 + 1, (1 + 1) + 1, . . .} = {1, 2, 3, . . .}.

1 Droite numrique

Ce sous-ensemble est tel que :

(a)

1 N.

(b)

m + 1 N si m N.

(c)

N est le plus petit sous-ensemble de R qui possde les proprits (a) et


(b), de telle sorte que pour tout n N, on a n 1 et il n'existe pas
d'lment m N qui satisfait n < m < n + 1.

L'ensemble N est obtenu en prenant l'intersection de tous les sous-ensembles


de R qui satisfont les proprits (a) et (b), dont l'ensemble R lui-mme. La
proprit (c) signie que les proprits (a) et (b) gnrent tous les entiers
naturels. Autrement dit, on a le principe ci-dessous.

Principe d'induction mathmatique : Si E N est tel que : (i) 1 E ,


et (ii) m + 1 E ds que m E , alors E = N.
Ce principe s'applique en particulier lorsque
E = {n N : une armation est vraie pour n}.

On obtient ainsi une faon de dmontrer une armation parmi les plus utilises en mathmatiques, connue sous le nom de preuve par rcurrence .
Les proprits suivantes dcoulent des proprits prcdentes sur les nombres
naturels et sur les nombres rels :

(d) Pour tous m, n N, on a m + n N. En eet,


E = {n N : m N, m + n N}

contient 1 par dnition de N. De plus, si n E , alors pour tout m N


m + (n + 1) = (m + n) + 1 N,

par l'hypothse d'induction, d'o n + 1 E .

(e) Pour tous m, n N, on a m n N. En eet,


E = {n N : m N, m n N}

1 Droite numrique

contient 1 du fait que pour tout m N, m 1 = m. De plus, si n E ,


alors pour tout m N
m (n + 1) = m n + m N,

par l'hypothse d'induction et ce qui prcde, d'o n + 1 E .

(f) Pour tout m N (m > 1), on a m 1 N. En eet,


E = {m 1 N : m N, m > 1}

contient (1 + 1) 1 = 1 + (1 1) = 1 + 0 = 1. De plus, si n E , alors


il existe m N (m > 1), tel que
n + 1 = (m 1) + 1 = (m + 1) 1

avec m + 1 N satisfaisant m + 1 > m > 1, d'o n + 1 E .

(g) Pour tout n N, pour tous x1 , . . . , xn R, on a


max{x1 , . . . , xn } = sup{x1 , . . . , xn } {x1 , . . . , xn },
min{x1 , . . . , xn } = inf{x1 , . . . , xn } {x1 , . . . , xn }.

L'armation pour le maximum , reprsent par max, est videmment


vraie pour n = 1. De plus, si elle est vraie pour n N, alors
(
max{x1 , . . . , xn } si xn+1 < max{x1 , . . . , xn },
max{x1 , . . . , xn , xn+1 } =
xn+1
si xn+1 max{x1 , . . . , xn },

qui est alors un lment dans {x1 , . . . , xn } {xn+1 } = {x1 , . . . , xn+1 }.


L'armation est donc vraie pour n + 1. La conclusion pour le max
dcoule du principe d'induction. La conclusion pour le minimum , reprsent par min, est obtenue de faon analogue.

(h) (proprit d'Archimde) Pour tout


tel que

x R (x > 0), il existe n N

n > x, c'est--dire,

1
1
< .
n
x

Donc, l'ensemble des entiers naturels N est non major (c'est--dire


sup N = +). Sinon, on a
s 1 < s = sup N x.

10

1 Droite numrique

Il existe alors m N de telle sorte que


s 1 < m s,

et donc de telle sorte que


s = s 1 + 1 < m + 1 N,

ce qui est une contradiction avec la dnition du supremum.

(i) (partie entire d'un nombre rel) Pour tout x R, il existe un unique
lment bxc Z, o

Z = {n R : n = 0, ou n N, ou n N}

reprsente l'ensemble des entiers relatifs, de telle sorte que


bxc x < bxc + 1.

Si x = 0, on prend bxc = 0. Si x =
6 0, la proprit d'Archimde
garantit l'existence d'un entier m N satisfaisant m > |x| > 0, et
donc m x m. On prend alors
bxc = max{k Z : m k x},

qui satisfait toutes les conditions requises.

(j) (principe du bon ordre) Pour tout ensemble non vide

E N, on a
inf E E . En eet, on note d'abord que inf E R, car E est minor
par 1. Mais alors inf E E , car sinon pour tout n E , on a inf E < n,
c'est--dire, binf Ec n 1. Dans ce cas,
binf Ec inf E < binf Ec + 1 n,

ce qui est une contradiction avec la dnition de l'inmum.

1.4 Nombres rationnels et nombres irrationnels


L'ensemble des nombres rationnels est un sous-ensemble de R dni
par

Q=

nm
n

o
: m, n Z, n 6= 0 .

Ce sous-ensemble possde les proprits suivantes :

11

1 Droite numrique

(a) (oprations sur les nombres rationnels) Pour tous

r, s Q, on a
r Q, r1 Q si r 6= 0, r +s Q et r s Q. En eet, si a, b, c, d R
(b, d 6= 0), alors on a

a
a
=
,
b
b

ac
a c
=
,
b d
bd
a d c b
ad+cb
a c
+ = + =
,
b d
b d d b
bd
 1
b
d
= (b d1 )1 = (d1 )1 b1 = d b1 = .
d
b

Il reste montrer que b d 6= 0 si et seulement si b, d 6= 0, et que


a + b, a b Z si a, b Z. La vrication de ces armations est laisse
en exercice.

(b) (nombres irrationnels) Il existe des nombres rels qui ne sont pas
rationnels, appels nombres irrationnels , c'est--dire,
Qc = {x R : x
/ Q} =
6 .

Par exemple, 2 / Q, o 2 dsigne la racine

carrede 2 dnie

comme
le nombre rel strictement positif satisfaisant ( 2)2 = 2

2 = 2. Ici on suppose l'existence de ce nombre, ce qui est dmontr


au chapitre 4. Si ce nombre est rationnel, alors il existe m, n N tels
que

2=

m
.
n

On peut supposer que m, n n'appartiennent pas tous les deux l'ensemble des nombres naturels pairs dni par
Npairs = {2k : k N},

car un facteur 2 dans m et un facteur 2 dans n peuvent tre remplacs


par une multiplication par 1. Mais alors
 m 2
n

= 2, c'est--dire, m2 = 2n2 Npairs .

12

1 Droite numrique

Cela implique que m ne peut pas appartenir l'ensemble des nombres


naturels impairs dni par
Nimpairs = {2k + 1 : k N {0}}.

En eet, pour tout k N {0}, on a


(2k + 1)2 = (2k + 1) (2k + 1) = 4k 2 + 4k + 1 Nimpairs .

Puisque m est pair, on a m = 2k pour k N, d'o


2n2 = (2k)2 = 4k 2 , c'est--dire, n2 = 2k 2 Npairs .

Comme pour m, cela implique que n est pair, ce qui est une contradiction avec le choix de m et n.

(c) (densit des nombres rationnels) Pour tous

a, b R (a < b), il

existe r Q tel que a < r < b. En eet, la proprit d'Archimde


garantit qu'il existe n N qui satisfait
n>

1
1
, c'est--dire, b a > .
ba
n

Soit m = bnac + 1. On a les ingalits


m 1 na < m,

d'o
na < m na + 1.

Le nombre r = mn1 Q vrie alors


a<r a+

1
< b.
n

(d) (densit des nombres irrationnels) Pour tous

a, b
R (a < b), il
existe z Qc tel que a < z < b. En eet, on a alors a 2 < b 2,
et la densit des nombres rationnels garantit l'existence de r Q tel
que

2<r <b

c'est--dire,
a<r+

2 < b.

2,

13

1 Droite numrique

Or, z = r + 2 / Q, car sinon

2 = z r Q,

ce qui est une contradiction.

1.5 Applications
(a) (somme des premiers entiers naturels) Pour tout n N, on a
Sn =

n
X

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

i=1

n(n + 1)
.
2

L'armation est videmment vraie pour n = 1. De plus, si elle est


vraie pour n N, alors
Sn+1 = Sn + (n + 1) =
=
=

n(n + 1)
+ (n + 1)
2
n(n + 1) + 2(n + 1)
2
(n + 1)(n + 2)
.
2

Elle est donc vraie pour n + 1. La conclusion suit par le principe d'induction.

(b) (somme des premires puissances entires d'un nombre rel) Pour
tout a R (a 6= 1), pour tout n N, on a
Sn =

n
X
i=1

ai = 1 + a + a2 + an =

1 an+1
,
1a

o a0 = 1 et an = a an1 , pour tout n N. L'armation est vraie


pour n = 1, puisque
1+a=

(1 + a)(1 a)
1 + a a a2
1 a2
=
=
.
1a
1a
1a

Supposons qu'elle est vraie pour n N. Alors elle est vraie pour n + 1,

14

1 Droite numrique

car
Sn+1 = Sn + an+1 =
=
=
=

1 an+1
+ an+1
1a
(1 an+1 ) + (1 a)an+1
1a
1 an+1 + an+1 an+2
1a
1 an+2
.
1a

La conclusion suit par le principe d'induction.

(c) (binme de Newton) Pour tous a, b R (ab 6= 0), pour tout n N,


on a


n 
X
n
ank bk ,
(a + b) =
k
n

k=0

n
k


=

n!
> 0,
k!(n k)!

pour 0 k n, avec 0! = 1 et n! = n (n 1)!, pour tout n N.


L'identit est facilement vrie pour n = 1. En la supposant vrie
pour n N, elle l'est aussi pour n + 1, car
(a + b)n+1 = (a + b)(a + b)n

n 
X
n
ank bk
= (a + b)
k
k=0


n 
n
X
X n 
n
nk+1 k
ank bk+1
a
b +
=
k
k
k=0
k=0


n
X n
= an+1 +
ank+1 bk
k
k=1
n1
X n 
+
ank bk+1 + bn+1
k
k=0
 

n 
X
n
n
n+1
= a
+
+
ank+1 bk + bn+1
k
k1
k=1

n+1
X n+1 
=
an+1k bk .
k
k=0

15

1 Droite numrique

Ici, on utilise l'identit




n
k


+

n
k1

n!
n!
+
k!(n k)! (k 1)!(n k + 1)!
(n k + 1) n! + k n!
=
k!(n k + 1)!
(n + 1) n!
=
k!(n + 1 k)!


n+1
=
,
k
=

pour 1 k n. Le principe d'induction permet de conclure.

(d) (puissances entires de 2) Pour tout n N, on a



n 
X
n
2 =
n.
k
n

k=0

L'galit est l'application du binme de Newton pour a = b = 1.


L'ingalit se dmontre par rcurrence. Elle est videmment vraie pour
n = 1. En fait,


2n

n
0

= 1,

pour tout n N. De plus, si elle est vraie pour n N, alors elle l'est
aussi pour n + 1, car
n + 1 2n + 1 2n + 2n = (1 + 1) 2n = 2 2n = 2n+1 .

(e) (ingalit de Bernoulli) Pour tout b R (b > 0), pour tout n N,


on a

(1 + b)n 1 + nb.

C'est une consquence directe du binme de Newton, puisque







n 
X
n
n
n
k
0
(1 + b) =
b
b +
b1 = 1 + nb.
k
0
1
n

k=0

16

1 Droite numrique

(f) (inmum et supremun d'un ensemble inni) L'inmum et le su-

premum d'un ensemble ne sont pas ncessairement atteints dans cet


ensemble lorsque l'ensemble contient une innit d'lments. Soit, par
exemple,


E=

an
:nN ,
bn + c

pour des nombres rels a, b, c > 0. On a inf E E , mais sup E / E .


En eet, pour tout n N,
an
an
a

=
,
bn + c
bn + cn
b+c

avec galit lorsque n = 1. On a donc inf E = a/(b + c) E . D'autre


part, pour tout n N,
an
an
a

= ,
bn + c
bn
b

ce qui montre que sup E a/b. De plus,


an
> s,
bn + c

pour tout 0 < s < a/b, ds que


n>

cs
> 0.
a bs

Un tel entier n N existe par la proprit d'Archimde. On a donc


sup E a/b. On conclut que sup E = a/b. Cependant, a/b
/ E . Sinon,
il existe n N tel que
an
a
= ,
bn + c
b

c'est--dire, abn = abn + ac. Cela implique que ac = 0, ce qui est une
contradiction avec a > 0 et b > 0.

1.6 Intervalles
Les intervalles borns de R qui ont a R comme inmum et b R
comme supremum sont

(a, b) = {x R : a < x < b} ,


[a, b] = {x R : a x b} ,
[a, b) = {x R : a x < b} ,
(a, b] = {x R : a < x b} .

17

1 Droite numrique

La vrication que a et b sont les bornes infrieure et suprieure de tous ces


intervalles est laisse en exercice. Les intervalles semi-borns de R qui
ont a R comme inmum ou b R comme supremum sont
(a, +) = {x R : a < x} ,
[a, +) = {x R : a x} ,
(, b) = {x R : x < b} ,
(, b] = {x R : x b} .

La droite numrique entire est un intervalle non born qui a


comme inmum et + comme supremum. Elle est reprsente par
R = (, +) .

On utilise la convention d'ordre < x < +, pour tout x R. La droite


numrique acheve est dnie par
R = [, +] = R {, +}.

On a les rgles suivantes sur les oprations d'addition et de multiplication


qui impliquent ou + et a R (a > 0) :
(+) (+) = + () (+) = () () = +
+ + = +

a =

a =

0 =

a () =

a () = .

De plus, on a ()1 = 0. En revanche, les multiplications 0 () et les


divisions / , comme 0/0 par ailleurs, sont des oprations indtermines .

1.7 Ensembles ouverts et ensembles ferms


Un sous-ensemble O R est un ensemble ouvert si
x O, > 0, (x , x + ) O.

Il est sous-entendu que est un nombre rel qui dpend gnralement de x.


Un sous-ensemble F R est un ensemble ferm si son complmentaire
par rapport R, dni par
F c = {x R : x
/ F},

18

1 Droite numrique

est un ensemble ouvert. Enn, un ensemble ferm et born est dit compact .
Pour un sous-ensemble quelconque E R, l'adhrence de E est dnie
par
E = {x R : > 0, (x , x + ) E 6= } ,

et l'intrieur de E par
int(E) = {x E : > 0, (x , x + ) E} .

La frontire de E est alors donne par




F r(E) = E int(E) = x E : x
/ int(E) .

Il est vident partir des dnitions ci-dessus que


int(E) E E.

Si E = int(E), alors E est ouvert. Un ensemble ouvert est donc un ensemble


dont tous les lments sont des points intrieurs. D'autre part, si E = E ,
alors E est ferm. En eet, dans ce cas
c

E c = E = {x R : > 0, (x , x + ) E = }

est ouvert, puisque (x , x + ) E = si et seulement si (x , x + )


E c . Un ensemble ferm est donc un ensemble qui contient tous ses points
d'adhrence.
Enn, un point x R est appel un point d'accumulation de E si
pour tout > 0, (x , x + ) contient au moins un lment de E qui est
dirent de x. Un point d'accumulation de E est donc un point d'adhrence
de E qui n'est pas isol.

Proposition : Pour toute collection d'ensembles ouverts


{Oi : i N, Oi R ouvert},

et toute collection d'ensembles ferms


{Fi : i N, Fi R ferm},

on a les proprits suivantes :


(a)
i=1 Oi = {x R : i N, x Oi } est ouvert ;

19

1 Droite numrique

(b) ni=1 Oi = {x R : i N, 1 i n, x Oi } est ouvert ;


(c)
i=1 Fi = {x R : i N, x Fi } est ferm ;
(d) ni=1 Fi = {x R : i N, 1 i n, x Fi } est ferm.

Dmonstration :
(a) Si x
i=1 Oi , alors il existe i N et > 0 tels que
(x , x + ) Oi
i=1 Oi .

(b) Si x ni=1 Oi , alors pour tout i N, 1 i n, il existe i > 0 tel que


(x i , x + i ) Oi .

En dnissant = min {1 , . . . , n }, on a
(x , x + ) ni=1 (x i , x + i ) ni=1 Oi .

(c) La conclusion dcoule de (a) et de l'identit


c

c
(
i=1 Fi ) = i=1 Fi .

(d) La conclusion dcoule de (b) et de l'identit


(ni=1 Fi )c = ni=1 Fic .

Intervalles ouverts et intervalles fermes


L'intervalle (a, b), pour < a < b < +, est ouvert. En eet, pour
tout x (a, b), (x , x + ) (a, b) pour = min {x a, b x} > 0.
De mme, on montre que (a, +), (, b) et (, +) = R sont des
intervalles ouverts. L'ensemble est considr ouvert.

20

1 Droite numrique

En revanche, l'intervalle [a, b], pour < a < b < +, est ferm. En
eet,
[a, b]c = (, a) (b, +)

est ouvert par la proposition qui prcde. On montre de faon analogue que
[a, +), (, b] et (, +) = R sont des intervalles ferms. L'ensemble
est considr galement ferm.
On a (a, b) = [a, b], pour < a < b < +. En eet, on a videmment
(a, b) (a, b). De plus, a (a, b), car pour tout > 0, on a
(a , a + ) (a, b) = (a, a + ) 6= .

Par symtrie, b (a, b). En revanche, x / (a, b) si x < a, c'est--dire,


a x > 0, car alors
(x (a x), x + (a x)) (a, b) = .

De mme, x / (a, b) si x > b. On a donc (a, b) = [a, b]. Or, les mmes
arguments restent valides si (a, b) est remplac par [a, b]. Autrement dit, on
a aussi [a, b] = [a, b]. Ceci conrme que [a, b] est ferm.
D'autre part, int([a, b]) = (a, b), ce qui conrme que (a, b) est ouvert. On
a videmment (a, b) int([a, b]). De plus, si x a, alors pour tout > 0
(x , x + ) [a, b]c (x , x) 6= .

Ceci signie que x / int([a, b]). Il en est de mme si x b par analogie.


Enn,on a
F r([a, b]) = F r((a, b)) = [a, b] (a, b) = {a, b} ,

pour < a < b < +.

Ensembles ni ouverts ni fermes


Un sous-ensemble de R peut n'tre ni ouvert, ni ferm. C'est le cas notamment de l'ensemble des nombres rationnels Q qui n'est pas ouvert, puisque
tout intervalle contient des nombres irrationnels, c'est--dire, des lments
de Qc . Il n'est galement pas ferm, puisque tout intervalle contient aussi
des lments de Q, ce qui fait en sorte que Qc n'est pas ouvert.

Suites numriques

2.1 Limite d'une suite


La liste ordonne x1 , x2 , . . . , o xn R, pour tout n N, est une suite
numrique . Elle est reprsente par {xn }. La suite est croissante si xn
xn+1 , pour tout n N, et strictement croissante si xn < xn+1 , pour tout
n N. De faon analogue, la suite est dcroissante si xn xn+1 , pour
tout n N, et strictement dcroissante si xn > xn+1 , pour tout n N.
La suite est (strictement) monotone si elle est (strictement) croissante ou
(strictement) dcroissante.
La suite {xn } est majore si
M R, n N, xn M.

De mme, elle est minore si


m R, n N, xn m.

Elle est dite borne si


B 0, n N, |xn | B.

Si la suite est borne par B , alors B xn B , et donc elle est minore par
B et majore par B . Inversement, si la suite est minore par m et majore
par M , alors
max{|m|, |M |} m xn M |M | max{|m|, |M |},

et donc la suite est borne par B = max{|m|, |M |}.


La suite {xn } tend vers une limite nie x R, c'est--dire, converge
vers x R, et on crit
lim xn = x ou xn x,

dans le cas o
 > 0, N N, |xn x| <  ds que n N.

22

2 Suites numriques

Il est sous-entendu que  est un nombre rel et N un entier naturel qui


dpend gnralement de . Si la suite {xn } ne tend vers aucune limite x R,
alors elle diverge .
La suite {xn } tend vers une limite innie + (), et on crit
lim xn = + () ou xn + (),

dans le cas o
M > 0, N N, xn > M (< M ) ds que n N.

Il est sous-entendu que M est un nombre rel et N un entier naturel qui


dpend gnralement de M .
Par la proprit d'Archimde, la condition ds que n N pour un certain N N peut tre remplace dans tous les cas par la condition ds que
n > s pour un certain s R.

Proprits de la limite
(a) (limite et borne) Une suite {xn } qui converge vers x R est borne.
En eet, pour  = 1, il existe N N tel que

x 1 < xn < x + 1 ds que n N.

On a alors pour tout n N,


m = min {x1 , . . . , xN , x 1} xn max {x1 , . . . , xN , x + 1} = M.

En revanche, une suite {xn } qui tend vers la limite + ou est


videmment non borne, car elle est ou bien non majore ou bien non
minore.

(b) (unicit de la limite) La limite d'une suite est unique. En eet, si

par exemple xn x R et xn y R (x 6= y), alors en choisissant


 = |y x|/2 > 0, il existe N1 , N2 N tels que
|xn x| <

|y x|
ds que n N1 ,
2

|xn y| <

|y x|
ds que n N2 .
2

23

2 Suites numriques

Par consquent, ds que n max {N1 , N2 }, l'ingalit du triangle implique que


|x y| = |x xn + xn y| |x xn | + |xn y| < |x y|,

ce qui est une contradiction. Il est galement facile d'obtenir une contradiction si x ou y = + ou .

(c) (limite et monotonicit) Une suite monotone possde ncessairement


une limite et cette limite est relle si la suite est borne. Si par exemple
{xn } est croissante, alors
xn x = sup {xn : n N} .

En eet, si la suite est majore, donc borne, alors le supremum x R


et, pour tout  > 0, x  ne peut pas tre un majorant. Il existe donc
N N tel que
x  < xN x < x + .

En utilisant la croissance de la suite, on a alors


x  < xN xn x < x +  ds que n N.

En revanche, si la suite n'est pas majore, alors x = + et, pour tout

M > 0, il existe N N tel que

M < xN xn ds que n N.

De mme, si {xn } est dcroissante, alors


xn x = inf {xn : n N} ,

et l'inmum x est rel si et seulement si la suite est minore, donc


borne.

Exemples
(1) (entiers naturels et leurs inverses) La suite {n} est strictement croissante et non majore en vertu de la proprit d'Archimde, donc on a

24

2 Suites numriques

n +. La suite {1/n} est strictement dcroissante et minore par


0, donc convergente vers un nombre rel. En fait, 1/n 0, car


1

0 = 1 < ,
n
n

ds que n > 1/, pour tout  > 0 x. La suite {(1)n /n} n'est ni
croissante ni dcroissante, car les nombres ngatifs et positifs alternent.
Cependant, on a (1)n /n 0, car


1
(1)n
= 0.

0
n
n

(2) (puissances entires d'un nombre rel) On considre la suite {an }


pour a R. La suite est strictement croissante, et an +, si a > 1.
En eet, l'ingalit de Bernoulli donne alors
an = (1 + (a 1))n 1 + n(a 1) > M,

ds que
n>

M 1
,
a1

pour tout M > 0. La suite est donc non majore. La suite est en
revanche strictement dcroissante et minore par 0 si 0 < a < 1, c'est-dire si b = a1 1 > 0. En fait, an 0 dans ce cas. En eet,
l'ingalit de Bernoulli garantit alors que
0 < an =

1
(a1 )n

1
1

< ,
n
(1 + b)
1 + nb

ds que

1
,
b
pour tout  > 0. On obtient aussi an 0 si 1 < a < 0. En eet, on
a alors 0 < |a| < 1, et donc par ce qui prcde
n>

|an 0| = |an | = |a|n 0.

remarquer que dans ce cas la suite {an } n'est ni croissante ni dcroissante, puisque les nombres ngatifs et positifs alternent. C'est aussi le
cas si a = 1, mais alors limn an n'existe pas. En eet,
(
1 si n est impair,
(1) =
+1 si n est pair.
n

25

2 Suites numriques

La suite {(1)n } tant borne par 1, elle ne peut pas tendre vers +
ou . Supposons qu'elle converge vers un nombre rel A, c'est--dire
que (1)n A R. Alors, il existe N N tel que
|(1)n A| < 1 ds que n N.

Mais, on a
(
|1 + A| si n est impair,
|(1)n A| =
|1 A| si n est pair.

Or, l'ingalit du triangle garantit que


|1 + A| + |1 A| |1 + A + 1 A| = 2,

c'est--dire que

|1 + A| 1 ou |1 A| 1,

ce qui est une contradiction. Les cas a = 0 et a = 1 sont trivaux et


donnent 0n 0 et 1n 1. Il reste donc considrer le cas a < 1.
Sous cette condition, la suite {an } n'est pas borne, puisque |a| > 1 et
|an | = |a|n +.

Elle ne peut donc pas converger vers un nombre rel. D'autre part, elle
ne peut pas tendre vers + ou , puisque les nombres ngatifs et
positifs alternent. Finalement, on conclut que la suite {an } converge
vers un nombre rel si et seulement si 1 < a 1.

(3) (racines entires d'un nombre rel positif) La suite { n a}, o

a,

pour tout n N, est dni comme le nombre rel strictement positif


tel que

n
n

( a) = a > 0,

n
est convergente. En fait, on a
a 1, quel que soit a R (a > 0).
n
La question
de
l'existence
de
a est reporte au chapitre 4. Le fait

que n a > 1 si et seulement si a > 1 est laiss en exercice.


Dans le cas

a = 1, la convergence vers 1 est vidente, puisque n 1 = 1, pour tout


n N. Dans le cas a > 1, pour tout  > 0 x, on a

| n a 1| = n a 1 <  si n a < 1 + .

26

2 Suites numriques

Par l'ingalit de Bernoulli, cette condition est vrie si


a < 1 + n (1 + )n ,

et donc si n > (a 1)/. Dans le cas 0 < a < 1, on a

| n a 1| = 1 n a <  si 1  < n a.

Puisque
1=

1 2
1
<
,
1+
1+

il sut en fait que


(1 + )1 <

a, c'est--dire que (1 + )n > a1 .

Par ce qui prcde, cette condition est vrie si n > (a1 1)/.

(4) (racines entires des entiers naturels) On a

pour tout  > 0 x, on a

n 1. En eet,

| n n 1| = n n 1 <  si n n < 1 + , c'est--dire si n < (1 + )n .

Or, le binme de Newton nous donne


n

(1 + )n = 1 + n +

n(n 1) 2 X
 +
2
k=3

n
k

k .

La condition est donc vrie si


n<1+

n(n 1) 2
 ,
2

ce qui est le cas ds que n > max{1, 2/2 }, pour tout  > 0 x.

(5) (constante d'Euler) La constante d'Euler est le nombre rel dni par


1 n
e = lim 1 +
.
n
n

Cette limite relle existe, car la suite est croissante et majore. En eet,
le binme de Newton donne



 

  k
n 
n
X
1 n X n
1
1 n n 1
nk+1
1+
=
= 2+

,
k
n
n
k! n
n
n
k=0

k=2

27

2 Suites numriques

pour tout n N. Les ingalits k! 2k1 et








n n 1
nk+1
1
k1

=1 1
1
1,

n
n
n
n
n

pour 2 k n, dont la vrication est laisse en exercice, mnent


alors


n  k1
X
1
1 n
2+
1+
n
2
k=2
n1
X  1 k
= 1+
2
k=0
n
1 21

= 1+
1 12
1
 = 3.
1+
1 21

D'autre part, l'ingalit










1
k1
1
k1
1 1
1
1 1
1
,
n
n
n+1
n+1

pour 2 k n, conduit



 


 
n+1
n
X
1 n
1 n+1
n
nk+2
1
1+
2+

+
n
k! n + 1
n+1
n+1
n+1
k=2






n+1
k
n+1
X n+1
1
1
= 1+
.
=
k
n+1
n+1
k=0

2.2 Oprations sur les limites


Soient xn x et yn y . Alors on a :
(a) xn + yn x + y ;
(b) xn yn x y , en particulier a yn a y , pour tout a R ;
(c)

xn
yn

xy , en particulier yn1 y 1 , en autant que y 6= 0 ;

28

2 Suites numriques

(d) x y si xn yn , pour tout n N, en particulier si xn y , pour


tout n N, ou encore si x yn , pour tout n N ;
(e) zn x si xn zn yn , pour tout n N, et xn , yn x, appel

thorme des gendarmes.

Ces rsultats sont valides non seulement pour x, y R comme cela est
dmontr ci-dessous, mais aussi pour x ou y = + ou en autant que
les oprations sur x et y sont dtermines, ce qui est laiss en exercice.

Dmonstration pour le cas x, y R :


(a) Pour tout  > 0, il existe N1 , N2 N tels que

ds que n N1 ,
2

|yn y| < ds que n N2 .
2
Ds que n max{N1 , N2 }, l'ingalit du triangle garantit que
|xn x| <

|(xn + yn ) (x + y)| = |(xn x) + (yn y)| |xn x| + |yn y| <

 
+ = .
2 2

(b) On a
|xn yn xy| = |xn yn xn y + xn y xy|
= |xn (yn y) + (xn x)y|
|xn ||yn y| + |xn x||y|,

par l'ingalit du triangle. Soit B > |y| 0 tel que |xn | B , pour tout
n N. Pour tout  > 0, il existe N1 , N2 N tels que

ds que n N1 ,
2B

ds que n N2 .
|yn y| <
2B
Ds que n max{N1 , N2 }, on a donc
|xn x| <

|xn yn xy| B



+B
= .
2B
2B

29

2 Suites numriques

(c) tant donn (b), il sut de montrer que yn1 y 1 . Or, on a





1


1 = y yn = |y yn | .
yn y yn y |yn | |y|

Par l'ingalit du triangle et le fait que yn y R (y 6= 0), on obtient que


|yn | |yn + y yn | |y yn |
|y|
|y|
> |y|
=
> 0,
2
2

ds que n N1 , pour un certain N1 N. Pour tout  > 0, il existe par la


suite un entier naturel N2 N1 tel que
|y yn | <

On a alors yn 6= 0 et

y 2
ds que n N2 .
2



y2
1

1  2 = .
yn y
|y|
2 |y|

(d) Sinon (x > y ), il existe N1 , N2 N tels que


|xn x| <

xy
ds que n N1 ,
2

|yn y| <

xy
ds que n N2 .
2

Ds que n max{N1 , N2 }, on a alors


xn yn = xn x + x y + y yn >

xy
xy
+xy
= 0.
2
2

Ceci entre en contradiction avec l'hypothse xn yn , pour tout n N.


(e) Soit N1 , N2 N tels que
|xn x| <  ds que n N1 ,
|yn y| <  ds que n N2 ,

30

2 Suites numriques

pour  > 0 x. Ds que n max{N1 , N2 }, on a alors


x  < xn zn yn < x + ,

ce qui assure que |zn x| < .

Exemples
(1) (puissance rationnelle positive des entiers naturels) On a nr
+, pour tout r Q (r > 0), o on dnit

nr = ( q n)p ,

si r = p/q , pour p, q N. Le cas r = 1 correspond n +. Dans le


cas r > 1, c'est--dire, p > q , on a

nr = ( q n)p ( q n)q = n +,

et
le rsultat ci-dessus (d) permet de conclure. Ici, on utilise le fait que

q
n 1, pour tout n N, car sinon

n = ( q n)q < 1n = 1,

ce qui est une contradiction. De plus, ap aq , pour tout rel a 1,


pour tous entiers naturels p, q qui satisfont p > q , ce qui est laiss
en exercice. Dans
lecas 0 < r < 1, c'est--dire, p < q , on remarque

d'abord que q n q n + 1, pour tout n N, car sinon

n = ( q n)q > ( q n + 1)q = n + 1,

ce qui est une contradiction. Cette croissance garantit que


pour un certain a [1, +) {+}. Mais alors

n a,

n = ( q n)q aq ,

en rptant q fois le rsultat (b) ci-dessus, ce qui implique que aq =


+, et donc que a = +. Finalement, on conclut que

nr = ( q n)p ap = +,

en rptant p fois le rsultat (b) ci-dessus.

31

2 Suites numriques

(2) (puissance rationnelle ngative des entiers naturels) On a nr


0, pour tout r Q (r > 0), o on dnit

nr = (nr )1 .

En eet, on a alors par ce qui prcde


lim

n+

1
1
1
=
=
= 0.
r
r
n
limn+ n
+

On peut galement procder comme prcdemment pour montrer que


n1/q dcroit vers une limite a 0, pour tout q N x, et qu'alors
n1 = (n1/q )q aq = 0,

d'o a = 0. Mais alors


np/q = (n1/q )p ap = 0,

pour tout p N. Il sut de faire r = p/q .

(3) (quotient de deux polynmes des entiers naturels) Soient


P (n) =

k
X

ai ni (ak 6= 0),

i=0

Q(n) =

l
X

bj nj (bl 6= 0),

j=0

deux polynmes de degr k et l N, respectivement, par rapport


n N, de coecients ai et bj R, respectivement, pour 0 i k et
0 j l. Alors, on a
Pk
ai n(ki)
nk
ak
P (n)
= lim Pi=0
=
lim nkl .

lim
l
l
(lj)
n+
n+
n+ Q(n)
b
n
l n+
j=0 bj n
lim

La limite est alors donne par

ak

bl

P (n) 0
lim
=
n+ Q(n)

si k = l,
si k < l,
si k > l, ak /bl > 0,
si k > l, ak /bl < 0.

32

2 Suites numriques

(4) (racines
carres itres d'un nombre rel positif) On dnit an =

an1 , pour tout n N, avec a0 > 0. On montre que an 1. Notons


d'abord que, si 1 a0 , alors 1 a1 a0 , car
1 a21 = a0 a20 .

De plus, en supposant 1 an an1 pour n N, on obtient que


1 a2n+1 = an a2n ,

d'o 1 an+1 an . Par rcurrence, la suite {an } est alors dcroissante


et minore par 1. Par symtrie, la suite est croissante et majore par 1 si
a0 1. Dans les deux cas, la suite possde une limite nie strictement
positive. Supposons que an x R, o x > 0. On a alors
an =

an

an = an+1 an+1 x2 = x.

L'quation x2 = x a une seule solution x 6= 0 qui est obtenue en


multipliant les deux cts de l'quation par l'inverse de x, ce qui donne
x = 1.

2.3 Limite infrieure et limite suprieure


tant donn une suite {xn }, on considre
xn = inf xk = inf {xk : k n} ,
kn

xn = sup xk = sup {xk : k n} ,


kn

pour tout n N. La suite {xn } est croissante, alors que la suite {xn } est
dcroissante. On dnit la limite infrieure comme
lim inf xn = limn+ xn = lim xn [, +],
n+

n+

et la limite suprieure comme


lim sup xn = limn+ xn = lim xn [, +].
n+

On a le rsultat fondamental qui suit.

n+

33

2 Suites numriques

Proposition : Une condition ncessaire et susante pour que


[, +] est que

xn x

lim inf xn = lim sup xn = x [, +].


n+

n+

Dmonstration : La susance dcoule du thorme des gendarmes, car


xn xn xn ,

pour tout n N. Pour la ncessit, si xn x R, alors pour tout  > 0, il


existe N N tel que
x  < xn < x + , ds que n N.

Sous la mme condition, on a donc


x  xn xn x + ,

d'o
x  lim xn lim xn x + .
n+

n+

Le nombre rel  > 0 pouvant tre choisi arbitrairement petit, la conclusion


s'ensuit. Si xn +, alors pour tout M > 0, il existe N N tel que
xn > M, ds que n N.

Dans ce cas, on a
xn xn M,

d'o
lim xn lim xn M.

n+

n+

Le nombre rel M > 0 pouvant tre choisi arbitrairement grand, la conclusion


s'ensuit. L'analyse du cas o xn est analogue.

2.4 Proprit de Bolzano-Weierstrass


Toute suite borne x1 , x2 , x3 , . . . , reprsente par {xn }, contient une

sous-suite (ou suite extraite )

xn1 , xn2 , xn3 , . . . , o 1 n1 < n2 < n3 < . . . ,

34

2 Suites numriques

reprsente par {xnk }, qui converge vers un nombre rel.


Puisque toute suite monotone borne converge vers un nombre rel, il
sut de montrer ce qui suit.

Lemme : Toute suite {xn } contient une sous-suite monotone qui tend vers
lim supn+ xn et une suite monotone qui tend vers lim inf n+ xn .

Dmonstration : On dnit
E = {n N : xn > xm , pour tout entier m > n} ,

qui reprsente l'ensemble des pics successifs de la suite {xn }. Dans le cas
o E est non vide et non major, on utilise le principe du bon ordre et le
principe d'induction pour dnir
n1 = inf{n E} E,

donc n1 1, puis, tant donn


ni = inf{n E : n > ni1 } E,

pour i N avec n0 = 0,
ni+1 = inf{n E : n > ni } E,

donc ni+1 > ni . Par construction, la sous-suite {xni } est dcroissante et


xni = sup xk lim sup xn .
kni

n+

Dans le cas o E est vide ou major, il existe n1 N tel que


{n N : n n1 } E c ,

E c = {n N : xn xm , pour un certain entier m > n} .

Alors, pour tout n n1 ,


sup xk = max{xn , sup xk } = sup xk .
kn

kn+1

Ici, on dnit max{xn , +} = +. On a donc


sup xk = sup xk ,
kn

kn1

kn+1

35

2 Suites numriques

pour tout n n1 , d'o


lim sup xn = sup xk .
n+

kn1

Si supkn1 xk = +, alors il existe n2 > n1 tel que


xn2 > max{xn1 , 1},

puis, tant donn nk n1 pour k N, il existe nk+1 > nk tel que


xnk+1 > max{xnk , k}.

La sous-suite {xnk } est alors croissante, et possde donc une limite. De plus,
on a xnk k +, d'o xnk +. Si supkn1 xk = M R, alors il
existe n2 > n1 tel que
M xn2 xn1 +

M xn1
M + xn1
=
xn1 .
2
2

Puis, tant donn nk n1 pour k N, il existe nk+1 > nk tel que


M xnk+1 xnk +

M xnk
M + xnk
=
xnk .
2
2

La sous-suite {xnk } tant croissante et majore, xnk x R. Le thorme


des gendarmes nous assure alors que
M +x
= x, c'est--dire, M = x.
2

Ceci complte la dmonstration de l'existence d'une sous-suite monotone


qui tend vers la limite suprieure de la suite. La dmonstration de l'existence d'une sous-suite monotone qui tend vers la limite infrieure de la suite
est analogue.

Corollaire : Une suite possde une limite nie ou innie L si et seulement


si L est la seule limite possible pour toute sous-suite.

Dmonstration : La ncessit est vidente, car toute sous-suite possde

la mme limite que la suite si cette limite existe. La susance dcoule du


lemme prcdent, car alors les limites infrieure et suprieure de la suite sont
gales.

36

2 Suites numriques

2.5 Proprit de Cauchy


Une suite numrique {xn } converge vers un nombre rel si et seulement
si elle possde la proprit de Cauchy , c'est--dire,
 > 0, N N, |xn xm | <  ds que n, m N.

Dmonstration : Si xn x N, alors pour tout  > 0, il existe N


que

|xn x| <

N tel


ds que n N.
2

L'ingalit du triangle donne alors


|xn xm | = |xn x + x xm | |xn x| + |x xm | <



+ = ,
2 2

ds que n, m N . Inversement, si {xn } est une suite de Cauchy, alors elle


est borne. En eet, il existe N N tel que
|xn xN | < 1 ds que n N.

On obtient alors que


min {x1 , . . . , xN 1 , 1 xN } xn max {x1 , . . . , xN 1 , 1 + xN } ,

pour tout n N. Par la proprit de Bolzano-Weierstrass, il existe une soussuite {xnk } telle que xnk x N. Pour tout  > 0, il existe N1 , N2 N tels
que

|xnk x| < ds que nk N1 ,

2

|xn xnk | < ds que n, nk N2 .
2
Ds que n max{N1 , N2 }, on prend nk max{N1 , N2 } et on utilise l'in-

galit du triangle pour obtenir que

|xn x| = |xn xnk + xnk x| |xn xnk | + |xnk x| <



+ = .
2 2

Sries numriques

3.1 Sries convergentes


P
La srie numrique
k=1 ak = a1 + a2 + . . . associe une suite
numrique {ak } converge si la suite des sommes partielles des premiers
termes tend vers une limite nie, donc converge, lorsque le nombre de termes
tend vers +, c'est--dire,
Sn =

n
X

ak = a1 + + an S =

k=1

ak R.

k=1

Sinon, la srie diverge . Le nombre ak est appel le terme gnral de la


srie et le nombre S la sommePde la srie.
La convergence de la srie
k=1 ak entrane que
an = Sn Sn1 S S = 0.

L'inverse n'est pas ncessairement vrai.


P
remarquer que la convergence de la
srie
k=N ak pour un entier
P
N 1 entrane la convergence de la srie k=1 ak . Dans ce cas, on a

ak =

k=1

N
1
X

ak +

ak .

k=N

k=1

En eet, pour tout entier n N , on a alors


n
X

ak =

k=1

N
1
X

ak +

k=1

n
X

ak

k=N

N
1
X

ak +

k=1

ak .

k=N

Inversement, la convergence de
k=1 ak entrane la convergence de
pour tout entier N 1, car alors
P

n
X
k=N

ak =

n
X
k=1

ak

N
1
X
k=1

ak

X
k=1

ak

N
1
X
k=1

ak .

k=N

ak

38

3 Sries numriques

D'autre
part, si les
k=1 ak et
k=1 bk convergent, alors les sries
P
Psries

(a
+
b
)
et
ca
,
pour
tout
c

R, convergent. De plus, on a
k
k
k=1 k
k=1

X
X
X
(ak + bk ) =
ak +
bk ,
k=1

k=1

cak = c

k=1

k=1

ak .

k=1

En eet, les oprations sur les limites garantissent que


n
n
n

X
X
X
X
X
(ak + bk ) =
ak +
bk
ak +
bk ,
k=1

k=1
n
X
k=1

k=1

cak = c

n
X

k=1

ak c

k=1

ak .

k=1

k=1

Exemples
(1) (srie gomtrique) La srie gomtrique de raison r dnie par

n=0 r

converge si |r| < 1 et diverge sinon. En eet, dans le cas r 6= 1, on a


Sn =

n
X

rk = 1 + r + + rn =

k=0

1
1 rn+1

R
1r
1r

si et seulement si |r| < 1. Dans le cas r = 1, on a Sn = n + 1 +.

(2) (srie des cosinus des multiples de ) La srie

En eet,

cos(2n) = 1, cos((2n + 1)) = 1,

pour tout entier n 0, d'o les sommes partielles


Sn =

n
X

cos(n)

k=0

satisfont
S2n = 1, S2n+1 = 0,

n=0 cos(n)

diverge.

39

3 Sries numriques

pour tout entier n 0. La sous-suite des sommes partielles pour un


nombre pair de termes converge donc vers 1, alors que celle pour un
nombre impair converge vers 0, ce qui va l'encontre de la convergence
de la suite complte.

3.2 Critres de convergence pour les sries positives


P
La srie
n=1 an est une srie positive si les termes de la suite associe

sont tous positifs, c'est--dire, an 0 pour tout n N. Dans ce cas, la suite


des sommes partielles
Sn =

n
X

ak 0,

k=1

pour tout n N, est croissante, car elle satisfait Sn+1 Sn = an+1 0. Par
consquent, la limite
S = lim Sn =
n+

an

n=1

existe toujours. La srie converge si S < + et diverge si S = +. Des


conditions pour la convergence de sries positives sont prsentes ci-dessous.
La premire condition est la plus importante, car toutes les autres en dcoulent.

(a) (critre de comparaison) Si 0 an bn , pour tout n N, alors


0

an

n=1

bn .

n=1

la srie majorante
Par consquent, la srie n=1 an converge siP
n=1 bn

converge ou,
ce
qui
est
quivalent,
la
srie
b
diverge
si
la
srie
n=1 n
P
minorante n=1 an diverge.
P

Dmonstration : Pour tout n N, on a


0

n
X
k=1

ak

n
X

bk .

k=1

Ces ingalits sont prserves pour les limites lorsque n +, ce qui


donne le rsultat annonc.

40

3 Sries numriques

(b) (critre du quotient) Si an , bn > 0, pour tout n N, et


an
c > 0,
bn

alors la srie
converge.

n=1 an

converge si et seulement si la srie

Dmonstration : Puisque an /bn c et c > 0, il existe N

n=1 bn

N tel que

an
c c, c'est--dire, an 2cbn , ds que n N.
bn

Par le critre de comparaison, on a

an

n=N

2cbn = 2c

n=N

bn ,

n=N

d'o n=1 an converge si n=1 bn converge. Inversement,


P si n=1 an
converge, on montre par les mmes arguments que n=1 bn converge,
en utilisant le fait que bn /an c1 > 0.

(c) (critre du rapport) Si an > 0, pour tout n N, et


an+1
r 0,
an

alors la srie

n=1 an

converge si r < 1 et diverge si r > 1.

Dmonstration : On dnit s = (1 + r)/2. Dans le cas o 0 r < 1,

on a 0 r < s < 1 et il existe N N tel que

an+1
< s ds que n N.
an

En particulier, aN +1 < saN . De plus, si aN +k < sk aN pour k N,


alors
aN +k+1 < saN +k < sk+1 aN .

Par le principe d'induction, on a donc l'ingalit pour tout k N. Par


le critre de comparaison, on a alors

X
n=N

an =

X
k=0

aN +k

X
k=0

s aN = aN

X
k=0

sk =

aN
< +.
1s

41

3 Sries numriques

On conclut alors que


n=1 an converge. En revanche, dans le cas o
r > 1, on a 1 < s < r et il existe N N tel que
P

an+1
> s ds que n N.
an

On a alors aN +k > sk aN pour tout k N et

d'o

an =

n=N

k=0

n=1 an

diverge.

aN +k

sk aN = aN

k=0

sk = +,

k=0

(d) (critre de la racine) Si an > 0, pour tout n N, et

alors la srie

n=1 an

an r 0,

converge si r < 1 et diverge si r > 1.

Dmonstration : On procde
comme pour le critre du rapport, mais

en utilisant l'ingalit n an < s < 1, c'est--dire, an < sn , si r < 1,

et l'ingalit n an > s > 1, c'est--dire, an > sn , si r > 1, pour tout


n N N.

Exemples
(1) (sriePharmonique) La srie des inverses des entiers naturels, c'est-dire

n=1 1/n,

S2n =

2n
X
1
k

diverge. En eet,

k=1

=
=

1 1 1 1
1
1
+ + + + +
+
1 2 3 4
2n 1 2n

 

1 1
1
1 1
1
+ + +
+
+ + +
1 3
2n 1
2 4
2n

 

1
1 1
1
1 1
1
+
+ + +
+
+ + +
2
2 4
2n
2 4
2n


1
1 1
1
+
+ + +
2
1 2
n
1
+ Sn
2

42

3 Sries numriques

pour tout n N. Par consquent, S = limn+ Sn doit satisfaire


S

1
+ S,
2

ce qui n'est possible que si S = +.

(2) (srie des inverses des carrs des entiers naturels) La srie
converge. On remarque d'abord que
0

k=1 1/k

1
1
1
1

=
,
k2
k(k 1)
k1 k

pour tout entier k 2. De plus, on a



n 
X
1
1
1

= 1 1.
Sn =
k1 k
n
k=2

Le critre de comparaison permet alors de conclure, puisque





X
X
X
1
1
1
1
=1+
1+

= 2.
k2
k2
k1 k
k=1
k=2
k=2
P
2
2
En fait, il est connu que
k=1 1/k = /6.

(3) (srie des inverses des puissances


P rationnelles des entiers naturels)
r
La srie harmonique gnralise
k=1 1/k , pour r Q, converge si
r > 1 et diverge si 0 < r 1. En eet, si 0 < r 1, alors

X
X
1
1

= +.
kr
k
k=1

k=1

En revanche, si r > 1, alors

X
1
kr
k=1



X
1
1
1
=
+ n
+ + n
2nr
(2 + 1)r
(2 + 2n 1)r
n=0
n


X
X
2n
1

=
< +,
2nr
2r1
n=0

n=0

car la srie majorante est une srie gomtrique de raison 1/2r1 < 1.
Cette partie de la dmonstration est due Jose Manuel Rodriguez Caballero (communication personnelle, Universit de Montral, 12 mars

43

3 Sries numriques

2013).
argument semblable pour la srie harmonique (r = 1) donne
P Un
n /2n+1 = + comme srie minorante.
2
n=0

(4) (srie des quotients de deux polynmes positifs des entiers naturels)
Soient deux polynmes de degr k et l, respectivement, donns par
P (n) =

k
X

ai ni > 0 (ak > 0),

i=0

Q(n) =

l
X

bj nj > 0 (bl > 0),

j=0

pour tout n N, o 0 ai , bj R pour 0 i k et 0 j l.


La srie des quotients de ces deux polynmes converge si l k 2 et
diverge si l k 1, c'est--dire,
(
< + si l k 2,
Q(n) = + si l k 1.
n=1

X
P (n)

Ainsi, si

P (n) = 2n2 + 8n + 3,
Q(n) = 4n4 + 3n2 + 6,

la srie converge. En revanche, si


P (n) = 5n3 + 2n2 + 3,
Q(n) = 3n4 + 8n + 6,

alors la srie diverge. La dmonstration utilise le critre du quotient.


On compare le terme gnral de la srie 1/nlk . On obtient que
Pk
ai nik
P (n) lk
ak
n
= Pi=0

> 0.
l
jl
Q(n)
bl
j=0 bj n
lk converge si lk 2 et diverge si lk 1,
Puisque la srie
n=1 1/n
P
il en est de mme de la srie
n=1 P (n)/Q(n).

44

3 Sries numriques

(5) (fonction exponentielle) La fonction exponentielle est dnie par


la srie

exp{x} =

X
xn
n=0

n!

pour tout x R. La convergence pour tout x > 0 est conrme par le


critre du rapport, car on a alors
xn+1
n!
x
n =
0 < 1.
(n + 1)! x
n+1

Notons que




 X

n
n
X
1
1
i1
1
1 n
=2+
1
1

= sn ,
en = 1 +
n
i!
n
n
i!
i=2

i=0

pour tout n N, d'o


e = lim en lim sn =
n

X
1
= exp{1}.
i!
i=0

D'autre part, pour tout entier n k pour k N x, on a






k
X
1
1
k1
en 2 +
1
1
,
i!
n
n
i=2

d'o
e = lim en sk .
n

Cela implique que


e lim sk = exp{1}.
k

Donc, on a
e = exp{1} =

X
1
,
n!

n=0

comme expression de la constante d'Euler.

45

3 Sries numriques

3.3 Sries absolument convergentes


P
La srie
P n=1 an converge absolument si la srie positive des valeurs
absolues

n=1 |an |

converge, et alors

X
X


an
|an | < +.



n=1

n=1

En eet,

n
X

Sn =

ai ,

i=1

pour tout n N, vrie




n+k
n+k

X


X

Sn ,
|Sn+k Sn | =
ai
Sn = Sn+k
|ai | = Sn+k


i=n+1

i=n+1

pour tous n, k N, par l'ingalit du triangle, o


Sn =

n
X

|ai |.

i=1

La suite {Sn } est une suite de Cauchy, et donc converge, puisque la suite
{Sn } converge, et qu'elle est donc une suite de Cauchy. De plus, on a
|Sn | Sn , c'est--dire, Sn Sn Sn ,

pour tout n N, d'o






lim Sn lim Sn lim Sn , c'est--dire, lim Sn lim Sn .
n

Proposition
1 : Tout rarrangement
P

j=1 bj d'une srie absolument convergente


a
converge
vers
la
mme
limite.
Ici, ai = bf (i) pour tout i N,
i=1 i
o f est une bijection de N dans N, c'est--dire que pour tout j N, il existe
un et un seul i N tel que f (i) = j .

46

3 Sries numriques

Dmonstration : Soient
Sn =
Sn =

n
X
i=1
n
X

ai S R,
|ai | S R,

i=1

Tm =

m
X

bj .

j=1

On va montrer que Tm S . Pour tout  > 0, il existe N N tel que



X

X



|S Sn | =
ai
|ai | = S Sn < ,


2
i=n+1

i=n+1

ds que n N . Soit
M = max{f (1), . . . , f (N )}.

Les termes a1 , . . . , aN , qui correspondent aux termes bf (1) , . . . , bf (N ) , se retrouvent tous parmi les termes b1 , . . . , bM . Pour tout m M , on a alors


m

N

X
X
X






|Tm SN | =
bj
ai
|ai | = S SN
< .
2
j=1
i=N +1
i=1

L'ingalit du triangle donne alors


|Tm S| = |Tm SN + SN S| |Tm SN | + |SN S| < .

Proposition 2 : Si les sries

et
j=0 bj convergent
P absolument
vers les nombres rels A et B , respectivement, alors la srie
k=0 ck dont le
terme gnral est dni par
P

i=0 ai

ck =

k
X

ai bki ,

i=0

pour tout entier k 0, converge absolument vers le nombre rel AB . Cette


srie est appele le produit de Cauchy.

47

3 Sries numriques

Dmonstration : On dnit
An =
An =
Bn =
Bn =

n
X
i=0
n
X
i=0
n
X
j=0
n
X

ai A R,
|ai | A R,
bj B R,
|bj | B R,

j=0

Cn =

n
X
k=0

ck =

n X
k
X

ai bki =

k=0 i=0

n X
ni
X

ai bj .

i=0 j=0

Si A = 0 ou B = 0, alors ai = 0, pour tout entier i 0, ou bj = 0, pour


tout entier j 0, et donc ck = 0, pour tout entier k 0. L'armation est
alors triviale. On suppose dans ce qui suit que A > 0 et B > 0. De plus,
on sait que An Bn AB R. Donc, pour tout  > 0, il existe N N tel
que pour tout n N , on a
|A An | <
|B Bn | <
|AB An Bn | <


,
3B

,
3A

.
3

Ds que n 2N + 2, et donc que bn/2c N + 1, les proprits de la valeur


absolue, dont l'ingalit du triangle, entranent alors que

48

3 Sries numriques

|AB Cn | = |AB An Bn + An Bn Cn |
|AB An Bn | + |An Bn Cn |


n

n

 X X
<
+
ai bj
3

i=1 j=ni+1
n

 X
+
3

+
3

n
X

|ai | |bj |

i=1 j=ni+1
n
n
X
X

|ai | |bj | +

i=0 j=bn/2c


+A
3

n
n
X
X

|ai | |bj |

j=0 i=bn/2c

|bj | + B

j=bn/2c

|ai |

i=bn/2c







+ B A Abn/2c1
+ A B Bbn/2c1
=
3



<
+ A
+ B
3
3A
3B
= .

Donc, la suite {Cn } converge et sa limite est donne par AB . En fait, la suite
converge absolument, car
Cn

n
X
k=0

|ck |

n X
k
X

|ai | |bki |

k=0 i=0

n X
n
X

|ai | |bj | = An Bn A B R.

i=0 j=0

Exemple (proprit de la fonction exponentielle) : La fonction exponentielle satisfait

exp{x + y} = exp{x} exp{y},

pour tout x, y R. En eet, la srie


exp{x} =

X
xn
n=0

n!

49

3 Sries numriques

est absolument convergente, car exp{|x|} = 1 lorsque |x| = 0 et exp{|x|} <


+ lorsque |x| > 0, et il en est de mme pour exp{y}. D'aprs ce qui prcde
et le binme de Newton, on a donc

n
X
X
xk
y nk
exp{x} exp{y} =

k! (n k)!
n=0 k=0
!


n 
X
1 X n
=
xk y nk
k
n!
=

n=0

n=0

(x

k=0
+ y)n

n!

= exp{x + y}.

En particulier, pour tout x R, on a


exp{x} exp{x} = exp{0} = 1,

d'o
exp{x} =

1
> 0,
exp{x}

car ou bien x = 0, ou bien x > 0, ou bien x > 0.

3.4 *Sries normalement et uniformment convergentes


P
N, convergent normaleLes sries numriques
k=1 an,k , pour n P
ment si |an,k | bk , pour tous n, k N, avec
k=1 bk < +, de telle sorte
que

X
X
X


an,k
|an,k |
bk < +,



k=1

k=1

k=1

pour tout n N. Dans ce cas, elles convergent uniformment dans le


sens que, pour tout  > 0, il existe M N tel que


X


an,k < ,



k=m

pour tout n N, ds que m M + 1. Il sut de prendre M N tel que

X
k=M +1

bk < .

50

3 Sries numriques

La limite des sommes de sries normalement convergentes est la somme de


la srie des limites des termes gnraux, lorsque ces limites existent.

Proposition :PSi

n, k N, avec

an,k ak

k=1 bk < +,

lorsque n , o |an,k | bk , pour tous


alors

an,k

k=1

ak ,

k=1

lorsque n .

Dmonstration : Pour tout M

N, on a

X



= (an,k ak )

X

X


an,k
ak



k=1

k=1

k=1

X
k=1
M
X

|an,k ak |
|an,k ak | + 2

k=M +1

k=1

Pour tout  > 0, on prend M N tel que

X
k=M +1


bk < ,
4

puis n max{N1 , . . . , NM }, o
|an,k ak | <


,
2M

ds que n Nk , pour k = 1, . . . , M . On a alors



X

X


an,k
ak < ,



k=1

ce qui complte la dmonstration.

k=1

bk .

51

3 Sries numriques

Exemple (probabilits de transition) Dans une chane de Markov en


temps discret, la probabilit d'tre un tat j aprs n tapes partir d'un
tat i 6= j est donne par
(n)

Pij =

(k)

(nk)

fij Pjj

k=1

o fij(k) dsigne la probabilit d'tre j pour la premire fois aprs k tapes


partir de i et Pjj(nk) est la probabilit d'tre j aprs n k tapes partir
de j . Si l'tat j est apriodique, ce qui est le cas si Pjj(nk) > 0 pour n k
assez grand, alors le thorme ergodique garantit que
(nk)

Pjj

j ,

lorsque n , o j reprsente la fraction moyenne de temps long terme


l'tat j partir de j . Les conditions de la proposition sont alors satisfaites
avec
(k)

(nk)

(k)

fij Pjj
fij j ,


(k) (nk)
(k)
fij Pjj
fij ,

(k)

fij = fij < +,

k=1

o fij reprsente la probabilit d'atteindre j partir de i. On a alors


(n)

Pij

(k)

fij j = fij j ,

k=1

lorsque n . C'est la version du thorme ergodique pour des probabilits


de transition avec des tats d'arrive et de dpart qui dirent.

3.5 Sries alternes


Une srie alterne est une srie dont les termes ngatifs et positifs alternent. Il sut que les termes dcroissent vers 0 en valeur absolue pour que
la srie converge.

Proposition : Une srie alterne

tout n N, converge si an 0.

n+1 a ,
n
n=1 (1)

avec 0 an+1 an pour

52

3 Sries numriques

Dmonstration : On considre sparment les sommes partielles d'un nombre

pair et d'un nombre impair de termes de la srie. En dnissant S0 = 0, on


a
S2n =

2n
X

(1)k+1 ak = S2n2 + a2n1 a2n S2n2 ,

k=1

S2n+1 =

2n+1
X

(1)k+1 ak = S2n1 a2n + a2n+1 S2n1 ,

k=1

pour tout n N. De plus,


S2 S2n = S2n1 a2n S2n1 S1 .

La suite {S2n } est croissante et majore et elle converge donc vers un certain
S R. De mme, la suite {S2n1 } est dcroissante et minore et elle converge
vers un certain s R. Mais alors
S = lim S2n = lim S2n1 lim a2n = s.
n+

n+

n+

Exemple (srie alterne convergente non absolument convergente)


La srie alterne

S=

X
(1)n+1
n=1

converge, puisque 0 1/(n + 1) 1/n 0. Cependant, elle ne converge pas


absolument, car

X
(1)n+1 X
1

=
= +.


n
n

n=1

n=1

D'ailleurs, il existe un rarrangement qui converge vers une autre valeur. En


eet, on a

1 1 1 1 1 1 1
+ + + + ...,
2 3 4 5 6 7 8
avec 1 1/2 = 1/2 S 1. De plus, on peut crire
S =1

S
1
1
1
1
= 0 + + 0 + 0 + + 0 + ....
2
2
4
6
8

53

3 Sries numriques

En additionnant les deux sries terme terme, on obtient que


3S
1 1 1
1 1
= 1 + 0 + + + 0 + + ....
2
3 2 5
7 4

En liminant les 0, on a alors un rarrangement de la srie dont la limite est


dirente de S .

3.6 Dveloppement dcimal d'un nombre rel


Pour toute suite {dk }, o dk D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, pour tout
k N, on a convergence de la srie

X
dk
[0, 1] .
10k
k=1

En eet,
0

dk
9
k,
k
10
10

pour tout k N, d'o





X
X
dk
1
9
9
0

= 1.

=
10
1 1/10
10k
10k
k=1

k=1

Inversement, pour tout x [0, 1), il existe une suite {dk } avec dk D, pour
tout k N, telle que
x=

X
dk
.
10k
k=1

Cette srie est appele le dveloppement dcimal de x.


Pour obtenir ce dveloppement, on dnit d'abord



d
d1 = max d N0 :
x ,
10

o N0 = N {0}. L'entier d1 0 est bien dni en vertu de la proprit


d'Archimde qui garantit que le nombre d'entiers d 0 satisfaisant d 10x
est ni. De plus, on a d1 D, car sinon d1 /10 10/10 = 1 > 1, ce qui est
une contradiction. Supposons maintenant


d1
dl1
d
+ + l1 + l x D,
dl = max d N0 :
10
10
10

54

3 Sries numriques

pour l k N, et dnissons

d
d1
dk
= max d N0 :
+ + k + k+1 x .
10
10
10


dk+1

L'entier dk+1 0 est bien dni en vertu de la proprit d'Archimde pour


la mme raison que prcdemment. De plus, dk+1 D, car sinon
x

d1
dk
dk+1
d1
dk + 1
+ + k + k+1
+ +
,
10
10
10
10
10k

ce qui entre en contradiction avec la dnition de dk . Selon le principe d'induction, la somme partielle
sn =

n
X
dk
10k
k=1

est bien dnie pour tout n N. Or, on a sn x par le thorme des


gendarmes, puisque
x

1
dn+1 + 1
x
< sn x.
10n
10n+1

Cela conrme le dveloppement dcimal pour x [0, 1).


D'autre part, pour tout x [1, +), on dnit


N = max n N : 10n1 bxc N,

qui est bien dni du fait que 10n1 +, et qui est tel que
10N 1 x < 10N .

Puisque

1
x
N < 1,
10
10
il existe une suite {dk } avec dk D, pour tout k N, qui satisfait
0<

x = 10N

X
X
x
dk
dk
N
=
10

=
.
10N
10k
10kN
k=1

k=1

On crit aussi
x = d1 . . . dN , dN +1 dN +2 . . . .

Enn, pour tout x (, 0), le dveloppement dcimal est donn par celui
de |x| en utilisant l'identit x = |x|.

Limite et continuit d'une fonction numrique

4.1 Limite d'une fonction numrique


Soit une fonction numrique
f : (a, b) R,

qui associe f (x) R tout x (a, b), pour a < b +. L'intervalle


x (a, b) est le domaine de dnition de la fonction. Cette fonction
possde une limite nie L R en un point ni x0 [a, b] R si
 > 0, > 0, |f (x) L| <  ds que |x x0 | < ,

et (a) x < x0 dans le cas d'une limite unilatrale gauche , et alors on


note

L = Lg (x0 ) = f (x
0 ) = lim f (x), ou f (x) L lorsque x x0 ;
xx
0

ou (b) x > x0 dans le cas d'une limite unilatrale droite , et alors on


note
+
L = Ld (x0 ) = f (x+
0 ) = lim f (x), ou f (x) L lorsque x x0 ;
xx+
0

ou (c) x 6= x0 dans le cas d'une limite bilatrale , et alors on note


L = L(x0 ) = lim f (x), ou f (x) L lorsque x x0 .
xx0

La limite gauche n'est pas dnie en x0 = a, et la limite droite n'est pas


dnie en x0 = b. En un point inni x0 = + (, respectivement), la
condition |x x0 | < pour un certain > 0 est remplace par
x > (< , respectivement), pour un certain > 0.

Pour une limite innie L = + (, respectivement), la condition


|f (x) L| <  pour tout  > 0 est remplace par
f (x) > M (< M , respectivement), pour tout M > 0.

4 Limite et continuit d'une fonction numrique

56

Dans tous les cas, il est sous-entendu que x (a, b) et que ou est un
nombre rel strictement positif qui dpend gnralement de x0 et .
Les deux propositions suivantes donnent des conditions ncessaires et sufsantes pour l'existence de la limite d'une fonction numrique en un point.

Proposition 1 : Une fonction f : (a, b) R possde une limite bilatrale


L(x0 ) en un point ni x0 (a, b) si et seulement si elle possde des limites
unilatrales gauche et droite en x0 (a, b) qui sont gales, c'est--dire,
Lg (x0 ) = Ld (x0 ) = L(x0 ).
Dmonstration : La ncessit est vidente, car si la condition est vrie

pour tout x 6= x0 , alors elle est vrie pour tout x < x0 et pour tout x > x0 .
Pour dmontrer la susance, il sut de prendre pour valeur du dans la
condition d'existence de L(x0 ) le minimum des valeurs du dans les conditions d'existence de Lg (x0 ) et Ld (x0 ).

Proposition 2 : Une fonction

f : (a, b) R possde une limite L en


x0 [a, b] dans l'un des sens (a), (b) ou (c) ci-dessus si et seulement si
f (xn ) L ds que xn x0 ,

pour toute suite numrique {xn } qui satisfaist les conditions correspondantes
(a), (b) ou (c) ci-dessus. Les limites de fonctions possdent donc les mmes
proprits que les limites de suites numriques.

Dmonstration dans le cas

L R et x0 (a, b) : Pour la ncessit, il


sut de remarquer que, pour tout  > 0, il existe > 0 tel que
|f (xn ) L| <  ds que |xn x0 | < .

D'autre part, il existe N N tel que


|xn x0 | < ds que n N,

ce qui termine la dmonstration. Pour la susance, on suppose au contraire


qu'il existe  > 0 tel que, pour tout n N, il existe xn (a, b) qui satisfait
0 < |xn x0 | <

1
et |f (xn ) L| .
n

4 Limite et continuit d'une fonction numrique

57

On a alors xn x0 , mais f (xn ) 9 L, ce qui est une contradiction.

Corollaire : Si les fonctions f, g : (a, b) R admettent des limites L et M

en x0 [a, b] dans l'un des sens (a), (b) ou (c) ci-dessus, alors f + g , f g et
f /g admettent les limites L + M, L M et L/M (si M 6= 0) dans le mme
sens, la condition que ces limites soient dtermines.

Dmonstration : Les conclusions dcoulent directement de la proposition


2 et des oprations sur les limites de suites numriques.

Exemples
(1) (fonction signe) La fonction dnie par

si x > 0,
1
sgn(x) = 0
si x = 0,

1 si x < 0,

est telle que sgn(0 ) = 1 et sgn(0+ ) = 1. Elle ne possde donc pas


de limite bilatrale en 0.

(2) (fonction indicatrice des entiers relatifs) La fonction dnie par


(
1 si x Z,
1Z (x) =
0 si x
/ Z,

pour tout x R, satisfait 1Z (n+ ) = 1Z (n ) = 0, pour tout n Z. On


a donc 1Z (x) 0 lorsque x n, alors que 1Z (n) = 1, pour tout n Z.

(3) (fonction indicatrice des nombres rationnels) La fonction dnie


par

(
1 si x Q,
1Q (x) =
0 si x
/ Q,

4 Limite et continuit d'une fonction numrique

58

pour tout x R, est telle que 1Q (x ) et 1Q (x+ ) n'existent pas, pour


tout x R. En eet, pour tout n N, il existe xn Q et yn Qc tels
que

1
< xn , yn < x.
n
Par le thorme des gendarmes, on a alors xn , yn x . Cependant,
1Q (xn ) = 1 1 et 1Q (yn ) = 0 0, d'o la limite gauche au point x
x

n'existe pas. La limite droite n'existe pas par un argument analogue.

(4) (fonction inverse) On considre la fonction


f (x) =

1
, pour tout x (, 0) (0, +) .
x

On a
lim f (x) = +,

x0+

car pour tout M > 0,


1
1
> M ds que 0 < x <
.
x
M

D'un autre ct, on a


lim f (x) = 0,

x+

car pour tout  > 0,



1 1
= <  ds que x > 1 > 0.
x x


De faon analogue, on montre que


lim f (x) = et

x0

lim f (x) = 0.

(5) (cosinus de la fonction inverse) Soit


(
cos
f (x) =
0

1
x

si x 6= 0,
si x = 0,

pour tout x R. La limite en x = 0 n'existe pas. En eet, pour n N,


on a
1
0+ et f (x2n ) = cos(2n) = 1 1,
x2n =
2n

4 Limite et continuit d'une fonction numrique

59

mais
x2n+1 =

1
0+ et f (x2n+1 ) = cos((2n + 1)) = 1 1.
(2n + 1)

Donc la limite droite en x = 0, et a fortiori la limite bilatrale,


n'existe pas. En revanche, la fonction g(x) = x f (x), pour tout x R,
possde une limite bilatrale gale 0 en x = 0. En eet, pour tout
 > 0,

 

|g(x)| = |x| cos

1
|x| < ,
x

ds que 0 < |x| < .

4.2 Fonctions continues


Soit une fonction numrique
f : I R,

o I R est un intervalle. La fonction est continue gauche en un point


a I si
lim f (x) = f (a).

xa

De mme, le fonction est continue droite en un point a I si


lim f (x) = f (a).

xa+

Enn, la fonction f est continue en un point a I si


lim f (x) = f (a).

xa

La fonction est dite continue si elle est continue en tout point a I .


Puisque |f (x) f (a)| = 0 lorsque x = a, la fonction f est continue
gauche, continue droite ou simplement continue, respectivement, si
 > 0, > 0, |f (x) f (a)| <  ds que |x a| < ,

et a x I , a x I ou x I , respectivement. Comme dans la section


prcdente, une condition ncessaire et susante est
f (xn ) f (a) ds que xn a,

pour toute suite numrique {xn } satisfaisant a xn I , a xn I ou


xn I , respectivement, pour tout n N.
Les fonctions continues satisfont les rgles suivantes.

60

4 Limite et continuit d'une fonction numrique

(a) (oprations sur les fonctions continues) Soient


f, g : I R

deux fonctions continues en a I , o I est un intervalle de R. Alors,


les fonctions f + g , f g et f /g (si g(a) 6= 0) sont continues en a I .

Dmonstration : Les conclusions dcoulent directement des oprations correspondantes sur les limites de suites numriques.

(b) (composition de fonctions continues) Soient


f :IJ

une fonction continue en a I , et


g:J R

une fonction continue en f (a) J , o I et J sont des intervalles de R.


Alors, la composition
gf :I R

est une fonction continue en a I .

Dmonstration : Soit {xn } une suite dans I telle que xn

a I.
Alors, {f (xn )} est une suite dans J telle que f (xn ) f (a) J , par
la continuit de f en a. La continuit de g en f (a) permet nalement
de conclure que g(f (xn )) g(f (a)) R, ce qui garantit la continuit
de g f en a.

Exemples
(1) (continuit droite de la partie entire) La fonction

f (x) = bxc
= n 1, pour tout

pour tout x R est telle que


= n et
n Z. Puisque f (n) = n, la fonction est continue droite, mais non
gauche, tout point n Z.
f (n+ )

f (n )

(2) (continuit de la valeur absolue) La fonction f (x) = |x| pour tout


x R est continue, car

||x| |y|| |x y|,

61

4 Limite et continuit d'une fonction numrique

pour tous x, y R. En eet, l'ingalit du triangle garantit que


|x| = |x y + y| |x y| + |y|,

et aussi par symtrie que


|y| |y x| + |x| = |x y| + |x|,

d'o
|x y| |x| |y| |x y|.

(3) (continuit de polynmes d'un nombre rel) Soient


P (x) =

k
X

ai xi ,

i=0

Q(x) =

l
X

bj xj ,

j=0

pour tout x R, o ai , bj R, pour 0 i k et 0 j l.


Ces deux polynmes sont continus. En eet, une fonction constante,
f (x) = c R, et la fonction identit, f (x) = x, sont videmment continues, et donc aussi f (x) = xx = x2 et f (x) = xn , pour tout n N par
le principe d'induction. Il en est de mme pour toute somme de produits de telles fonctions. De plus, le quotient P (x)/Q(x) est continu
en tout point x R tel que Q(x) 6= 0. Il en est alors de mme de
|P (x)/Q(x)|, qui est la composition de la fonction prcdente avec la
valeur abolue.

(4) (continuit de la racine


carre) La racine
carre d'un nombre rel

x > 0 est un nombre rel
x > 0. On a alors

x > 0 tel que

x = x. Soit 0 < xn




xn x |xn x|

0 xn x =
0.
xn + x
x

La continuit de x en x dcoule alors du thorme des gendarmes.

4 Limite et continuit d'une fonction numrique

62

(5) (continuit de la fonction exponentielle) La fonction exponentielle


dnie par

exp{x} =

X
xn
n=0

n!

pour tout x R, est continue en 0. En eet, on a exp{0} = 1 et



X
xn X |x|n X n
|x|

|exp{x} 1| =

|x| =
0,


n!
n!
1 |x|
n=1

n=1

n=1

lorsque x 0, en utilisant la continuit de la valeur absolue et du


quotient de fonctions continues. En fait, la fonction exponentielle est
continue en tout point x R, puisque pour y = x + y x R, on a
exp{y} = exp{x} exp{y x},

d'o|
|exp{x} exp{y}| = |exp{x}| |1 exp{y x}| 0,

lorsque y x, par la continuit en 0.

(6) (continuit des fonctions trigonomtriques) La fonction sin(x) est


continue en 0. En eet, pour tout x [0, /2], la hauteur du point
(cos(x), sin(x) est infrieure la longueur de la corde reliant ce point
au point (1, 0), qui est infrieure la longueur de l'arc de cercle reliant
ces deux points, ce qui donne
0 sin(x) x,

et donc aussi
sin(x) = sin(x) x.

Cela signie que


| sin(x)| |x|,

pour tout x [/2, /2]. On a alors


sin(x) 0 = sin(0),

lorsque x 0. Par la composition de fonctions continues, on a aussi


q
cos(x) = 1 sin2 (x) 1 = cos(0),

4 Limite et continuit d'une fonction numrique

63

lorsque x 0, d'o la continuit de cos(x) en 0. De plus, pour tous


a, x R, le produit scalaire du vecteur (cos(a), sin(a)) avec le vecteur
(cos(x), sin(x)) donne
cos(a x) = cos(a) cos(x) + sin(a) sin(x) cos(a),

lorsque x 0, d'o la continuit de cos(x) en a. Par consquent,


p
sin(x) = 1 cos2 (x),

est aussi continue en a. Enn,


tan(x) =

sin(x)
cos(x)

est continue en tout point a tel que cos(a) 6= 0.

4.3 Proprit des valeurs intermdiaires


Soit une fonction continue
f : [a, b] R R,

o < a < b < +, qui est telle que f (a) < f (b). Alors, pour tout
y (f (a), f (b)), il existe c (a, b) tel que f (c) = y .

Dmonstration : On pose
E = {x [a, b] : f (x) y} ,

qui est un sous-ensemble non vide, car il contient a, et major par b par
dnition. On dnit
c = sup E [a, b] .

Pour tout n N, il existe xn E tel que


c

1
xn c.
n

Le thorme des gendarmes garantit alors que xn c, et la continuit de f


en c que
f (c) = lim f (xn ) y < f (b),
n+

4 Limite et continuit d'une fonction numrique

64

ce qui assure en particulier que c < b. Supposons que f (c) < y . Toujours par
la continuit de f en c, il existe x (c, b) tel que
f (x) < f (c) + y f (c) = y,

ce qui est une contradiction avec la dnition de c. Donc, f (c) = y > f (a),
ce qui implique en particulier que c > a.

Exemples
(1) (existence d'une racine entire et d'une puissance rationnelle)

Pourtout nombre rela > 0 et tout entier n 2, il existe un nombre


rel n a > 0 tel que ( n a)n = a. En eet, la fonction f (x) = xn , pour
tout x R, est continue, car elle est le produit n fois de la fonction
identit, g(x) = x, qui est continue. En particulier, elle est continue
sur l'intervalle [0, a + 1]. Or,
f (0) = 0 < a < a + 1 < (a + 1)n = f (a + 1).

Par la proprit des valeurs intermdiaires,


il existe y (0, a + 1) tel

que f (y) = y n = a. On pose n a = y . Pour tout entier m 1, on a


alors

n

= ym,

ce qui dnit la puissance rationnelle ar et son inverse ar , pour


r = m/n.

(2) (existence d'un zro d'un polynme de degr impair) Soit un polynme de degr n 1 dni par

P (x) =

n
X

ai xi ,

i=0

pour tout x R, o ai R, pour 0 i n, et an > 0. Si n est impair,


alors il existe c R tel que P (c) = 0. En eet, P est une fonction
continue sur R, car une somme de produits de fonctions continues. De
plus, il existe a, b R tels que
P (a) < 0 < P (b).

Pour s'en convaincre, crivons d'abord



an1 an2
a1
a0 
P (x) = xn an +
+ 2 + + n1 + n .
x
x
x
x

4 Limite et continuit d'une fonction numrique

65

Puisque n est impair, on a alors



an1 an2
a0 
a1
P (2k ) = 2nk an + k + 2k + + (n1)k + nk +,
2
2
2
2

a1
a0 
an1 an2
k
nk
an k + 2k + + (n1)k nk ,
P (2 ) = 2
2
2
2
2

lorsque k +. La proprit des valeurs intermdiaires permet alors


de conclure.

4.4 Proprit des bornes atteintes


Soit une fonction continue
f : [a, b] R,

o < a < b < +. Alors, il existe c, d [a, b] tels que


f (c) = m = inf {f (x) : x [a, b]} R,
f (d) = M = sup {f (x) : x [a, b]} R.

Dmonstration : On montre d'abord que M < +. Sinon, pour tout


n N, il existe xn [a, b] tel que f (xn ) > n. La suite {xn } tant borne, la
proprit de Bolzano-Weierstrass garantit l'existence d'une sous-suite {xnk }
telle que

xnk x R.

En fait, x [a, b] par le thorme des gendarmes, car a xnk b, pour tout
k N. La continuit de f au point x implique alors que
f (xnk ) f (x) R.

Or, ceci entre en contradiction avec


f (xnk ) > nk +.

Donc, M R. Dans ce cas, pour tout n N, il existe xn [a, b] tel que


M

1
< f (xn ) M.
n

4 Limite et continuit d'une fonction numrique

66

La proprit de Bolzano-Weierstrass, le thorme des gendarmes et la continuit de f garantissent alors l'existence d'une sous-suite {xnk } telle que
xnk d [a, b]

et
f (xnk ) f (d) R.

Mais on a
M

1
< f (xnk ) M,
nk

pour tout k N. Le thorme des gendarmes implique alors que f (d) = M .


La dmonstration de l'existence de c [a, b] tel que f (c) = m est analogue.

Corollaire : Sous les conditions ci-dessus, on a


f ([a, b]) = {f (x) : x [a, b]} = [m, M ] R,

ce qui signie que l'image de f est un intervalle born et ferm, donc compact.

Dmonstration : Par la dnition de m et M , on a


m f (x) M,

pour tout x [a, b]. Si m = M , alors la fonction f est constante, et son


image se rduit un point unique. Supposons que
m = f (c) < f (d) = M,

avec a c < d b (sinon, il sut de considrer la fonction f qui atteint


sa borne infrieure M au point d et sa borne suprieure m au point
c). La fonction f tant continue sur l'intervalle [c, d], la proprit des valeurs
intermdiaires garantit que, pour tout y (m, M ), il existe x (c, d) [a, b]
tel que f (x) = y .

4.5 Fonctions uniformment continues


Soit une fonction continue
f : I = [a, b] R,

o < a < b < +. Alors, f est uniformment continue sur I ,


c'est--dire,

4 Limite et continuit d'une fonction numrique

67

 > 0, > 0, |f (x) f (y)| < , x, y I ds que |x y| < .

Ici, la valeur de ne dpend pas de x, y I .

Dmonstration : Supposons que la fonction

f ne soit pas uniformment


continue sur [a, b]. Alors, on peut trouver  > 0 tel que pour tout n N, il
existe xn , yn [a, b] tels que
|xn yn | <

1
et |f (xn ) f (yn )| .
n

Par la proprit de Bolzano-Weierstrass, il existe une sous-suite {xnk } telle


que
xnk x [a, b] .

Puisque
xnk

1
1
ynk xnk +
,
nk
nk

pour tout k N, on a aussi


ynk x [a, b] ,

par le thorme des gendarmes. La fonction f tant continue au point x, on


a alors
f (xnk ) f (ynk ) f (x) f (x) = 0.

Mais ceci entre en contradiction avec le fait que


|f (xnk ) f (ynk )|  > 0,

pour tout k N.

Exemples
(1) (fonction carr) La fonction

f (x) = x2 est continue en tout point


x R, donc uniformment continue sur tout intervalle I = [a, b] R.
Cependant, elle n'est pas uniformment continue sur I = (, +).
En eet, pour tout > 0, les nombres rels
1
1
x = ,y = + ,

4 Limite et continuit d'une fonction numrique

68

satisfont |x y| = /2 < . Cependant, on a


|f (x) f (y)| = |x2 y 2 | = |(x y) (x + y)| = |x y| |x + y|



2
2
=
> = 1.

+
2
2
2

(2) (fonction inverse) La fonction

f (x) = 1/x est continue pour tout

nombre rel x > 0, donc uniformment continue sur tout intervalle


I = [a, b] (0, 1]. Elle n'est cependant pas uniformment continue sur
I = (0, 1]. En eet, les nombres rels

x = , y = ,
2

satisfont |x y| = /2 < , mais on a






1 2 1
1 1



|f (x) f (y)| = = = 1,
x y

ds que 0 < 1.

4.6 Fonction rciproque


Soit une fonction continue
f : [a, b] [m, M ] ,

o < a < b < + et


m = inf {f (x) : x [a, b]} ,
M

= sup {f (x) : x [a, b]} .

La fonction f est alors surjective , car pour tout y [m, M ], il existe x


[a, b] tel que f (x) = y . Cela est une consquence directe des proprits des
bornes atteintes et des valeurs intermdiaires. La fonction f est bijective si
elle est en plus injective , c'est--dire si f (x1 ) = f (x2 ) seulement lorsque
x1 = x2 [a, b]. La fonction f possde alors une fonction rciproque
f 1 : [m, M ] [a, b] ,

qui est telle que

f 1 (f (x)) = x,

4 Limite et continuit d'une fonction numrique

69

pour tout x [a, b]. La fonction rciproque est unique, car pour tout y
[m, M ], il existe un et un seul x [a, b] satisfaisant f (x) = y et alors x =
f 1 (y).
La fonction f est strictement monotome si elle est strictement croissante , c'est--dire,
f (x1 ) f (x2 ) si x1 x2 ,
avec galit si et seulement si x1 = x2 , ou strictement dcroissante , c'est-dire,
f (x1 ) f (x2 ) si x1 x2 ,
avec galit si et seulement si x1 = x2 .

Proposition : Une fonction continue et surjective


f : [a, b] [m, M ] ,

o < a < b < +, est injective si et seulement si elle est strictement


monotone. Dans ce cas, la fonction rciproque
f 1 : [m, M ] [a, b] ,

est galement continue et strictement monotone.

Dmonstration : La susance est vidente, car pour tous x1 , x2 [a, b] tels


que x1 6= x2 , disons x1 < x2 , on a alors ou bien f (x1 ) < f (x2 ) si f est strictement croissante, ou bien f (x1 ) > f (x2 ) si f est strictement dcroissante.
Dans les deux cas, on a f (x1 ) 6= f (x2 ). Pour la ncessit, considrons le cas
o f (a) < f (b) (le cas de l'ingalit inverse tant analogue et le cas d'galit
tant exclu par l'injectivit de f ). Soit x1 (a, b). Alors, f (x1 ) 6= f (b), car
x1 6= b. En fait, f (x1 ) < f (b), car sinon f (a) < f (b) < f (x1 ) et alors, par la
proprit des valeurs intermdiaires, il existe x0 (a, x1 ), donc x0 6= b, tel
que f (x0 ) = f (b), ce qui est une contradiction avec l'injectivit de f . Pour
des raisons analogues, f (x1 ) > f (a). On a donc
f (a) < f (x1 ) < f (b).

On montre de la mme faon que si x1 < x2 < b, alors


f (x1 ) < f (x2 ) < f (b).

4 Limite et continuit d'une fonction numrique

70

Sous les conditions a < x1 < x2 < b, on a donc


f (a) < f (x1 ) < f (x2 ) < f (b),

ce qui signie que f est strictement croissante. La fonction rciproque f 1


est alors strictement croissante. En eet, si m y1 < y2 M , alors il existe
x1 , x2 [a, b] tels que
m y1 = f (x1 ) < f (x2 ) = y2 M,

d'o

a x1 = f 1 (y1 ) < f 1 (y2 ) = x2 b.

Il reste montrer que f 1 est continue en tout point y0 [m, M ], o m =


f (a) et M = f (b).
Soit {yn } une suite dans [m, M ] telle que yn y0 [m, M ]. On dnit
xn = f 1 (yn ), pour tout n N. Soit une sous-suite {xnk } telle que
xnk x0 .

La fonction f tant continue en x0 , on a


ynk = f (xnk ) f (x0 ).

Donc, f (x0 ) = y0 , c'est--dire, x0 = f 1 (y0 ). La limite tant unique, on a


ncessairement
f 1 (yn ) = xn x0 = f 1 (y0 ),

d'o la continuit de f 1 en y0 .

Exemple (unicit et continuit d'une racine entire et d'une puissance rationnelle)

La fonction n y , pour tout nombre rel y > 0, pour n N x, est la


rciproque de la fonction f (x) = xn , qui est continue et strictement croissante
sur tout intervalle de forme [a, b] (0, +). En particulier, cette fonction est
unique. De plus, elle est continue et strictement croissante sur tout intervalle
de forme [an , bn ] (0, +). Il en est de mme pour la puissance rationnelle

y r = ( n y)m ,

o r = m/n pour m, n N, qui est la composition de deux fonctions continues strictement croissantes pour tout nombre rel y > 0. Son inverse y r
est aussi continue, mais strictement dcroisssante.

Drivation d'une fonction numrique

5.1 Fonctions drivables


Une fonction
f : (a, b) R

est drivable en un point x0 (a, b) si


lim

xx0

f (x) f (x0 )
df
=
(x0 ) = f 0 (x0 ) R.
x x0
dx

Cette limite est appele la drive de f en x0 . Cette limite existe si et


seulement si les limites gauche et droite, dnies par
lim

f (x) f (x0 )
= fg0 (x0 ),
x x0

lim

f (x) f (x0 )
= fd0 (x0 ),
x x0

xx
0

xx+
0

appeles les drives gauche et droite de f en x0 , respectivement,


vrient
fg0 (x0 ) = fd0 (x0 ) R.

Finalement, la fonction f est drivable si elle possde une drive en tout


point x0 (a, b).
Si f est drivable en x0 , alors la fonction h dnie par
f (x) f (x0 ) = (x x0 )(f 0 (x0 ) + h(x)),

pour tout x (a, b), est telle que


lim h(x) = 0.

xx0

Cela donne l'approximation ane


f (x) f (x0 ) + (x x0 )f 0 (x0 ),

72

5 Drivation d'une fonction numrique

pour x assez prs de x0 . En fait, la droite


y = f (x0 ) + (x x0 )f 0 (x0 )

de pente f 0 (x0 ) est tangente la courbe y = f (x) au point x = x0 .

Exemples
(1) (fonction valeur absolue) La fonction f (x) = |x|, pour tout x R,
satisfait

f (x) f (a)
=
xa

(
1
si x > 0, x 6= a 0,
1 si x < 0, x 6= a 0.

On a donc f 0 (a) = 1, si a > 0, mais f 0 (a) = 1 si a < 0. De plus, on a


fd0 (0) = 1 6= 1 = fg0 (0). La fonction f n'est donc pas drivable en 0.

(2) (fonction puissance entire positive d'un nombre rel) La fonction f (x) = xn , pour tout x R et pour n N x, est drivable et sa
drive est donne par f 0 (a) = nan1 , pour tout a R. En eet,

f (x) f (a)
(x a)(xn1 + xn2 a + + xan2 + an1 )
=
nan1 ,
xa
xa

lorsque x a.

(3) (fonction puissance entire ngative d'un nombre rel) La fonction

(
xn
f (x) =
0

si x 6= 0,
si x = 0,

pour n N x, est drivable en tout point a 6= 0, o


f 0 (a) = nan1 .

En eet, on a
f (x) f (a)
xa

an xn
xn an (x a)
xn1 + xn2 a + + xan2 + an1
=
xn an
n1
na
,
=

73

5 Drivation d'une fonction numrique

lorsque x a 6= 0. En revanche, on a
f (x) f (0)
1
= n+1
x0
x

+ lorsque x 0 ,
+ lorsque x 0 et n est impair,

lorsque x 0 et n est pair.

La fonction f n'est donc pas drivable en 0.

(4) (fonction racine carre) La fonction f (x) =


point a > 0. En eet, on a

x est drivable en tout

 

x a
x a
x+ a
1
1

,
=

=
xa
xa
x+ a
x+ a
2 a

lorsque x a > 0, en utilisant la continuit de la racine carre en a.

Proposition 1 (continuit d'une fonction drivable) : Une fonction


f : (a, b) R

qui est drivable en x0 (a, b) est continue en x0 .

Dmonstration : En utilisant les oprations sur les limites de fonctions


(qui reproduisent les oprations sur les suites numriques), on a
f (x) = f (x) f (x0 ) + f (x0 )

f (x) f (x0 )
(x x0 ) + f (x0 )
x x0
f 0 (x0 ) 0 + f (x0 ) = f (x0 ),
=

lorsque x x0 .

Proposition 2 (oprations sur les fonctions drivables) : Soient f, g :

(a, b) R deux fonctions drivables en x0 (a, b). Alors les fonctions f + g ,


f g et f /g (si g(x0 ) 6= 0) sont drivables en x0 avec drives donnes par
(f + g)0 (x0 ) = f 0 (x0 ) + g 0 (x0 ),
(f g)0 (x0 ) = f 0 (x0 ) g(x0 ) + f (x0 ) g 0 (x0 ),
 0
f 0 (x0 ) g(x0 ) f (x0 ) g 0 (x0 )
f
(x0 ) =
.
g
g(x0 )2

74

5 Drivation d'une fonction numrique

En particulier, (cf )0 (x0 ) = cf 0 (x0 ), pour tout c R.

Dmonstration : Les conclusions dcoulent des oprations sur les limites


de fonctions et des proprits des fonctions drivables en un point, donc
continues en ce point, partir des quations suivantes :
(f (x) + g(x)) (f (x0 ) + g(x0 ))
f (x) f (x0 ) g(x) g(x0 )
=
+
,
x x0
x x0
x x0
f (x)g(x) f (x0 )g(x0 )
=
x x0

f (x) f (x0 )
x x0


g(x) + f (x0 )

g(x) g(x0 )
x x0


,

et nalement

f (x)
g(x)

f (x0 )
g(x0 )

x x0

f (x)g(x0 ) f (x0 )g(x)


(x x0 )g(x)g(x0 )


f (x) f (x0 )
g(x0 )
=

x x0
g(x)g(x0 )


g(x) g(x0 )
g(x0 )

x x0
g(x)g(x0 )

Proposition 3 (drivation en chane) : Si

f : (a, b) (C, D) est une


fonction drivable en x0 (a, b) et g : (C, D) R est une fonction drivable
en f (x0 ) (C, D), alors la fonction compose g f est drivable en x0 avec
drive donne par
(g f )0 (x0 ) = g 0 (f (x0 )) f 0 (x0 ).

Dans la notation de Leibnitz, y = f (x), z = g(y) et


dz
dz dy
=

.
dx
dy dx

Dmonstration : On a
f (x) f (x0 ) = (x x0 )(f 0 (x0 ) + h(x)),

75

5 Drivation d'une fonction numrique

h(x) 0 lorsque x x0 ,

ainsi que
g(f (x)) g(f (x0 )) = (f (x) f (x0 ))(g 0 (f (x0 )) + H(f (x))),

H(f (x)) 0 lorsque f (x) f (x0 ),

ce qui est le cas lorsque x x0 par la continuit de f en x0 . La conclusion


dcoule alors des oprations sur les limites de fonctions partir de l'quation
suivante :
g(f (x)) g(f (x0 ))
x x0

= (f 0 (x0 ) + h(x)) (g 0 (f (x0 )) + H(f (x))).

Proposition 4 (drivation de la fonction rciproque) : Soit une fonction continue et bijective

f : [a, b] R [m, M ] R

qui est drivable en x0 (a, b). Alors la fonction rciproque


f 1 : [m, M ] R [a, b] R

est drivable en y0 = f (x0 ) si et seulement si f 0 (x0 ) 6= 0, et alors


(f 1 )0 (y0 ) =

1
.
f 0 (x0 )

Dans la notation de Leibniz, y = f (x), x = f 1 (y) et


dx
1
= dy .
dy
dx

Dmonstration : Le rsultat dcoule de l'identit


f 1 (y) f 1 (y0 )
=
y y0

1
f (x)f (x0 )
xx0

76

5 Drivation d'une fonction numrique

pour y = f (x) et y0 = f (x0 ), et du fait que


x = f 1 (y) f 1 (y0 ) = x0 ,

lorsque y y0 , par la continuit de f 1 en y0 .

Exemples
(1) (drive d'une
racine entire et d'une puissance rationnelle) La

fonction n y = y 1/n , pour tout nombre rel y > 0 et pour n N


x, est la rciproque de la fonction f (x) = xn , qui est continue et
bijective sur tout intervalle [a, b] (0, +), et dont la drive en
x = y 1/n (0, +) est donne par f 0 (x) = nxn1 . On a donc
1
d(y 1/n )
1
1
=
= y n 1 .
n1
dy
nx
n

La drivation en chanepermet alors d'obtenir la drive de la puissance

rationnelle y r = n y m , o r = m/n pour m, n N, qui est la


composition de la puissance m-ime et de la racine n-ime. On a alors
1
d(y m/n )
1
m m 1
= (y m ) n 1 my m1 =
yn .
dy
n
n

La formule pour la drive de la fonction inverse donne dans ce cas


m

m
y n 1
m
d(y m/n )
m
= n 2m
= y n 1 ,
dy
n
y n

comme drive de y r , o r = m/n pour m, n N. Donc, on a


d(y r )
= ry r1 ,
dy

pour tout nombre rel y > 0, pour tout r Q.

(2) (drive des fonctions trigonomtriques) Pour a R x et pour


tout x R, on a

cos(a x) = cos(a) cos(x) + sin(a) sin(x),

5 Drivation d'une fonction numrique

77

ce qui correspond au produit scalaire du vecteur (cos(a), sin(a)) avec


le vecteur (cos(x), sin(x)). On a alors
cos(a x) cos(a)
cos(x) cos(0)
sin(x) sin(0)
= cos(a)
sin(a)
,
axa
x0
x0

d'o, en faisant x 0,
cos0 (a) = cos(a) cos0 (0) sin(a) sin0 (0),

la condition que les fonctions sin et cos soient drivables en 0. Or, en


comparant l'aire du secteur circulaire d'angle 0 < x < /2 l'aire du
triangle isocle correspondant et l'aire du triangle rectangle de base
1 correspondant, on obtient les ingalits
1 sin(x)
x
sin(x)


,
2
2
2 cos(x)

c'est--dire,
cos(x)

sin(x)
1.
x

De plus, ces dernires ingalits sont valides aussi pour /2 < x < 0,
car toutes les expressions restent inchanges lorsque x est remplace
par x. En vertu du thorme des gendarmes, on a donc
sin(x) sin(0)
sin(x)
=
1 = sin0 (0),
x
x

lorsque x 0. D'autre part, en utilisant la continuit en 0 des fonction


sin et cos, on obtient que
cos(x) cos(0)
x

cos(x) 1 cos(x) + 1

x
cos(x) + 1
sin(x)
sin(x)
=

x
cos(x) + 1
1 0 = 0 = cos0 (0),
=

lorsque x 0. On conclut que


cos0 (a) = sin(a).

La rgle de drivation en chane applique




sin(y) = cos y +
2

5 Drivation d'une fonction numrique

donne alors

78



sin0 (a) = sin a +
= cos(a).
2

Finalement, on obtient que


tan0 (a) =

sin0 (a) cos(a) cos0 (a) sin(a)


cos2 (a) + sin2 (a)
1
=
=
,
2
2
cos (a)
cos (a)
cos2 (a)

en appliquant les oprations sur des fonctions drivables.

5.2 Thorme des accroissements nis


Soit
f : [a, b] R

une fonction continue sur [a, b] et drivable sur (a, b). Alors, il existe c (a, b)
tel que
f 0 (c) =

f (b) f (a)
.
ba

Dans le cas o f (a) = f (b), le rsultat est appel le thorme de Rolle .

Dmonstration : On dnit
F (x) = f (x) f (a)

f (b) f (a)
(x a),
ba

qui est une fonction continue sur [a, b] avec F (a) = F (b) = 0, et drivable
sur (a, b) avec
f (b) f (a)
.
ba
Par la proprit des bornes atteintes, il existe c, d [a, b] tels que
F 0 (x) = f 0 (x)

F (c) = m = inf {F (x) : x [a, b]} ,


F (d) = M = sup {F (x) : x [a, b]} .

Si M = m = 0, alors F (x) = 0, pour tout x [a, b], et F 0 (x) = 0, pour tout


x (a, b). Si M 6= m, alors M 6= 0 ou m 6= 0. Considrons le cas o M 6= 0.
Alors, d (a, b) et F (x) F (d), pour tout x [a, b]. On a donc
F (x) F (d)
0,
xd
F (x) F (d)
Fd0 (d) = lim
0.
+
xd
xd
Fg0 (d) =

lim

xd

79

5 Drivation d'une fonction numrique

Puisque F est drivable en d, on a F 0 d) = Fg0 (d) = Fd0 (d) = 0.

Corollaire 1 (thorme des accroissements nis gnralis) : Soient


f, g : [a, b] R

des fonctions continues sur [a, b] et drivables sur (a, b) avec g 0 (x) 6= 0 pour
tout x (a, b). Alors, il existe c (a, b) tel que
f 0 (c)
f (b) f (a)
=
.
0
g (c)
g(b) g(a)

Ce rsultat est aussi appel le thorme de la moyenne de Cauchy.

Dmonstration : On dnit la fonction


G(x) = f (x) f (a)

f (b) f (a)
(g(x) g(a)),
g(b) g(a)

qui est continue sur [a, b] avec G(a) = G(b) = 0, et drivable sur (a, b). Le
thorme des accroissements nis garantit alors l'existence de c (a, b) tel
que
G(b) G(a)
0=
= G0 (c) = f 0 (c)
ba

f (b) f (a)
g(b) g(a)

g 0 (c),

ce qui donne le rsultat annonc.

Corollaire 2 (conditions de monotonicit d'une fonction drivable) :


Une fonction

f : [a, b] R

continue sur [a, b] et drivable sur (a, b), est croissante (dcroissante) si et
seulement si f 0 (x) 0 ( 0), pour tout x (a, b). Elle est croissante strictement (dcroissante strictement) si f 0 (x) > 0 (< 0), pour tout x (a, b).

Dmonstration : Par le thorme des accroissements nis, si


x2 b, alors il existe c (x1 , x2 ) tel que

f (x2 ) f (x1 )
= f 0 (c).
x2 x1

a x1 <

80

5 Drivation d'une fonction numrique

La condition dans chaque cas est donc susante du fait que le signe de
l'expression de gauche est le signe de la drive en c. D'autre part, si f est
croissante, alors on a ncessairement
0

f (x) f (c)
fd0 (c) = f 0 (c),
xc

pour a < c < x < b, lorsque x c+ , d'o f 0 (c) 0. L'ingalit est inverse
lorsque f est dcroissante.

Exemple (croissance de la fonction exponentielle)


La fonction f (x) = exp{x} est strictement croissante sur R, car sa drive
est donne par f 0 (x) = exp{x} > 0, pour tout x R. Notons d'abord que
pour tout |x| < 1, on a

X
xn X |x|n X n
x2

|exp{x} 1 x| =

|x| =
,


n!
n!
1 |x|
n=2

n=2

n=2

en utilisant la convergence de la srie gomtrique de raison |x| < 1. On en


conclut que la drive en 0 est f 0 (0) = 1, car


f (x) f (0)
|exp{x} 1 x|
|x|

=

0,
x0

|x|
1 |x|

lorsque x 0, par la continuit de la fonction valeur absolue et les proprits


de la limite. De plus, pour tout x R, on a
f (y) f (x)
exp{y x} 1
= exp{x}
exp{x} = f 0 (x),
yx
yx

lorsque y x, par la proprit de la fonction exponentielle et ce qui prcde.


Finalement, on a
exp{x}

lorsque x +,

lorsque x .

En eet, il est facile de dmontrer par rcurrence partir de la proprit de


la fonction exponentielle que
exp{n} = (exp{1})n ,

5 Drivation d'une fonction numrique

81

pour tout n N. On en conclut que


exp{n} = en +,

car e > 1, et donc aussi que


exp{n} = en 0,

lorsque n .

5.3 Rgle de l'Hpital


La rgle de l'Hpital arme que la limite du quotient de deux fonctions
qui tendent toutes deux vers 0 ou toutes deux vers , qui est alors de
forme indtermine, est la limite du quotient des drives de ces fonctions.
Lorsque les deux fonctions, reprsentes par f et g satisfont f (a) =
g(a) = 0 en un point a R, o elles sont drivables et g 0 (a) 6= 0, on a
videmment
f (x)
f (x) f (a)
xa
f 0 a)
=

0 ,
g(x)
xa
g(x) g(a)
g (a)

lorsque x a.
Lorsque les deux fonctions ne sont pas drivables en a R ou que
a = + ou , la situation est plus dlicate.

Proposition : Soient deux fonctions drivables


f, g : (a, b) R,

o a < b +, qui sont telles que g 0 (x) 6= 0, pour tout x (a, b),
et qui satisfont
f (a+ ) = g(a+ ) = 0 ou .
Alors, on a
lim

f (x)
= L [, +] ,
g(x)

lim

f 0 (x)
= L [, +] .
g 0 (x)

xa+

si
xa+

5 Drivation d'une fonction numrique

82

On obtient le mme rsultat si a+ est remplac par b .

Remarque. On peut rpter l'argument avec les drives des drives lorsque
la limite des quotients des drives est de forme indtermine, et ainsi de
suite.

Dmonstration : Par la dnition et les proprits de la limite, il sut de


montrer que si

f (xn )
l [, +] ,
g(xn )

lorsque xn a+ , alors l = L.

(a) Forme 0/0 : Si a R, alors on dnit f (a) = g(a) = 0 de telle sorte que

f et g sont continues sur [a, xn ], en plus d'tre drivable sur (a, xn ), pour
tout n N. Par le thorme des accroissements nis gnralis, il existe
cn (a, xn ) tel que
f (xn )
f (xn ) f (a)
f 0 (cn )
=
= 0
L [, +] ,
g(xn )
g(xn ) g(a)
g (cn )

lorsque axn a+ , et donc lorsque cn a+ par le thorme des gendarmes.


On conclut alors que l = L. Si a = , alors on considre sans perte de
gnralit que b < 0 et on dnit
F (y) = f (1/y), G(y) = g(1/y),

pour 1/y (, b), c'est--dire, y (0, 1/b). On a alors


F (0+ ) = lim f (x) = 0,
x

G(0+ ) lim g(x) = 0.


x

De plus, ces fonctions sont drivables sur (0, 1/b) et satisfont


F 0 (y)
f 0 (1/y) (1/y 2 )
=
L [, +] ,
G0 (y)
g 0 (1/y) (1/y 2 )

5 Drivation d'une fonction numrique

83

lorsque y 0+ , ce qui est quivalent x . On a alors


f (x)
F (1/x)
=
L [, +] ,
g(x)
G(1/x)

lorsque x .

(b) Forme

/ : Par la dnition de limite, il existe une suite


{zk } (a, b) telle que zk a+ et
0

f (c)
1

, si L R,

L
g 0 (c)
k
0
f (c)
k, si L = +,
g 0 (c)
f 0 (c)
k, si L = ,
g 0 (c)

ds que a < c < zk , pour tout k N x. D'autre part, si xn a+ , alors


il existe N (k) N tel que a < xn < zk , ds que n N (k). Par le thorme
des accroissements nis gnralis, il existe alors cn,k (xn , zk ) tel que
f 0 (cn,k )
f (zk ) f (xn )
= 0
,
g(zk ) g(xn )
g (cn,k )

c'est--dire,

 0
f (cn,k )
f (xn )
f (zk )
g(zk )
=
+ 1
0
.
g(xn )
g(xn )
g(xn )
g (cn,k )

Lorsque n +, on a
f (xn )
f (zk ) g(zk )
l et
,
0,
g(xn )
g(xn ) g(xn )

d'o

f 0 (cn,k )
l.
g 0 (cn,k )

On conclut donc que


1
, si L R,
k
l k, si L = +,

|l L|

l k, si L = ,

et ce pour tout k N x. Cela signie que l = L.

84

5 Drivation d'une fonction numrique

5.4 Formule de Taylor


Soit

f = f (0) : (a, b) R,

une fonction drivable jusqu' l'ordre n + 1, c'est--dire drivable n + 1 fois,


avec
f (1) (x) =

df (0)
(x),
dx

comme drive premire (c'est--dire d'ordre 1),


f (2) (x) =

df (1)
(x),
dx

comme drive seconde (c'est--dire d'ordre 2), jusqu'


f (n+1) (x) =

df (n)
(x),
dx

comme drive (n + 1)-ime (c'est--dire d'ordre n + 1), pour un entier


n 1. Alors le dveloppement limit de Taylor d'ordre n de la fonction
f en x0 (a, b) avec reste de Lagrange Rn est donn par
f (x) =

n
X
f (k) (x0 )
k=0

k!

(x x0 )k + Rn (x),

pour tout x (a, b), o


Rn (x) =

f (n+1) (c)
(x x0 )n+1 ,
(n + 1)!

pour un certain nombre rel c compris strictement entre x0 et x.

Dmonstration : Considrons x0 < x et posons


F (t) =

n
X
f (k) (t)
k=0

k!

(x t)k ,

G(t) = (x t)n+1 ,

pour tout t [x0 , x]. On a alors F (x) = f (x), G(x) = 0 et G(x0 ) =


(x x0 )n+1 . De plus, les hypothses du thorme des accroissements nis
gnralis tant vries, il existe c (x0 , x) tel que

85

5 Drivation d'une fonction numrique

F (x) F (x0 )
F 0 (c)
= 0 ,
G(x) G(x0 )
G (c)

o
n
X
f (k+1) (c)

F (c) =

k!

k=0
f (n+1) (c)

n!

alors que

n
X
f (k) (c)
(x c)
(x c)k1
(k 1)!
k

k=1

(x c)n ,

G0 (c) = (n + 1)(x c)n .

Par consquent, on obtient que


f (x) F (x0 ) =

f (n+1) (c)
(x x0 )n+1 .
(n + 1)!

Fonction petit ordre


Le reste Rn (x) est une fonction petit ordre de (x x0 )n , et on crit
Rn (x) = o ((x x0 )n ), si
Rn (x)
0,
(x x0 )n

n
lorsque x x0 , c'est--dire,
lorsque (x x0 ) 0. Cela est le cas s'il existe
(n+1)
(c) M pour tout c (a, b), car alors
M R tel que f



Rn (x)


(x x0 )n =

(n+1)
f
(c)
(n + 1)!

|x x0 |

M
|x x0 | 0,
(n + 1)!

lorsque x x0 . Dans ce cas, le reste Rn (x) est unefonction grand ordre


de (x x0 )n+1 , et on crit Rn (x) = O (x x0 )n+1 , car


Rn (x)
M


(x x0 )n+1 (n + 1)! < +,

pour tout x (a, b).

86

5 Drivation d'une fonction numrique

Dveloppement de Taylor de la fonction exponentielle


La fonction f (x) = exp(x) satisfait
f 0 (x) = f (x) > 0,

pour tout x R. Elle est indniment drivable , car elle est drivable de
tout ordre des entiers naturels. Par rcurrence, il est facile de montrer que
f (n) (x) = f (x),

pour tout x R, pour tout n N. Avec la condition supplmentaire f (0) = 1,


le dveloppement de Taylor d'ordre n de f en 0 est donn par
f (x) =

n
X
xk
k=0

pour tout x R, o
Rn (x) =

k!

+ Rn (x),

f (c) n+1
x
,
(n + 1)!

pour un certain nombre rel c compris strictement entre 0 et x. La fonction


f tant continue sur tout l'intervalle [ |x| , |x|], la proprit des bornes atteintes garantit l'existence d'un nombre M R tel que |f (c)| M . On a
donc
|Rn (x)|

M
|x|n+1 0,
(n + 1)!

lorsque n . Par consquent, l'expression


f (x) =

X
xk
k=0

k!

pour tout x R, correspond au dveloppement en srie de Taylor de f


en 0.
En particulier, on a
e = f (1) =

n
X
1
+ Rn (1),
k!
k=0

o
Rn (1) =

f (c)
,
(n + 1)!

87

5 Drivation d'une fonction numrique

pour c (0, 1). Or, f (c) f (1) = e < 3, car f est de drive strictement
positive, donc ncessairement croissante. Pour n = 8, et avec une erreur qui
satisfait les ingalits

3
105 ,
9!
on obtient ainsi l'approximation e 2, 71828 pour la constante d'Euler.
D'autre part, on peut montrer que e est un nombre irrationnel. Supposons
au contraire que e = p/q , pour p, q N, et considrons n max{4, q + 1}.
0 R8 (1)

On a alors

e=

n1
X
k=0

1
f (c)
+
,
k!
n!

c'est--dire,


1
1
1
0 < (n 1)!e (n 1)! 1 + + + +
1! 2!
(n 1)!


=

f (c)
3
< .
n
4

Cela est une contradiction, puisque le terme au centre est ncessairement un


entier et il n'existe aucun entier strictement compris entre 0 et 1.

Fonction logarithme nprien


La fonction exponentielle tant continue et strictement croissante sur tout
intervalle, car de drive strictement positive, elle possde une fonction rciproque, appele logarithme nprien et reprsente par ln. Cette fonction
est dnie par
exp{ln(y)} = y,

pour tout nombre rel y > 0, avec ln(1) = 0 et ln(e) = ln(exp{1}) = 1. De


plus, elle possde la proprit suivante :
ln(y1 y2 ) = ln(y1 ) ln(y2 ),

pour tous y1 , y2 > 0. En eet, on a


exp{ln(y1 ) + ln(y2 )} = exp{ln(y1 )} exp{ln(y2 )} = y1 y2 ,

par la proprit de la fonction exponentielle. La fonction logarithme nprien est continue et drivable, car c'est la fonction rciproque d'une fonction
continue et drivable. De plus, en posant x = ln(y), la drive est donne
par
d
ln(y) =
dy

d
dx

1
1
1
=
= ,
exp{x}
y
exp{x}

5 Drivation d'une fonction numrique

88

pour tout nombre rel y > 0.

Fonction puissance relle


Pour tout nombre rel a > 0 et tout x R, la puissance de a d'expo-

sant x est dnie par


En particulier
On note que

ax = exp{x ln(a)}.
ex = exp{x ln(e)} = exp{x}.

ln (ax ) = ln (exp{x ln(a)}) = x ln(a).

Cette dnition est cohrente avec les dnitions prcdentes de puissance


entire, de racine entire et de puissance rationnelle. En eet, on a
ax1 +x2 = exp{x1 ln(a) + x2 ln(a)} = exp{x1 ln(a)} exp{x2 ln(a)} = ax1 ax2 ,

pour tous x1 , x2 R, d'o


an = a1+(n1) = a an1 ,

pour tout n N. De plus,


am/n = exp

nm
n

m
o

,
ln(a) = exp{m ln(a1/n )} = a1/n

pour tous m, n N, d'o




a1/n

n

= an/n = a,

pour tout n N. Finalement, pour tout x R et en particulier pour tout


x Q, on a
ax ax = axx = a0 = 1,

d'o

ax = (ax )1 .

Par la rgle de drivation en chane, la drive par rapport a > 0 de la


fonction ax est donne par
d x x
a = exp{x ln(a)} = xax1 ,
da
a

5 Drivation d'une fonction numrique

89

et la drive par rapport x R par


d x
a = ln(a) exp{x ln(a)} = ln(a) ax .
dx

Finalement, on a la limite


1+

a x
ea ,
x

lorsque x +. En eet, la rgle de l'Hpital donne



ln 1 + xa
lim
x+
1/x

1
a
1+a/x x2
=
lim
x+
1/x2
ax
=
lim
= a.
x+ a + x

a
lim x ln 1 +
=
x+
x


On a alors


1+

n

a x
a o
exp{a},
= exp x ln 1 +
x
x

par la continuit de la fonction exponentielle.

5.5 Extrema locaux


Une fonction
f : (a, b) R

atteint un maximum local en x0 (a, b) s'il existe > 0 tel que


f (x) f (x0 ) ds que |x x0 | < .

Dans le cas o

f (x) f (x0 ) ds que |x x0 | < ,

il s'agit d'un minimum local . Dans les deux cas, on a un extremum local .
Si l'galit a lieu seulement lorsque x = x0 , alors il s'agit d'un extremum
local strict . Il est remarquer que x0 est un point de minimum local de f
si et seulement si x0 est un point de maximum local de f . D'autre part, x0
est un point critique de f si f est drivable en x0 et f 0 (x0 ) = 0.

5 Drivation d'une fonction numrique

90

Proposition 1 : Si

f : (a, b) R est drivable en un point de maximum


local x0 (a, b), alors x0 est un point critique.

Dmonstration : On a
f (x) f (x0 )
0 ds que x0 < x < x0 + ,
x x0
f (x) f (x0 )
0 ds que x0 < x < x0 ,
x x0

pour un certain > 0, d'o


0 fg0 (x0 ) = f 0 (x0 ) = fd0 (x0 ) 0,

ce qui permet de conclure.

Proposition 2 : Soit f

: (a, b) R une fonction drivable jusqu' l'ordre


n + 1 sur (a, b) telle que les n premires drives en x0 (a, b) sont nulles,
c'est--dire, f (1) (x0 ) = = f (n) (x0 ) = 0, et que la drive d'ordre n + 1 est
continue en x0 et satisfait f (n+1) (x0 ) 6= 0. Alors x0 est un point de maximum
local strict de f si n + 1 est pair et f (n+1) (x0 ) < 0, par exemple, si n + 1 = 2
et f (2) (x0 ) < 0.

Dmonstration : Le dveloppement limit de Taylor d'ordre n de f en x0


donne

f (x) = f (x0 ) +

f (n+1) (c)
(x x0 )n+1 ,
(n + 1)!

o |c x0 | < |x x0 |. Par continuit, il existe > 0 tel que f (n+1) (c) < 0
ds que |c x0 | < . Pour |x x0 | < , on a alors
f (x) f (x0 ) =

f (n+1) (c)
(x x0 )n+1 0,
(n + 1)!

avec galit seulement si x = x0 .

Exemple (polynme cubique) Soit le polynme


P (x) = x3 + ax2 + bx + c,

91

5 Drivation d'une fonction numrique

pour tout x R, pour a, b, c R. La drive prmire en x est donne par


P (1) (x) = 3x2 + 2ax + b,

et la drive seconde par


P (2) (x) = 6x + 2a.

Le point x = a/3, o la drive seconde s'annule, est un point d'inexion.


La drive premire est dcroissante jusqu' ce point et croissante partir
de ce point. La valeur de la drive premire en ce point est
P (1) (a/3) =

a2
+ b.
3

Si cette valeur est strictement positive, ce qui est quivalent a2 3b < 0,


alors P (1) (x) > 0, pour tout x R. Par consquent, le polynme P (x) est
strictement croissant. Si en revanche a2 3b > 0, alors
P (1) (x) = 3 (x x1 ) (x x2 ) = 0,

si et seulement si
ou

a2 3b
3

a + a2 3b
x = x2 =
,
3
x = x1 =

qui sont des points critiques. Le premier est un point de maximum local
strict et le second un point de minimum local strict , car
P (2) (x1 ) < 0, P (2) (x2 ) > 0.

Enn, dans le cas o a2 3b = 0, le polynme est strictement croissant. En


eet, on a alors P (1) (x) 0 avec galit seulement si x = a/3. Par consquent, P (x) est une fonction strictement croissante sur l'intervalle (, a/3]
et sur l'intervalle [a/3, +). D'autre part, si
< x < a/3 < y < +,

alors on a
P (x) < P (a/3) < P (y),

ce qui complte la vrication de l'armation.

92

5 Drivation d'une fonction numrique

5.6 Fonctions convexes


Une fonction
f : (a, b) R

est dite convexe si


f (tx1 + (1 t)x2 ) tf (x1 ) + (1 t)f (x2 ),

pour tous x1 , x2 (a, b) et pour tout t [0, 1]. Il sut en fait de vrier la
condition pour x1 < x2 et t (0, 1), l'ingalit tant trivialement satisfaite
dans les autres situations. Si l'ingalit est inverse, alors la fonction est dite
concave. Il est remarquer qu'un fonction f est concave si et seulement si
la fonction f est convexe.

Lemme 1 : Une fonction f

: (a, b) R est convexe si et seulement si

f (x2 ) f (x1 )
f (x3 ) f (x2 )

,
x2 x1
x3 x2

lorsque a < x1 < x2 < x3 < b.

Dmonstration : L'ingalit nonce est satisfaite si et seulement si


(x3 x2 )(f (x2 ) f (x1 )) (x2 x1 )(f (x3 ) f (x2 )),

c'est--dire,
(x3 x2 + x2 x1 )f (x2 (x3 x2 )f (x1 ) + (x2 x1 )f (x3 ).

Cette quation est quivalente



f (x2 )


x2 =

avec

x3 x2
x3 x1

x3 x2
x3 x1


f (x1 ) +


x1 +

x2 x1
x3 x1

x2 x1
x3 x1


f (x3 ),


x3 ,

x3 x2
x2 x1
=1
(0, 1).
x3 x1
x3 x1

93

5 Drivation d'une fonction numrique

Lemme 2 : Si f

: (a, b) R est une fonction convexe, alors

f (x2 ) f (x1 )
f (x3 ) f (x1 )
f (x3 ) f (x2 )

,
x2 x1
x3 x1
x3 x2

lorsque a < x1 < x2 < x3 < b.

Dmonstration : On a
f (x3 ) f (x1 )
x3 x2 f (x3 ) f (x2 ) x2 x1 f (x2 ) f (x1 )
=

.
x3 x1
x3 x1
x3 x2
x3 x1
x2 x1

Le lemme 1 permet alors d'obtenir les ingalits


f (x3 ) f (x1 )

x3 x1

f (x3 ) f (x1 )

x3 x1

x3 x2 x2 x1
+
x3 x1 x3 x1

x3 x2 x2 x1
+
x3 x1 x3 x1

Proposition 1 : Si
continue.

f (x3 ) f (x2 )
f (x3 ) f (x2 )
=
,
x3 x2
x3 x2

f (x2 ) f (x1 )
f (x2 ) f (x1 )
=
.
x2 x1
x2 x1

f : (a, b) R est une fonction convexe, alors f est

Dmonstration : Par les lemmes 1 et 2, on a


f (x3 ) f (x2 )
f (x4 ) f (x2 )
f (x2 ) f (x1 )

,
x2 x1
x3 x2
x4 x2

c'est--dire,


f (x2 ) f (x1 )
(x3 x2 )
x2 x1

f (x4 ) f (x2 )
f (x3 ) f (x2 ) (x3 x2 )
x4 x2


,

lorsque a < x1 < x2 < x3 < x4 < b. On obtient alors que f (x3 ) f (x2 ) 0,
c'est--dire, f (x3 ) f (x2 ), lorsque x3 x+
2 , ce qui conrme la continuit
droite en tout point x2 (a, b). La continuit gauche en tout point

5 Drivation d'une fonction numrique

94

x3 (a, b) est obtenue de la mme faon faisant x2 x


3.

Proposition 2 : Si

f : (a, b) R est une fonction drivable, alors f est


convexe si et seulement si f 0 est croissante.

Dmonstration : Soit

a < x1 < x2 < x3 < x4 < b. Si la fonction f est

convexe, alors par le lemme 1, on a

f (x3 ) f (x2 )
f (x4 ) f (x3 )
f (x2 ) f (x1 )

.
x2 x1
x3 x2
x4 x3
+
En faisant x2 x+
1 et x4 x3 , on obtient que

f 0 (x1 ) = fd0 (x1 ) fd0 (x3 ) = f 0 (x3 ),

ce qui signie que f 0 est croissante. Inversement, si f 0 est croissante, alors par
le thorme des accroissements nis, il existe c1 (x1 , x2 ) et c2 (x2 , x3 ),
donc satisfaisant c1 < c2 , tels que
f (x2 ) f (x1 )
f (x3 ) f (x2 )
= f 0 (c1 ) f 0 (c2 ) =
.
x2 x1
x3 x2

Par le lemme 1, cela signie que f est convexe.

Corollaire : Si f : (a, b) R est une fonction drivable deux fois, alors f


est convexe si et seulement si f (2) (x) 0, pour tout x (a, b).
Dmonstration : C'est une consquence directe de la proposition 2 et du

fait qu'une fonction drivable est croissante si et seulement si sa drive est


positive.

Rfrences

[1] Couty, R., Ezra, J. Analyse, Tome 1, Troisime dition, Armand Colin,
Paris, 1967, 474 pages.
[2] Giroux, A. Analyse 1, Notes de cours, 2009, 110 pages.
http ://www.dms.umontreal.ca/ giroux/documents/analyse100-09.pdf
[3] Rudin, W. Principles of Mathematical Analysis, Second Edition,
McGraw-Hill, New York, 1964, 270 pages.
[4] Labelle, J., Mercier, A. Introduction l'analyse relle, Modulo, MontRoyal (Qubec), 1993, 414 pages.
[5] Royden, H. L. Real Analysis, MacMillan, Second Edition, New York,
1968, 349 pages.
[6] Spivak, M. Calculus, Third Edition, Publish or Perish, Houston, 1994,
670 pages.
[7] Wade, W. R. An Introduction to Analysis, Second Edition, Prentice
Hall, Upper Saddle River, N.J., 2000, 611 pages.
[8] Zorich, V. A. Mathematical Analysis, Springer, Berlin, 2004, 574 pages.