Sunteți pe pagina 1din 131

Universit Claude Bernard, Lyon I

43, boulevard 11 novembre 1918


69622 Villeurbanne cedex, France

Licence Sciences, Technologies & Sant


Spcialit Mathmatiques
L. Pujo-Menjouet
pujo@math.univ-lyon1.fr

Analyse 1

Prambule
Lobjectif de ce cours est de faire une transition entre les connaissances en analyse accumules
au lyce et les bases qui formeront un des piliers dans la formation en analyse mathmatique de
la licence. Etant donn que le recrutement en premire anne danalyse est assez htrogne, il
semble assez judicieux de commencer par rappeler les notions lmentaires qui serviront tout au
long de ce cours, histoire de ne perdre personne en route.
Quand il sera ncessaire au dbut de chaque chapitre, nous rappellerons ce qui est cens tre connu
en terminal. Nous essaierons galement dans la mesure du possible de fournir lessentiel des rsultats de chaque chapitre sur une page, histoire de synthtiser les connaissances bien matriser
pour passer au chapitre suivant.
Nous fournirons autant dexemples et de figures ncessaires afin dobtenir une meilleure comprhension du cours. Nous essaierons galement de souligner les piges dans lesquels chacun peut se
fourvoyer soit par inattention, soit par une mauvaise matrise du cours.

Table des matires


1

Les rels
1.1 Un peu dhistoire . . . . . . . . . . . . . . . . . . . .
1.2 Introduction aux nombres rels . . . . . . . . . . . . .
1.2.1 Quelques rgles de calcul . . . . . . . . . . . .
1.3 Intervalles de R . . . . . . . . . . . . . . . . . . . . .
1.4 Voisinage . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Bornes suprieures, infrieures, maximum et minimum
1.6 Valeur absolue . . . . . . . . . . . . . . . . . . . . . .
1.7 Partie entire . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

7
7
9
10
12
15
16
18
19

Les fonctions dune variable relle


2.1 Notions de bases sur les fonctions . . . . . . .
2.2 Quelques proprits des fonctions . . . . . . .
2.2.1 Les oprations algbriques . . . . . . .
2.2.2 La restriction . . . . . . . . . . . . . .
2.2.3 Fonctions dfinies par morceaux . . . .
2.2.4 Fonctions majores, minores, bornes
2.3 La composition . . . . . . . . . . . . . . . . .
2.3.1 Monotonie . . . . . . . . . . . . . . .
2.3.2 Parit . . . . . . . . . . . . . . . . . .
2.3.3 Fonctions priodiques . . . . . . . . .
2.4 Injectivit, surjectivit, bijectivit . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

21
22
26
26
26
27
27
29
31
33
35
36

.
.
.
.
.
.
.
.
.
.
.

41
41
43
44
46
47
47
48
50
50
50
51

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

Limites dune fonction


3.1 Limites finie dune fonction en un point . . . . . .
3.2 Limites infinie dune fonction en un point . . . . .
3.3 Limites droite, limite gauche . . . . . . . . . .
3.4 Limites dune fonction en + ou . . . . . . .
3.5 Proprits des limites . . . . . . . . . . . . . . . .
3.5.1 Unicit de la limite, majoration, minoration
3.5.2 Limites et comparaison . . . . . . . . . . .
3.6 Oprations algbriques sur les limites . . . . . . .
3.6.1 Limite dune somme de fonctions . . . . .
3.6.2 Limite dun produit de fonctions . . . . . .
3.6.3 Limite dun quotient de fonctions . . . . .
3

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

TABLE DES MATIRES

3.7

Autres proprits sur les limites


3.7.1 Limite et compose . . .
3.7.2 Limite et monotonie . .
3.7.3 Critre de Cauchy . . .

TABLE DES MATIRES

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

Quelques fonctions usuelles


4.1 Fonction constante . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Fonction identit . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 Fonction valeur absolue . . . . . . . . . . . . . . . . . . . . . . . .
4.4 Fonction partie entire . . . . . . . . . . . . . . . . . . . . . . . .
4.5 Fonction puissances entires n N . . . . . . . . . . . . . . . . .
4.6 Fonction polynme . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7 Fonction racine n-ime, puissance rationnelle . . . . . . . . . . . .
4.8 Fonction homographique . . . . . . . . . . . . . . . . . . . . . . .
4.9 Fonction logarithme nprien . . . . . . . . . . . . . . . . . . . . .
4.10 Fonction exponentielle . . . . . . . . . . . . . . . . . . . . . . . .
4.11 Fonctions circulaires (ou trigonomtriques) . . . . . . . . . . . . .
4.11.1 Fonction sinus . . . . . . . . . . . . . . . . . . . . . . . .
4.11.2 Fonction cosinus . . . . . . . . . . . . . . . . . . . . . . .
4.11.3 Fonction tangente . . . . . . . . . . . . . . . . . . . . . . .
4.11.4 Fonction cotangente . . . . . . . . . . . . . . . . . . . . .
4.12 Fonctions hyperboliques . . . . . . . . . . . . . . . . . . . . . . .
4.12.1 Fonction cosinus hyperbolique . . . . . . . . . . . . . . . .
4.12.2 Fonction sinus hyperbolique . . . . . . . . . . . . . . . . .
4.12.3 Fonction tangente hyperbolique . . . . . . . . . . . . . . .
4.12.4 Fonction cotangente hyperbolique . . . . . . . . . . . . . .
4.13 Fonctions rciproques usuelles . . . . . . . . . . . . . . . . . . . .
4.13.1 Rciproque dune fonction homographique . . . . . . . . .
4.13.2 Rciproque de la fonction sinus : la fonction arc sinus . . .
4.13.3 Rciproque de la fonction cosinus : la fonction arc cosinus .
4.13.4 Rciproque de la fonction tangente : la fonction arc tangente
4.13.5 Proprits des fonctions arc sinus, arc cosinus et arc tangente
4.13.6 Equations du type sin(x) = a, cos(x) = a et tan(x) = a . .
4.13.7 Rciproque des fonctions sh et th . . . . . . . . . . . . . .
Continuit des fonctions
5.1 Caractrisation de Weierstrass . . . . . . . . . .
5.2 Continuit, oprations algbriques et composition
5.3 Thormes sur la continuit . . . . . . . . . . . .
5.4 Continuit, monotonie, injectivit et bijectivit . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

51
52
52
52

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

55
56
56
57
58
59
60
61
63
64
66
68
68
68
69
70
71
71
72
73
73
75
75
76
77
78
80
80
81

.
.
.
.

83
84
85
87
88

Drive dune fonction


91
6.1 Dfinition de la drivabilit de f . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.2 Drivabilit et continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.3 Drivabilit, oprations algbriques et composition . . . . . . . . . . . . . . . . . 94
4

TABLE DES MATIRES

6.4
6.5
6.6
6.7
6.8

6.9
7

TABLE DES MATIRES

Drive et monotonie . . . . . . . . . . . . . . . . . . .
Drives et extrema . . . . . . . . . . . . . . . . . . . .
Thormes fondamentaux sur les drives . . . . . . . .
Drives des fonctions usuelles . . . . . . . . . . . . . .
Drives successives . . . . . . . . . . . . . . . . . . .
6.8.1 Drive ni`eme . . . . . . . . . . . . . . . . . . .
6.8.2 Classes de fonction . . . . . . . . . . . . . . . .
6.8.3 Fonction de classe C n , n N . . . . . . . . . .
6.8.4 Fonction de classe C . . . . . . . . . . . . . .
6.8.5 Drive ni`eme dune somme de fonctions . . . .
6.8.6 Drive ni`eme dun produit de fonctions . . . . .
6.8.7 Drive ni`eme de la compose de deux fonctions.
Fonctions convexes . . . . . . . . . . . . . . . . . . . .

Les suites
7.1 Dfinition . . . . . . . . . . . . . . . . . .
7.2 Deux suites classiques . . . . . . . . . . .
7.2.1 Suites arithmtiques . . . . . . . .
7.2.2 Suites gomtrique . . . . . . . . .
7.3 Rcurrence dordre 2 . . . . . . . . . . . .
7.4 Limite de suites . . . . . . . . . . . . . . .
7.4.1 Introduction . . . . . . . . . . . . .
7.4.2 Opration algbriques sur les limites
7.4.3 Rsultats sur les limites de suites . .
7.5 Suites relles et monotonie . . . . . . . . .
7.6 Suites adjacentes . . . . . . . . . . . . . .
7.7 Suites extraites . . . . . . . . . . . . . . .
7.8 Critre de Cauchy . . . . . . . . . . . . . .
7.9 Fonctions et suites . . . . . . . . . . . . . .
Equations diffrentielles
8.1 Equation simple . . . . . . . . . . . . . .
8.1.1 Equation x0 = 0 . . . . . . . . . .
8.1.2 Equation x0 = ax(t) . . . . . . .
8.2 Diffrents types dquations . . . . . . .
8.3 Equation linaire . . . . . . . . . . . . .
8.4 Solutions . . . . . . . . . . . . . . . . .
8.5 Equations diffrentielles linaire dordre 1
8.5.1 Dfinition . . . . . . . . . . . . .
8.5.2 Primitives . . . . . . . . . . . . .
8.5.3 EDO linaire sans second membre
8.5.4 EDO linaire avec second membre
8.5.5 Cas particulier . . . . . . . . . .
8.5.6 Existence et unicit . . . . . . . .
8.6 Equations diffrentielles linaire dordre 2
5

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

95
96
97
99
102
102
103
103
103
103
103
104
105

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

107
108
108
108
109
109
110
110
112
114
116
116
117
117
118

.
.
.
.
.
.
.
.
.
.
.
.
.
.

119
120
120
120
121
121
122
123
123
123
127
128
129
129
130

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

TABLE DES MATIRES

8.6.1
8.6.2

TABLE DES MATIRES

Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
Equations diffrentielle homogne coefficients constants . . . . . . . . . 130

Chapitre 1
Les rels

(a) Julius Wilhelm Richard De- (b) Giuseppe Peano (1858 dekind (1831 - 1916), ma- 1932), mathmaticien italien
thmaticien allemand fut un un des fondateurs de lapdes fondateurs de laxiomati- proche formaliste des mathsation de larithmtique. On matiques, il dveloppa, parallui doit notamment une d- llement lallemand Richard
finition axiomatique de len- Dedekind, une axiomatisation
semble des nombres entiers de larithmtique en 1889. On
ainsi quune construction ri- lui doit notamment la notation
goureuse des nombres rels Q.
partir des nombres rationnels.

(c) Georg Ferdinand Ludwig Philipp Cantor (1845


1918), mathmaticien allemand, crateur de la thorie des ensembles. Il montra entre autres choses t que
les nombres rels sont plus
nombreux que les entiers
naturels, cest lui que lon
doit la notation R.

F IGURE 1.1 Quelques mathmaticiens clbres lis ltude des nombres entiers, rationnels et
rels.

1.1

Un peu dhistoire

Les nombres apparaissent trs tt dans lhistoire de lhumanit. Pour mmoire, le calcul a t
invent avant lcriture (il y a 20 000 ans mais certains disent 35 000 et dautres plus). Il sagissait
de compter avec des cailloux (calculus en latin) afin dvaluer des quantits entires.
Ces entiers naturels permettaient de rsoudre des quations du type x + 3 = 5 par exemple. Cet
7

1.1 Un peu dhistoire

Les rels

ensemble sera par la suite not N en 1888 par Richard Dedekind (pour nummer qui signifie
numro en allemand).
On notera ainsi
N = {0, 1, 2, 3, 4, ...}.
Notons au passage, que cest Ren Descarte qui suggra par convention (que lon garde encore
aujourdhui) de noter les inconnues par les dernires lettres de lalphabet, et de garder les premire
lettres pour les paramtres connus. Il savra trs vite que les entiers ne pouvaient pas rsoudre
certaines quations comme x + 5 = 3. Il fallut alors introduire un ensemble agrandi du prcdent,
que lon appellera entiers relatifs (par rapport leurs positions 0). Dedekind notera lensemble
K, mais on retiendra plutt la notation Z (pour zahlen qui signifie nombre en allemand) de Nicolas
Bourbaki.
On notera ainsi
Z = {..., 4, 3, 2, 1, 0, 1, 2, 3, 4, ...}.
Il fallut ensuite rsoudre des quations du type x 3 = 5. On ne pouvait pas trouver toutes
les solutions dans lensemble Z. Un autre ensemble fut alors introduit. Lensemble des rationnels
permettait de contenir lensemble des solutions de ce type dquation, et il fut not Q par Giuseppe
Peano en 1895 (initiale du mot quoziente (quotient) en italien).
On notera ainsi
a
Q = { o a et b sont des entiers relatifs et b 6= 0}.
b
Il ne faut cependant pas confondre les rationnels Q avec les dcimaux D. Les nombres dcimaux
sont de la forme a.10n o a et n sont des entiers relatifs. Un nombre dcimal a donc un nombre
fini de chiffres aprs la virgule : par exemple 1, 23 scrit 123.102 . Tandis quun nombre rationa
nel sont de la forme o a est un entier relatif, et b est un entier relatif diffrent de zro. Cest
b
dailleurs ici que commence le premire pige quil faudra viter, et qui semble assez vident a
priori : on ne divise pas par 0 !
Un nombre dcimal est donc un cas particulier de nombre rationnel.

F IGURE
1.2 Triangle rectangle de cts
1, 1 et 2.

Vint enfin une quation assez simple rsoudre 12 + 12 = x2 , autrement dit x2 = 2. Cette quation
provenant dun problme gomtrique assez simple (le thorme de Pythagore), nest pas rcente
8

Les rels

1.2 Introduction aux nombres rels

F IGURE 1.3 Hugues Charles Robert


Mray (1835 Chalon-sur-Sane -1911),
un mathmaticien franais, professeur la
facult des sciences de Lyon. En 1869, il
donne, le premier, une construction rigoureuse des nombres rels.

(dans une version diffrencevidemment). Elle date de 500 ans avant J-C environ. Une dmonstration de lirrationalit de 2 date peu prs de cette poque mentionne dans les manuscrits
dAristote. Il fallut donner un nom lensemble de ces nombres qui contenait tous les prcdents
(entiers et rationnels) mais qui ntaient ni entiers ni rationnels. Ren Descartes les appela nombres
rels en 1637 et cest Georg Cantor qui dsignera lensemble des rels par R.
Augustin Cauchy, puis Charles Mray suivi de Georg Cantor tabliront que lensemble des rels
est complet. Autrement dit, contrairement lensemble des rationnels qui contenait encore des
trous que lon pouvait remplir avec des rels, lensemble des rels ne possde pas de trou. On dit
quil est complet. Cette notion sera trs utile dans la suite des cours danalyse.
Puis vinrent les nombres complexes et dautres quations de plus en plus labores rsoudre.
Nous en aborderons quelques unes dans ce cours (comme les quations diffrentielles). Pas toutes,
ce serait impossible, mais celles qui nous semblent incontournables pour le premier semestre de la
premire anne en analyse. Pour cela il faudra dfinir les bons outils, leur manipulation prcise et
rigoureuse (ce que lon peut faire et ce que lon ne peut pas faire). Une fois les outils en main nous
avancerons progressivement de telle sorte qu la fin du semestre, nous aurons effleur la puissance
dapplications de ce que lon aura appris.
Nous pourrons nous trouver de temps en temps devant des concepts qui pourraient aller lencontre
de nos intuitions. Comme par exemple :
1. Est-ce que le nombre juste avant 1 que lon note x = 0.999999999... est gal un ?
2. Est-ce que lensemble des entiers est plus grand que celui des entiers relatifs, lui mme
contenu dans les rationnels ? Et que dire de lensemble des rels ?
Les rponses ces questions ne doivent pas tre donnes si rapidement...nous verrons en cours
pourquoi.

1.2

Introduction aux nombres rels

Pour bien manipuler les nombres rels, il faut avant tout connatre quelques rgles de base. Ces
rgles portent toutes un nom afin de les identifier tout de suite et ainsi savoir de quoi lon parle. Un
9

1.2 Introduction aux nombres rels

Les rels

peu comme sur une carte, cela nous permet de savoir ce que lon voit, o lon va et comment on y
va. Commenons par les rgles simples et connues.

1.2.1

Quelques rgles de calcul

Proprit 1 (Rgles de calcul)


Soient a, b et c trois nombres rels. On pourra crire a, b, c R. On notera laddition +
et la multiplication ou rien du tout (a b ou ab quand il ny a pas dambigut). On a
alors les rgles de calcul suivantes :
1. Commutativit : quels que soient les nombres rels a et b,
a + b = b + a et ab = ba,
2. Associativit : quels que soient les nombres rels a, b et c,
(a + b) + c = a + (b + c) et a(bc) = (ab)c,
3. Distributivit : quels que soient les nombres rels a, b et c,
(a + b)c = ac + bc,
4. Elements neutres pour + et pour : quel que soit le nombre rel a,
a + 0 = a et a 1 = a.

Viennent ensuite les rgle de comparaison. Cest important de les exprimer ici, mme si elles ont
lair simples. Elles permettront de rsoudre un grand nombre de problmes.
Il est galement sage de rappeler que ces rgles sont valables pour les nombres rels, mais lorsquil
sagira dtudier les nombres complexes, ce sera une autre histoire.
Proprit 2 (Rgles de comparaison)
Soient a, b et c R. On a alors les rgles de comparaison suivantes :
1. Rflexivit : quels que soit les nombres rels a,
a a,
2. Antisymtrie : quels que soient les nombres rels a et b,
si a b et b a

alors

a = b,

3. Transitivit : quels que soient les nombres rels a, b et c,


si a b et b c

alors

a c,

4. quels que soient les nombres rels a et b,


on a

ab

10

ou

b a.

Les rels

1.2 Introduction aux nombres rels

Remarque Les rgles 1, 2 et 3 de la proprit prcdente expriment que est une relation
dordre, et la proprit 4 que cette relation est totale (voir cours dAlgbre).
Remarque
1. A partir de la relation infrieur ou gal dfinie prcdemment, on peut dfinir sa
relation symtrique suprieur ou gal pour tous rels a et b par :
ab

si et seulement si

b a.

On remarquera que est galement une relation totale.


2. On dfinit galement la relationstrictement infrieur pour tous rels a et b par :
a<b

si et seulement si

a b et a 6= b,

et la relation strictement suprieur pour tous rels a et b par :


a>b

si et seulement si

a b et a 6= b,

On aborde ensuite les rgles dites de compatibilit que la plupart dentre vous connaissez depuis
le collge.
Proprit 3 (Rgles de compatibilit)
Soient a, b et c R. On a alors les rgles de compatibilit suivantes :
1. si a b

alors

2. si a b

et

a + c b + c,

0c

alors

ac bc.

Remarque
La rgle 2 de la proprit prcdente peut galement scrire avec la relation stricte, en utilisant
le rsultat suivant :
si

ab = 0

alors

a = 0 ou b = 0 (ou les deux).

On a alors la rgle suivante :


si a < b et 0 < c

alors

ac < bc.

Dfinition 1 (Oppos et inverse)


1. Deux nombres rels a et b sont opposs si a + b = 0.
2. Deux nombres rels a et b non nuls sont dits inverses lun de lautre si ab = 1.

11

1.3 Intervalles de R

Les rels

Proprit 4 (Rgles de loppos et de linverse)


1. Soit a un rel quelconque alors il existe un unique rel b tel que a + b = 0.
On note b = a.
2. Soit a un rel non nul, il existe un unique rel non nul c tel que ac = 1.
1
On note c = ou encore a1 .
a

Remarque
1. Loppos de a not a nest pas ncessairement ngatif ! Loppos de a = 5 par exemple
est a = 5 ! Cest une erreur que lon rencontre souvent.
2. On rappelle encore une fois ici que lon ne peut pas diviser par 0 ! Ainsi, lorsque lon
crira un dnominateur, il faudra toujours sassurer que ce dernier est non nul.
3. Toutes les proprits et rgles prcdentes nous permettent de dire que lensemble R des
rels est un corps commutatif muni dune relation dordre totale (comme lensemble Q
des rationnels). On reprsente cet ensemble R par une droite en gnral, et comme on la
spcifi dans le prambule, cette droite ne possde pas de trou (on dit que lensemble R est
complet) contrairement la reprsentation des lensemble Q.
Quel est lun des autres avantages de R par rapport Q et pourquoi est-ce que lon sest servi de
R plutt que Q dans lanalyse mathmatique ? Ce sont les notions des sections suivantes qui vont
en apporter les rponses.
Commenons tout dabord par dfinir ce quest un intervalle de R.

1.3

Intervalles de R

Il existe plusieurs types dintervalles. Tout est assez intuitif, nous garderons cette forme dintuition dans les dfinitions sans aller dans les dtails.
Voici tout dabord la dfinition gnrale dun intervalle de R.
Dfinition 2 (Intervalle de R)
On appelle intervalle I de R toute partie de I de R vrifiant, pour tous x et y dans I et
pour tout z dans R,
si x z y alors z appartient I.

Remarque
12

Les rels

1.3 Intervalles de R

1. Le fait de considrer une partie I de R se note I R (qui se lit I inclus dans R).
2. Le fait de considrer un lment a de I se note a I (qui se lit a appartient I.
Il ne faut donc pas confondre le symbole qui est utilis pour des parties, et qui est
utilis pour des lments.
3. La dfinition prcdente pourrait alors scrire :
on appelle intervalle I de R toute partie I R vrifiant pour tous x, y I et pour tout
zR
si x z y alors z I.
Il existe plusieurs types dintervalles de R. Nous allons les rsumer dans les dfinitions suivantes.
Dfinition 3 (Intervalle ferm et born (segment))
Soient a et b deux rels tels que a b. On appelle intervalle ferm et born (appel aussi
segment) de R tout ensemble de la forme
[a, b] = {x R, a x b}.

Dfinition 4 (Intervalle ouvert)


Soient a et b deux rels tels que a < b. On appelle intervalle ouvert de R tout ensemble
de la forme
]a, b[= {x R, a < x < b},
mais pas que...
Ce sont galement les ensembles de la forme :
]a, +[= {x R, a < x},
ou
] , b[= {x R, x < b}.

Remarque Un cas particulier dintervalle ouvert est lensemble R tout entier : R =] , +[.
Dfinition 5 (Intervalle ouvert et born )
Soient a et b deux rels tels que a b. On appelle intervalle ouvert et born de R tout
ensemble de la forme
]a, b[= {x R, a < x < b}.

13

1.3 Intervalles de R

Les rels

Dfinition 6 (Intervalle semi-ouvert et born )


Soient a et b deux rels tels que a b. On appelle intervalle semi-ouvert et born de R
tout ensemble de la forme
[a, b[= {x R, a x < b},
mais aussi
]a, b] = {x R, a < x b}.

Dfinition 7 (Intervalle ferm et non born )


Soient a et b deux rels . Par convention on appelle intervalle ferm et non born de R
tout ensemble de la forme
[a, +[= {x R, a x},
mais aussi
] , b] = {x R, x b}.

Notation 1.1
On notera les intervalles particuliers suivants :
R+ = [0, +[,

R+ =]0, +[,

R =] , 0],

et

R =] , 0[.

La notation R dsignant lensemble R priv de 0.


Remarque
1. Lintervalle qui ne contient aucun nombre rel est appel lensemble vide (eh oui ! Il faut
le considrer celui-ci aussi...), et il est not .
2. Lintervalle qui ne contient quun seul nombre est appel singleton (en anglais single
veut dire seul). On le note alors entre accolade (est-ce que cest parce quil est seul quil
a besoin daccolades pour tre rconfort...) ; Autrement un singleton contenant le nombre
rel a scrit {a}.
3. Un singleton {a} est considr comme lintervalle [a, a] et donc cest un cas particulier
dintervalle ferm.
4. Lensemble vide est considr comme lintervalle ]a, a[ donc cest un cas particulier
dintervalle ouvert. Comme cest le complmentaire de R, on considre R alors comme un
intervalle ferm.
Mais, R peut tre galement vu comme un intervalle ouvert si on lcrit ] , +[. Et
14

Les rels

1.4 Voisinage

donc son complmentaire sera considr comme ferm.


Cest la raison pour laquelle R et sont considrs comme des ensembles la fois ouverts
et ferms de R.

Intervalles de R

Borns

Non Borns

Ouverts

]a, b[;

R; ] , a[; ]a, +[

Ferms

[a, b]; {a};

R; ] , a]; [a, +[

Semi-ouverts

[a, b[; ]a, b]

F IGURE 1.4 Classification des intervalles de R


Dfinition 8 (Segment )
Soient a et b deux rels, avec a b. On appelle segment, lensemble not [a, b] dfini par
[a, b] = {x R , tels que a x b}

Remarque Nous pourrons utiliser quelques fois la notion de paramtrage du segment. Autrement
dit, en essayant dinterprter, nous laisserons un point se balader entre les bornes de lintervalle
suivant un temps t compris entre 0 et 1.
Pour tre plus clair, on aura lquivalence suivante :
x [a, b] si et seulement sil existe t [0, 1] tel que x = (1 t)a + bt.
Cette quivalence permet de dire que tout point du segment [a, b] peut tre identifi grce un
paramtre t compris entre 0 et 1. Pour aller plus loin, nous pourrions dire que tout point de se
segment peut tre identifi comme un certain barycentre des extrmits.
Cela pourra nous servir quand on verra (en cours, ou TD) la notion de convexit.

1.4

Voisinage

La notion de voisinage servira pour les chapitres suivants quand on abordera les notions de
limites...Les limites qui seront des outils indispensables en analyse.
Noter que dans ce qui suit (et ce sera valable pour tous les chapitres), ds que lon considre une
quantit aussi petite que lon veut, on la note (la notation usuelle de cette lettre grecque remplaant le e latin (pour ne pas le confondre avec le e de lexponentiel), proviendrait dAugustin-Louis
Cauchy qui dsignait ainsi les toutes petites erreurs dapproximation, le e tant linitiale de erreur
qui a donn en grec).
15

1.5 Bornes suprieures, infrieures, maximum et minimum

Les rels

Dfinition 9 (Voisinage dun point )


Soit a un nombre rel. On dit que V R est un voisinage de a si et seulement sil existe
> 0 tel que [a , a + ] V .

Remarque On peut aussi dire, cest quivalent, que V R est un voisinage de a si et seulement
sil existe > 0 tel que ]a , +[ V .
Remarque Le voisinage V de a peut sinterprter donc comme ce quil y a autour de a tout en
tant trs proche de a.
Dfinition 10 (Voisinage de linfini)
On dit que V R est un voisinage de + (respectivement de ) si et seulement sil
existe A R tel que [A, +[ V (respectivement ] , A] V ).

1.5

Bornes suprieures, infrieures, maximum et minimum

Voyons maintenant comment on pourrait construire lensemble R partir de lensemble Q (ce


nest pas lunique faon de construire R mais pour linstant cest la seule que lon puisse aborder
dans ltat de nos connaissances).
Pour cela nous avons besoin des notions de borne suprieures et infrieures, pour les utiliser, nous
devons auparavant dfinir les notions de majorant et minorant.
Dfinition 11 (Majorant, minorant)
Soit E une partie non vide de R. On dit que
1. E est majore sil existe un nombre rel M (pas forcment dans E) tel que pour
tout x E, x M . Un tel nombre (qui nest pas ncessairement unique), est
appel majorant de E.
2. E est minore sil existe un nombre rel m (pas forcment dans E) tel que pour
tout x E, x m. Un tel nombre (qui nest pas ncessairement unique), est
appel minorant de E.
3. E est borne si E est majore et minore.

Remarque Attention : comme on la not, M et m nappartiennent pas ncessairement E...cest


la toute la nuance entre les notions qui suivent : la borne suprieure et le maximum, la borne
infrieure et le minimum.
16

Les rels

1.5 Bornes suprieures, infrieures, maximum et minimum

Dfinition 12 (Borne suprieure, Borne infrieure)


Soit E R non vide. On dit que M R est la borne suprieure de E que lon note
M = sup(E) si et seulement si
1. M est un majorant de E, cest dire que pour tout x E, x M ,
2. si M 0 est un majorant de E, alors M M 0 , autrement dit, M est le plus petit des
majorants
De mme m R est la borne infrieure de E que lon note m = inf(E) si et seulement
si
1. m est un minorant de E, cest dire que pour tout x E, x m,
2. si m0 est un minorant de E, alors m m0 , autrement dit, m est le plus grand des
minorants.

On peut caractriser de faon pratique (ce qui pourra servir pour des exercices) la borne sup et la
borne inf de la faon suivante.
Proposition 1 (Caractrisation des bornes sup et inf.)
Soit E R non vide.
1. si la partie E est majore par un rel M . Alors
M = sup(E) si et seulement si pour tout > 0, il existe x E tel que
x ]M , M ].
2. si la partie E est minore par un rel m. Alors
m = inf(E) si et seulement si pour tout > 0, il existe x E tel que
x [m, m + [.

Si les majorants et minorants appartiennent lensemble E, on les appelle maximum et minimum.


Cest la toute la diffrence avec les bornes suprieures et bornes infrieures. Donc ne confondez
pas ces notions !
Dfinition 13 (Maximum, minimum)
Soit E R.
On dit que M est le maximum de E, que lon note M = max(E) si M = sup(E) et
M E.
On dit que m est le minimum de E, que lon note m = min(E) si m = inf(E) et
m E.

17

1.6 Valeur absolue

Les rels

On peut maintenant dcrire une faon de construire R :


R correspond Q auquel on rajoute toutes les bornes sup de sous-ensembles de Q.
On a alors les deux proprits suivantes :
Proprit 5 (Proprit de la borne sup)
Toute partie de R non vide et majore admet une borne sup.

Proprit 6 (Rel et borne sup)


Tout rel est la borne sup dun ensemble dlments de Q.

Remarque
1. La premire proprit est due Bernhard Bolzano en 1817.
2. Q na pas la proprit de la borne sup : {x Q tel que x2 < 2} admet
sup dans R et nadmet pas de borne sup dans Q.

2 comme borne

Voil, nous avons maintenant quelques outils essentiels pour continuer le cours danalyse. Bien
entendu, ce chapitre est bien loin de couvrir toutes les connaissances accumules sur ces ensembles
(N, Z, Q et R)...mais faute de temps, nous en resterons l. Les plus curieux pourront loisir se
renseigner plus dans ce domaine, un peu en cours dalgbre, mais galement dans la littrature trs
riche ce sujet.
En ce qui nous concerne, nous allons aborder une autre notion toute aussi importante dans la suite
de ce cours danalyse : la notion de fonctions.

1.6

Valeur absolue

Rappelons ici quelques proprits des valeurs absolues que vous tes censs matriser depuis le
lyce. Commenons par en donner la dfinition qui est due Franois Vite en 1591.

F IGURE 1.5 Franois Vite (15401603), mathmaticien franais, il est le


premier noter les paramtres dune
quation par des symboles et se trouve
donc le fondateur de lalgbre nouvelle ou
logistique spcieuse.

18

Les rels

1.7 Partie entire

Dfinition 14 (Valeur absolue)


Soit a un nombre rel. La valeur absolue de a est le nombre rel dfini par :

a si a > 0,
a si a < 0.
|a| =

0 si a = 0.

Proprit 7 (Valeur absolue, rappels)


Pour tous nombres rels a et b, nous avons :
1. |a| 0, |a| a |a|, | a| = |a|,

2. a2 = |a|,
3. |ab| = |a||b|,
4. pour tout n N ou Z (si on a en plus a R ) , |x|n = |xn |,


1
b |b|
1
5. si a 6= 0, =
et de faon gnrale =
,
a
|a|
a
|a|
6. si b 0, |a| b si et seulement si b a b,
7. si b 0, |a| b si et seulement si a b ou a b,
8. |a + b| |a| + |b| (cest lingalit triangulaire),
9. ||a| |b|| |a b| (cest lingalit triangulaire inverse).

Une autre proprit que lon utilisera trs souvent en TD.


Proprit 8 (Valeur absolue et distance)
Soit r un rel strictement positif. Pour tous nombres a et b nous avons les deux quivalence suivantes :
1. |b a| < r si et seulement a r < b < a + r,
2. |b a| r si et seulement a r b a + r.

1.7

Partie entire

Une notion qui peut vous sembler nouvelle est celle de la partie entire dun nombre rel. La
partie entire a beaucoup dapplications notamment en probabilit, en thorie des nombres mais
galement dans laffichage numrique dappareils de mesures. Elle pourra galement nous tre
19

1.7 Partie entire

Les rels

utile pour la rsolution dexercices ainsi que pour la preuve de certaines propositions.
Dfinition 15 (Partie entire)
Soit a un nombre rel. Le plus grand entier infrieur ou gal a sappelle la partie entire
de a. Nous le noterons E(a) ou [a].

Remarque Intuitivement, il est assez ais de voir que pour les nombre positifs, la partie entire
dun nombre est le nombre lui-mme coup de ses chiffres aprs la virgule. Do le nom de
partie entire.
Par contre pour les nombres ngatifs, il faudra faire attention, ce sera le nombre entire infrieur
au nombre coup de ses chiffres aprs la virgule.
Il ne faut donc pas confondre partie entire et troncature ! (la partie entire est la troncature pour
les nombres positifs, mais pas pour les nombres ngatifs !
Exemple
1. E() = 3,
2. E() = 4.
Proposition 2 (Valeur absolue et distance)
Soit a un rel. Il existe un unique entier relatif n tel que
n a n + 1.

Remarque Par consquent, E(a) est lunique entier tel que E(a) a < E(a) + 1.
Il est important de noter lingalit stricte droite et large gauche !

20

Chapitre 2
Les fonctions dune variable relle

(a) Gottfried
Wilhelm
Leibniz (1646 - 1716),
mathmaticien allemand,
lorigine entre autres du
calcul infinitsimal (avec
Newton), ce fut le premier
introduire le terme de
fonctions.

(b) Leonhard Euler (1707 - (c) Nicolas Bourbaki est un ma1783), mathmaticien suisse thmaticien imaginaire cr par un
a travaill galement sur le groupe de mathmaticiens 1935
calcul infinitsimal et entre Besse-et-Saint-Anastaise (France). A
autres choses sur la thorie lorigine de nombreuses notations,
des graphes. Cest lui que vulgarisation de notions et de symlon doit la notation f pour bole, on leur doit entre autres la reles fonctions.
lation entre fonction et application.

F IGURE 2.1 Quelques mathmaticiens clbres lis ltude des fonctions.


Lorsque lon travaille dans les mathmatiques appliques par exemple, que ce soit en physique,
chimie, biologie ou autres, la notion de fonction est trs importante.
En biologie par exemple, on sen servirait pour dcrire lvolution dune population de poisson en
fonction du temps. Suivant certaines proprits, cette population pourrait augmenter dans le cas
o la nourriture est suffisamment abondante, ou dcrotre si jamais il y avait trop de prdateurs
(notamment des pcheurs en surabondance). Connatre les proprits de cette fonction permettrait
de prdire le dclin ou la prosprit de lespce de poisson tudie (comme le cas du cabillaud
pch en atlantique nord (voir figure ci-dessous).
En physique, nous pourrions nous intresser par exemple la trajectoire dun objet ou dune personne : comme un skieur lanc du haut dune rampe. Trouver les conditions optimales pour quil
puisse sauter le plus loin possible lui permettrait de gagner la comptition.
Les exemples dapplications se comptent par milliers autour de nous. Nous sommes entours de
21

2.1 Notions de bases sur les fonctions

Les fonctions dune variable relle

fonctions, certains lignorent, dautres non. Plus vous ferez des mathmatiques, et plus vous vous
en rendrez compte.

F IGURE 2.2 Evolution du stock de cabillaud au cours du sicle dernier.

Mais, afin que les tudes soient le plus rigoureuses possibles, il est ncessaire de bien matriser les
outils mathmatiques utiliss, en loccurrence ici les fonctions.
Le nom de fonction est apparu assez tard, en 1694 dans un manuscrit de Gottfried Leibniz alors
que la notion existait depuis beaucoup plus de temps. Cest ensuite Leonhard Euler qui propose la
notation f pour les fonctions en 1734 (aprs plusieurs tentatives plus ou moins convaincantes par
dautres mathmaticiens). Cest enfin Nicolas Bourbaki qui tente de faire le lien entre fonction et
application dans les annes 1950.
En ce qui nous concerne, nous aborderons ici les fonctions le cadre le plus simple (les plus labores se verront dans les semestres suivants, notamment en analyse 3) : ce sont les fonctions dune
variable relle valeurs relle.
Quest-ce que cela veut dire ? Comment les dfinit-on ? Comment les manipule-t-on ? Quelles sont
les fonctions les plus connues ? En somme, que savons-nous de ces fonctions ?

2.1

Notions de bases sur les fonctions

Commenons par donner les dfinitions de base des fonctions.


On considre ici deux ensemble de E et F inclus dans R. Ces ensembles peuvent tre R lui-mme.
Dfinition 1 (Fonction)
Soit E et F R.
La fonction f dfinie par un ensemble de dpart I R et par un ensemble darrive
J R est une relation de I vers J dans laquelle chaque lment de I appel antcdent
possde au plus un lment dans lensemble J appel image.

Remarque Le fait que chaque lment de I possde au plus une image dans J signifie que certains lments de I peuvent ne pas avoir dlments dans J du tout. Mais dun autre ct, cela
22

Les fonctions dune variable relle

2.1 Notions de bases sur les fonctions

veut galement dire que les lment de I ne peuvent pas avoir plus dune image dans J. Ceci est
trs important, nous le verrons lors que nous tracerons le graphe dune fonction.

F IGURE 2.3 Exemple de ce qui est considr comme fonction ( gauche) et non fonction (
droite).
Que se passe-t-il si lon ne slectionne que les lments de I qui auront exactement une image.
En laissant de ct ce qui nen ont pas. Cest la dfinition suivante.
Dfinition 2 (Domaine de dfinition)
Soient I R et J R.
Lensemble des lments de I qui ont exactement une image dans J par la fonction f est
appel domaine de dfinition de I. On le note Df .

Du coup, on peut carrment dfinir les fonctions partir de leur ensemble de dfinition. Dans ce
cas l, on ne les appellera plus fonctions mais applications.
Dfinition 3 (Application)
Soient I R et J R
Lapplication f dfinie par un ensemble de dpart I et par un ensemble darrive J est
une relation de I vers J dans laquelle chaque lment de I possde une image et une
seule dans lensemble J.

Remarque Une application est donc une fonction dont le domaine de dfinition est lensemble de
dpart choisi. En dautres termes, pour une application de f dfinie de I dans lensemble J, nous
avons Df = I.
Ou encore, une fonction est une application de Df dans J.
23

2.1 Notions de bases sur les fonctions

Les fonctions dune variable relle

Notation 2.1
On note les fonctions f de la faon suivante :
f: I J
x 7 f (x).
Et les applications f de la faon suivante :
f : Df J
x
7 f (x).
La diffrence est subtile, tout est question de domaine de dpart et domaine de dfinition.
Attention : dans chacune de ces dfinitions,
1. la premire flche reliant I ou Df J qui scrit sans barre verticale lextrmit
gauche se lit : dans (f va de I (ou Df ) dans J).
2. la deuxime flche reliant x f (x) possde, elle une barre verticale lextrmit gauche
et se lit : a pour image (x a pour image f (x)).
Remarque
1. En rgle gnrale, on tudiera plutt des applications en TD, et donc nous essaierons de
calculer dans la mesure du possible le domaine de dfinition de la fonction tudie.
2. Comme dit prcdemment, llment x dans lensemble Df est appel antcdent de f , et
llment f (x) est appel image de x par f .
3. Ainsi, lantcdent se trouve dans le domaine de dfinition, et limage dans lensemble
darrive.

(a) Reprsentation dune fonction.

(b) Reprsentation dune application.

F IGURE 2.4 Exemple de fonction et dapplication.


Nous pouvons maintenant essayer de tracer ces applications. Les courbes reprsentant ces applications, appeles galement graphes, permettent de les visualiser plus facilement dans un repre
en deux dimensions. Pour cela nous avons besoin de dfinir le graphe dune application.
24

Les fonctions dune variable relle

2.1 Notions de bases sur les fonctions

Dfinition 4 (Graphe dune application)


Le graphe, appel encore courbe reprsentative, not Cf dune application f : Df
R est lensemble des points (x, y) du plan tels que x appartienne Df et y = f (x)
appartienne J R.

Remarque Le graphe de f scrit en gnral de la faon suivante :


Cf = {(x, f (x)); x Df }.

Remarque IMPORTANT : il ne faudra pas confondre :


1. f qui dsigne la fonction (ou lapplication),
2. f (x) qui dsigne un nombre rel (limage de x par f ),
3. Cf qui dsigne le graphe de f , autrement une reprsentation de f dans un repre, cest une
partie du plan.
Il ne faudra donc pas dire : soit f (x) la fonction ! Mais soit f la fonction...
Exemple Voici dans les figures suivantes, le graphe de deux fonctions usuelles (que lon tudiera
un peu plus loin dans le chapitre) :
1. f1 : R R
x 7 x2

2. f2 : R R
x 7 x3

(a) Fonction x 7 x2

(b) Fonction x 7 x3

F IGURE 2.5 Deux fonctions classiques.

25

2.2 Quelques proprits des fonctions

2.2

Les fonctions dune variable relle

Quelques proprits des fonctions

Par abus, dans tout ce qui suit (sauf dans des cas particuliers) nous allons parler de fonctions plutt
que dapplications. Ceci afin de ne pas alourdir les propos et de permettre de donner un cadre
gnral aux proprits. Toutefois, on gardera en tte quil suffira de dfinir lensemble de dpart
comme tant le domaine de dfinition pour que le rsultat sapplique aux applications. Nous allons
donner ici quelques proprits connues, et dautres moins connues sur les fonctions. Ces proprits
permettront de dcomposer des fonctions un peu compliques en fonctions connues plus simples.

2.2.1

Les oprations algbriques

Commenons par les oprations connues : somme, produit et division de fonctions.

Dfinition 5 (Oprations sur les fonctions)


Si f et g sont deux fonctions dfinies sur le mme intervalle I R, on a alors les rsultats
suivant :
1. Somme : la fonction somme f + g est dfinie pour tout rel x de lintervalle I
par :
(f + g)(x) = f (x) + g(x).
2. Produit : la fonction produit f g est dfinie pour tout rel x de lintervalle I par :
(f g)(x) = f (x)g(x).
3. Quotient : lorsque la fonction g ne sannule pas sur lintervalle I, la fonction
f
quotient est dfinie pour tout rel x de I par :
g
 
f
f (x)
(x) =
.
g
g(x)

Remarque Il est important de rappeler que lon ne peut pas diviser par 0 et donc il faudra
absolument que le domaine de dfinition de g comprenne entre autre le fait que g(x) ne sannule
pas pour x dans ce domaine.

2.2.2

La restriction

Il se peut que de temps autre, nous nayons pas besoin dtudier une applications sur tout son
domaine de dfinition, mais seulement sur une partie. On restreint alors la fonction sur un intervalle
plus petit que son domaine de dfinition.
26

Les fonctions dune variable relle

2.2 Quelques proprits des fonctions

Dfinition 6 (Restriction)
Soit f une application dfinie sur un intervalle I de R. Soit I0 un intervalle de R inclus
dans I. On appelle restriction de f I0 que lon note f |I0 , la fonction dfinie sur I0 par :
pour tout x I0 , f |I0 (x) = f (x).

Remarque Cette dfinition signifie juste que les fonctions f et f |I0 prennent les mmes valeurs
en chaque point de lintervalle I0 .

2.2.3

Fonctions dfinies par morceaux

Limage de la fonction que lon avait jusqu maintenant est celle dune courbe assez rgulire que
lon peut dessiner main leve sans trop de problme. Il se peut en fait quune fonction soit dfinie
par des petits morceaux que lon peut rapicer Ces morceaux de fonctions peuvent se toucher ou
non suivant ce que lon tudie.
Si lon considre par exemple un intervalle I de R qui contient plusieurs sous intervalles I1 , I2 ,
..., In (o n est un entier naturel). On suppose que ces intervalles ne se chevauchent pas, sinon
nous aurions des problmes, nous ne serions pas en prsence de fonctions dans un cadre gnral.
Ces intervalles peuvent se toucher en dcoupant ainsi lintervalle I en n sous intervalles ou non.
Supposons quen chacun de ces sous-intervalles la fonction f possde une expression diffrente.
Autrement dit, en reprenant la notation de la restriction de la section prcdente nous aurions :
f |I1 = f1 , f |I2 = f2 ,...,f |In = fn .
La fonction ainsi dfinie serait une fonction par morceaux.

2.2.4

Fonctions majores, minores, bornes

Il se peut que lon ait besoin de savoir de temps en temps si une fonction peut-tre majore ou
minore (on pourrait par exemple chercher le cot minimum ou maximum dune opration financire). Pour cela nous devons dfinir les notions suivantes.
Dfinition 7 (Fonction majore)
Soit f une application dfinie sur un intervalle I de R. Etant donn un rel M , la fonction
f est dite majore (par M ) sur I si pour tout rel de I :
f (x) M .

27

2.2 Quelques proprits des fonctions

Les fonctions dune variable relle

F IGURE 2.6 Exemple de fonction dfinie par morceaux.

Dfinition 8 (Fonction minore)


Soit f une application dfinie sur un intervalle I de R. Etant donn un rel m, la fonction
f est dite minore (par m) sur I si pour tout rel de I :
f (x) m.

Dfinition 9 (Fonction borne)


Soit f une application dfinie sur un intervalle I de R. La fonction f est dite borne sur
I si elle est la fois majore et minore.

Remarque La majoration ou la minoration de f peuvent ne pas exister. Elles peuvent galement


ne pas tre unique. Il suffit de trouver un majorant ou un minorant qui marche. Si ce majorant (ou
minorant) est le plus petit des majorants (ou plus grand des minorants), a peut tre soit la borne
suprieure (ou infrieure), soit le maximum (ou le minimum) de la fonction. Tout dpend en fait de
lappartenance ou non de ce majorant ou minorant dans lintervalle darrive.

Quelques fois, ce nest pas un nombre qui majore (ou minore) une fonction. ll se peut que ce soit
carrment une autre fonction. Nous avons alors les dfinitions suivantes.
28

Les fonctions dune variable relle

2.3 La composition

Dfinition 10 (Fonction majore par une fonction)


Soient f et g deux fonctions dfinies sur un mme intervalle I de R. On dit que f majore
g si pour tout x de I :
f (x) g(x).
On crit alors f g.

Dfinition 11 (Fonction minore par une fonction)


Soient f et g deux fonctions dfinies sur un mme intervalle I de R. On dit que f minore
g si pour tout x de I :
f (x) g(x).
On crit alors f g.

2.3

La composition

Cette partie est nouvelle mais pas trs difficile comprendre. Elle concerne lembotement de
fonctions les unes dans les autres. Un peu comme des poupes russes. On nomme cet embotement la composition de fonctions.

F IGURE 2.7 Exemple de poupes russes


faon petit chaperon rouge. Dans la dfinition suivante f sera laction de manger
la poire, et donnera le chaperon rouge et g
sera laction de manger le petit chaperon
rouge ce qui donne le loup.

29

2.3 La composition

Les fonctions dune variable relle

Dfinition 12 (Composition de fonctions)


Soit f une fonction dfinie dun intervalle I de R valeurs dans un intervalle J de R.
Soit g une fonction dfinie de lintervalle J de R vers un intervalle K de R. La fonction
compose des fonctions f et g est la nouvelle fonction que lon crit g f (et que lon lit
g rond f ) dfinie pour tout x dans lintervalle I par :
(g f )(x) = g(f (x)),
et que lon peut crire de la faon suivante :
f

gf : I

K
x 7 f (x) 7 g(f (x)).

Remarque
Il y aura deux difficults affronter dans cette nouvelle notion :
1. il faudra faire trs attention aux ensembles de dparts et darrives de chacune des fonctions impliques,
2. partir dune fonction compose, il faudra reconnatre quelles sont les fonctions qui la
composent, et inversement, partir de fonctions simples essayer de construire des fonctions
compoes.
Lhabitude et la pratique permettront de rendre ces notions trs familires.
Remarque
1. Il nest pas ncessaire que J soit lensemble de dpart de g. Il suffit que lensemble de
dpart de g contienne J.
2. Nous ne pourrons pas avoir lgalit suivante en gnral : f g = g f .
3. Il existe une fonction que lon appelle la fonction identit que lon crit : Id dfinie pour
tout x dans R par Id(x) = x. Autrement dit cette fonction met x en relation avec lui mme.
Elle ne change rien. On lcrit de la faon suivante :
Id : R R
x 7 x.
Cette fonction identit est importante parce que lon a les proprits suivantes :
(a) Idf = f Id = f . Autrement dit la fonction identit se comporterait comme llment
neutre pour la loi de composition ,
(b) la question que lon peut se poser, est la suivante : existe-t-il une fonction g telle que
lon ait :
f g = g f = Id ?
30

Les fonctions dune variable relle

2.3 La composition

Ce qui pour tout x dans I pourrait scrire : f (g(x) = g(f (x) = x. Ce serait une
fonction qui permettrait de remettre x en relation avec lui-mme aprs tre pass par
un intermdiaire.
Ce type de fonction g peut exister (cest le cas si f est bijective) et cest la fonction
rciproque de f que lon notera f 1 dans la section 2.4.
N.B. : cest un peu comme, en reprenant limage du dbut de cette section, en mangeant
une poire on devient petit chaperon rouge et en mangeant le petit chaperon rouge,
on redevient une poire. Dit comme a, cela parat trange, mais Raymond Queneau
qui a publi des articles de recherche en mathmatiques ntait-il pas lui-mme un
surraliste ?

2.3.1

Monotonie

Certaines fonctions sont monotones, dans le sens littral du terme. Autrement dit, elles ne varient
pas. Elles sont soit croissantes, soit dcroissantes sur un intervalle fix. Cest ce que nous allons
dfinir ici.
Dfinition 13 (Croissance)
Soit f une application dfinie sur un intervalle I de R. Lapplication f est dite croissante
sur I si pour tous x1 et x2 de lintervalle I on a :
si x1 x2 alors f (x1 ) f (x2 ).

Dfinition 14 (Dcroissance)
Soit f une application dfinie sur un intervalle I de R. Lapplication f est dite dcroissante sur I si pour tous x1 et x2 de lintervalle I on a :
si x1 x2 alors f (x1 ) f (x2 ).

Dfinition 15 (Croissance stricte)


Soit f une application dfinie sur un intervalle I de R. Lapplication f est dite strictement croissante sur I si pour tous x1 et x2 de lintervalle I on a :
si x1 < x2 alors f (x1 ) < f (x2 ).

31

2.3 La composition

Les fonctions dune variable relle

Dfinition 16 (Stricte dcroissance)


Soit f une application dfinie sur un intervalle I de R. Lapplication f est dite strictement dcroissante sur I si pour tous x1 et x2 de lintervalle I on a :
si x1 < x2 alors f (x1 ) > f (x2 ).

De faon gnrale nous avons la dfinition de la monotonie suivante.


Dfinition 17 (Monotonie)
Soit f une application dfinie sur un intervalle I de R. Lapplication f est dite monotone
sur I si elle y est croissante ou dcroissante.

Dfinition 18 (Monotonie stricte)


Soit f une application dfinie sur un intervalle I de R. Lapplication f est dite strictement monotone sur I si elle y est strictement croissante ou strictement dcroissante.

Remarque Etudier les variations dune application consiste donc regarder sa variation de
monotonie et donc partager son ensemble de dfinitions en intervalles tels que sur chacun deux,
la fonction soit monotone.

On synthtise alors les rsultats obtenus dans un tableau de variations.


Dfinition 19 (Tableau de variations)
Afin de rassembler les informations concernant les variations dune fonction, on utilise
un tableau de variation dans lequel la croissance est reprsente par une flche vers le
haut, la dcroissance par une flche vers le vas. On y indique galement les valeurs aux
bornes de lensemble de dfinition.

Voyons quelques proprits relatives la monotonie.


32

Les fonctions dune variable relle

2.3 La composition

+
+

variations
de f
0
F IGURE 2.8 Exemple de tableau de variation pour la fonction f : x 7 x2 . Remarquez que lon
note dans la deuxime ligne, variation de f et non de f (x). On cherche en effet les variations de la
fonction f , tandis que f (x) est un nombre !

Proprit 1 (Somme, produit et composition de fonctions monotones)


Soient f et g deux fonctions dfinies sur I.
1. Si f et g sont croissantes sur I, la somme f + g est croissante.
2. Si f et g sont positives ou nulles sur I. Si f et g sont croissantes sur I, alors leur
produit f g est croissant sur I.
3. Si f et g sont croissantes toutes le deux, ou dcroissantes toutes les deux alors
leur compose (si elle existe), est croissante.
4. Si lune des fonctions f ou g est croissante et lautre dcroissante, alors la compose est dcroissante.

2.3.2

Parit

Il sera trs utile parfois de regarder si notre fonction (et donc son graphe) est symtrique soit par
rapport lorigine 0 soit par rapport laxe des ordonnes (cest dire la droite dquation x = 0).
En effet, cela nous permettra de ntudier la fonction que sur une partie de son domaine, lautre
partie se dduisant par symtrie. Cest extrmement pratique notamment quand on utilisera des
valeurs absolues.
Pour cela nous devons dfinir la parit dune fonction.
Dfinition 20 (Fonction paire)
Soit f une application dfinie sur son domaine I dans R ( lintervalle I doit tre symtriquement rparti autour de 0) . Lapplication est dite paire si pour tout rel x de I nous
avons
f (x) = f (x).

33

2.3 La composition

Les fonctions dune variable relle

Dfinition 21 (Fonction impaire)


Soit f une application dfinie sur son domaine I dans R ( lintervalle I doit tre symtriquement rparti autour de 0) . Lapplication est dite impaire si pour tout rel x de I nous
avons
f (x) = f (x).

Remarque Si f est paire, sa courbe reprsentative (son graphe) est symtrique par rapport
laxe de des ordonnes (la droite dquation x = 0)

Remarque Si f est impaire, sa courbe reprsentative (son graphe) est symtrique par rapport
lorigine O.

Remarque IMPORTANT : toute application f impaire sannule en 0. Autrement dit, si f est


impaire f (0) = 0.

F IGURE 2.9 Exemple de fonction paire ( gauche) et impaire ( droite).


Il se peut que laxe de symtrie ne soit pas laxe des ordonnes. La fonction ne sera alors pas
paire, mais juste symtrique par rapport un autre axe. Supposons que ce soit la droite verticale
dquation x = a. Nous avons alors la proprit suivante.
34

Les fonctions dune variable relle

2.3 La composition

Proprit 2 (Axe de symtrie quelconque)


Soit f une application dfinie sur lintervalle I de R. Soit a un rel de I tel que pour tout
x de I lon ait :
a + x I et a x I.
Le graphe Cf de f admet commet la droite dquation x = a pour axe de symtrie si et
seulement si pour tout rel x :
f (a + x) = f (a x).

Il se peut que le centre de symtrie ne soit par lorigine. Dans ce cas, la proprit suivante nous
permet de prouver quun point A de coordonnes (a, b) du plan est un centre de symtrie pour
lapplication f .

Proprit 3 (Centre de symtrie quelconque)


Soit f une application dfinie sur lintervalle I de R. Soient a I et b deux rels tels
que pour tout x de I lon ait :
a + x I et a x I.
Le graphe Cf de lapplication f admet le point A de coordonnes (a, b) pour centre de
symtrie si et seulement si pour tout rel x de I
f (a + x) + f (a x) = 2b.

2.3.3

Fonctions priodiques

Penchons-nous maintenant sur les fonctions priodiques. Montrer quune fonction est priodique
peut tre trs utile, dans le sens o, un peu comme dans le cas de la parit, cela permet de rduire
fortement le domaine dtude de la fonction, en loccurrence ici sur une seule priode.
35

2.4 Injectivit, surjectivit, bijectivit

Les fonctions dune variable relle

Dfinition 22 (Fonction priodique)


Soit f une application dfinie sur son domaine I dans R. Soit T un nombre rel non nul
tel que pour tout x de I lon ait :
x + T dans lintervalle I.
Lapplication f est dite T-priodique si pour tout rel x de I :
f (x + T ) = f (x).
T est alors appel la priode de f .

Remarque Si f est une application priodique et si T et T 0 sont deux priodes de f telles que
T + T 0 6= 0, alors T et T + T 0 sont galement des priodes de f .
f peut donc possder plusieurs priodes de f . La plus petite dentre elle est appele priode
fondamentale.
Dfinition 23 (Priode fondamentale)
Soit f une application dfinie sur son domaine I dans R. On suppose f priodique. Si
lensemble des priodes strictement positives de f a un plus petit lment T0 , celui-ci est
appel priode fondamentale de f . Toutes les priodes de f sont alors de la forme nT0 ,
o n est un entier relatif.

2.4

Injectivit, surjectivit, bijectivit

Les notions dinjectivit, surjectivit et bijectivit sont nouvelles pour la plupart dentre vous. Mais
elles ne sont pas compliques quand on comprend ce quelles reprsentent.
Considrons une fonction f dfinie dun ensemble I de R vers un ensemble J de R. On rappelle
alors que I reprsente lensemble de dpart et J lensemble darrive.
Dfinition 24 (Fonction injective)
On dit quune fonction f : I J est injective si et seulement si tout lment y de
lensemble darrive J admet au plus un antcdent dans lensemble I de dpart.
Autrement dit, il en possde soit un, soit aucun mais pas plus de un. En mathmatiques
cela scrit :
pour tous x1 et x2 de I,
si f (x1 ) = f (x2 ) alors x1 = x2 .

36

Les fonctions dune variable relle

2.4 Injectivit, surjectivit, bijectivit

(a) Injection.

(b) Non injection

F IGURE 2.10 Concept dinjection ( gauche) et de non injection ( droite).


Dfinition 25 (Fonction surjective)
On dit quune fonction f : I J est surjective si et seulement si tout lment y de
lensemble darrive J admet au moins un antcdent dans lensemble I de dpart.
Autrement dit, il en possde soit un, soit plus, mais il est oblig den possder un. En
mathmatiques cela scrit :
pour tout y de J il existe (au moins un) x de I tel que
f (x) = y.

(a) Surjection.

(b) Non surjection

F IGURE 2.11 Concept de surjection ( gauche) et de non surjection ( droite).


37

2.4 Injectivit, surjectivit, bijectivit

Les fonctions dune variable relle

Dfinition 26 (Fonction bijective)


On dit quune fonction f : I J est bijective si et seulement elle est la fois injective
et surjective. Cest dire si tout lment y de lensemble darrive J admet exactement
un antcdent dans lensemble I de dpart.
En mathmatiques cela scrit :
pour tout y de J il existe un unique x de I tel que
f (x) = y.
Il est alors possible de passer de y x par ce quon appelle la fonction rciproque, que
lon note f 1 . Et donc si f est bijective on a :
f : I J et
x 7 y = f (x),

f 1 : J I
y 7 x = f 1 (y),

F IGURE 2.12 Concept de bijection.

Remarque On pourrait considrer les notions dinjectivit, surjectivit et bijectivit comme la


rservation de places dans un avion.
Ce que le passager aime, cest avoir de la place droite et gauche et donc des places vides. Donc
il espre que des places dans lavion nauront pas t prises. Cest linjectivit : si lon dsigne au
hasard des places dans lavion, certaines seront occupes dautres non. On peut alors faire entrer
compltement la liste des passagers (ou linjecter si on peut oser la mtaphore) dans lavion.
Dun autre ct, ce que la compagnie arienne souhaite, cest de vendre plus de billet que de places
disponibles. Autrement dit, elle pourra ventuellement se trouver en grande difficult si tous les
passagers se prsente : cest le surbooking quon pourrait appeler surjection ici. Autrement dit, si
lon fait rentrer tout le monde dans lavion, chaque place pourra tre occupe par un ou plusieurs
passager (ne me demandez pas comment). Mais aucun sige ne sera vide. La surjection dans le
cas de laviation commerciale peut savrer tre un jeu dangereux mais rentable.
38

Les fonctions dune variable relle

2.4 Injectivit, surjectivit, bijectivit

Enfin, la condition idale est quand lavion est plein, que chaque place est prise par un unique
passager. Toutes les places ont t vendues, et chaque passager a son espace personnel. Tout le
monde semble satisfait.

F IGURE 2.13 Solution pour viter


le surbooking : augmenter le nombre
de sige et rduire la place pour les
jambes ?...Le prix pour passer de la surjectivit la bijectivit ?

Question.
Comment construire le graphe dune fonction f 1 rciproque dune fonction f ?
Rponse.
On voit par construction de la fonction rciproque que si lon suppose x un point de lintervalle I
et y un point de lintervalle J = f (I) limage de I par f tel que y = f (x), alors
(x, y) appartient au graphe Cf si et seulement si (y, x) appartient au graphe Cf 1 .
Autrement dit tout point du graphe Cf 1 est le symtrique du graphe Cf par rapport la premire
bissectrice (cest dire la droite dquation y = x).

F IGURE 2.14
Construction de la fonction rciproque (ici la fonction x 7 x2 dont la rciproque si
x 0 est x 7 x. La droite pointille rouge est la premire bissectrice (droite dquation y = x).

39

2.4 Injectivit, surjectivit, bijectivit

Les fonctions dune variable relle

40

Chapitre 3
Limites dune fonction

(a) Archimde de Syracuse (287212 av J.C.), mathmaticien grec,


a introduit une mthode de limite
pour des problmes de gomtrie.

(b) Madhava de Sangamagrama (c) Karl Theodor Wilhelm


(1350-1425), un mathmaticien in- Weierstrass (1815-1897), mathdien, fut le premier effectuer le maticien allemand, fut le premier
passage la limite (sur des fonc- formuler une dfinition de la
tions trigonomtriques).
limite avec les et quon utilise
encore de nos jours.

F IGURE 3.1 Quelques mathmaticiens clbres lis aux limites de fonctions.


Afin de faire une tude plus complte dune application, nous avons besoin de connatre son
comportement en des points particuliers et la plupart du temps aux bornes de son domaine de
dfinition. Nous allons faire la diffrence entre les limites en un point, et les limites en linfini.
Puis nous verrons quelques proprits sur les limites.

3.1

Limites finie dune fonction en un point

Jusqu prsent la notion de limite que vous aviez vue au lyce tait assez intuitive. Pour une
application f dfinie sur un intervalle I il sagissait de voir, pour un x dans I vers quoi tendait la
valeur f (x) quand x tendait vers une valeur a de I. Cette limite quand elle existait tait note
par un rel l ou autre chose selon les circonstance, et lon avait :
41

3.1 Limites finie dune fonction en un point

Limites dune fonction

lim f (x) = l.

xa

Nous allons essayer de mettre sous forme mathmatique cette intuition.


Mais auparavant nous allons bien dfinir vers quoi tend x pour avoir la limite. Quand on cherche
la limite dune fonction f quand x tend vers a il faut que x appartienne bien sr au domaine de
dfinition Df de f sinon chercher vers quoi peut tendre f (x) na aucun sens tant donn que f (x)
nest pas dfini.
Mais est-ce que a doit appartenir Df ? Pas forcment est cest la toute la subtilit de ce qui va
suivre.
En effet, a ne doit pas ncessairement appartenir Df mais x qui se rapproche aussi prs que lon
veuille de a oui. Donc, le voisinage de a doit tre rencontrer celui de Df .
On y arrive presque. En effet, si a se trouve au bord de Df , son voisinage ne peut pas tre inclus
du domaine de f .
On prend en compte ce cas, en disant que ce voisinage doit au-moins rencontrer Df sil ne peut
pas y tre inclus.
Do la dfinition suivante.
Dfinition 1 (Adhrence)
Soient D une partie de R, et a un rel. On dit que a est adhrent D lorsque pour tout
rel > 0, lintervalle [a , a + ] rencontre D. Autrement dit, pour tout rel > 0, il
existe t D tel que |t a| .

Nous pouvons maintenant donner la dfinition dune limite en un point telle quelle a t introduite
par Karl Weierstrass.
Dfinition 2 (Limite finie en un point)
Soit f une application dfinie sur son domaine I dans R. Soient a et l deux rels finis
(cest dire que a et l sont diffrents de + et ) avec a adhrent I.
On dit que f admet une limite finie l en a, si pour tout rel > 0, il existe un rel > 0
tel que
pour tout x I si |x a| alors |f (x) l| .
On crit alors comme prcdemment
lim f (x) = l ou encore lim f = l.

xa

Remarque
1. Intuitivement, cette dfinition signifie que f (x) est aussi prs de l que lon veut (autrement
dit dans un voisinage de l aussi petit que lon veut), condition de choisir x suffisamment
prs de a (autrement dit x doit tre dans un voisinage suffisamment petit de a).
42

Limites dune fonction

3.2 Limites infinie dune fonction en un point

2. La dfinition de la limite prcdente permet dire quil y a quivalence entre crire que f (x)
tend vers l et f (x)l tend vers 0 quand x tend vers a, autrement dit on a quivalence entre :
(a) lim f (x) = l ,
xa

(b) lim (f (x) l) = 0,


xa

(c) lim |f (x) l| = 0.


xa

F IGURE 3.2 Illustration de la dfinition de la limite finie en un point.

3.2

Limites infinie dune fonction en un point


Dfinition 3 (Limite + en un point)
Soit f une application dfinie sur son domaine I dans R. Soit a un rel adhrent I .
On dit que f admet la limite + et on dit (plus linfini) en a, si pour tout rel A > 0, il
existe un rel > 0 tel que
pour tout x I si |x a| alors f (x) A.
On crit alors comme prcdemment
lim f (x) = + ou encore lim f = +.

xa

Remarque Intuitivement, cela signifie que lorsque x sapproche de a, f (x) devient trs grand.
43

3.3 Limites droite, limite gauche

Limites dune fonction

Dfinition 4 (Limite en un point)


Soit f une application dfinie sur son domaine I dans R. Soit a un rel adhrent I .
On dit que f admet la limite et on dit (moins linfini) en a, si pour tout rel A > 0,
il existe un rel > 0 tel que
pour tout x I si |x a| alors f (x) A.
On crit alors comme prcdemment
lim f (x) = ou encore lim f = .

xa

Remarque Intuitivement, cela signifie que lorsque x sapproche de a, f (x) devient trs petit.

Remarque Lorsquon est en prsence dune limite infinie (+ ou ) en un point fini a, on dit
que la droite dquation x = a est une asymptote verticale la courbe reprsentative de f .

3.3

Limites droite, limite gauche


Dfinition 5 (Limite finie droite)
Soit f une application dfinie sur son domaine I dans R. Soient a et l deux rels finis,
avec a adhrent I]a, +[.
On dit que f admet une limite droite en a (on dit encore par valeurs suprieures en a)
si pour tout rel > 0, il existe un rel > 0 tel que
pour tout x I si 0 < x a alors |f (x) l| .
On crit alors comme prcdemment
lim f (x) = l ou encore lim
f = l.
+

xa+

Remarque Intuitivement, cela signifie que lorsque x sapproche de a en tant plus grand que a,
f (x) devient trs proche de l.
44

Limites dune fonction

3.3 Limites droite, limite gauche

Dfinition 6 (Limite finie gauche)


Soit f une application dfinie sur son domaine I dans R. Soient a et l deux rels finis,
avec a adhrent I] , a[.
On dit que f admet une limite gauche en a (on dit encore par valeurs infrieures en a)
si pour tout rel > 0, il existe un rel > 0 tel que
pour tout x I si x a < 0 alors |f (x) l| .
On crit alors comme prcdemment
lim f (x) = l ou encore lim
f = l.

xa

Remarque Intuitivement, cela signifie que lorsque x sapproche de a en tant plus grand que a,
f (x) devient trs proche de l.
Dfinition 7 (Limite + droite)
Soit f une application dfinie sur son domaine I dans R. Soit a adhrent I]a, +[.
On dit que f admet une limite + droite en a si pour tout rel A > 0, il existe un rel
> 0 tel que
pour tout x I si 0 < x a alors f (x) > A.
On crit alors comme prcdemment
lim f (x) = + ou encore lim
f = +.
+

xa+

Remarque Intuitivement, cela signifie que lorsque x sapproche de a en tant plus grand que a,
f (x) devient trs grand.
Remarque On aurait de faon analogue :
1. la limite + gauche sobtient en remplaant 0 < x a par x a < 0 dans
la dfinition prcdente.
2. la limite droite sobtient en remplaant f (x) A par f (x) A dans la dfinition
prcdente.
3. la limite gauche sobtient en remplaant 0 < x a par x a < 0 et
f (x) A par f (x) A dans la dfinition prcdente.
45

3.4 Limites dune fonction en + ou

3.4

Limites dune fonction

Limites dune fonction en + ou

Etant donn quici nous allons faire tendre x vers linfini, il faut quil existe b R tel que lintervalle [b, +[ (si on cherche la limite en +) ou ] , b] (si on cherche la limite en )
soit inclus dans Df . Nous allons pour cela donner un pendant la dfinition de ladhrence de la
section prcdente.
Dfinition 8 (Partie non majore)
Soit D un partie de R.
On dit que D est non majore lorsque pour tout rel A, lintervalle [A, +[ rencontre
D. Autrement dit, pour tout rel A, il existe t D tel que A t.
On dit que D est non minore lorsque pour tout rel A, lintervalle ] , A[ rencontre
D. Autrement dit, pour tout rel A, il existe t D tel que t A.

Dfinition 9 (Limite finie en +)


Soit f une application dfinie sur un intervalle I non major. Soit l un rel fini.
On dit que f admet une limite finie en + si pour tout rel > 0, il existe un rel A > 0
tel que
pour tout x I si x A alors |f (x) l| .
On crit alors
lim f (x) = l ou encore lim f = l.

x+

Remarque
1. Ceci se traduit par le fait que lorsque x devient trs grand (tend vers +, f (x) devient
trs proche de l.
2. si lon remplace lintervalle I non major, par I non minor et x A par x A, on
dfinit la limite finie en que lon note
lim f (x) = l ou encore lim f = l.

Remarque Dans les deux cas prcdents (limite finie l en + ou ) on dit que la droite
dquation y = l est une asymptote horizontale la courbe reprsentative de f .
46

Limites dune fonction

3.5 Proprits des limites

Dfinition 10 (Limite infinie en +)


Soit f une application dfinie sur un intervalle I non major.
On dit que f admet une limite + en + si pour tout rel B > 0, il existe un rel
A > 0 tel que
pour tout x I si x A alors f (x) B.
On crit alors
lim f (x) = + ou encore lim f = .

x+

Remarque
1. Ceci se traduit par le fait que lorsque x devient trs grand (tend vers +, f (x) devient
trs grand.
2. Si lon remplace f (x) > B par f (x) < B dans la dfinition prcdente on obtient la
dfinition de la limite en + que lon note
lim f (x) = ou encore lim f = .

x+

3. Si lon remplace lintervalle I non major, par I non minor et x A par x A, on


dfinit la limite + en que lon note
lim f (x) = + ou encore lim f = +.

4. Enfin, si lon remplace lintervalle I non major, par I non minor , x A par x A
et f (x) B par f (x) B, on dfinit alors la limite en que lon note
lim f (x) = ou encore lim f = .

3.5

Proprits des limites

3.5.1

Unicit de la limite, majoration, minoration

Proprit 1 (Unicit de la limite)


Soit f une application dfinie sur un intervalle I de R. Soit a un rel adhrent I (qui
peut ventuellement tre fini ou infini, et alors I est non majore ou non minore).
Si f possde une limite l en a cette limite est unique.

47

3.5 Proprits des limites

Limites dune fonction

Proprit 2 (Egalit)
Soit f une application dfinie sur un intervalle I de R. Soit a un rel adhrent I.
Si f possde une limite l (finie ou infinie) en a on a a lquivalence suivante :
lim f (x) = l

xa

si et seulement si lim+ f (x) = lim f (x) = l.


xa

xa

Proprit 3 (Majoration, minoration)


Soit f une application dfinie sur un intervalle I de R. Soit a un rel adhrent I.
Soient M et m deux rels. Alors :
1. si lim f (x) < M , il existe un voisinage de a tel que pour tout x I dans ce
xa

voisinage f (x) < M ,


2. si lim f (x) > m, il existe un voisinage de a tel que pour tout x I dans ce
xa

voisinage f (x) > m.

3.5.2

Limites et comparaison

Proprit 4 (Comparaison)
Soient f et g deux fonctions dfinies sur un intervalle I de R, soit a un rel adhrent I.
Soient l1 et l2 deux rels.
Si f et g possdent respectivement l1 et l2 comme limites en a, et sil existe un voisinage
V de a tel que pour tout x I dans ce voisinage,
f (x) g(x),
alors
l1 l2 (autrement dit lim f (x) lim g(x)).
xa

48

xa

Limites dune fonction

3.5 Proprits des limites

Proprit 5 (Majoration par une fonction)


Soient f et g deux fonctions dfinies sur un intervalle I de R, soit a un rel adhrent I.
Sil existe un voisinage de a tel que pour tout x I dans ce voisinage
f (x) g(x),
et si de plus lim g(x) = , alors
xa

lim f (x) = .

xa

Proprit 6 (Minoration par une fonction)


Soient f et g deux fonctions dfinies sur un intervalle I de R, soit a dans I. Sil existe
un voisinage de a tel que pour tout x I dans ce voisinage
g(x) f (x),
et si de plus lim g(x) = +, alors
xa

lim f (x) = +.

xa

Thorme 1 (Thorme des gendarmes)


Soient f et g deux fonctions dfinies sur un intervalle I de R, soient a dans I et l un rel.
Sil existe un voisinage de a tel que pour tout x I dans ce voisinage
h(x) f (x) g(x),
et si de plus lim h(x) = lim g(x) = l, alors
xa

xa

lim f (x) = l.

xa

49

3.6 Oprations algbriques sur les limites

3.6

Limites dune fonction

Oprations algbriques sur les limites

3.6.1

Limite dune somme de fonctions

Proprit 7 (Limite de somme)


Soient f et g deux fonctions dfinies sur un intervalle I de R. Soit a un rel adhrent
I. Soient l1 et l2 deux rels. Alors on a le rsultat suivant rsum sous forme de tableau :
lim f (x)

xa

3.6.2

lim g(x)

lim (f (x) + g(x))

xa

xa

l1

l2

l1 + l2

l1

Forme indtermine

Limite dun produit de fonctions

Proprit 8 (Limite de produit)


Soient f et g deux fonctions dfinies sur un intervalle I de R. Soit a un rel adhrent
I. Soient l1 et l2 deux rels. Alors on a le rsultat suivant rsum sous forme de tableau :
lim f (x)

xa

lim g(x)

lim f (x)g(x)

xa

xa

l1

l2

l1 l2

l1

Forme indtermine

50

Limites dune fonction

3.6.3

3.7 Autres proprits sur les limites

Limite dun quotient de fonctions

Proprit 9 (Limite de quotient)


Soient f et g deux fonctions dfinies sur un intervalle I de R, avec g(x) 6= 0 sur I. Soit a
un rel adhrent I. Soient l1 et l2 deux rels. Alors on a le rsultat suivant rsum sous
forme de tableau :
lim f (x)

xa

3.7

f (x)
xa g(x)
l1
l2

lim g(x)

lim

xa

l1

l2 (6= 0)

l1

l1

Forme indtermine

Forme indtermine

Autres proprits sur les limites

Il existe de nombreuses autres proprits sur les limites que nous naborderons pas par manque de
temps mais quil est recommand davoir vues.
51

3.7 Autres proprits sur les limites

3.7.1

Limites dune fonction

Limite et compose

Proprit 10 (Limite de fonctions composes)


Soient f et g dfinies respectivement sur I et J. Soient a et b deux rels adhrents respectivement I et J, et l un nombre rel. On suppose que la compose g f existe,
que lim f (x) = b et que lim g(y) = l.
xa

yb

Alors
lim g f (x) = l.

xa

3.7.2

Limite et monotonie

Proposition 1 (Limite et monotonie)


Soit f une fonction croissante (respectivement dcroissante) dfinie sur I et a un point
adhrent I] , a[.
- Si la restriction de f I] , a[ nest pas majore (respectivement non minore),
alors
lim f (x) = + (respectivement ).

xa

- Si la restriction de f I] , a[ est majore (respectivement minore), alors elle


admet une limite finie,
lim f (x) = sup f (x) (respectivement inf f (x)).

xa

x<a

x<a

Remarque
1. Si on considre a adhrent I]a, +[, on a un rsultat analogue en inversant croissante
et dcroissante.
2. On obtient un rsultat analogue galement quand on fait tendre x vers + ou sous la
forme : toute fonction croissante et majore admet une limite finie et toute fonction dcroissante et minore admet une limite finie. Il faudra cependant faire attention : la limite nest
en gnral pas gal la majoration (ou la minoration) de la fonction.

3.7.3

Critre de Cauchy

Ce dernier rsultat que nous reverrons ensuite adapt pour les suites est important quand on veut
montrer lexistence dune limite finie sans pour autant tre capable de la calculer explicitement.
52

Limites dune fonction

3.7 Autres proprits sur les limites

Dfinition 11 (Critre de Cauchy)


Soit f une fonction dfinie sur I. Soit a un rel adhrent I. On dit que f satisfait le
critre de Cauchy au point a lorsque pour tout > 0, il existe > 0 tel que, pour tous
x, y I,
si |x a| , et |y a| alors |f (x) f (y)| .
De faon analogue,
- si I est non major, on dit que f satisfait le critre de Cauchy en + lorsque pour tout
> 0, il existe A > 0 tel que pour tous x, y I,
si x A, et y A alors |f (x) f (y)| .
- si I est non minor, on dit que f satisfait le critre de Cauchy en lorsque pour tout
> 0, il existe A > 0 tel que pour tous x, y I,
si x A, et y A alors |f (x) f (y)| .

Proposition 2 (Limite critre de Cauchy)


Une fonction f admet une limite finie en a (a fini ou infini) si et seulement si elle satisfait
le critre de Cauchy en a.

53

3.7 Autres proprits sur les limites

Limites dune fonction

54

Chapitre 4
Quelques fonctions usuelles

(a) John Napier (en franais Neper)


(1550-1617), mathmaticien cossais a donn son nom au logarithme
nprien quil a labor avec des
tables de correspondances.

(b) Christian Huygens (16291695), mathmaticien nerlandais, fait le lien entre la primitive
de la fonction x 7 1/x et le logarithme nprien.

(c) Vincenzo Riccati (1707 - 1775 ),


mathmaticien italien fut lun des premiers tudier les fonctions hyperboliques.

F IGURE 4.1 Quelques mathmaticiens clbres lis au logarithme nprien et aux fonctions
hyperboliques.

Nous allons dans cette section prsenter les fonctions les plus connues (qui pourraient sembler
nouvelles pour certains dentre vous). Ces fonctions ainsi que leurs proprits sont connatre par
cur. Nous donnerons quelques proprits essentielles de ces fonctions (notamment leur comportement asymptotique). Mais pour nous ne ferons pas une tude dtaille qui ncessite galement
la connaissance de leur drive (quand elle existe) qui est une notion que lon abordera seulement
dans le chapitre suivant. Les rsultats des chapitres suivants seront dailleurs un prtexte pour revenir sur ces fonctions et par consquent de trouver un terrain de jeux dapplications des diffrents
outils que lon exposera.
55

4.1 Fonction constante

4.1

Quelques fonctions usuelles

Fonction constante

La fonction constante est la fonction dfinie sur I = R de la faon suivante :


f: R R
x 7 a,
o a est un nombre rel.
On peut montrer assez facilement que
lim f (x) = lim f (x) = a.

x7+

x7

F IGURE 4.2 Reprsentation de la fonction constante.

4.2

Fonction identit

La fonction identit est la fonction dfinie sur I = R de la faon suivante :


Id : R R
x 7 x.
La fonction identit nest rien dautre quune fonction linaire de la forme f (x) = mx dont le
coefficient directeur m vaut 1.
56

Quelques fonctions usuelles

4.3 Fonction valeur absolue

On rappelle au passage quen dplaant la fonction linaire x 7 mx de p units (vers le haut si


p est positif ou vers le bas si p est ngatif), on obtient la fonction affine x 7 mx + p. On peut
montrer assez facilement que
lim Id(x) = .

lim Id(x) = + et

x7+

x7

F IGURE 4.3 Reprsentation de la fonction identit.

4.3

Fonction valeur absolue

Pour un rappelle sur les proprits des valeurs absolues dun nombre, il nest pas inutile de relire
la section (1.6). Ici, nous ne nous intressons qu la fonction valeur absolue.
La fonction valeur absolue est la fonction dfinie sur I = R de la faon suivante :
Id : R R

x 7 |x| =

x si x 0,
x si x < 0.

On peut montrer assez facilement que


lim |x| = lim |x| = +.

x7+

x7

Une des proprits lies la valeur absolue est la suivante.


57

4.4 Fonction partie entire

Quelques fonctions usuelles

F IGURE 4.4 Reprsentation de la fonction valeur absolue.


Proprit 1 (Valeur absolue et fonction borne)
Soit f une fonction dfinie sur I, intervalle de R. La fonction f est borne sur I si la
fonction
|f | : x 7 |f (x)| est majore.

4.4

Fonction partie entire

Cette fonction peut-tre nouvelle pour certains dentre vous. Cest la fonction partie entire. Pour
la dfinition et les proprits de la partie entire, il ne sera pas inutile de revoir la section (1.7).
Nous ne nous intressons ici qu la fonction partie entire.
La fonction partie entire que lon note E est la fonction dfinie par :
58

4.5 Fonction puissances entires n N

Quelques fonctions usuelles

E: R R
x 7 E(x),
o E(x) est dfinie pour tout x R dans la dfinition 15 de la section (1.7).
La fonction E est croissante sur R et elle est constante sur tous les intervalles du type [n, n + 1[
o n Z. On peut remarquer sur le graphe de la partie entire que sa reprsentation nest pas en

F IGURE 4.5 Reprsentation de la fonction partie entire.


un seul morceau. On dira dans le prochain chapitre que la fonction partie entire est continue par
morceaux.

4.5

Fonction puissances entires n N

Commenons par rappeler la dfinition de la puissance entire dun nombre rel a.


Dfinition 1 (Puissance entire)
Soient a un rel non nul et n un entier naturel. La puissance n-ime de a est dfinie par :
an = a a a ... a (o a est multipli n fois).
Notons que si n = 0, a0 = 1.

59

4.6 Fonction polynme

Quelques fonctions usuelles

Il est important de noter que cette fonction est dfinie pour tout rel a. Ce sera important pour
donner le domaine de dfinition de cette fonction.
Continuons par quelques proprits des puissances entires dun nombre rel a.
Proprit 2 (Oprations puissances entires)
Soient a, b des nombres rels et n, p deux entiers naturels. On a les proprits suivantes :
an ap = an+p , (an )p = anp , an bn = (ab)n ,
et si en plus b est non nul :
an  a  n
1
=
et bn = n .
n
b
b
b

Remarque Grce ce qui prcde on peut gnraliser les proprits n et p entier relatifs, en
faisant attention chaque fois que pour an , avec n Z, si la puissance de a est ngative, le
nombre a ne doit pas tre nul, car on ne peut pas diviser par 0 (on ne le rptera jamais assez).
La fonction puissance entire peut donc tre dfinie de la faon suivante :
f: R R
x 7 xn .
Remarque
1. Si n = 0 on retrouve la fonction constante dfinie plus haut.
2. Si n = 1 on retrouve la fonction identit Id dfinie plus haut.
3. Si n est pair, la fonction f est paire.
4. Si f est impaire, la fonction f est impaire.
5. Si n est un entier ngatif, il faut bien faire attention au domaine de dfinition qui devient
Df = R (cest dire R priv de 0).
6. Si n = 1 on retrouve la fonction inverse classique :
f : R R
7 x1 =

4.6

1
.
x

Fonction polynme

Si lon considre les puissances entires positives. Nous pouvons faire la somme de plusieurs
fonctions puissances entires, qui donnent alors naissance la fonction polynme (plusieurs puissances).
On la dfinit en gnral avec la lettre p (pour linitiale de polynme) de la faon suivante :
60

Quelques fonctions usuelles

4.7 Fonction racine n-ime, puissance rationnelle

F IGURE 4.6 Reprsentation de la fonction puissance entire.


p: R R
x 7 a0 + a1 x + a2 x2 + ... + an xn ,
o les a0 , a1 , ..., an sont des rels (qui peuvent tre nuls) appels coefficients du polynme.
Remarque Lcriture a0 + a1 x + a2 x2 + ... + an xn peut se simplifier en utilisant le symbole de
la somme de plusieurs lments en mathmatique de la faon suivante :
2

a0 + a1 x + a2 x + ... + an x =

n
X

ai x i ,

i=0

quon lit : somme de i = 1 n de ai xi . Cest criture est beaucoup plus pratique, elle permet
dviter de surcharger les calculs.

4.7

Fonction racine n-ime, puissance rationnelle

Il se peut que la puissance ne soit pas entire. Elle peut alors tre rationnelle. Autrement dit sous
p
la forme o p Z et q N .
q
Pour viter les cas particuliers, nous dfinirons la puissance rationnelle (ou puissance fractionnaire)
pour a un rel strictement positif :

p
a q = q ap .
61

4.7 Fonction racine n-ime, puissance rationnelle

Quelques fonctions usuelles

Remarque

1. Noter que si p = 1 et q = 2 on obtient a et a > 0 qui est la racine carre comme nous la
connaissons (mais dfinie seulement pour a > 0).

2. Noter que si p = 1 et q = 3 on obtient 3 a, et a > 0 qui est la racine cubique que nous
connaissons galement (et qui peut tre dfinie sur R).
3. Noter que ce nest pas toujours ncessaire de prendre a > 0, mais pour la dfinition gnrale dune puissance rationnelle nous prendrons toujours a dans R+ . Sinon il faudra faire
p
attention au rapport qui doit crit de faon irrductible. Alors seulement dans ce cas, si
q
p
q est impair on peut dfinir a q pour a R.

4. Notons enfin que si p est ngatif, il faut galement prendre en compte le fait que a ne doit
pas tre nul (sinon on diviserait par 0).
On peut alors dfinir la fonction racine n-ime de la faon suivante :
- Si n est pair :
f : R+ R

x
7 n x,
- Si n est impair :
f: R R

x 7 n x.
Et dun autre ct la fonction puissance rationnelle (pour nimporte quels p Z et q N ) :
f : R+ R
p
x
7 x q .

F IGURE 4.7 Reprsentation de la fonction racine carre.


62

Quelques fonctions usuelles

4.8 Fonction homographique

F IGURE 4.8 Reprsentation de la fonction racine cubique.

4.8

Fonction homographique

On pourrait penser que les fonctions fonctions homographiques sappellent ainsi parce quelles
possdent toutes la mme (homo en latin) forme de graphe. Mais cest en fait un peu plus compliqu
que a. Pour faire simple, dans le plan complexe ce sont des fonctions qui transforment des figures
en ces mmes figures (comme des cercles en cercles, ou des droites en droites...). Mais nous ne
dvelopperons pas plus loin cet aspect.
Les fonctions homographiques sont connues depuis le lyce, nous ne faisons que rappeler leur
dfinition ici :

d
f : R \ { } R
c
ax + b
x
7
,
cx + d
o a, b, c et d sont des rels et c nest pas nul (sinon on aurait des fonctions affines classiques).
Bien faire attention l aussi lensemble de dfinition.
En appliquant le chapitre prcdent au calcul des limites de ce type de fonctions, nous pouvons
observer que leur graphe comporte deux asymptotes :
d
- une asymptote verticale qui a pour quation x = ,
c
a
- une asymptote horizontale qui a pour quation y = .
c
Dautre part, en appliquant les rsultats de la section (2.3.2), il est possible de prouver que ces
graphes possdent un centre de symtrie que lon laisse le soin au lecteur de calculer (ce qui
pourrait faire lobjet dun exercice pas trop difficile).
63

4.9 Fonction logarithme nprien

Quelques fonctions usuelles

F IGURE 4.9 Reprsentation de la fonction homographique.

4.9

Fonction logarithme nprien

La fonction logarithme nprien (note ln) est connue depuis la terminale. Cette fonction peut tre
construite de plusieurs faon :
1
-comme tant une primitive de la fonction inverse x 7 (cest mme en fait lintgrale entre 1 et
x
x de la fonction inverse) (mais nous navons pas encore abord la notion de primitive ni celle de
lintgrale, cela se fera au prochain semestre),
- comme la rciproque de la fonction exponentielle (que nous allons introduire juste aprs cette
section, qui elle-mme peut tre construite partir des suites (les suites que lon verra dans le
chapitre(7)).
Nous laissons donc pour linstant la construction de cette fonction de ct.
Nous allons juste rappeler cette fonction ln ici, ainsi que quelques proprits essentielles.
La fonction ln est dfinie de la faon suivante :
ln : R+ R
x
7 ln(x).
Il est important de noter ici aussi le domaine de dfinition de cette fonction.
64

Quelques fonctions usuelles

4.9 Fonction logarithme nprien

F IGURE 4.10 Reprsentation de la fonction logarithme nprien.

Cette fonction possde de nombreuses proprits quil nest pas inutile de rappeler ci-dessous.
Proprit 3 (Logarithme nprien)
1. Il existe un nombre e ' 2, 71828 tel que ln(e) = 1.
2. Soient a et b deux rels strictement positifs, alors
a
ln(ab) = ln(a) + ln(b) et ln( ) = ln(a) ln(b).
b
Cette dernire galit nous permet dailleurs de dduire (en posant a = b) que
ln(1) = 0.
3. Soient n un entier naturel non nul, et a un rel strictement positif, on a alors :
ln(an ) = n ln(a),

et

ln(an ) = n ln(a).

Les rsultats sur les limites lies la fonction ln sont galement connatre et savoir redmontrer.
65

4.10 Fonction exponentielle

Quelques fonctions usuelles

Proprit 4 (Limites et Logarithme nprien)


Soit x rel strictement positif,
lim ln(x) = ,

x+0+

lim ln(x) = +, et

x0+

lim ln(x) = +,

x+

mais galement
ln(x)
= 0,
x+
x
lim

lim+

x0

ln(x + 1)
= 1, et
x

ln(x)
= 0, pour p R+ .
x+ xp
lim

Il sera utile quelques fois de connatre les logarithme de base 10 (en gnral pour des applications
en physique, chimie ou biologie), et donc plus gnralement les logarithmes de base a o a est un
rel strictement positif.
Dfinition 2 (Logarithme de base a)
Soient a un rel strictement positif. Pour tout rel x strictement positif, on dfinit son
logarithme de base a not loga (x) par
loga (x) =

ln(x)
ln(a)

Remarque Le logarithme nprien ln est le logarithme de base e, cest celui que lon utilisera
le plus souvent, et cest celui qui est le plus simple, que lon croise le plus naturellement (mme
si historiquement ce nest pas celui-l qui a t utilis en premier par John Napier (ou Neper)
en 1614 qui donn son nom cette fonction). Cest pour cela quon lappelle aussi logarithme
naturel (celui-ci est d Nicolaus Mercator (en 1668)).

4.10

Fonction exponentielle

Intimement lie la fonction ln (cest sa fonction rciproque), la fonction exponentielle est dfinie
comme suit :
exp : R R
x 7 ex .
Il est important de se rappeler que la fonction exponentielle reste toujours strictement positive.
Cela sera trs utile de le savoir tout au long de ce semestre. Elle possde, entre autres, les proprits
suivantes :
66

Quelques fonctions usuelles

4.10 Fonction exponentielle

Proprit 5 (Exponentielle)
1. Pour tous rels a et b,
ea+b = ea eb ,

eab =

ea
.
eb

2. Pour tout rel a et pour tout entier naturel n


1
.
ena
3. Pour tout rel strictement positif a et pour tout rel b
(ea )n = ena ,

(ea )n =

eln a = a, ln(ea ) = a et

eb ln a = ab .

F IGURE 4.11 Reprsentation de la fonction exponentielle.

Remarque
1. Le 3. de la proprit prcdente permet de dfinir la puissance quelconque dun rel strictement positif ab , o a est un rel strictement positif et b est un rel quelconque. Et les
proprits des puissances rationnelles marchent encore pour des puissances quelconques
si on les dfinit pour un rel a strictement positif.
67

4.11 Fonctions circulaires (ou trigonomtriques)

Quelques fonctions usuelles

2. On peut galement dfinir la fonction puissance quelconque (ou fonction puissance non
entire) de la faon suivante :
f : R+ R
x
7 x ,
o est un nombre rel quelconque.
On a alors les limites suivantes (que lon appelle croissances compares) (cest dire que lon
tudie la vitesse de croissance de certaines fonctions par rapport dautres)
Proprit 6 (Limites et exponentielles)
Soit x rel. On a alors les limites suivantes
lim ex = +,

x+

lim ex = 0,

(1 + a)x
= ea , o a R.
x+
x
lim

Soit un rel strictement positif, Soit un rel quelconque. On a alors les limites suivantes :
ex
= +,
x+ x
lim

4.11

ex
= +,
x+ x
lim

x
= +,
x+ (ln(x))
lim

lim x (ln(x)) = 0.

x0+

Fonctions circulaires (ou trigonomtriques)

La trigonomtrie est connue depuis le collge. Les formules avec sinus, cosinus et tangente sont
connatre par cur (voir fiche de rappel la fin de cette section).
Ici nous ne nous intressons quaux fonctions et non pas aux formules. Nous avons :

4.11.1

Fonction sinus

La fonction sinus est dfinie de la faon suivante :


sin : R R
x 7 sin(x).

4.11.2

Fonction cosinus

La fonction cosinus est dfinie de la faon suivante :


cos : R R
x 7 cos(x).
68

Quelques fonctions usuelles

4.11 Fonctions circulaires (ou trigonomtriques)

F IGURE 4.12 Reprsentation de la fonction sinus.

F IGURE 4.13 Reprsentation de la fonction cosinus.

4.11.3

Fonction tangente

La fonction tangente est dfinie de la faon suivante :


69

4.11 Fonctions circulaires (ou trigonomtriques)

tan : R \

n
2

Quelques fonctions usuelles

o
+ k , k Z R
7 tan(x) =

sin(x)
.
cos(x)

F IGURE 4.14 Reprsentation de la fonction tangente.

4.11.4

Fonction cotangente

La fonction cotangente est dfinie de la faon suivante :


cotan : R \ {k} , k Z R
7 cotan(x) =

cos(x)
.
sin(x)

Remarque Nous verrons dans la prochaine section quelques proprits des fonctions rciproques
de ces fonctions trigonomtriques.

70

Quelques fonctions usuelles

4.12 Fonctions hyperboliques

F IGURE 4.15 Reprsentation de la fonction cotangente.

4.12

Fonctions hyperboliques

Ces fonctions sont peut-tre nouvelles pour certains dentre vous. Elles sont trs utilises dans les
applications pratiques. Ce sont des combinaisons de fonctions exponentielles qui ont des proprits
assez similaires aux fonctions trigonomtriques.
Nous donnerons quelques proprits de ces fonctions la fin de cette section.

4.12.1

Fonction cosinus hyperbolique

Le graphe de la fonction ch (que lon va dcrire ci-dessous) sur R dcrit une chanette appele
galement vlaire, ou catnaire. De faon trs concrte, il reprsente la forme dun cble fix aux
deux extrmits et soumis la pesanteur. Historiquement, larc de parabole semblait la forme la
plus intuitive pour dcrire la forme prise par un fil flexible pendant entre deux supports, cest du
moins ce que pensait Galile. Mais, trs vite, deux scientifiques : Joachim Jung en 1627 dun ct,
et Christian Huygens en 1646 de lautre apportrent la preuve du contraire.
Il faudra cependant attendre 1691 pour que simultanment, Leibniz, Jean Bernoulli et Huygens,
sous limpulsion dun dfi lanc par Jacques Bernoulli (le frre de Jean), dmontrent que la forme
exacte est une chanette (nom donn par Huygens dans une lettre adresse Leibniz). Cest cette
fonction ainsi que ses cousines appartenant la mme branche de ce que lon appelle les fonctions
hyperboliques qui trouveront une multitude dapplications en physique (notamment en architecture) et en biologie que nous allons tudier.
La fonction cosinus hyperbolique note ch est dfinie de la faon suivante :
ch : R R
x 7 ch(x) =
71

ex + ex
.
2

4.12 Fonctions hyperboliques

Quelques fonctions usuelles

La fonction ch est une fonction paire.

F IGURE 4.16 Reprsentation de la fonction cosinus hyperbolique.

4.12.2

Fonction sinus hyperbolique

La fonction sinus hyperbolique note sh est dfinie de la faon suivante :


sh : R R
x 7 sh(x) =
La fonction sh est une fonction impaire.

72

ex ex
.
2

Quelques fonctions usuelles

4.12 Fonctions hyperboliques

F IGURE 4.17 Reprsentation de la fonction sinus hyperbolique.

4.12.3

Fonction tangente hyperbolique

La fonction tangent hyperbolique note th est dfinie de la faon suivante :


th : R R
x 7 th(x) =

4.12.4

sh(x)
.
ch(x)

Fonction cotangente hyperbolique

La fonction cotangente hyperbolique note coth est dfinie de la faon suivante :


coth : R R
x

7 coth(x) =

ch(x)
.
sh(x)

Remarque Nous verrons dans la prochaine section quelques proprits des fonctions rciproques
de ces fonctions.
Par construction, nous avons les formules suivantes.
73

4.12 Fonctions hyperboliques

Quelques fonctions usuelles

F IGURE 4.18 Reprsentation de la fonction tangente hyperbolique.

F IGURE 4.19 Reprsentation de la fonction cotangente hyperbolique.

74

Quelques fonctions usuelles

4.13 Fonctions rciproques usuelles

Proprit 7 (Egalits hyperboliques)


Soit x un nombre rel. Alors on a :
1. ch(x) + sh(x) = ex .
2. ch(x) sh(x) = ex .
3. ch(x)2 sh(x)2 = 1.

4.13

Fonctions rciproques usuelles

Dans cette section nous ne nous intresserons quaux fonctions usuelles bijectives (celles pour lesquelles la fonction rciproque existe). Il faudra ici surtout sattacher aux domaines de dfinition de
ces fonctions rciproques.
Nous ne nous intresserons donc ni la fonction constante, ni la fonction partie entire, ni la
fonction valeur absolue qui ne sont pas bijective sur leur ensemble de dfinition.
Nous ne nous intresserons pas aux fonctions puissance entire, rationnelle, ou relle car elles ne
sont pas en gnral bijectives (certaines le sont quand mme, attention).
Nous ne nous intresserons pas la fonction identit (f : x 7 x) qui est bijective mais dont la
fonction rciproque est elle-mme.
Nous ne nous intresserons pas aux fonctions logarithme ln : x 7 ln(x) et exponentielle exp :
x 7 ex . Ces dernires sont bien bijectives galement, mais lune est la rciproque de lautre, et
donc leur tude revient crire la mme chose que dans la section prcdente.
Nous allons plutt nous intresser aux nouveauts. Il nous reste alors les fonctions homographiques , trigonomtriques et les fonctions hyperboliques (sauf cosh qui nest pas bijective sur
R).

4.13.1

Rciproque dune fonction homographique

Considrons la fonction homographique f dfinie de faon gnrale par :


a
d
f : R \ { } R \ { }
c
c
ax + b
x
7
,
cx + d
o a, b, c et d sont des rels et c nest pas nul (sinon on aurait des fonctions affines classiques).
Avec les ensembles de dpart et darrive bien dfinis ci-dessus, on peut dire que la fonction f est
bijective, et lon a sa fonction rciproque qui est dfinie par :
a
d
f : R \ { } R \ { }
c
c
dx b
x
7
,
cy a
75

4.13 Fonctions rciproques usuelles

4.13.2

Quelques fonctions usuelles

Rciproque de la fonction sinus : la fonction arc sinus

La fonction sinus que lon note sin : R R nest videmment pas bijective. Il faut donc restreindre lensemble de dpart et celui darrive de telle sorte quelle le soit.
Intuitivement on va donc restreindre lensemble de dpart o la fonction sin est strictement monotone. Ds quelle commence changer de monotonie, on pose les limites du domaine.
Il est donc naturel de choisir la fonction sinus dfinie par :

sin : [ , ] [1, 1]
2 2
x
7 sin(x).
Dans ce cas l, la fonction sinus est bijective, et sa fonction rciproque est appele arc sinus que
lon note arcsin et que lon dfinit par :

arcsin : [1, 1] [ , ]
2 2
x
7 arcsin(x).
Remarque Comme la fonction sinus, la fonction arc sinus est :
1. strictement croissante,
2. impaire,
Remarque Il est important de souligner qutant donn que la fonction sin est dfinie sur R,
alors pour tout x [1, 1],
sin(arcsin(x)) = x,
dun autre ct, comme sin est valeurs dans [1, 1] pour tout x R, la fonction arcsin est dfinie
sur R tout entier. Mais attention,

arcsin(sin(x)) = x, seulement sur [ , ].
2 2
Si lon prolonge ce domaine, la fonction arcsin nest plus bijective.

76

Quelques fonctions usuelles

4.13 Fonctions rciproques usuelles

F IGURE 4.20 Reprsentation de la fonction arc sinus.

4.13.3

Rciproque de la fonction cosinus : la fonction arc cosinus

La fonction cosinus cos : R R nest videmment pas bijective. Il faut donc restreindre lensemble de dpart et celui darrive de telle sorte quelle le soit.
Intuitivement on va donc restreindre lensemble de dpart o la fonction cos est strictement monotone. Ds quelle commence changer de monotonie, on pose les limites du domaine.
Il est donc naturel de choisir la fonction cosinus dfinie par :
cos : [0, ] [1, 1]
x
7 cos(x).
Dans ce cas l, la fonction cosinus est bijective, et sa fonction rciproque est appele arc cosinus
que lon note arccos et que lon dfinit par :
arccos : [1, 1] [0, ]
x
7 arccos(x).
Remarque Comme la fonction cosinus, la fonction arc cosinus est strictement dcroissante. Noter
quelle nest ni paire ni impaire.
Remarque Il est important de souligner ici aussi qutant donn que la fonction cos est dfinie
sur R, alors pour tout x [1, 1],
77

4.13 Fonctions rciproques usuelles

Quelques fonctions usuelles

sin(arccos(x)) = x,
dun autre ct, comme sin est valeurs dans [1, 1] pour tout x R, la fonction arccos est
dfinie sur R tout entier. Mais attention,
arccos(cos(x)) = x, seulement sur [0, ].
Si lon prolonge ce domaine, la fonction arccos nest plus bijective.

F IGURE 4.21 Reprsentation de la fonction arc cosinus.

4.13.4

Rciproque de la fonction tangente : la fonction arc tangente


n

La fonction tangent tan : R \


+ k , k Z R nest videmment pas bijective. Il faut donc
2
restreindre lensemble de dpart et celui darrive de telle sorte quelle le soit.
Intuitivement on va donc restreindre lensemble de dpart o la fonction tan est strictement monotone et surjective. Ds que lon passe les asymptotes verticales, la fonction ne devient plus
surjective.
Il est donc naturel de choisir la fonction tangente dfinie par :

tan : ] , [ R
2 2
sin(x)
x
7 tan(x) =
.
cos(x)
78

Quelques fonctions usuelles

4.13 Fonctions rciproques usuelles

Dans ce cas l, la fonction tangente est bijective, et sa fonction rciproque est appele arc tangente
que lon note arctan et que lon dfinit par :

, [
2 2
x
7
arctan(x).

arctan : R ]

Remarque Comme la fonction tangente, la fonction arc tangente est :


1. strictement croissante,
2. impaire.

F IGURE 4.22 Reprsentation de la fonction arc tangente.

79

4.13 Fonctions rciproques usuelles

4.13.5

Quelques fonctions usuelles

Proprits des fonctions arc sinus, arc cosinus et arc tangente

Proprit 8 (Proprits darc sinus, arc cosinus et arc tangente )


1. pour tout x [1, 1]
sin(arcsin(x)) = x.

2. pour tout x [ , ]
2 2
arcsin(sin(x)) = x.
3. pour tout x [1, 1]
cos(arccos(x)) = x.
4. pour tout x [0, ]
arccos(cos(x)) = x.
5. pour tout x R
tan(arctan(x)) = x.
6. pour tout x ]


, [
2 2

arctan(tan(x)) = x.

7. pour tout x [1, 1] arccos(x) + arcsin(x) = .


2
1

8. pour tout x rel strictement positif arctan(x) + arctan( ) = ,


x
2
1

9. pour tout x rel strictement ngatif arctan(x) + arctan( ) = .


x
2

4.13.6

Equations du type sin(x) = a, cos(x) = a et tan(x) = a

Equation du type sin(x) = a, a [1, 1]


Posons tout dabord = arcsin(a). Lquation sin(x) = a scrit alors
sin(x) = sin(), avec a [1, 1].
Cette quation a alors pour solution
x = + 2k et x = + 2k, k Z.
Equation du type cos(x) = a, a [1, 1]
Posons tout dabord = arccos(a). Lquation cos(x) = a scrit alors
80

Quelques fonctions usuelles

4.13 Fonctions rciproques usuelles

cos(x) = cos(), avec a [1, 1].


Cette quation a alors pour solution
x = + 2k et x = + 2k, k Z.
Equation du type tan(x) = a, a R
Posons tout dabord = arctan(a). Lquation tan(x) = a scrit alors
tan(x) = tan(), avec a R.
Cette quation a alors pour solution
x = + k, k Z.

4.13.7

Rciproque des fonctions sh et th

En ce qui concerne les fonctions hyperboliques, nous pouvons montrer que sur R valeurs dans
leur ensemble image, les fonctions sh et th sont bijectives (continues, strictement croissantes) mais
pas la fonction ch (qui est paire sur R. Nous donnerons donc la fonction rciproque de ch seulement sur lintervalle R+ .

Fonction rciproque de sh
La fonction rciproque de sh est la fonction que lon appelle argument sinus hyperbolique et que
lon note argsh
argsh : R R

x 7 ln(x + x2 + 1).
Fonction rciproque de ch
La fonction rciproque de ch est la fonction que lon appelle argument cosinus hyperbolique et que
lon note argch
argch : R+ [1, [
x
7 ln(x + x2 1).
Remarque Il faudra bien faire attention ici aux ensembles de dpart et darrive de la fonction
afin que ch soit bijective.
81

4.13 Fonctions rciproques usuelles

Quelques fonctions usuelles

Fonction rciproque de th
La fonction rciproque de th est la fonction que lon appelle argument tangente hyperbolique et
que lon note argth
argth : R+ ] 1, 1[
1
1+a
x
7
ln(
).
2
1a
Remarque Pour les appelle-t-on fonctions hyperboliques ?
Nous savons (voir cours de lyce), que lquation x2 + y 2 = 1 pour tous x et y dans R est lquation du cercle centre en O(0, 0) et de rayon 1.
Daprs la dfinition du sinus et du cosinus, nous savons alors quil existe un angle t unique dans
[0, 2[ qui dfinira un seul point de ce cercle tel que x = cos(t) et y = sin(t).
Penchons nous maintenant sur lquation x2 y 2 = 1 pour tous x et y dans R. Daprs ce qui prcde, nous pouvons montrer quil existe un unique nombre t tel que y = sh(t), et en consquence
x = ch(t) pour x 0 (car x2 = 1 + y 2 = 1 + sh2 (t) = ch2 (t).
Et dans le plan R2 , lensemble des points (x, y) tels que x2 y 2 = 1 et x 0 est une branche
dhyperbole (voir cours sur les coniques).
Cette courbe est galement lensemble des points (ch(t), sh(t)), t R.
Cest la raison pour laquelle les fonctions sh et ch sont appeles fonctions hyperboliques.

82

Chapitre 5
Continuit des fonctions

(a) Bernard Bolzano (1781 1848), (b) Sylvestre-Franois Lacroix ou (c) Eduard Heine (1821 (Bernhard Placidus Johann Nepo- De la Croix (1765 - 1843), math- 1881), mathmaticien allemuk Bolzano), mathmaticien n maticien franais, reprend la notion mand a dfini la notion
et mort Prague ( lpoque dans de continuit dfinie par Euler, cas de continuit uniforme (que
lempire dAutriche) qui lon doit particulier de la continuit que nous nous naborderons pas ici)
la dfinition de la continuit.
connaissons.

F IGURE 5.1 Quelques mathmaticiens clbres lis ltude de la continuit. Noter que Cauchy
et Weierstrass ont jou un rle trs important dans cette tude, leur photo se trouvant dans des
chapitres prcdents, il a sembl plus judicieux de montrer dautres protagonistes qui ont contribu
llaboration de cette thorie.

Jusqu prsent nous ne nous sommes pas poss de questions propos de la continuit de
fonctions. Intuitivement, une fonction continue, est nos yeux une fonction dont le graphe est en
un seul morceau, sans coupure. cest ce qui semble le cas pour toutes les fonctions usuelles
vues dans le chapitre prcdent, sauf peut-tre la fonction partie entire, et les fonctions inverses
et homographiques. Voyons dans ce chapitre comment formaliser mathmatiquement la notion de
continuit. Un peu comme nous lavons fait pour dfinir la notion de limite de fonctions.
Dans tout ce chapitre, nous considrons I comme un intervalle de R non vide, non rduit un
point, et nous considrons a comme un point de I.
83

5.1 Caractrisation de Weierstrass

5.1

Continuit des fonctions

Caractrisation de Weierstrass

Commenons par donner la dfinition de la continuit dune fonction en un point que lon appelle
caractrisation de Weierstrass).
Dfinition 1 (Caractrisation de Weierstrass)
Soit f une fonction dfinie sur un intervalle I de R, non vide et non rduit un point.
Soit a un point de I.
La fonction f est dite continue en a si pour tout rel > 0, il existe un autre rel > 0
(qui dpend du choix de ) tel que pour tout x de I
si |x a|

alors |f (x) f (a)| .

Remarque
1. En dautres termes, dire quune fonction est continue signifie que sa courbe reprsentative
ne prsente pas de sauts.
2. Le rel dpend la fois du que lon va choisir, mais galement du point a. Il peut tre
diffrent suivant le point a que lon tudiera.
La dfinition prcdente peut se caractriser de la faon suivante en termes de limites :
Dfinition 2 (Continuit et limite)
Soit f une fonction dfinie sur un intervalle I de R, non vide et non rduit un point. On
dit que la fonction f est continue en I si et seulement si
lim f (x) = f (a).

xa

De faon similaire on utiliserait la limite gauche pour parler de continuit gauche et de limite
droite pour parler de continuit droite.
Dfinition 3 (Continuit gauche et droite)
Soit f une fonction dfinie sur un intervalle I de R, non vide et non rduit un point.
Soit a un point de I.
1. La fonction f est dite continue gauche de a si et seulement si
lim f (x) = f (a).

xa

2. La fonction f est dite continue droite de a si et seulement si


lim f (x) = f (a).

xa+

84

Continuit des fonctions

5.2 Continuit, oprations algbriques et composition

Dfinition 4 (Continuit sur un intervalle)


Soit f une fonction dfinie sur un intervalle I de R, non vide et non rduit un point. On
dit que la fonction f est continue en I si et seulement si elle est continue en chaque point
de I.

5.2

Continuit, oprations algbriques et composition

Comme pour les limites, nous pouvons noncer quelques proprits de continuit qui peuvent tre
conserves des oprations sur les fonctions.
Proprit 1 (Continuit et oprations sur les fonctions)
Soient f et g deux fonctions de I intervalle de R. Supposons que f et g sont continues
en a un rel de I. On a alors les proprits suivantes :
1. la fonction f + g est continue en a,
2. pour tout rel k, la fonction kf est continue en a,
f
3. si g(a) 6= 0, la fonction est continue en a.
g
En consquence,
1. une fonction polynme est continue sur R,
2. toute fonction rationnelle f dfinie pour tout x dans lintervalle I de R par f (x) =
P (x)
o P et Q sont des polynmes dfinis sur I avec Q(x) 6= 0 sur I, est
Q(x)
continue sur I.

Proprit 2 (Continuit et composition de fonctions)


Soient f : I J et g : J K deux fonctions avec I, J et K des intervalles de R.
Supposons que f soit continue en a I, et que lim f (x) = l (o l J). Si g est continue
xa
en l alors
lim g f (x) = g(l).

xa

Remarque En consquence, la compose de deux fonctions continues est continue. Attention toutefois, il faut de la continuit des fonctions dans leur domaines. Dans tous les cas, de toute faon,
quand on tudie les fonctions composes, les domaines et images de fonctions sont manipuler
avec prcaution. Rajouter de la continuit, ne fait que rajouter des prcautions supplmentaires
dans leur tude.
85

5.2 Continuit, oprations algbriques et composition

Continuit des fonctions

Il arrive quelques fois que certaines fonctions, par leur dfinition ne soient pas continues. Mais
en les dessinant on saperoit que leur graphe possde juste un trou que lon peut facilement
boucher par un point, afin de recoller la courbe qui les reprsente. En les rebouchant on dit que
lon peut les prolonger par continuit. Do la proposition suivante :

Proposition 1 (Prolongement par continuit)


Soit I un intervalle de de R. Soit a un point de I. Soit f un fonction dfinie sur I \ {a}.
On suppose de plus que f admet une limite finie l en a. Alors la fonction g dfinie pour
tout x de I (autrement dit le domaine de dfinition de f auquel on a ajout le point a),
par :

f (x), si x 6= a,
g(x) =
l,
si x = a,
est continue en a.
On dit que g constitue le prolongement par continuit de f en a.

Cette proposition pourra savrer utile dans le chapitre des quations diffrentielles, lorsque lon
cherchera des solutions maximales sur deux intervalles spars dun point que lon peut recoller
en solution globale sur lunion de ces intervalles incluant ce point.
La proprit suivante permet de dfinir la continuit des fonctions usuelles.
86

Continuit des fonctions

5.3 Thormes sur la continuit

Proprit 3 (Continuit des fonctions usuelles)


Les fonctions usuelles :
1. fonction constante x 7 a (a R) dfinie sur Df = R,
2. fonction identit x 7 x dfinie sur Df = R,
3. fonction valeur absolue x 7 |x| dfinie sur Df = R,
4. fonction puissance entire x 7 xn dfinie sur Df = R si n 0, ou dfinie sur
Df = R \ {0} si n 0

5. fonction racine x 7 n x n-ime dfinie Df = R+ si n est pair, Df = R si n est


impair,
p

6. puissance rationnelle x 7 x q o p/q (p Z et q N ) est irrductible dfinie


sur Df = R+
d
ax + b
sur Df = R \ { }
7. fonction homographique dfinie par x 7
cx + d
c

8. fonction logarithme nprien x 7 ln(x) dfinie sur Df = R+


9. fonction exponentielle x 7 ex dfinie sur R,

10. fonctions circulaires dfinies sur R pour sinus et cosinus, et R \ { } pour tan2
gente,
11. fonction hyperboliques dfinie sur Df = R
sont continues sur leur ensemble de dfinition.

5.3

Thormes sur la continuit

Nous introduisons dans cette section les thormes fondamentaux sur la continuit auxquels vous
ne pourrez pas chapper. Ils forment la base de la connaissance de lanalyse pour les semestres
suivants.
Commenons par lun des thorme intuitivement facile noncer.
Thorme 1 (Thorme de Bolzano)
Soit f : [a, b] R une fonction continue. Si f (a) et f (b) sont tels que f (a)f (b) < 0
alors il existe c ]a, b[ tel que f (c) = 0.

Remarque Noter que si f (a) (ou f (b)) est nul, alors automatiquement il existe au-moins c tel
que f (c) = 0, puisque c = f (a) (ou f (b)).
87

5.4 Continuit, monotonie, injectivit et bijectivit

Continuit des fonctions

Thorme 2 (Thorme des valeurs intermdiaires)


Soit f une fonction dfinie sur I un intervalle de R. Soient a et b deux rels de I. Alors
tout rel compris entre f (a) et f (b) possde au moins un antcdent par la fonction f .
En dautres termes, pour tout a et b rels de I tels que a < b,
si k ]f (a), f (b)[ alors il existe c ]a, b[ tel que f (c) = k.

Remarque Ce thorme permet de dire que limage dun intervalle est un intervalle.
Thorme 3 (Thorme de Weierstrass (bornes atteintes))
Soit f une fonction dfinie et continue sur un segment [a, b] de I intervalle de R (autrement dit sur un intervalle ferm et borne de I). Alors il existe deux rels c1 et c2 dans
[a, b] tels que pour tout x dans [a, b],
f (c1 ) f (x) f (c2 ).

Remarque Ce thorme signifie que si f est continue sur un intervalle ferm born, alors f est
aussi borne et atteint des bornes.
Remarque Une consquence de ce thorme est la proposition suivante :
pour tous rels a et b avec a < b et f : [a, b] R est continue, alors f ([a, b]) est un segment.

5.4

Continuit, monotonie, injectivit et bijectivit


Proposition 2 (Continuit et monotonie)
Si f est une fonction monotone sur un intervalle I de R telle que f (I) (limage par f de
I) soit galement un intervalle, alors f est continue.

Remarque Attention, il faut que la fonction soit monotone pour avoir le rsultat. En gnral, si
limage par une fonction f dun intervalle est un intervalle, alors f nest pas forcment continue.
Exemple Si lon considre la fonction suivante
f: R R
(
x 7 f (x) =
88

1
sin( ), si x 6= 0,
x
k,
si x = 0,

Continuit des fonctions

5.4 Continuit, monotonie, injectivit et bijectivit

avec k [1, 1].


Alors f nest pas continue en 0 et pourtant pour tout intervalle I contenant 0, on a f (I) = [1, 1].
Proposition 3 (Monotonie et injectivit)
Soit f une fonction dfinie (pas forcment continue) sur un intervalle I de R. On suppose
de plus que f est strictement monotone. Alors f est injective.

Pour avoir la rciproque, nous sommes obligs de supposer la continuit de f , sinon cela ne marche
pas.
Proposition 4 (Continuit et injectivit)
Soit f une fonction dfinie sur I intervalle de R. Si f est injective et continue sur I alors
elle est ncessairement strictement monotone.

Remarque Attention, une fonction injective et non continue nest pas forcment monotone.
On peut par exemple considrer une fonction continue par morceaux donc chaque morceau est soit
strictement croissant soit strictement dcroissant.
Thorme 4 (Continuit et bijectivit)
Soit f une fonction dfinie sur I intervalle de R. Si f est injective et continue sur I et si
on pose J = f (I) (limage de I par f ), et si lon considre la fonction g :
g: I J
x 7 g(x) := f (x),
alors la fonction g est bijective et sa fonction rciproque g 1 est continue.

Remarque
1. Les hypothses du thorme prcdent signifient que la fonction g permet de restreindre
lensemble darrive I de la fonction f injective et continue son image J = f (I) de telle
sorte que g soit, par construction la fois injective et surjective donc bijective.
2. Comme daprs la proposition prcdente (continuit et injectivit) la fonction f est strictement monotone, alors sa fonction rciproque est aussi strictement monotone, et de mme
sens de variation que f .

89

5.4 Continuit, monotonie, injectivit et bijectivit

90

Continuit des fonctions

Chapitre 6
Drive dune fonction

(a) Sir
Isaac
Newton
(16421727), Newton partage avec Gottfried Wilhelm
Leibniz la dcouverte du calcul
infinitsimal. Dans lhistoire du
calcul infinitsimal, le procs
de Newton contre Leibniz est
rest clbre. Newton et Leibniz
avaient trouv lart de lever les
indterminations dans le calcul
des tangentes ou drives.

(b) Guillaume Franois Antoine (c) Joseph Louis, comte de Lagrange


de LHpital, marquis de Sainte- (1736-1813), mathmaticien, on lui doit
Mesme,
comte
dEntremont, entre autres choses la notation f 0 pour
seigneur dOucques, La Chaise, Le dsigner la drive dune fonction.
Brau et autres lieux (1661 -1704),
mathmaticien franais qui lon
doit la rgle qui porte son nom .

F IGURE 6.1 Quelques mathmaticiens clbres lis ltude de la drivabilit des fonctions.
Noter que Cauchy et Weierstrass ont jou un rle trs important dans cette tude, leur photo se
trouvant dans des chapitres prcdents, il a sembl plus judicieux de montrer dautres protagonistes
qui ont contribu llaboration de cette thorie.
Ce chapitre se trouve dans la suite logique des chapitres prcdents. Ainsi, aprs avoir dfini
les fonctions, tudi leurs limites et leur continuit, nous pouvons dsormais nous intresser un
aspect important de la thorie de lanalyse : les drives. Le dveloppement la fois de la thorie et
des applications dans ce domaine prcis sest normment dvelopp depuis sa cration officielle
91

6.1 Dfinition de la drivabilit de f

Drive dune fonction

au XV IIme sicle par Leibniz et Newton.


Nous verrons dans ce chapitre quelques dfinitions qui seront nouvelles pour les tudiants mais
galement des rsultats connus ainsi que des thormes fondamentaux qui serviront tout au long
de leur cursus.

6.1

Dfinition de la drivabilit de f

Avec les dfinitions des limites, nous avons dsormais toutes les cartes en main pour dfinir la
notion de drive dune fonction.
Dfinition 1 (Drive en un point)
Soit f une fonction dfinie sur un intervalle I de R. Soit a un point de I. On dit que f
est drivable en a si la fonction suivante (appele taux daccroissement),
g : I {a} R
f (x) f (a)
x
7
,
xa
possde une limite finie l au point a.
Dans ce cas l, on note la limite l de la faon suivante :
f (x) f (a)
= f 0 (a).
xa
xa

l = lim g(x) = lim


xa

Ce nombre f 0 (a) est appel drive de f en a.

Dfinition 2 (Drive sur droite et gauche)


Soit f une fonction dfinie sur un intervalle I de R. Soit a un lment de I (ou bien une
extrmit de I).
f (x) f (a)
1. On dit que f est drivable droite en a si
a une limite droite
xa
quand x tend vers a (suprieurement).
2. On dit que f est drivable gauche en a si
quand x tend vers a (infrieurement).

f (x) f (a)
a une limite gauche
xa

Dfinition 3 (Drive sur I)


On dit que f est drivable sur I si, pour tout x de I, f est drivable en x. Et note f 0 :
x 7 f 0 (x) la fonction drive.

92

Drive dune fonction

6.2 Drivabilit et continuit

Remarque On peut dfinir la drive dune fonction f en un point a dune autre faon.
Si lon considre la fonction a dfinie de la faon suivante :
a : Df \ {a} R
x

7 a (x) =

f (x) f (a)
f 0 (a).
xa

Si f est drivable en a alors lim (x) = 0 et lon peut crire


xa

f (x) = f (a) + (x a)f 0 (a) + (x a)a (x).


Interprtation graphique de la drive (voir cours en classe).
Remarque Grce ce qui prcde il est alors possible den dduire une quation de la tangente
au graphe de f en a par :
y = (x a)f 0 (a) + f (a).

6.2

Drivabilit et continuit

Daprs la remarque de la fin de la section prcdente on peut en dduire le premier rsultat.


Proposition 1 (drive et continuit)
Si f est drivable en un point a, alors elle est continue en ce point a.
On peut galement remarquer que si f est drivable la fonction est galement continue
en a.

Remarque Attention : la rciproque de cette proposition est fausse en gnral !


Considrer par exemple la fonction x 7 |x| qui est continue sur R mais qui nest pas drivable en
0.
Nous pouvons galement donner la proposition suivante qui caractrise les fonctions drivables en
a.
Proposition 2 (caractrisation de la drive)
Une fonction f dfinie sur I intervalle de R est drivable en un point a si et seulement
sil existe un nombre rel l et une fonction a qui possde les proprits suivantes :

a est continue en a et a (a) = 0
f (x) = f (a) + (x a)l + (x a)a (x) pour tout x I
Dans ce cas le nombre l est exactement la drive f 0 (a) de f en a.

93

6.3 Drivabilit, oprations algbriques et composition

6.3

Drive dune fonction

Drivabilit, oprations algbriques et composition


Proposition 3 (drive oprations algbriques)
Soient f et g deux fonctions dfinies sur un mme intervalle I de R. Soit a un point de I.
1. Si f et g sont drivables en a, la fonction f + g est drivable en a et on a
(f + g)0 (a) = f 0 (a) + g 0 (a).
2. Si f et g sont drivables en a, la fonction f g est drivable en a et on a
(f g)0 (a) = f 0 (a)g(a) + f (a)g 0 (a).
f
3. Si f et g sont drivables en a, avec g(a) 6= 0 la fonction est drivable en a et
g
on a
 0
f
f 0 (a)g(a) f (a)g 0 (a)
.
(a) =
g
g 2 (a)

Proposition 4 (drive dune fonction compose)


Soient f une fonction dfinie sur I valeurs dans J, et g une fonction dfinie sur J
valeurs dans K (I, J et K tant des intervalles de R).
Si f est drivable en a, un lment de I, et si g est drivable en f (a) un lment de J,
alors la compose g f est drivable en a et lon a
(g f )0 (a) = g 0 (f (a))f 0 (a).

Remarque Lorsquon drive des fonctions composes on peut faire une analogie avec des poupes russes. Les fonctions dans la composition sembotent les unes dans les autres. Et lorsque lon
drive cette composition de fonctions, cela revient enlever les poupes les unes aprs les autres.
Et chaque fois quon en retire une on la drive au point correspondant lintrieur des poupes
encore ranges que lon na pas encore touches.

Une des consquences de la proposition prcdente est la drive de la rciproque dune fonction.
94

Drive dune fonction

6.4 Drive et monotonie

Proposition 5 (drive dune fonction rciproque)


Soit f : I J une fonction bijective. Soit f 1 : J J sa fonction rciproque. On
suppose que f est drivable en a et que f 0 (a) 6= 0. Alors f 1 est drivable en b = f (a)
et
(f 1 )0 (b) =

1
f 0 (f 1 (b))

Proposition 6 (drive dune fonction rciproque sur I)


Soit f : I J une fonction bijective. Soit f 1 : J J sa fonction rciproque.
On suppose que f est drivable sur I et que sa drive ne sannule pas. Alors f 1 est
drivable sur J = f (I) et
(f 1 )0 =

6.4

f0

1
.
f 1

Drive et monotonie
Proposition 7 (drive dune fonction constante)
Soit f une fonction drivable sur I intervalle de R. Alors f est constante si et seulement
si sa drive f 0 est identiquement nulle sur I.

Proposition 8 (drive et monotonie)


Soit f une fonction drivable sur I intervalle de R. Alors
1. f est croissante sur I si et seulement si sa drive f 0 est positive ou nulle sur I.
2. f est dcroissante sur I si et seulement si sa drive f 0 est ngative ou nulle sur
I.
3. f est strictement croissante sur I si et seulement si sa drive f 0 est positive ou
nulle sur I mais ne sannule sur aucun intervalle de I non rduit un point.
4. f est strictement dcroissante sur I si et seulement si sa drive f 0 est ngative
ou nulle sur I mais ne sannule sur aucun intervalle de I non rduit un point.

95

6.5 Drives et extrema

6.5

Drive dune fonction

Drives et extrema

Rappelons les rsultats suivants sur le maximum et le minimum dune fonction.


Proposition 9 (Maximum et minimum dune fonction)
Soit f une fonction dfinie sur un intervalle I de R. Soit c un point de I. On dit que :
1. la fonction f admet un maximum en c si pour tout x de I,
f (x) f (c),
2. la fonction f admet un minimum en c si pour tout x de I,
f (x) f (c),
3. la fonction f admet un extremum en c si elle admet un maximum ou un minimum
en c.

Proposition 10 (Maximum et minimum locaux)


Soit f une fonction dfinie sur un intervalle I de R. Soit c un point de I. On dit que :
1. la fonction f admet un maximum local en c sil existe un nombre > 0 tel que
lintervalle ouvert de la forme [c , c + ] soit inclus dans I et la restriction de
f cet intervalle admette un maximum en c, soit encore : il existe > 0 tel que
si pour tout x I, |x c| alors f (x) f (c),
2. la fonction f admet un minimum local en c sil existe un nombre > 0 tel que
lintervalle ouvert de la forme [c , c + ] soit inclus dans I et la restriction de
f cet intervalle admette un minimum en c, soit encore : il existe > 0 tel que
si pour tout x I, |x c| alors f (x) f (c),
3. la fonction f admet un extremum local en c si elle admet un maximum ou un
minimum local en c.

Proposition 11 (Drive et extrema locaux- Thorme de Fermat)


Soit f une fonction dfinie sur un intervalle ouvert I de R. Soit c un point de I . Si f est
drivable c et admet un extremum local en ce point alors
f 0 (c) = 0.

Remarque
96

Drive dune fonction

6.6 Thormes fondamentaux sur les drives

1. Attention cela ne marche dans le cadre gnral que si I est un ouvert (autrement on ne
prend pas les bords de lintervalle I en compte) !
2. Attention la rciproque de cette proposition est fausse en gnral !

6.6

Thormes fondamentaux sur les drives

Nous en arrivons aux thormes fondamentaux. Ces thormes comme leur nom lindique sont
essentiels pour la suite du cours danalyse. Ils seront utiliss souvent dans les preuves de propositions ou thormes ainsi que dans la rsolution dune grande varit dexercices.

Thorme 1 (Thorme de Rolle)


Soient a et b deux rels tels que a < b et f une fonction dfinie et continue sur lintervalle
[a, b], drivable sur lintervalle ]a, b[.
Alors si f (a) = f (b), il existe un nombre c dans lintervalle ]a, b[ tel que
f 0 (c) = 0.

Remarque Attention, si jamais f nest pas drivable sur lintervalle, il se peut que la fonction
possde un extremum sans quune seule valeur de la drive de f (l o f est drivable) sannule.

F IGURE 6.2 Michel Rolle, (1652 1719), mathmaticien franais ; a formul


une premire version du thorme qui
porte son nom en 1691, dans le cas particulier des polynmes rels une variable.
On lui
doit au passage la notation normalise : n x pour dsigner la racine n-ime
dun rel x.

97

6.6 Thormes fondamentaux sur les drives

Drive dune fonction

Thorme 2 (Thorme des accroissements finis ou thorme de Lagrange)


Soient a et b deux rels tels que a < b et f une fonction dfinie et continue sur lintervalle
[a, b], drivable sur lintervalle ]a, b[.
Alors il existe un nombre c dans lintervalle ]a, b[ tel que
f (b) f (a) = (b a)f 0 (c).

Thorme 3 (Thorme des accroissements finis gnralis)


Soient a et b deux rels tels que a < b. Soient f et g deux fonctions dfinies et continues
sur lintervalle [a, b], drivables sur lintervalle ]a, b[.
Alors il existe un nombre c dans lintervalle ]a, b[ tel que
(f (b) f (a))g 0 (c) (g(b) g(a))f 0 (c) = 0.

Proposition 12 (Prolongement en un point)


Soit f une fonction dfinie sur un intervalle I de R et drivable sur I \ {a} (o a est un
lment de I).
On suppose que sa drive f 0 admet une limite relle l au point a. Alors f est drivable
en a et f 0 (a) = l.

Remarque Attention : la drive dune fonction f na pas toujours pour limite f 0 (a) au point a.
Ce qui signifie que la drive dune fonction drivable na pas de raison dtre continue.

Exemple
La fonction suivante est un exemple classique de fonction drivable dont la drive nest pas
continue.
f: R R
 2
x sin(1/x) si x 6= 0,
x 7
0
si x = 0
est drivable en 0 mais nest pas continue en ce point puisque que sa drive nadmet pas de limit
en 0.
98

Drive dune fonction

6.7 Drives des fonctions usuelles

Proposition 13 (Rgle de lHpital )


Soient f et g deux fonctions continues et drivables sur un intervalle I de R, drivables
sur I \ {a}, telles que g et g 0 ne sannulent pas sur I \ {a}, alors :
1. (version 1) si f (a) = g(a) = 0, on a le rsultat suivant :
f 0 (x)
f (x)
= l alors lim
=l
0
xa g (x)
xa g(x)

si lim

2. (version 2) si lim f (x) = lim g(x) = , on a le rsultat suivant :


xa

xa

f 0 (x)
f (x)
=
l
alors
lim
=l
xa g 0 (x)
xa g(x)

si lim

Remarque
1. Dans la proposition prcdente, la limite l peut tre finie ou infinie.
0 00
2. La rgle de lHpital nest utiliser quen cas dindtermination de la forme pour la
0
00
version 1 ou
pour la version 2.

3. On peut utiliser la rgle de lHpital en drivant plusieurs fois (sous rserve que les drives successives existent).
4. Ces deux versions ne donnent que des conditions suffisantes pour avoir la limite. Cest
dire que la rciproque est fausse. Il se peut que la limite du quotient des drives nexiste
pas alors que la limite du quotient. existe.
Un exemple illustrant le dernier point de la remarque est donn par le calcul de
x2 sin(1/x))
f (x)
= lim
= lim x sin(1/x) = 0,
x0
x0
x0 g(x)
x
lim

tandis que
f 0 (x)
2x sin(1/x) cos(1/x)
=
lim
,
x0 g 0 (x)
x0
1
lim

ne possde pas de limite en 0.

6.7

Drives des fonctions usuelles

Commenons par donner les drives qui sont supposes tre connues depuis le Lyce et donc,
supposes tre parfaitement matrises non seulement par leurs formulation mais galement leur
domaine de dfinition.
99

6.7 Drives des fonctions usuelles

Drive dune fonction

Proprit 1 (Drive des fonctions puissance)


La drive des fonctions puissance est donne sous forme de tableau :
Df

Fonction f

Df 0

a (a R)

x2

2x

1
x

1
x2

R ou R

xn (n Z)

R+
R+

R+

R ou R

x (n N)

R+

Drive f 0

nxn1
1

2 x
1

n
n xn1

R+

x ( R)

R+

x1

R+

ln(x)

R+

1
x

ex

ex

sin(x)

cos(x)

cos(x)

sin(x)

Viennent ensuite les drives qui sont nouvelles cette anne. Leurs valeurs sont importantes
connatre, surtout lorsque lon abordera le chapitre sur les quations diffrentielles avec les drives
mais galement les primitives des fonctions usuelles connatre. Encore une fois, les ensembles
de dfinitions sont aussi important que les formulations des drives.
100

Drive dune fonction

6.7 Drives des fonctions usuelles

Proprit 2 (Drive des fonctions logarithme, exponentielle et hyperbolique)


La drive des fonctions logarithme, exponentielle et hyperbolique est donne sous forme
de tableau :
Df

Fonction f

Df 0

Drive f 0

R+

ln(x)

R+

1
x

ex

ex

ax (a > 0)

ln(a)ax

sh(x)

ch(x)

ch(x)

sh(x)

th(x)

coth(x)

argsh(x)

[1, [

argch(x)

]1, [

] 1, 1[

argth(x)

] 1, 1[

101

1
= 1 th2 (x)
ch(x)2
1
= 1 coth2 (x)
sh(x)2
1

1 + x2
1

x2 1
1
1 x2

6.8 Drives successives

Drive dune fonction

Proprit 3 (Drive des fonctions trigonomtriques)


La drive des fonctions trigonomtriques est donne sous forme de tableau :

R\{

6.8

Df

Fonction f

sin(x)

cos(x)

cos(x)

sin(x)

+ k}
2

1
= 1 + tan2 (x)
cos2 (x)
1
= 1 cotan2 (x)
sin2 (x)
1

1 x2
1

1 x2
1
1 + x2

+ k} (k Z)
2

tan(x)

Df 0

R\{

R \ {k} (k Z)

cotan(x)

R \ {k}

[1, 1]

arcsin(x)

] 1, 1[

[1, 1]

arccos(x)

] 1, 1[

arctan(x)

Drive f 0

Drives successives

6.8.1

Drive ni`eme

Dfinition 4 (Fonction drivable plusieurs fois)


1. Etant donns un entier n non nul, et une fonction f dfinie et drivable n fois sur
I, la drive ni`eme est dfinie comme de la faon suivante :
f (n) = (f (n1) )0 ,
avec pour convention f (0) = f .
2. si f admet une drive ni`eme , avec n N, on dit que f est n fois drivable sur I.
3. si pour tout n N la drive ni`eme de f existe, on dit que f est indfiniment
drivable.

102

Drive dune fonction

6.8.2

Classes de fonction

6.8.3

Fonction de classe C n , n N

6.8 Drives successives

Dfinition 5 (classe C n )
Soit n un entier non nul. Soit f une fonction dfinie sur un intervalle I de R.
On dit que f est de classe C n sur I si f est n fois drivable sur I et sa drive ni`eme f (n)
est continue sur I.
Si n = 0 on dit juste que f est continue (de classe C 0 sans tre ncessairement drivable.

6.8.4

Fonction de classe C

Dfinition 6 (classe C )
Soit f une fonction indfiniment drivable sur I intervalle de R.
On dit que f est de classe C sur I si pour tout entier naturel n, f est de classe C n sur
I.

6.8.5

Drive ni`eme dune somme de fonctions

Proposition 14 (Drive ni`eme dune somme)


Soient f et g deux fonctions dfinies sur un mme intervalle I de R et n un entier naturel.
On suppose que f et g sont n fois drivables sur I. Alors :
1. la somme f + g est galement n fois drivable et (f + g)n = f n + g n ,
2. si R, f est galement n fois drivable et (f )n = f n .

6.8.6

Drive ni`eme dun produit de fonctions

La drive ni`eme dun produit de fonctions est un peu plus compliqu. Elle porte un nom : cest
la formule de Leibniz.
103

6.8 Drives successives

Drive dune fonction

Proposition 15 (Formule de Leibniz)


Soient f et g deux fonctions dfinies sur un mme intervalle I de R et n un entier naturel.
On suppose que f et g sont n fois drivables sur I. Alors la fonction produit f g est
galement n fois drivable sur I et
n

(f g) =

n
X

Cnk f k g nk .

k=0

o, pour tout entier k = 0, ..., n,

Cnk


que lon crit galement

n
k


est le nombre dfini

par :
Cnk =

n!
.
k!(n k)!

Et par convention, ce coefficient est nul si k > n.

Remarque Si lon considre une fonction g qui ne sannule pas sur I on peut dfinir la drive
f
ni`eme dun quotient de fonctions en reprenant la formule prcdente mais en multipliant f par
g
1
au lieu de g.
g

6.8.7

Drive ni`eme de la compose de deux fonctions.

Contrairement la formule de Liebniz qui doit tre connue par coeur, celle de Fa di Bruno nest
donne ici qu titre indicatif (elle nest pas au programme). Elle permet de voir quils est possible
de calculer la drive ni`eme de la compose de deux fonctions, mais la formulation reste quand
mme bien complique.
Proposition 16 (Formule de Fa di Bruno)
Soient f : I J et g : J K deux fonctions avec I, J et K des intervalles de R, et n
un entier naturel. On suppose que f est n fois drivable sur I et g est n fois drivable J .
Alors la fonction compose g f est galement n fois drivable sur I et
 0 (b1 )  00 (b2 )  (m) (bm )
X
m!
f (t)
f (t)
f (t)
k
n
(g f ) = n!
g f
...
b1 !b2 !...bm !
1!
2!
m!
o, la somme est sur toutes les diffrentes solutions entiers naturels b1 , b2 , ...,bm de lquation
b1 + 2b2 + ... + mbm ,
et k := b1 + b2 + ... + bm

104

Drive dune fonction

6.9

6.9 Fonctions convexes

Fonctions convexes

Les fonctions convexes sont trs utiles dans plusieurs domaines des mathmatiques appliques et
notamment dans le domaine de loptimisation. Nous verrons dailleurs dans cette section comment
elles sont relies aux extrema.
Commenons par donner dabord une dfinition de ces fonctions.
Dfinition 7 (Fonction convexe)
Soit f une fonction dfinie sur un intervalle I de R. On dit que f est convexe si et
seulement si pour tous x et y dans I
f (tx + (1 t)y) tf (x) + (1 t)f (y),
pour tout t [0, 1].
La fonction f est dite concave si f est convexe.

On a alors les proprits suivantes.


Proposition 17 (Convexit et segment)
La fonction f dfinie sur un intervalle I de R est convexe si et seulement si pour tous a
et b dans I avec a < b et pour tout x [a, b]
f (x) f (a) + (x a)

f (b) f (a)
.
ba

Proposition 18 (Convexit et drive)


Soit f une fonction dfinie sur un intervalle ouvert I de R et drivable sur I. Si sa drive
f 0 est croissante alors f est convexe et pour tous x, a I
f (x) f (a) + f 0 (a)(x a).

Corollaire 1 (Convexit et drive seconde)


Soit f une fonction dfinie sur un intervalle ouvert I de R et deux fois drivable sur I.
Si sa drive seconde f 00 est telle que f 00 (x) 0 pour tout x I alors f est convexe sur
I.

105

6.9 Fonctions convexes

Drive dune fonction

Nous pouvons dsormais donner quelques rsultats reliant la convexit avec les extrema. Mais
auparavant, rappelons un rsultat reliant les extrema avec les drives et drives secondes dune
fonctions.Nous nous focaliserons sur les minima (les rsultats sur les maxima sont analogues en
considrant f plutt que f ).
Proposition 19 (Drive et minimum)
Soit f une fonction dfinie sur un intervalle ouvert I de R et drivable en a I.
1. Si a est un minimum local alors f 0 (a) = 0.
2. Si de plus, f est deux fois drivables en a, alors f 00 (a) 0
Inversement
Si b I est tel que f 0 (b) = 0 et si f 00 (b) > 0 alors b est un minimum local strict (avec
les ingalits strictes) de f .

Remarque Attention :
1. les conditions f 0 (a) = 0 et f 00 (a) 0 ne sont pas suffisantes (sauf si f est convexe).
Exemple : f : x 7 x3 est telle que f 0 (0) = 0 et f 00 (0) = 0 mais 0 nest pas un minimum
local.
2. Dautre part, la condition f 00 (a) > 0 nest pas ncessaire.
Exemple : f : x 7 x4 est telle que f 0 (0) = 0 et f 00 (0) = 0 et pourtant 0 est bien minimum
de f .
Proposition 20 (Convexit et minimum)
Soit f une fonction dfinie sur un intervalle ouvert I de R et deux fois drivable sur I.
Soit a I. On a alors
f 0 (a) = 0 est quivalent a minimum de f sur I.

106

Chapitre 7
Les suites

(a) Augustin Louis Cauchy (1789 (b) Leonardo Fibonacci (' 1175 - (c) Blaise Pascal (1623- 1662), ma- 1857), mathmaticien franais, ' 1250), un mathmaticien italien thmaticien franais, dcrivit dans le
qui a tablit entre autres chose un galement appel Lonard de Pise, trait du triangle arithmtique en
critre de convergence des suites est connu pour la suite qui porte 1654 ce qui allait le raisonnement par
qui porte son nom.
son nom et quil a introduite dans le rcurrence comme on lentend de nos
Liber Abaci (Le livre des calculs) jours.
en 1202.

F IGURE 7.1 Quelques mathmaticiens clbres ayant contribu llaboration et ltude de la


thorie sur les suites.

Un cas particulier de fonctions, est les suites. Cest un cas particulier dans le sens o lensemble
de dpart nest pas rel mais dans les entiers naturels.
Ce chapitre est ddi ltude des suites numriques qui seront valeurs dans les rels. Certains
rsultats seront valables pour les complexes mais nous resterons ici dans les rels.
107

7.1 Dfinition

7.1

Les suites

Dfinition
Dfinition 1 (Suites relles)
On appelle suite relle toute application

N R
.
n 7 un
On note une telle application (un )nN .
Le nombre un est appel terme gnral de la suite (un )nN .

Remarque On appellera aussi suite les applications dont lensemble de dpart est N priv de ses
premiers lments jusqu un certain rang.
On peut dfinir les suites de deux faons diffrentes.
1. Soit directement par une formule, en gnral une fonction f , et on a pour tout n N
un = f (n),
cest ce quon appelle une formulation explicite de la suite.
2. Soit en exprimant un+1 en fonction du terme prcdent un et en dfinissant une valeur
initiale, comme par exemple :

un+1 = f (un ),
u0 = a.
cest ce quon appelle une formulation par rcurrence.

7.2

Deux suites classiques

Il existe deux suites classiques que lon rencontrera assez souvent. Les suites arithmtiques et les
suites gomtriques.

7.2.1

Suites arithmtiques

Dfinition 2 (Suite arithmtique)


On appelle suite arithmtique toute suite (un )nN pour laquelle il existe a R appel
raison de cette suite tel que, pour tout n N
un+1 = a + un .

108

Les suites

7.2.2

7.3 Rcurrence dordre 2

Suites gomtrique

Dfinition 3 (Suite gomtrique)


On appelle suite gomtrique toute suite (un )nN pour laquelle il existe r R appel
raison de cette suite tel que, pour tout n N
un+1 = run .

Il est possible de donner la formulation explicite de chacune de ces suites grce la proposition
suivante.
Proposition 1 (Formulation explicite suites arithmtiques et gomtriques)
1. Le terme gnral dune suite arithmtique de raison a et de premier terme u0 est
un = u0 + na.
2. Le terme gnral dune suite gomtrique de raison r et de premier terme u0 est
un = u0 rn .

7.3

Rcurrence dordre 2

Il se peut que lon dfinisse les suites par une rcurrence dordre suprieure 1 comme formule dans la section prcdente. Un cas particulier que lon va tudier est la rcurrence dordre 2
(dans le cas le plus simple, le cas linaire).
Dfinition 4 (Rcurrence dordre 2)
Toute suite (un )nN dfinie par la formulation rcurrente linaire dordre 2 scrit de la
faon suivante

un+1 = bun + cun1
u0 = a0 , u1 = a1 ,
pour tout n N , o a et b sont des rels donns.

Remarque Si b = c = 1, si a0 = 0 et a1 = 1 on dfinit alors la suite de Fibonacci.


Pour calculer explicitement le terme gnral de toute suite dfinie par des rcurrences linaires
dordre 2, lide est de chercher des suites gomtriques de raison r satisfaisant cette rcurrence.
La raison vrifie alors lquation caractristique
109

7.4 Limite de suites

Les suites

r2 br c = 0.
On a alors la proposition suivante.
Proposition 2 (Formulation explicite suites rcurrentes dordre 2)
1. Si lquation caractristique r2 br c = 0 possde 2 solutions relles distinctes r1 et r2 , le terme gnral de toute suite relle satisfaisant la formulation de
rcurrence linaire dordre 2 est de la forme
un = 1 r1n + 2 r2n ,
avec 1 et 2 deux rels.
2. Si lquation caractristique r2 br c = 0 possde 1 solution relle r0 6= 0,
le terme gnral de toute suite relle satisfaisant la formulation de rcurrence
linaire dordre 2 est de la forme
un = 1 r0n + 2 nr0n ,
avec 1 et 2 deux rels.
3. Si lquation caractristique r2 brc = 0 possde 2 solutions complexes conjugues r = ei et r = ei , le terme gnral de toute suite relle satisfaisant la
formulation de rcurrence linaire dordre 2 est de la forme
un = 1 n cos(n) + 2 n sin(n),
avec 1 et 2 deux rels.

7.4

Limite de suites

7.4.1

Introduction

Dfinition 5 (Limite finie dune suite)


On dit quune suite relle (un )nN a pour limite l R si et seulement si pour tout > 0
il existe un N N tel que pour tout n N,
si n N alors |un l| .
Si cest le cas, on dit que la suite est convergente (on dit aussi quelle converge vers l).
Sil nexiste pas de l R, on dit que la suite est divergente.
Et on crit
lim un = l.

n+

110

Les suites

7.4 Limite de suites

Remarque On a les quivalences suivantes


lim un = l lim (un l) = 0 lim |un l| = 0.

n+

n+

n+

Proposition 3 (Unicit de la limite)


La limite l R dune suite relle, si elle existe est unique.

Dfinition 6 (Limite infinie dune suite)


1. On dit quune suite relle (un )nN a pour limite + si et seulement si pour tout
M > 0 il existe un N N tel que pour tout n N,
si n N alors un M .
2. On dit quune suite relle (un )nN a pour limite si et seulement si pour tout
M < 0 il existe un N N tel que pour tout n N,
si n N alors un M .

Proposition 4 (Suite majore et minore partir dun certain rang)


Si la suite relle (un )nN admet une limite finie ou infinie, et
1. sil existe un N N et M R tels que pour tout n N,
si n N alors un < M ,
(on dit que la suite est majore par M partir dun certain rang) alors la limite de
(un )nN est soit soit l ] , M ].
2. sil existe un N N et M R tels que pour tout n N,
si n N alors un > M ,
(on dit que la suite est minore par M partir dun certain rang) alors la limite de
(un )nN est soit + soit l [M, +[.

Remarque Il est important de remarquer ici que dans le cas la limite finie, une ingalit stricte
sur le terme gnral de la suite entrane seulement une ingalit large sur la limite !
111

7.4 Limite de suites

Les suites

Dfinition 7 (Suite majore, minore et borne)


1. On dit quune suite est majore si et seulement s il existe M R tel que un M ,
pour tout n N.
2. On dit quune suite est minore si et seulement s il existe m R tel que un m,
pour tout n N.
3. On dit quune suite (un )nN est borne si elle est majore et minore.

Remarque Une suite (un )nN est borne si et seulement si la suite (|un |)nN est majore.

Proprit 1 (Convergence et suite borne)


Toute suite convergente est une suite borne.

Remarque Attention, la rciproque de la proprit prcdente est fausse !

Remarque Pour que tout soit bien clair, il parat ncessaire de faire le point sur un peu de
vocabulaire : en effet, il ne faut pas confondre suite convergente et suite qui admet une limite.
Nous allons le dcrire dans le tableau qui suit.

(un )nN converge


(un )nN admet une limite finie l

(un )nN diverge


(un )nN admet l comme limite

(un )nN nadmet pas de limite

(un )nN admet une limite finie ou infinie


convergence

7.4.2

divergence de premire espce

divergence de deuxime espce

Opration algbriques sur les limites

A linstar de ce qui a t dit sur les limites de fonctions, les rsultats doprations sur les limites de
suites sont analogues.
112

Les suites

7.4 Limite de suites

Limite dune somme de suites


Proprit 2 (Limite de somme)
Soient (un )nN et (vn )nN deux suites dfinies ayant pour limites respectives l1 et l2 .
Alors la limite de la somme des suites est rsum sous forme de tableau :
lim un

n+

lim vn

lim (un + vn )

n+

n+

l1

l2

l1 + l2

l1

Forme indtermine

Limite dun produit de suites


Proprit 3 (Limite de produit)
Soient (un )nN et (vn )nN deux suites dfinies ayant pour limites respectives l1 et l2 .
Alors la limite du produit des suites est rsum sous forme de tableau :
lim un

n+

lim vn

lim un vn

n+

n+

l1

l2

l1 l2

l1

Forme indtermine

113

7.4 Limite de suites

Les suites

Limite dun quotient de suites

Proprit 4 (Limite de quotient)


Soient (un )nN et (vn )nN deux suites dfinies ayant pour limites respectives l1 et l2 .
Alors la limite du quotient des suites est rsum sous forme de tableau :
lim un

n+

7.4.3

un
n+ vn
l1
l2

lim vn

lim

n+

l1

l2 (6= 0)

l1

l1

Forme indtermine

Forme indtermine

Rsultats sur les limites de suites

Toujours de faon analogue aux rsultats sur les fonctions, nous avons des rsultats sur les comparaisons de suites, ainsi que le thorme des gendarmes pour les suites.
114

Les suites

7.4 Limite de suites

Proposition 5 (Comparaison suites et limites)


Soient (un )nN , et (vn )nN deux suites.
1. Si lim un = + et sil existe N N tel que pour tout n N
n+

un vn ,
alors lim vn = +,
n+

2. Si lim un = + et sil existe N N tel que pour tout n N


n+

vn un ,
alors lim vn =
n+

Proposition 6 (Limite positive)


Soit (un )nN une suite convergence telle que pour tout n N, un > 0 et lim un = l,
n+

alors l 0.

Thorme 1 (Thorme des gendarmes)


Soient (un )nN , (vn )nN et (wn )nN trois suites relles. Si lim un = lim wn = l
n+

n+

(finie ou infinie) et sil existe N N tel que pour tout n N


un vn wn ,
alors lim vn = l.
n+

Nous avons galement le rsultat suivant qui pourra savrer trs utile pour certaines preuves dans
les exercices rencontrs.
Proposition 7 (Recollement)
Si la suite (un )nN est telle que les suites (vn )nN et (wn )nN dfinies par
vn = u2n et wn = u2n+1 , quel que soit n N
ont mme limite l (finie ou infinie), alors (un )nN a pour limite l.

Remarque Il est important de faire attention dans cet nonc au fait que les suites (vn )nN et
(wn )nN aient la mme limite. Si ce nest pas le cas, la suite (un )nN na pas de limite.
115

7.5 Suites relles et monotonie

7.5

Les suites

Suites relles et monotonie


Dfinition 8 (Suite croissante, dcroissante)
Une suite (un )nN est dite :
1. croissante si pour tout n N
un un+1 ,
2. dcroissante si pour tout n N
un un+1 ,
3. monotone si elle est croissante ou dcroissante.

Proposition 8 (Limite et monotonie)


Toute suite monotone admet une limite. De faon plus prcise :
1. toute suite croissante non majore admet pour limite +,
2. toute suite croissante et majore admet une limite finie,
3. toute suite dcroissante et non minore admet pour limite ,
4. toute suite dcroissante et minore admet une limite finie.

7.6

Suites adjacentes
Dfinition 9 (Suites adjacentes)
Soient (un )nN et (vn )nN deux suites de rels. On dit quelles sont adjacentes si et
seulement si
1. lune des suites est croissante,
2. lautre suite est dcroissante,
3.

lim (un vn ) = 0.

n+

116

Les suites

7.7 Suites extraites

Proprit 5 (Limites et suites adjacentes)


Si (un )nN et (vn )nN sont deux suites relles adjacentes telles que (un )nN soit croissante et (vn )nN soit dcroissante alors :
1. pour tout (n, m) N2 , un vm ,
2.

7.7

lim un et lim vn existent, sont finies et sont gales.

n+

n+

Suites extraites
Dfinition 10 (Suites extraites)
Etant donne une suite (un )nN , on dit que (vn )nN est une suite extraite ou encore une
sous-suite, sil existe une application
: N N strictement croissante,
telle que pour tout n N, vn = u(n) .

Proprit 6 (Proprit de )
Si : N N est une application strictement croissante, alors pour tout n N, on a
(n) n.
En particulier, la suite (wn )nN := (n) a pour limite +.

Thorme 2 (Bolzano-Weierstrass)
De toute suite relle borne on peut en extraite une sous-suite convergente.

7.8

Critre de Cauchy

Il se peut que lon ait besoin de montrer quune suite est convergente sans ncessairement calculer
explicitement sa limite. Cest le cas par exemple quand cette limite est difficile trouver. Il existe
alors un critre qui marche bien pour les suites relles. Cest le critre de Cauchy. Avant de le
dfinir, commenons par introduire les suites de Cauchy.
117

7.9 Fonctions et suites

Les suites

Dfinition 11 (Suites de Cauchy)


Un suite relle (un )nN est dite de Cauchy si elle vrifie le critre de Cauchy :
pour tout > 0, il existe N N tel que pour tous p et q N, si p, q N alors
|up uq | .

Proposition 9 (Suite de Cauchy borne)


Toute suite de Cauchy est borne.

Proposition 10 (Suite de Cauchy et convergence)


Une suite relle est convergente si et seulement si elle est de Cauchy.

Remarque Attention : mme si toute suite convergente est de Cauchy, la rciproque (toute suite de
Cauchy est convergente) nest pas vraie dans nimporte quel ensemble. Ici, nous travaillons dans
R, et a marche. Mais il faut absolument que lon se trouve dans un ensemble sans trou, que
lon appelle galement ensemble complet. Par exemple, cela ne marcherait pas dans lensemble Q
des rationnels qui nest pas complet.

7.9

Fonctions et suites
Proposition 11 (Suites et fonctions continues)
Soient f : I R et (un )nN une suite convergente telles que :
1. si lim un = l,
n+

2. f est continue en l,
alors lim f (un ) = f (l).
n+

118

Chapitre 8
Equations diffrentielles

(a) Charles mile Picard (b) Rudolph Otto Sigismund Lip- (c) Jacques ou Jakob Bernoulli (1654
(1856-1941) , mathmaticien schitz (1832- 1903), mathmaticien - 1705), mathmaticien suisse, frre de
franais a, avec Painlev et allemand, les fonctions qui portent Jean Bernoulli, oncle de Daniel et NiPoincar modernis lanalyse son nom sont trs utiles pour lexis- colas Bernoulli, proposa lquation difdes quations diffrentielles. tence et unicit des solutions dqua- frentielle qui porte son nom qui fut rtions diffrentielles.
solue par Leibniz.

F IGURE 8.1 Quelques mathmaticiens clbres lis ltude des quations diffrentielles. Il y en
a une multitudes, et certains comme Cauchy ont dj t cit dans des chapitres prcdents.
Aprs avoir appris rsoudre des quations du type f (x) = 0, o linconnu est le nombre x, les
mathmaticiens on d laborer des problmes o ce ntait pas x mais la fonction f llment
trouver. Ces quations faisant intervenir des drives (et donc par dfinition des diffrences infinitsimales), on les a appeles naturellement quations diffrentielles. En gnral on gardera la
notation x pour linconnue, mais cette fois-ci x sera une fonction qui dpendra dans la majorit des
cas dune variable t (pour permettre une analogie avec le temps et des applications en physique,
chimie ou biologie).
Avant dapprendre les rsoudre, nous allons dabord apprendre les classifier.
119

8.1 Equation simple

8.1

Equations diffrentielles

Equation simple

Nous allons commencer par tudier les quations les plus simples.

8.1.1

Equation x0 = 0

Considrons lquation diffrentielle suivante


(E0 ) x0 (t) = 0, o t R.
Nous savons daprs le chapitre 6 que
x0 (t) = 0 est quivalent x(t) = c, o c est une constante relle.
Compliquons un peu les choses.

8.1.2

Equation x0 = ax(t)

Considrons maintenant lquation diffrentielle


(E1 ) x0 (t) = ax(t), o t I R.
Ce type dquation a trouv une application trs rapidement : voir modle de Malthus.
Lide pour la rsoudre est intuitivement (pour linstant) de tester la solution
t 7 x(t) = eat .
Aprs vrification, on voit bien que cette fonction est solution de (E1 ). Elle est drivable sur R
donc a fortiori sur I et vrifie (E1 ).
Cherchons toutes les solutions de (E1 ) maintenant.
Il existe plusieurs mthodes pour le montrer. Nous en choisissons une qui semble assez simple.
Nous allons nous ramener lquation (E0 ) dont on sait daprs la section prcdente que les
seules solutions sont les fonctions constantes. La mthode est la suivante : si lon considre
solution de (E1 ) alors la fonction
: t 7 (t) = (t)eat , t I.
Par le produit de fonction drivable, est drivable sur I et un rapide calcul montre que
0 (t) = 0 pour t I.
Autrement dit = c, c R, et ce sont les mmes solutions pour . Ceci est valable pour toutes
les solutions de (E1 ). Par consquent, toutes les solutions de (E1 ) sont donnes grce :
= eat = ceat .
Rciproquement, si est de la forme t 7 ceat , c R, alors est solution de (E1 ).
Remarque La constante relle c sera dtermine par une condition, appele condition initiale et
que lon notera en gnral
120

Equations diffrentielles

8.2 Diffrents types dquations

(t0 ) = 0 .

Proposition 1 (Existence et unicit des solutions de (E1 ))


Soient a, t0 et 0 R. Alors il existe une unique fonction : R R solution de (E1 )
telle que x(t0 ) = 0 .

Nous venons donc de donner lunique solution de lquation diffrentielle ordinaire linaire homogne dordre 1 sous forme normale coefficients constants avec une condition initiale.
Mais que veulent dire quations diffrentielles ordinaires, linaire, ordre 1, homogne, sous forme
normale ? Ce sont tous ces termes que nous allons dfinir dans la prochaine section.

8.2

Diffrents types dquations


Dfinition 1 (Equation diffrentielle ordinaire)
Une quation diffrentielle ordinaire, galement note EDO, dordre n est une relation
entre la variable relle t, une fonction inconnue t 7 x(t) et ses drives x0 , x00 ,...,x(n) au
point t dfinie par
F (t, x, x00 , ..., x(n) ) = 0,
(8.1)
o F nest pas indpendante de sa dernire variable x(n) . On prendra t dans un intervalle
I de R (I peut tre R tout entier).
La solution x en gnral sera valeurs dans RN , N N o N sera le plus souvent gal
1, 2 ou 3. On dit que cette quation est scalaire si F est valeurs dans R.

Dfinition 2 (Equation diffrentielle normale)


On appelle quation diffrentielle normale dordre n toute quation de la forme
x(n) = f (t, x, x00 , ..., x(n1) ).

8.3

Equation linaire

Donnons maintenant une classification par linarit.


121

(8.2)

8.4 Solutions

Equations diffrentielles

Dfinition 3 (Equation diffrentielle linaire)


Une EDO de type (8.1) dordre n est linaire si elle est de la forme
an (t)x(n) (t) + an1 (t)x(n1) (t) + ... + a1 (t)x0 (t) + a0 (t)x(t) = g(t),

(8.3)

avec tous les x(i) de degr 1 et tous les coefficients dpendant au plus de t.

Exemple
Dire si les quations diffrentielles suivantes sont linaires, ou non linaires, et donner leur ordre
(on justifiera la rponse) :

8.4

i. (x t)dt + 4tdx = 0

ii. x00 2x0 + x = 0

iii.

dx
d3 x
+ t 5x = et
3
dt
dt

iv. (1 x)x0 + 2x = et

v.

d2 x
+ sin x = 0
dt2

vi.

d4 x
+ x2 = 0
dt4

Solutions
Dfinition 4 (Solution)
On appelle solution (ou intgrale) dune quation diffrentielle dordre n sur un certain
intervalle I de R, toute fonction x dfinie sur cet intervalle I, n fois drivable en tout
point de I et qui vrifie cette quation diffrentielle sur I.
On notera en gnral cette solution (x, I).
Si I contient sa borne infrieure note a (respectivement sa borne suprieure b), ce sont
des drives droite (respectivement gauche) qui interviennent au point t = a (respectivement t = b).
Intgrer une quation diffrentielle consiste dterminer lensemble de ses solutions.

122

Equations diffrentielles

8.5

8.5 Equations diffrentielles linaire dordre 1

Equations diffrentielles linaire dordre 1

8.5.1

Dfinition

Dfinition 5 (Equation linaire dordre 1)


Une quation diffrentielle du premier ordre est dite linaire si elle est linaire par rapport
la fonction inconnue x et par rapport sa drive x0 . Une telle quation peut toujours
scrire sous la forme
a(t)x0 + b(t)x = d(t).
(8.4)
Dans toute la suite, on supposera que a, b et d sont continues sur un intervalle I R.

8.5.2

Primitives

Afin de rsoudre les quations diffrentielles, il faut que lon se replonge dans les notions de primitives et dintgrales que nous ne dvelopperons pas beaucoup ici. Nous resterons principalement
sur les acquis de terminal. Le cours sur les intgrales tant dvelopp dans les semestres suivants.
On admettra que toute fonction f continue sur I R peut sexprimer comme la drive dune
fonction drivable sur I. On dira ainsi que f admet une primitive.
Dfinition 6 (Primitive)
Une fonction F : I R R est une primitive dune fonction f : I R si
1. F est drivable, et
2. F 0 = f .
Z
On note souvent F (t) =

f (t)dt.

Proposition 2 (Primitives dune fonction)


Soit f une fonction continue admettant plusieurs primitives sur I un intervalle de R.
Soient F et G deux primitives de f sur I. Alors il existe c R tel que pour tout t I,
F (t) G(t) = c.

Proposition 3 (unicit de la primitive dune fonction)


Soient f une fonction continue admettant plusieurs primitives sur I un intervalle de R,
t0 I, y0 R. Alors il existe une unique primitive F de f sur I tel que F (t0 ) = y0 .

123

8.5 Equations diffrentielles linaire dordre 1

Equations diffrentielles

Proposition 4 (Primitives dune fonction)


Soit f une fonction continue admettant plusieurs primitives sur I un intervalle de R.
Soient F et G deux primitives de f sur I. Alors il existe c R tel que pour tout t I,
F (t) G(t) = c.

Thorme 1 (Thorme fondamental de lanalyse)


Soient f une fonction continue admettant plusieurs primitives sur I un intervalle de R et
t0 I. La fonction F dfinie sur I
Z t
F (t) =
f (s)ds
t0

est lunique primitive de f sannulant en t0 .

Remarque Si de plus f est de classe C 1 sur I, on a pour tout t0 I


Z

f (t) f (t0 ) =

f 0 (s)ds.

t0

Corollaire 1 (Intgrale)
Soient f une fonction continue sur I un intervalle de R et f une primitive de f sur I.
Soient a, b I alors
Z b
f (t)dt = F (b) F (a).
a

Pour calculer les primitives des fonctions usuelles on se rfre au tableau du chapitre 6.
Commenons par donner les primitives qui sont supposes tre connues depuis le Lyce et donc,
supposes tre parfaitement matrises non seulement par leurs formulation mais galement leur
domaine de dfinition.
124

Equations diffrentielles

8.5 Equations diffrentielles linaire dordre 1

Proprit 1 (Primitives des fonctions puissance)


Les primitives des fonctions puissance sont donne sous forme de tableau :
Df

Fonction f

c (c R)

a (a R)

at + c (c R)

t2

1
t

R ou R

tn (n Z)

DF

R ou R

Primitives F

t2
+ c (c R)
2
t3
+ c (c R)
3
ln(t) + c (c R)
tn+1
+ c (c R)
n+1
t3/2
+ c (c R)
3
nx(n+1)/n
+ c (c R)
n1
t+1
+ c (c R)
+1

R+

R+

R+

n
t (n N)

R+

R+

t ( R)

R+

R+

ln(t)

R+

t ln(t) t + c (c R)

ex

ex + c (c R)

sin(x)

cos(x) + c (c R)

cos(x)

sin(x) + c (c R)

Viennent ensuite les primitives qui sont nouvelles cette anne. Encore une fois, les ensembles de
dfinitions sont aussi important que les formulations des primitives.
125

8.5 Equations diffrentielles linaire dordre 1

Equations diffrentielles

Proprit 2 (Primitives des fonctions logarithme, exponentielle et hyperbolique)


Les primitives des fonctions logarithme, exponentielle et hyperbolique sont donnes sous
forme de tableau :
Df

Fonction f

DF

Primitives F

R+

ln(t)

R+

t ln(t) t + c (c R)

et

et + c (c R)

at (a > 0)

at
+ c (c R)
ln(a)

sh(t)

ch(t) + c (c R)

ch(t)

sh(t) + c (c R)

th(t)

ln(cosh(t)) + c (c R)

coth(t)

ln(|sh(t)|) + c (c R)

argsh(t) + c (c R)

]1, [

argch(t) + c (c R)

] 1, 1[

argth(t) + c (c R)

R
[1, [
] 1, 1[

2
t +1
1

2
t 1
1
1 t2

126

Equations diffrentielles

8.5 Equations diffrentielles linaire dordre 1

Proprit 3 (Primitives des fonctions trigonomtriques)


Les primitives des fonctions trigonomtriques sont donnes sous forme de tableau :

R\{

Df

Fonction f

sin(t)

cos(t) + c

cos(t)

sin(t) + c

+ k}
2

tan(t) + c

+ k} (k Z)
2

R \ {k} (k Z)
[1, 1]
[1, 1]
R

DF

1
= 1 + tan2 (t)
cos2 (t)
1
= 1 cotan2 (t)
sin2 (t)
1

1 t2
1

1 t2
1
1 + t2

R\{

Primitives F

R \ {k}

cotan(t) + c

] 1, 1[

arcsin(t) + c

] 1, 1[

arccos(t) + c

arctan(t) + c

Proprit 4 (Intgrtion par parties)


Soient u et v des fonctions de classe C 1 sur I, on a alors la formule dintgration par
parties suivante :
Z
Z
0
u(t)v (t)dt = u(t)v(t) u0 (t)v(t)dt.

8.5.3

EDO linaire sans second membre

Commenons par rsoudre une quation linaire dordre 1 sans second membre. On lappelle quation linaire du premier ordre homogne. Cest une quation de la forme
a(t)x0 + b(t)x = 0.

(8.5)

tel que a(t) 6= 0 pour tout t I.


Il est noter que x 0 est une solution de lquation linaire homogne ci-dessus. On lappelle
solution triviale comme dans le cas des quations autonomes.
127

8.5 Equations diffrentielles linaire dordre 1

Equations diffrentielles

Proposition 5 (solution de lquation diffrentielle linaire homogne)


Lensemble des solutions de lquation linaire homogne
a(t)x0 + b(t)x = 0.
sur le domaine I, est donne par la formule
x(t) = KeF (t) ,
Z

b(t)
)dt et K R.
a(t)
Si en plus il existe t0 dans I tel que x(t0 ) = x0 avec x0 R alors il existe une unique
solution dfinie pour tout t I par
avec F (t) =

x(t) = x0 eF (t) ,
Z

avec F (t) =

(
t0

b(s)
)ds et K R.
a(s)

Proposition 6 (Solution triviale)


Si une solution de lquation linaire homogne sannule en au-moins un point t0 alors
elle est identiquement nulle (solution triviale).

Remarque
La solution x 0 sur I est appele solution dgnre de lquation linaire homogne.

8.5.4

EDO linaire avec second membre

Considrons lquation
a(t)x0 + b(t)x = d(t),
sur lintervalle I o a ne sannule pas.
128

Equations diffrentielles

8.5 Equations diffrentielles linaire dordre 1

Proposition 7 (Solution gnrale)


Lensemble des solutions de lquation
a(t)x0 + b(t)x = d(t),
sur I est donn par la formule


d(t) F (t)
x(t) = K +
e
dt eF (t)
a(t)
Z

b(t)
)dt.
a(t)
Si en plus il existe t0 dans I tel que x(t0 ) = x0 avec x0 R alors il existe une unique
solution dfinie pour tout t I par

Z s
 
 Z t

Z t
b(s)
b()
d(s)
x(t) = x0 +
exp
d ds exp
ds .
t0 a()
t0 a(s)
t0 a(s)
o K R et F (t) =

Remarque
La mthode frquemment utilise pour trouver une solution de lquation linaire non homogne
partir de lquation homogne est appele mthode de variation de la constante.

8.5.5

Cas particulier

Proposition 8 (Formule de Duhamel)


Soient une fonction continue sur un intervalle I de R, une constante relle et t0 I tel
que x(t0 ) = x0 . La solution gnrale de lquation scalaire
x0 = x + f (t),
est donne par
(tt0 )

x(t) = x0 e

e(ts) f (s)ds,

t0

o c est une constante.

8.5.6

Existence et unicit

Si lon crit lquation diffrentielle linaire dordre 1 de la faon suivante :


x0 (t) = a(t)x + b(t),
129

8.6 Equations diffrentielles linaire dordre 2

Equations diffrentielles

on a alors la proposition suivante.


Proposition 9 (Existence et unicit)
Considrons lquation diffrentielle linaire dordre 1
x0 (t) = a(t)x + b(t),
o a et b sont des fonctions continues sur un intervalle I de R.
Si de plus, on considre t0 I et x0 R tels que x(t0 ) = x0 , alors il existe une
unique solution x : I R drivable solution de cette quation diffrentielle linaire et
satisfaisant x(t0 ) = x0 .
De plus la drive x0 de cette solution est continue. On dit que la solution x est de classe
C 1.

8.6

Equations diffrentielles linaire dordre 2

8.6.1

Dfinition

Dfinition 7 (Equation linaire dordre 2)


Une quation diffrentielle du premier ordre est dite linaire si elle est linaire par rapport
la fonction inconnue x et par rapport sa drive x0 . Une telle quation peut toujours
scrire sous la forme
a(t)x00 + b(t)x0 + c(t)x = d(t).
(8.6)
Dans toute la suite, on supposera que a, b, c et d sont continues sur un intervalle I R.
Une solution x de cette quation doit tre deux fois drivable sur I

8.6.2

Equations diffrentielle homogne coefficients constants

Considrons ici lquation diffrentielle linaire dordre 2 sans second membre coefficients
constants. Cette quation scrit
ax00 + bx0 + cx = d,
avec deux conditions initiales en t0
x(t0 ) = x0 et x0 (t0 ) = x1 .
Nous avons alors le rsultat suivant
130

Equations diffrentielles

8.6 Equations diffrentielles linaire dordre 2

Proposition 10 (EDO ordre 2 coefficients constants)


Considrons lquation diffrentielle homogne linaire dordre 2 coefficients
constants
ax00 + bx0 + cx = 0,
avec deux conditions initiales en t0
x(t0 ) = x0 et x0 (t0 ) = x1 ,
o a, b, c, d, x0 et x1 sont des rels.
Si lon considre lquation de second degr (appele galement quation caractristique
de lquation diffrentielle)
ar2 + br + c = 0,
, o r peut tre complexe.
Si lon note = b2 4ac le discriminant de lquation caractristique, alors 3 cas se
prsentent :
1. si > 0,
lquation caractristique possde deux solutions relles distinctes r1 et r2 , et les
solutions de lquation diffrentielle homogne sont de la forme :
x(t) = k1 er1 t + k2r2 t .
o k1 et k2 sont des rels dtermins partir des conditions initiales x0 et x1 .
2. si = 0,
lquation caractristique possde une seule solution relle r0 , et les solutions de
lquation diffrentielle homogne sont de la forme :
x(t) = (k1 t + k2 )er0 t .
o k1 et k2 sont des rels dtermins partir des conditions initiales x0 et x1 . si
< 0,
lquation caractristique possde deux solutions complexes conjugues r1 et
r2 = r1 = + i (o est la partie relle de r1 et sa partie imaginaire.
Les solutions de lquation diffrentielle homogne sont de la forme :
x(t) = et (k1 cos(t) + k2 sin(t),
o k1 et k2 sont des rels dtermins partir des conditions initiales x0 et x1 .

131

S-ar putea să vă placă și