Math 101
Math 101
Math 101
Notes de cours
16 juillet 2015
Table des matières
3 Continuité 31
3.1 Fonction continue en x0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.1.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.1.2 Prolongement par continuité . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.1.3 Continuité à droite et à gauche en x0 . . . . . . . . . . . . . . . . . . . . . . 32
3.1.4 Quelques théorèmes utiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2 Fonction continue sur un intervalle . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.2 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3 Le théorème des valeurs intermédiaires (TVI) : version 1 . . . . . . . . . . . 34
3.2.4 TVI : version 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3
3.2.5 TVI : version 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2.6 Fonction continue sur un segment . . . . . . . . . . . . . . . . . . . . . . . . 35
3.3 Preuve du théorème 42 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3.1 Suites adjacentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3.2 Le principe de dichotomie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4 Dérivabilité 39
4.1 Dérivée en un point et interprétation géométrique . . . . . . . . . . . . . . . . . . . 39
4.1.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.1.2 Interprétation géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.1.3 Tangente verticale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.1.4 DL d’ordre 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.1.5 Dérivabilité et continuité . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.1.6 Dérivabilité à droite et à gauche . . . . . . . . . . . . . . . . . . . . . . . . 41
4.1.7 Opérations algébriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.1.8 Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 Fonction dérivable sur un intervalle, fonction de classe C 1 sur un intervalle . . . . . 42
4.2.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2.2 Opérations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.3 Dérivées d’ordre n, fonctions de classe C n . . . . . . . . . . . . . . . . . . . . . . . 43
4.4 Utilisation de la dérivée . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.4.1 Extrema et points critiques . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.4.2 Le lemme de Rolle et le théorème des accroissements finis . . . . . . . . . . 46
4.4.3 Croissance d’une fonction et signe de la dérivée . . . . . . . . . . . . . . . . 46
4.4.4 Prolongement de la dérivée . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.4.5 L’inégalité des accroissements finis . . . . . . . . . . . . . . . . . . . . . . . 48
5 Fonctions réciproques 51
5.1 Rappels et généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.1.1 Bijection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.1.2 Application réciproque . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.1.3 Bijections et graphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.1.4 Composées de bijections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.2 Propriétés de régularité des fonctions réciproques . . . . . . . . . . . . . . . . . . . 53
5.2.1 Le théorème de continuité . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.2.2 Détermination de l’intervalle image . . . . . . . . . . . . . . . . . . . . . . . 53
5.2.3 Le théorème de dérivabilité . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
√
5.3 Les fonctions racine n-ième, n x . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.3.1 Rappel : Les fonctions « puissance » d’exposant entier . . . . . . . . . . . . 54
5.3.2 Le cas n impair . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.3.3 Le cas n pair . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.3.4 Puissances rationnelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.4 Les fonctions logarithme et exponentielle . . . . . . . . . . . . . . . . . . . . . . . . 58
5.4.1 Rappels : fonctions logarithme et exponentielle . . . . . . . . . . . . . . . . 58
5.4.2 Croissances comparées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.4.3 Exponentielles et logarithmes de base a > 0, les fonctions puissances x 7→ xα
avec α ∈ R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5.5 Fonctions trigonométriques réciproques . . . . . . . . . . . . . . . . . . . . . . . . . 60
5.5.1 La fonction arctan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.5.2 La fonction arcsin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.5.3 La fonction arccos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
5.6 Transformation polaires/cartésiennes . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4
6 Primitives et Intégrales 67
6.1 Primitives : définition et premières propriétés . . . . . . . . . . . . . . . . . . . . . 67
6.2 Intégrale de Riemann d’une fonction continue . . . . . . . . . . . . . . . . . . . . . 69
6.2.1 Sommes de Darboux et intégrale de Riemann . . . . . . . . . . . . . . . . . 69
6.2.2 Propriétés fondamentales de l’intégrale de Riemann . . . . . . . . . . . . . 73
6.2.3 Intégrale d’une fonction continue par morceaux . . . . . . . . . . . . . . . . 77
6.3 Techniques de calcul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
6.3.1 Intégration par parties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
6.3.2 Changement de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6.3.3 Intégration des fractions rationnelles . . . . . . . . . . . . . . . . . . . . . . 82
6.3.4 Intégration des polynômes et fractions rationnelles en cos et sin . . . . . . . 88
7 Développements limités 95
7.1 Formules de Taylor avec reste intégral . . . . . . . . . . . . . . . . . . . . . . . . . 95
7.1.1 Formule de Taylor avec reste intégral à l’ordre 2 . . . . . . . . . . . . . . . 95
7.1.2 Formule de Taylor avec reste intégral à l’ordre n ≥ 1 . . . . . . . . . . . . . 96
7.2 Formules de Taylor-Young . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
7.2.1 A l’ordre 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
7.2.2 A l’ordre n ≥ 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
7.2.3 Exemples classiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.2.4 Formule de Taylor-Young en x0 . . . . . . . . . . . . . . . . . . . . . . . . . 99
7.3 Développements limités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
7.3.1 Définition et propriétés générales . . . . . . . . . . . . . . . . . . . . . . . . 100
7.3.2 Calculs directs de développement limités . . . . . . . . . . . . . . . . . . . . 101
7.3.3 Utilisation des DL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
5
11 Fonctions réelles de deux variables réelles 137
11.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
11.1.1 Fonctions, ensemble de définition . . . . . . . . . . . . . . . . . . . . . . . . 137
11.1.2 Compositions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
11.1.3 Représentations graphiques . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
11.1.4 Lignes de niveaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
11.1.5 Lignes de niveaux des fonctions quadratiques : une classification . . . . . . 140
11.2 Limites et continuité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
11.2.1 Boules, voisinages et parties ouvertes . . . . . . . . . . . . . . . . . . . . . . 147
11.2.2 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
11.2.3 Opérations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
11.3 Dérivabilité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
11.3.1 DL d’ordre 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
11.3.2 Dérivées partielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
11.3.3 Fonctions de classe C 1 sur un ouvert du plan . . . . . . . . . . . . . . . . . 152
11.3.4 Dérivées d’ordre 2 et DL d’ordre 2 . . . . . . . . . . . . . . . . . . . . . . . 153
11.4 Dérivation des fonctions composées . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
11.4.1 Formules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
11.4.2 Gradient et tangentes aux lignes de niveau . . . . . . . . . . . . . . . . . . 156
11.4.3 Le théorème des fonctions implicites . . . . . . . . . . . . . . . . . . . . . . 156
11.5 Recherche d’extrema locaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
11.5.1 Extrema locaux et points critiques . . . . . . . . . . . . . . . . . . . . . . . 158
11.5.2 Conditions suffisantes à l’ordre 2 . . . . . . . . . . . . . . . . . . . . . . . . 159
6
Chapitre 1
Rappels et compléments sur les fonctions
réelles
Exemples et Remarques
1. La fonction f est « de variable réelle » car le domaine dans lequel varie son argument, sa
source D, est une partie de R. Elle est « à valeurs réelles » car son but A est une partie de
R.
2. Si on écrit « Soit une fonction f : D → A... », on entend par là « Considérons une fonction
f , dont l’ensemble de départ est D et l’ensemble d’arrivée est A », et, à moins que ce ne soit
précisé ultérieurement, cette fonction n’a aucune propriété particulière hormis le fait d’être
un objet qui satisfait à notre définition informelle.
3. Soulignons que si f : D → A est une fonction, si x est un nombre n’appartenant pas à D
alors f (x) n’est pas défini. Par exemple, si on écrit « Soit la fonction f : [0, 1] → R définie
par f (x) = 2x2 − 1 pour tout x ∈ [0, 1] », on considère un objet mathématique uniquement
défini : la fonction f , dont l’ensemble de départ est l’intervalle [0, 1], l’ensemble d’arrivée
est R tout entier et qui associe à tout élément x de [0, 1] l’unique nombre réel calculé par la
formule ci-avant. En particulier, f (2) n’a pas de sens même si 2 × 22 − 1 en a un.
1. le quantificateur logique « ∃ » signifie « il existe ».
7
4. L’ensemble de définition est souvent déduit de la formule de f (x) lorsque celle-ci est donnée
(en tenant compte que toute division par 0 est interdite, qu’une racine carrée doit avoir un
argument positif ou nul, etc.). √
2
Exemple : Donner Df le domaine de définition de la fonction f définie par f (x) = 1−x x .
Il est sous-entendu : « quel est le plus grand sous-ensemble de R sur lequel on peut définir f
par cette formule ? » Ici,
Df = x ∈ R t.q. x 6= 0 et 1 − x2 ≥ 0 = {x ∈ R t.q. x 6= 0 et x ∈ [−1, 1]} = [−1, 0[∪]0, 1] .
1.1.2 Graphes
Définition 1 Soit f : D → A une fonction réelle de variable réelle. Son graphe est la partie G de
l’ensemble-produit 2 D × A définie par
G = {(x, f (x)), x ∈ D} = {(x, y) ∈ D × A, y = f (x)}
G est donc l’ensemble de tous les couples possibles formés d’une valeur x prise dans D et de son
image f (x).
G est une partie de l’ensemble D × A qui est lui-même une partie de R × R = R2 . On représente
graphiquement (une partie de) R2 sur une feuille quadrillée de la façon que vous connaissez bien : le
couple de réels (x, y) est représenté par le point de coordonnées (x, y) relativement au quadrillage.
L’usage veut que l’axe des abscisses (coordonnée x) soit représenté horizontalement, orienté de
la gauche vers la droite et que l’axe des ordonnées (coordonnée y) soit représenté verticalement,
orienté du bas vers le haut. Certaines situations peuvent forcer à adopter d’autres conventions.
1.5
y = f (x)
y
0.5
x
0
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
-0.5
-1
-1.5
En retournant notre manche, on peut maintenant préciser l’« objet mathématique 3 » dont
nous parlions dans la définition informelle de fonction.
2. D × A est l’ensemble de tous les couples (x, y) pouvant être formés avec une valeur x dans D et une valeur y
dans A.
3. Assez curieusement, quasiment tous les objets mathématiques peuvent être vus comme des ensembles, y
compris les nombres...
8
Définition 2 Soient D et A deux parties de R, une fonction f de D vers A est une partie G de
D × A ayant la propriété suivante :
L’astuce réside en ceci, qu’étant donnée une telle partie G, on peut définir, pour x ∈ D, f (x)
comme étant l’unique y ∈ A tel que (x, y) ∈ G. On a alors défini sans ambiguïté une fonction
f : D → A. Il s’avère a posteriori que G est le graphe de f .
Ce que dit la définition, c’est très exactement qu’une fonction f , c’est son graphe. L’usage
montre cependant qu’utiliser le graphe de la fonction est assez malcommode alors que la notation
f (x) est très parlante.
y
1
x
0
-2 -1 0 1 2
-1
-2
Figure 1.2 – Ceci n’est pas le graphe d’une fonction y = f (x) : certaines verticales coupent
l’ensemble en plus de deux points
9
R → R
3. Valeur absolue : | · | : x si x≥0
x 7→
−x si x<0
f (x) = a0 + a1 x + · · · + aN xN où (a0 , . . . , aN ) ∈ RN +1
N
ak xk pour une notation 4 plus compacte.
P
ou encore f (x) =
k=0
R → R
Exemple : la fonction carré (·)2 :
x 7 → x2
√ R+
→ R
5. Fonction racine carrée 5 : ·:
x 7 → le réel positif y t.q. y 2 = x
P
4. « » est le symbole « somme ». Si i ≤ j sont deux entiers, il est défini par
j
X
f (k) := f (i) + f (i + 1) + · · · + f (j)
k=i
5. Cette fonction – ainsi que les fonctions x 7→ xα pour α ∈ / Z – ne sera en fait définie rigoureusement qu’au
chapitre 5 sur les fonctions réciproques
6. Ces fonctions ne seront aussi définies rigoureusement qu’au chapitre 5. Leurs propriétés seront donc admises
pour le moment.
7. Cette notion sera définie dans la dernière partie de ce chapitre.
10
y = ln x
y = ex
y=x
0
0 1 e
Pour tout θ dans R, soit Aθ le point de C tel que l’angle orienté IOA[ soit θ (exprimé ici en
radians), où I désigne le point du plan de coordonnées (1, 0). Le cosinus et le sinus de θ,
notés cos θ et sin θ, sont alors respectivement définis comme l’abscisse et l’ordonnée de Aθ ,
i.e. Aθ est le point du plan de coordonnées (cos θ, sin θ). Tout cela est rendu plus lisible par
la figure 1.4.
Les fonctions sinus et cosinus sont donc des fonctions réelles définies sur R. Elles sont de plus
2π-périodiques, sachant Aθ+2π = Aθ . Elles satisfont par ailleurs les propriétés suivantes :
i) la fonction cos est paire et la fonction sin est impaire, i.e.
11
et
sin x = sin θ ssi x ∈ {θ + 2kπ , k ∈ Z} ∪ {π − θ + 2kπ , k ∈ Z}
iii) Pour tout x ∈ R,
π π
cos(x± ) = ∓ sin x , sin(x± ) = ± cos x , cos(x±π) = − cos x , sin(x±π) = − sin x
2 2
√ √
iv) – cos 0 = 1, cos π6 = 23 , cos π4 = 22 , cos π3 = 12 , cos π2 = 0, cos π = −1
√ √
– sin 0 = 0, sin π6 = 12 , sin π4 = 22 , sin π3 = 23 , sin π2 = 1, sin π = 0
v) – Pour tous x, y ∈ R,
cos(x ± y) = cos x cos y ∓ sin x sin y et sin(x ± y) = sin x cos y ± cos x sin y
– Cela implique :
1 1
cos x cos y = cos(x + y) + cos(x − y) , sin x sin y = cos(x − y) − cos(x + y)
2 2
et
1
sin x cos y = sin(x + y) + sin(x − y)
2
– En particulier :
2 cos2 x − 1
cos(2x) = cos2 x−sin2 x = , sin(2x) = 2 sin x cos x
cos2 + sin2 =1 1 − 2 sin2 x
et
cos(2x) + 1 1 − cos(2x)
cos2 x = et sin2 x =
2 2
vi) Voir le tracé de leurs graphes à la figure 1.5.
π
θ= 2 + 2kπ
•
tan θ •
Aθ
sin θ •
θ rad
θ = π + 2kπ
• • x
cos θ θ = 0 + 2kπ
•
θ = − π2 + 2kπ
C = (a, b) ∈ R2 ; a2 + b2 = 1
12
La fonction tangente, notée tan, est définie par la formule
sin x
tan x = .
cos x
Sachant les propriétés des fonctions sinus et cosinus rappelées ci-dessus, elle vérifie donc les pro-
priétés suivantes (on renvoie aussi à la figure 1.4 pour une interprétation géométrique) :
sin x
i) La fonction tan : x 7→ cos x est définie pour tout x ∈ R tel que cos x 6= 0, i.e.
n π o nπ o [ π π
Dtan = x ∈ R ; x 6= ± + 2kπ , k ∈ Z = R\ + kπ , k ∈ Z = − +kπ, +kπ
2 2 2 2
k∈Z
sin(−x) − sin x
−x ∈ Dtan et tan(−x) = = = − tan x
cos(−x) cos x
et
sin(x + π) − sin x
x + π ∈ Dtan et tan(x + π) = = = tan x
cos(x + π) − cos x
√
3
√
iii) tan 0 = 0, tan π6 = 3 , tan π4 = 1, tan π3 = 3, lim
π−
tan x = +∞
x→ 2
2 tan x
tan(2x) =
1 − tan2 x
– Et pour tout x ∈ Dtan ,
2 1 − tan2 x
cos(2x) = 2 −1 =
cos(2x)=2 cos2 x−1 1 + tan x 1 + tan2 x
et
2 tan x
sin(2x) = 2 tan x cos2 x =
sin(2x)=2 sin x cos x 1 + tan2 x
vi) Voir le tracé de son graphe à la figure 1.5.
Exemples et Remarques
13
y
1
Csin
x
− 3π −π − π2 π π 3π
2 2 2
−1
y
1
Ccos
x
− 3π −π − π2 π π 3π
2 2 2
−1
1
Ctan
x
− 3π −π − π2 − π4 π
4
π π 3π
2 2 2
−1
14
1. La définition de g ◦ f n’a de sens que si f (A) ⊂ C (i.e. si f (Df ) ⊂ Dg ) ! !
2. Dès que l’on écrit une formule imbriquant des fonctions élémentaires, on est en train de faire
un certain nombre de compositions.
p
3. Exercice résolu en cours. Donner Df pour la fonction f définie par f (x) = − ln(x2 − 1).
Encore une fois, il est ici sous-entendu : « quel est le plus grand sous-ensemble de R sur lequel
on peut définir f par cette formule ? » Pour que f (x) soit défini, il faut (et il suffit) que
c’est-à-dire
(a) x > 1 ou x < −1
et √ √
(b) − 2 ≤ x ≤ 2
√ √
Pour résumer, on a donc D = − 2, −1 ∪ 1, 2 .
4. On peut aussi utiliser des définitions par morceaux (i.e. définir une fonction par des formules
différentes sur des parties de R disjointes). Déterminons par exemple le domaine de définition
Dg de
p
− ln(t2 − 1) si t > 0
g(t) =
tan t si t ∈ ]−π, 0[
Pour que g(t) soit défini, il faut (et il suffit) que
p
(a) soit t > 0 et − ln(t2 − 1) est bien défini
et
(b) soit t ∈ ]−π, 0[ et tan t est bien défini
c’est-à-dire
h √ h i √ i
(a) soit t > 0 et t ∈ − 2, −1 ∪ 1, 2 (on se sert ici de l’exemple précédent)
et π
(b) Soit t ∈ ]−π, 0[ et t 6= − (quel est le domaine de définition de la tangente ?)
2
En résumé, le domaine D cherché est
i πh iπ h i √ i
D = −π, − ∪ , 0 ∪ 1, 2 .
2 2
∀ x, x0 ∈ D , f (x) = f (x0 ) ⇒ x = x0
f est injective ⇐⇒
∀ x, x0 ∈ D , x 6= x0 ⇒ f (x) 6= f (x0 )
⇐⇒
10. les quantificateurs logiques « ⇔ », « ⇒ » et « ∀ » employés ci-dessous signifient respectivement « si et seulement
si », « implique » et « pour tout ».
15
Définition 6 Soit f : D → A une fonction de variable réelle. On dit que f est surjective (ou
que c’est une surjection) si tout élément de A admet (au moins) un antécédent par f . Autrement
dit :
f est surjective ⇐⇒ ∀ y ∈ A , ∃ x ∈ D t.q. f (x) = y
⇐⇒ Imf = f (D) = A
Exemples et Remarques
1. L’application carré f : R → R, x 7→ x2 n’est ni surjective, ni injective.
– Elle n’est pas surjective car par exemple −1 (et en fait tout y < 0) n’a aucun antécédent
par f car f (x) ≥ 0 pour tout x ∈ R.
– Elle n’est pas injective car par exemple f (1) = f (−1) (et −1 6= 1...).
2. Il faut faire très attention aux ensembles de départ et d’arrivée utilisés dans la définition de
la fonction étudiée. Par exemple :
R → R+
R → R
– f: n’est pas surjective mais g : l’est. Or il s’agit « presque »
x 7→ x2 x 7→ x2
même fonction puisque Df = Dg = R et f (x) = g(x) pour tout réel
de la x.−
R → R R → R
– f: n’est pas injective mais sa restriction à R− , f R− :
x 7→ x2 x 7→ f (x)
l’est (comme sa restriction à R+ d’ailleurs).
˜ D → Imf = f (D)
3. De façon générale, si f : D → A est une fonction donnée, alors f :
x 7→ f (x)
est surjective.
4. Toute fonction strictement monotone 11 f : D → A est injective. En effet, si elle est stric-
tement croissante, alors si x 6= y, on a soit x < y donc f (x) < f (y), soit x > y auquel cas
f (x) > f (y), donc dans tous les cas f (x) 6= f (y). Le cas f strictement décroissante s’obtient
en inversant les inégalités strictes.
Définition 7 Soit f : D → A une fonction de variable réelle. On dit que f est bijective (ou que
c’est une bijection) si elle est à la fois injective et surjective. Autrement dit, si tout élément y de
A admet un unique antécédent x ∈ D par f :
Si f : D → A est bijective, alors on peut définir une fonction de A dans D de la façon suivante :
à tout y ∈ A, on associe l’unique x ∈ D tel que f (x) = y. On appelle cette fonction bijection
réciproque de f et on la note f −1 . Elle est caractérisée par la proposition suivante :
y = f (x) ⇐⇒ x = f −1 (y)
∀ (x, y) ∈ D × A ,
A → D
Preuve. Cela découle de la définition de f −1 : .
y 7→ le x ∈ D tel que f (x) = y
Exemples et Remarques
−1
1. De part cette caractérisation, f −1 : A → D est également bijective et f −1 = f.
11. On rappelle qu’une fonction est monotone si elle est soit croissante, soit décroissante ; qu’une fonction est
strictement monotone si elle est soit strictement croissante, soit strictement décroissante et que
f : D → A est croissante (resp. strict. croissante, décroissante, strict. décroissante)
ssi ∀ x, y ∈ D , x < y ⇒ f (x) ≤ f (y) (resp. f (x) < f (y) , f (x) ≥ f (y) , f (x) > f (y))
16
2. Si f : D → A est bijective, alors f −1 ◦ f = IdD et f ◦ f −1 = IdA . Autrement dit :
∀ x ∈ D , f −1 (f (x)) = x et ∀ y ∈ A , f (f −1 (y)) = y .
3. En pratique, on peut trouver f −1 : A → D en résolvant l’équation f (x) = y, d’inconnue
x ∈ D, pour chaque y ∈ A :
– Comme f : D → A est bijective, cette équation admet en effet pour unique solution
x = f −1 (y) pour chaque y ∈ A 13 .
– Réciproquement, si cette équation admet une unique solution x ∈ D pour chaque y ∈ A,
alors f : D → A est bijective (puisqu’alors, tout y ∈ A admet un unique antécédent dans
D par f , à savoir l’unique solution de l’équation) et cette solution n’est donc autre que
x = f −1 (y).
−1
4. Si f : A → B et g : B → C sont bijectives, alors g ◦ f : A → C est bijective et (g ◦ f ) =
f −1 ◦ g −1 . En effet, on a :
∀ (x, y) ∈ A×C , g◦f (x) = y ssi f (x) = g −1 (y) ssi x = f −1 (g −1 (y)) = f −1 ◦g −1 (y)
g bijective f bijective
17
Chapitre 2
Rappels et compléments sur les limites
La notion de limite est à la base de l’analyse. Nous allons rappeler les résultats vus en Première
et Terminale et préciser quelques notions.
Exemples et Remarques
1. Un intervalle ouvert est voisinage de chacun de ses points
2. ]0, 1] est voisinage de tout x0 ∈ ]0, 1[. Il n’est pas voisinage de 1.
3. Soit A = R∗ . A est voisinage de x0 si x0 6= 0. A n’est pas voisinage de 0.
Exemples et Remarques
1. Soit f : R∗ → R, x 7→ f (x) = sinx x . f est définie dans un voisinage de 0, sauf en 0. f est
définie au voisinage de tout x0 6= 0.
√
2. Soit g : R+ → R, x 7→ g(x) = x. La fonction g est définie au voisinage de tout x0 > 0.
Elle n’est pas définie au voisinage de 0. (Mais on dira qu’elle est définie dans un voisinage à
droite de 0, cf. 2.2.6.)
3. Nous utiliserons parfois la tournure de phrase suivante : pour tout x voisin de x0 , f (x) =
g(x). Cela signifie qu’il existe un certain voisinage de x0 , que l’on ne prend pas la peine de
nommer tel que pour tout x dans ce voisinage l’égalité f (x) = g(x) a lieu. Cela implique en
particulier que f et g sont définies au voisinage de x0 .
19
2.1.2 Définition
Définition 11 Soit x0 ∈ R, ` ∈ R et f : D → R une fonction définie dans un voisinage de x0 ,
sauf peut-être en x0 . On dit que f admet la limite ` en x0 , ou que la limite de f (x) lorsque x tend
vers x0 est ` si
Pour tout voisinage V de `,
il existe un voisinage U de x0 tel que,
pour tout x ∈ U ∩ D avec x 6= x0 ,
f (x) ∈ V .
On note ce fait lim x→x 0 f (x) = ` ou f (x) → ` lorsque x → x0 , x 6= x0 ou
x6=x
0
x6=x0 ,x→x0
f (x) → `
V `
x0
Exemples et Remarques
1. Même si f est définie en x0 , le fait que ` soit limite de f lorsque x → x0 , x 6= x0 ne dépend
que du comportement de f (x) lorsque x est proche de x0 en en étant distinct. Cela ne dépend
pas de la valeur exacte de f (x0 ).
2. L’utilisation de l’article défini la dans la définition de la limite sera justifié par l’énoncé
d’unicité sous réserve d’existence de la limite.
3. Soit f définie sur R par f (x) = 0 si x 6= 0 et f (x) = 1 si x = 0. On a alors
lim f (x) = 0
x→0
x6=0
20
4. Il y a plusieurs façons de caractériser le fait que f admette la limite ` en x0 . Voici une façon
plus ’numérique’ que la définition d’origine, de dire que f , définie au voisinage de 0, sauf
peut-être en 0, admet 0 pour limite en 0.
Pour tout > 0, il existe α > 0 tel que
pour tout x ∈ ]−α, α[, x 6= 0,
f (x) est défini et f (x) ∈ ]−, +[.
Fonctions de référence
Les fonctions suivantes sont des exemples fondamentaux de fonctions de limites nulle en 0.
Leur étude sera faite au chapitre 5.
1. Soit α > 0. La fonction f : R → R, x 7→ f (x) = |x|α a pour limite 0 en 0.
2. La fonction g : R∗ → R, x 7→ x.(ln |x|) a pour limite 0 en 0.
3. Soit α > 0, β ∈ R. La fonction h : R∗ → R, x 7→ |x|α .| ln |x||β a pour limite 0 en 0.
2.1.3 Suites
Proposition 12 Soit x0 ∈ R, ` ∈ R et f : D → R une fonction définie dans un voisinage de
x0 , sauf peut-être en x0 . f tend vers ` en x0 si et seulement si pour toute suite (un )n∈N , à
valeurs dans D, ne prenant pas la valeur x0 mais convergeant vers x0 , la suite (vn )n∈N , définie
par vn = f (un ), converge vers `.
2.1.4 DL à l’ordre 0
Proposition 13 Soit x0 ∈ R, ` ∈ R et f : D → R une fonction définie dans un voisinage de x0 ,
sauf peut-être en x0 . f tend vers ` en x0 si et seulement si, il existe une fonction , définie au
voisinage de 0, limh→0 (h) = 0 telle que
Le fait d’écrire, pour x voisin de x0 , que f (x) = ` + (x − x0 ) s’appelle effectuer un Développement
Limité de f à l’ordre 0 en x0 .
Nous verrons, au chapitre 7, ce qu’est un DL de f en x0 à un certain ordre n ∈ N.
2.2 Propriétés
2.2.1 Unicité
Proposition 14 Soit x0 ∈ R, `, `0 ∈ R et f : D → R une fonction définie dans un voisinage de
x0 , sauf peut-être en x0 . Si
x6=x0 ,x→x0 x6=x0 ,x→x0
f (x) → ` et f (x) → `0
alors
` = `0
21
1
0
2 2 1 2 1
0 7π 5π 2π 3π π
-1
Alors
1. Si f , g, h ont pour limites respectives `, m, n en x0 , on a
`≤m≤n
Exemples et Remarques
1. La preuve de 1. est basée sur le même raisonnement que la preuve d’unicité. Si on suppose
que m < `, on peut montrer que pour x dans un certain voisinage de x0 , sauf peut-être en
x0 , f (x) > g(x), ce qui apporte une contradiction.
2. Cette proposition fournit la méthode fondamentale pour montrer que f (x) → ` lorsque
x → x0 , x 6= x0 . Il suffit de trouver une majoration du type
|f (x0 + h) − `| ≤ (h)
22
V `
V0 `0
x0
U0
Figure 2.3 – S’il n’y avait pas unicité, le graphe devrait être simultanément à l’intérieur des deux
zones grisées U × V et U 0 × V 0 qui sont disjointes.
23
pour h voisin de 0 où est une fonction de limite 0 en 0. On peut en général prendre une telle
fonction dans une liste de fonctions de référence : par exemple (h) = C|h|α avec α > 0, C
une constante positive.
3. Par exemple, montrons que la fonction f : R → R définie par f (x) = x2 + 2x + 3 a pour
limite f (1) = 6 en x0 = 1. On a
f (1 + h) − f (1) = (1 + h)2 + 2(1 + h) − 12 − 2
= h(2 + h) + 2.h = h(4 + h)
On travaille pour h voisin de 0, on peut donc supposer que |h| ≤ 1. On a donc, pour ces h,
|f (1 + h) − f (1)| ≤ 5|h|
Comme l’expression à droite de cette inégalité définit une fonction (h) de limite 0 en 0, on
a donc démontré que
lim f (x) = f (1)
x→1
Somme
Si
x6=x0 ,x→x0 x6=x0 ,x→x0
f (x) → ` et g(x) → m
alors
x6=x0 ,x→x0
(f + g)(x) → `+m
Produit
Si
x6=x0 ,x→x0 x6=x0 ,x→x0
f (x) → ` et g(x) → m
alors
x6=x0 ,x→x0
(f.g)(x) → `.m
24
Quotient
Si
x6=x0 ,x→x0 x6=x0 ,x→x0
f (x) → ` et g(x) → m
et m 6= 0 alors, la fonction f /g est définie sur un certain voisinage de x0 , sauf, peut-être en x0 et
l’on a
x6=x0 ,x→x0
(f /g)(x) → `/m
2.2.5 Composition
Continuité en x0
Définition 18 Soit f : D → R une fonction définie dans un voisinage de x0 . On dit que f est
continue en x0 si lim x→x
x6=x
0 f (x) = f (x0 ).
0
Composition
Proposition 19 Soient f , g deux fonctions réelles d’une variable réelle, x0 , y0 deux réels.
1. Si f est définie sur un voisinage de x0 , sauf peut-être en x0 et lim x→x
x6=x
0 f (x) = y0 ,
0
Nous démontrons ce résultat dans le cas de fonctions de limite nulle en 0 pour illustrer la force
de la définition de limite. Nous reviendrons sur ce cas dans le chapitre sur la continuité.
Preuve. Soit f et g deux fonctions définies sur un voisinage de 0, de limite 0 en 0 et g(0) = 0.
On considère h = g ◦ f .
– La première question concerne la bonne définition de h au voisinage de 0, sauf peut-être en
0.
g est définie sur un voisinage V0 de 0 et, comme f a pour limite 0 en 0, il existe donc un
voisinage U0 de 0 tel que pour tout x ∈ U0 , x 6= 0, f (x) ∈ V0 . Pour de tels x, h(x) := g(f (x))
est donc bien défini. Ce qui montre que h est définie sur U0 , voisinage de 0, sauf, peut-être,
en 0.
– Le même type de raisonnement nous donne la limite cherchée. Soit W un voisinage de 0,
comme g est continue en 0, il existe un voisinage V de 0 tel que pour tout y ∈ V , g(y) ∈ W .
Comme la limite de f en 0 est 0, il existe donc un voisinage U de 0 tel que pour tout x ∈ U ,
x 6= 0, y = f (x) ∈ V . Pour de tels x, h(x) := g(f (x)) = g(y) ∈ W .
– Conclusion : Étant donné W voisinage de 0, on a donc trouvé un voisinage U de 0 tel que
pour tout x ∈ U , x 6= 0, h(x) := g(f (x)) est dans W : c’est exactement la définition du fait
que la limite de h(x) lorsque x → 0 est 0.
Exemples et Remarques Cette proposition de composition, basée sur la continuité est celle que
l’on trouve le plus souvent dans les livres. Voici une variante en un sens plus naturelle.
Définition 20 On suppose que f est définie sur un voisinage de x0 , sauf peut-être en x0 et que
y0 est un réel. On dit que
f (x) tend vers y0 et f (x) 6= y0 lorsque x tend vers x0 et x 6= x0 si
1. f (x) tend vers y0 lorsque x tend vers x0 et x 6= x0
2. f (x) 6= y0 pour x suffisamment voisin de x0 , x 6= x0 .
On a alors la proposition
25
Proposition 21 Soient f , g deux fonctions réelles d’une variable réelle, x0 , y0 et z0 trois réels.
1. Si f (x) → y0 et f (x) 6= y0 lorsque x → x0 et x 6= x0
2. Si g(y) → z0 lorsque y → y0 et y 6= y0
alors g(f (x)) → z0 lorsque x → x0 et x 6= x0 .
1 − cos x 1
lim 2
= .
x→0 x 2
Définition 22 Soit f : D → R, x0 ∈ R, ` ∈ R.
1. Si D ∪ {x0 } est voisinage à droite de x0 , i.e contient un intervalle du type [x0 , x0 + h[ pour
un certain h > 0, on dit que f admet ` comme limite à droite en x0 si
x>x0 ,x→x0
f (x) → `
2. On a une définition similaire pour la limite à gauche, que l’on note lim x→x
x<x0
0 f (x) = ` ou
limx→x− f (x) = ` o
0
x<x0 ,x→x0
f (x) → `
Concernant les opérations et les limites à droite, les résultats vus précédemment restent valables
en remplaçant systématiquement lim x→x 0 par lim x→x0 . Il en est de même pour les limites à gauche.
x6=x0 x>x0
Cette notion peut-être utile lorsqu’il s’agit de traiter le cas d’une fonction définie par une
alternative du fait du résultat suivant
Proposition 23 Soit f une fonction réelle de variable réelle définie sur un voisinage du point
x0 ∈ R, sauf peut-être en x0 . Sont équivalentes les propositions suivantes
1. ` est limite de f (x) lorsque x → x0 , x 6= x0
2. ` est limite à droite de f (x) lorsque x → x0 et ` est limite à gauche de f (x) lorsque x → x0 .
26
2.3 Limites en +∞, en −∞ et limites infinies
2.3.1 Voisinages de l’infini
Définition 24 Soit V une partie de R, on dit que
1. V est un voisinage de +∞ si V contient un intervalle du type ]A, +∞[, pour un certain
A ∈ R.
2. V est un voisinage de −∞ si V contient un intervalle du type ]−∞, A[, pour un certain
A ∈ R.
2.3.2 Définition
Définition 25 Soit f : D → R définie au voisinage de +∞, ` un réel. On dit que la limite f en
+∞ est ` si
Exemples et Remarques
1. On a évidemment une définition analogue pour la situation en −∞.
2. On a encore unicité de la limite, sous réserve d’existence.
3. La définition de f (x) → 0 lorsque x → +∞ s’écrit donc, au cas où f est définie sur un
voisinage de +∞,
Pour tout > 0, il existe A ∈ R tel que pour tout x ∈ ]A, +∞[, |f (x)| < .
Fonctions de référence
Les fonctions suivantes sont des exemples fondamentaux de fonctions de limites nulle en +∞.
Leur étude sera faite au chapitre 5.
1. Soit α > 0, la fonction f : R∗ → R, x 7→ 1
|x|α = |x|−α a pour limite 0 en ±∞.
ln |x|
2. Soit α > 0, la fonction f : R∗ → R, x 7→ |x|α = |x|−α ln |x| a pour limite 0 en ±∞.
β
3. Soit α ∈ R, β > 0, la fonction f : R∗ → R, x 7→ |x|α e−|x| a pour limite 0 en ±∞.
27
2.3.3 Opérations
Concernant les opérations et les limites en +∞, les résultats vus sur les limites usuelles restent
valables en remplaçant systématiquement lim x→x x6=x
0 par limx→+∞ .
0
Fonctions de référence
Les fonctions suivantes sont des exemples fondamentaux de fonctions de limites infinies. Les
exemples ci-dessous relèvent de ce que l’on appelle les « croissances comparées », du logarithme, de
l’exponentielle et des fonctions puissances, voir la partie 5.4.2 du chapitre 5 pour des justifications
de ceci.
1. Soit α > 0, la fonction f : R∗ → R, x 7→ 1
|x|α = |x|−α a pour limite +∞ en 0.
2. La fonction f : R∗ → R, x 7→ 1
x a pour limite +∞ en 0+ et −∞ en 0− .
3. La fonction f : R∗ → R, x 7→ ln |x| a pour limite −∞ en 0 et +∞ en ±∞.
β
4. Soit α ∈ R, β > 0, la fonction f : R∗ → R, x 7→ |x|α e+|x| a pour limite +∞ en ±∞.
Exemples et Remarques Si limx→±∞ f (x) = ±∞, on dit que f admet une branche infinie
qu’on peut étudier plus avant (recherche de droites asymptotes, position de la courbe relativement
à cette asymptote). Nous étudierons ceci plus en détail dans le chapitre sur les développements
limités.
Exemples et Remarques
1. On a le même type d’énoncé avec g(y) → ` lorsque y → −∞, f (x) → −∞ lorsque x → x0 .
2. On peut remplacer les « x → x0 » par des limites lorsque x → ±∞ ou lorsque x → x±
0.
3. La preuve de cette proposition est sur le même canevas que la preuve de la composition pour
les limites finies, proposition 19.
28
2.3.5 Quelques remarques finales concernant les opérations
On a vu les règles opératoires concernant les limites finies et leur comportement vis à vis des
opérations. Quand l’une des limites est infinie ou quand on ne tombe pas dans l’un des cas décrits
ci-après, on tombe sur ce que l’on appelle une forme indéterminée. Il s’agit alors de travailler
un peu plus pour « lever » cette indétermination.
Quelques exemples de formes indéterminées (lorsque x → x0 ) :
1. f (x) → +∞, g(x) → −∞, f (x) + g(x) → ? ?
2. f (x) → ±∞, g(x) → ±∞, f (x) + g(x) → ? ?, f (x)/g(x) → ? ?
3. f (x) → 0, g(x) → 0, f (x)/g(x) → ? ?
4. f (x) → 0, g(x) → +∞, f (x).g(x) → ? ?
Il y a par contre un certain nombre de règles combinant limites finies et infinies qui sont à
connaître
1. f (x) → +∞, g(x) → +∞, f (x) + g(x) → +∞, f (x).g(x) → +∞
2. f (x) → −∞, g(x) → −∞, f (x) + g(x) → −∞, f (x).g(x) → +∞
3. f (x) → `, g(x) → +∞, f (x) + g(x) → +∞,
(a) Si ` > 0, f (x).g(x) → +∞,
(b) si ` < 0, f (x).g(x) → −∞,
(c) si ` = 0, indétermination.
4. f (x) → `, g(x) → ±∞, f (x)/g(x) → 0
5. f (x) → ` > 0, g(x) → 0+ (cela signifie que g reste positive au voisinage du point considéré),
f (x)/g(x) → +∞
Voici, sur un certain nombre d’exemples et de techniques pour lever ces indéterminations
1. 0/0, limx→0 sinx x = 1, c’est à connaître et une preuve de ceci ne peut reposer que sur la
définition même de la fonction sinus.
2
2. +∞/+∞. limx→+∞ 7x3x−3x+2 2 +5 = 73 . Ici numérateur et dénominateur tendent vers +∞ (pour-
quoi est-ce vrai du numérateur ?). La technique consiste à factoriser en haut et en bas la plus
grande puissance, qui est le terme dominant lorsque x → ∞ dans une expression polynomiale.
On a donc, pour x assez grand,
7x2 − 3x + 2 x2 7 − x3 + x22
= .
3x2 + 5 x2 3 + x52
29
Chapitre 3
Continuité
Proposition 29 f : D → R est continue en x0 ∈ D si pour toute suite (un )n∈N à valeurs dans
D, convergeant vers x0 , la suite (vn )n∈N définie par vn = f (un ) converge vers f (x0 ).
Exemples et Remarques
1. De ce qui a été dit sur les limites, on a par exemple que toute fonction polynomiale définie
sur R est continue en tout x0 ∈ R.
2. Les fonctions ln, exp, x 7→ |x|α , les fonctions trigonométriques usuelles sont continues en
tout point de leurs ensembles de définition respectifs.
Exemples et Remarques
31
1. La fonction « sinus cardinal », utile en traitement du signal, est définie, pour x ∈ R par
sinc(x) = sinx x si x 6= 0, sinc(0) = 1. Il s’agit du prolongement par continuité en 0 de la
fonction définie par x ∈ R \ {0} 7→ sinx x .
2. f (x) = x sin x1 est prolongeable par continuité en 0 car f (x) → 0 lorsque x → 0, x 6= 0.
Proposition 32 Une fonction est continue en un point x0 si et seulement elle y est continue à
gauche et à droite.
Exercice résolu en cours. Étudier, suivant les valeurs du paramètre réel a, la continuité en 0
de la fonction f : R → R définie par
sin 2x
x si x < 0
f (x) =
x+a si x ≥ 0
Indication: La limite à gauche en 0 de cette fonction est 2, sa limite à droite y est a, qui est par ailleurs
sa valeur en 0, f est donc continue en 0 si et seulement si a = 2.
f bornée localement
Proposition 34 Si f est continue en x0 et f (x0 ) > 0, alors f (x) > 21 f (x0 ) pour tout x dans un
certain voisinage de x0 .
Opérations
32
Composition
Proposition 36 Si f est continue en x0 ∈ R, y0 = f (x0 ), g est continue en y0 alors h = g ◦ f
est bien définie sur un voisinage de x0 et est continue en x0 .
Exemples et Remarques
1. Si I contient l’une de ses bornes, le fait que f soit continue sur I ne signifie pas que f est
continue en chaque point 3 de I.
Illustrons ce fait sur un exemple concret. Considérons la fonction H définie sur l’intervalle
[−1, 1] par H(x) = 1 si x ≥ 0, H(x) = 0 si x < 0.
La fonction H n’est pas continue sur son intervalle de définition car elle n’est pas continue
en 0. Par contre elle est continue sur chacun des intervalles [−1, 0[ et [0, 1].
2. Lorsque l’on parlera de fonction continue sur un intervalle I, on se placera toujours dans la
situation où f est définie sur un domaine D contenant I et I est non trivial.
3. Une remarque toute simple mais utile à la cohérence du discours est que si f est continue
sur un intervalle I et J est un intervalle contenu dans I alors f est continue sur J.
4. En utilisant la caractérisation séquentielle des limites, on obtient alors
1. Un intervalle est non trivial s’il est non vide, non réduit à un point.
2. On remarque qu’alors I est voisinage de chacun de ses points
3. Dans certain ouvrages, comme définition de f est continue sur une partie D0 contenue dans D, on demande
que f soit continue en chaque point de D0 . Ce n’est pas la convention que nous adoptons ici
33
Proposition 38 Soit I un intervalle de R, f une fonction alors on a équivalence entre
(a) f est continue sur I.
(b) Pour toute suite (un )n∈N de points de I convergeant vers ` dans I, la suite (f (un ))n∈N
converge vers f (`).
3.2.2 Propriétés
Recollement
Proposition 39 (Recollement) Soient I et J deux intervalles non triviaux ayant un seul point
commun a. Si f est continue sur I et f est continue sur J alors f est continue sur l’intervalle
I ∪ J.
Il suffit de voir que dans cette situation, comme I et J sont non triviaux, a est un point intérieur
à l’intervalle I ∪ J et on peu supposer que a est l’extrémité droite de I et l’extrémité gauche de
J. Par ailleurs, les limites à gauche et à droite de f en a coincident toutes deux avec f (a). En
conclusion f admet f (a) pour limite en a.
Si x0 est un point de I ∪J différent de a, alors, pour un voisinage V de x0 , soit V ∩(I ∪J) = V ∩I,
soit V ∩ (I ∪ J) = V ∩ J. Dans le premier cas, la limite de f en x0 est f (x0 ) du fait de la continuité
de f sur I. Le second cas est similaire.
Opérations
Proposition 40 Si I est un intervalle de R non trivial, f, g, fonctions à valeurs réelles sont
continues sur I alors
1. f + g est continue sur I,
2. f.g est continue sur I,
3. si g ne s’annule pas sur I, f /g est continue sur I.
Composition
Proposition 41 Soient I et J deux intervalles de R. Si f , à valeurs réelles, continue sur I, g, à
valeurs réelles, continue sur J. Si, pour tout x ∈ I, f (x) ∈ J, la composée h = g ◦ f est continue
sur I.
Preuve. Soit y un nombre entre f (a) et f (b). Il s’agit de se mettre en position pour appliquer
le théorème 42. Il suffit de considérer la fonction g définie par g(t) = f (t) − y pour t ∈ I car une
solution de l’équation g(x) = 0, x ∈ I est une solution de f (x) = y, x ∈ I et réciproquement.
4. c est entre a et b si a ≤ c ≤ b ou a ≥ c ≥ b, il est strictement entre a et b si a < c < b ou a > c > b
34
Soit donc, si f (a) ≤ y et f (b) ≥ y 5 ,
g(t) = f (t) − y
cette fonction est continue sur I, g(a) = f (a) − y ≤ 0, g(b) = f (b) − y ≥ 0 et donc il existe c entre
a et b tel que g(c) = 0 et donc f (c) = y.
Exemples et Remarques
1. Cela signifie que lorsque x décrit I, f (x) décrit exactement un intervalle....
2. Aucune précision n’est apportée quant au « type » de l’intervalle image. Sauf dans le cas très
particulier où l’intervalle I est de la forme [a, b], le type de l’intervalle image est indépendant
du type de l’intervalle de départ. Par exemple, si f : I = ]−1, 1[ → R est définie par
f (x) = x2 , on a f (I) = [0, 1[.
Preuve. On utilise la caractérisation suivante des intervalles de R dont la preuve est hors de
notre programme.
Proposition 45 Si A est une partie de R possédant la propriété suivante,
« Pour toute paire de points y1 et y2 dans A, si y est un réel entre y1 et y2 alors y ∈ A »
alors A est un intervalle de R.
Réciproquement, les intervalles de R ont cette propriété.
Cette caractérisation n’est pas triviale (la réciproque est claire comme on peut le voir en listant
tous les types possibles d’intervalles). La difficulté pour montrer qu’une partie de R ayant cette
propriété est un intervalle est d’exhiber les bornes possibles pour l’intervalle...
Revenons à la preuve du théorème 44. Soit A = f (I) = {f (x), x ∈ I}. Soient y1 et y2 dans A
et y un réel quelconque entre y1 et y2 . On peut alors trouver deux points a et b dans I tels que
f (a) = y1 et f (b) = y2 . Le théorème 43, appliqué à l’intervalle fermé J d’extrémités a et b, affirme
que, puisque f est continue sur J et que y est entre f (a) et f (b), il existe x entre a et b tel que
f (x) = y. Ce nombre x est dans I car a et b y sont et donc cela montre que y ∈ f (I) = A.
D’après la proposition 45, on a donc montré que A est un intervalle.
35
3. Si I = [1, +∞[ et f (x) = x1 alors s’il y avait un minimum de cette fonction en c ∈ I, on
aurait une contradiction car f (c + 1) < f (c).
4. Si I = ]0, 1] et f (x) = (1 − x) sin x1 , f n’a ni minimum ni maximum sur I. Lorsque x
s’approche de 0, f (x) s’approche d’aussi près que l’on veut de ±1 sans jamais atteindre ces
valeurs.
Le théorème des suites adjacentes affirme que deux suites adjacentes sont convergentes et ont
même limite. Ce théorème est issu de la construction même des nombres réels 6 –il peut, suivant la
construction choisie, être un théorème ou un axiome–Il n’est pas question que nous le démontrions
ici.
est terminé et on a bien trouvé une solution de l’équation g(x) = 0. Sinon, on a g(a0 ) < 0, g(b0 ) > 0
et deux possibilités : g(c0 ) < 0 ou g(c0 ) > 0.
– Si g(c0 ) < 0, on pose a1 = c0 , b1 = b0
– Si g(c0 ) > 0, on pose a1 = a0 , b1 = c0
on pose c1 = a1 +b
2 . Dans les deux cas, on a alors g(a1 ) < 0, g(b1 ) > 0, a0 ≤ a1 ≤ c1 ≤ b1 ≤ b0 .
1
36
a3 b3
y = f (x)
a2 b2
a1 b1
a0 b0
c2 c3 c1 c0
Figure 3.1 – L’algorithme de dichotomie. Le point c3 est très proche d’une solution de l’équation
37
Chapitre 4
Dérivabilité
dy y − y0
= limx→x0 ,x6=x0
dx|x = x0 x − x0
Exemples et Remarques
1. f : R → R définie par f (x) = x2 admet un nombre dérivé en tout x0 ∈ R. On a f 0 (x0 ) = 2x0 .
√
2. g : R+ → R définie par g(x) = x admet un nombre dérivé (ou une dérivée) en x0 pour
tout x0 > 0. On a
1
g 0 (x0 ) = √
2 x0
Y − f (x0 ) = θ(x).(X − x0 )
39
1.2
f(x)
t(x)
1.15
1.1
1.05
0.95
0.9
0.95 1 1.05 1.1 1.15 1.2 1.25
Figure 4.1 – x0 = 1.1, quelques cordes au graphe de f passant par (x0 , f (x0 )) et la tangente au
graphe en x0
Lorsque x tend vers x0 , θ(x) tend vers f 0 (x0 ), ce qui signifie géométriquement que la corde se
« rapproche » de la droite d’équation
4.1.4 DL d’ordre 1
De la définition même de limite, on déduit la
Proposition 50 Soit x0 un réel, f une fonction définie au voisinage de x0 . f est dérivable en x0
si et seulement si il existe un nombre ` et une fonction , définie au voisinage de 0 tels que
(i) est continue en 0, (0) = 0
(ii) pour tout x voisin de x0 ,
40
4.1.5 Dérivabilité et continuité
Corollaire 51 Si f est dérivable en x0 , elle y est continue.
Exemples et Remarques
1. La réciproque est fausse comme le montre l’exemple de la fonction valeur absolue en 0.
2. On peut construire une fonction, continue sur R, qui n’est dérivable en aucun point
On a une définition similaire pour la dérivabilité à gauche et fg0 (x0 ), le nombre dérivé à gauche.
Proposition 53 Soit f définie au voisinage du point x0 . f est dérivable en x0 si et seulement si
elle y est dérivable à gauche et à droite et
fd0 (x0 ) = fg0 (x0 )
√
Exercice résolu en cours. Étude de la dérivabilité de f (x) = x2 + x3 définie sur [−1, +∞[ en
−1 à droite et en 0.
4.1.8 Composition
Proposition 55 (Règle de la chaîne) Soit x0 ∈ R, f une fonction définie au voisinage de x0 ,
dérivable en x0 . Soit y0 = f (x0 ), g une fonction définie au voisinage de y0 , dérivable en y0 .
La fonction h = g ◦ f est définie au voisinage de x0 , y est dérivable et
h0 (x0 ) = (g ◦ f )0 (x0 ) = f 0 (x0 ).g 0 (y0 ) = f 0 (x0 ).g 0 (f (x0 ))
En notation physicienne, en posant y = f (x), z = g(y) = h(x),
dz dz dy
=
dx|x = x0 dy|y = y0 dx|x = x0
41
Preuve. Le fait que h soit bien définie au voisinage de x0 est une conséquence de l’énoncé similaire
sur la continuité.
D’après la proposition 50, il existe deux fonctions et η, définies au voisinage de 0 telles que
pour tout x voisin de x0 , tout y voisin de y0 = f (x0 ),
f (x) = f (x0 ) + (x − x0 )f 0 (x0 ) + (x − x0 )(x − x0 )
g(y) = g(y0 ) + (y − y0 )g 0 (y0 ) + (y − y0 )η(y − y0 )
y = f (x) est suffisamment voisin de y0 pour que l’on puisse écrire, par substitution de la première
égalité dans la seconde que
g(f (x)) = g(f (x0 )) + ((x − x0 )f 0 (x0 ) + (x − x0 )(x − x0 )) g 0 (y0 ) +
+ ((x − x0 )f 0 (x0 ) + (x − x0 )(x − x0 )) η ((x − x0 )f 0 (x0 ) + (x − x0 )(x − x0 ))
= g(f (x0 )) + (x − x0 )f 0 (x0 ).g 0 (y0 ) + (x − x0 )0 (x − x0 )
On a ici posé
0 (h) = (h)g 0 (y0 ) + (f 0 (x0 ) + (h)) η (h.f 0 (x0 ) + h(h))
qui est clairement une fonction de limite 0 en 0. On a donc prouvé l’existence d’un DL d’ordre 1
de h au voisinage de x0 , i.e la dérivabilité de h en x0 et le fait que
h0 (x0 ) = f 0 (x0 ).g 0 (y0 )
42
4.2.2 Opérations
Proposition 57 (Recollement) Soient I et J deux intervalles non triviaux ayant pour seul
point commun le point a. Soit f une fonction de classe C 1 sur I et sur J alors, pourvu que
fg0 (a) = fd0 (a) la fonction f est de classe C 1 sur l’intervalle I ∪ J.
Les résultats concernant les opérations sur les fonctions et la dérivabilité en un point a
s’étendent naturellement en des résultats sur les fonctions dérivées
3. Soit J un intervalle et g ∈ C 1 (J). Si pour tout x ∈ I, f (x) ∈ J alors la fonction g◦f ∈ C 1 (I),
et, sur I,
(g ◦ f )0 = (g 0 ◦ f ).f 0
Exemples et Remarques
1. Du fait que la fonction id : R → R, x 7→ x est C 1 sur R, on déduit que tout fonction
polynomiale est C 1 sur R, sa dérivée est alors une fonction polynomiale.
2. Une fraction rationnelle est de classe C 1 sur tout intervalle contenu dans son domaine de
définition. Sa fonction dérivée est-elle même, sur chacun de ces intervalles, une fraction
rationnelle.
3. tan est de classe C 1 sur l’intervalle − π2 , + π2 . Sa dérivée y est la fonction x 7→ 1 + tan2 x =
1
cos2 x
43
f (x) f 0 (x) commentaires
xn nxn−1 pour x ∈ R si n ∈ N
xn nxn−1 pour x 6= 0 si n ∈ Z
ex ex pour x ∈ R
1
ln x x pour x > 0
1
ln |x| x pour x 6= 0
1
tan x cos2 x = 1 + tan2 x pour x 6∈ { π2 +
kπ, k ∈ Z}
1
arccos x − √1−x 2
pour −1 < x < 1
1
arctan x 1+x2 pour x ∈ R
44
Exemples et Remarques
1. Une fonction de classe C 0 sur I est, par convention, une fonction continue sur I, une fonction
de classe C 1 sur I est une fonction dérivable sur I telle que f 0 est continue sur I.
2. La définition précédente est récursive. Pour vérifier qu’une fonction est de classe C 3 sur I,
on a besoin de savoir d’abord qu’elle est C 2 et de vérifier que f (2) est C 1 sur I.
3. La convention de notation pour les premières dérivées est la suivante f (0) = f , f (1) = f 0 ,
f (2) = f 00 . L’écriture de droite est souvent préférée lors de la manipulation d’une de ces
fonctions. Par exemple, après calcul, on a f 00 (x) = . . . . L’écriture de gauche est préférée lors
de l’écriture de formule compactes comme on va le voir ci-dessous.
4. Une fonction est dite de classe C ∞ sur l’intervalle I si elle est de classe C n sur I, pour tout
entier naturel n
Proposition 60
Si f est de classe C n sur I alors f , f 0 ,...,f (n) existent et sont continues sur I.
Si f et g sont de classe C n sur I, λ est une constante alors f + g, λ.f , f.g sont de classe C n sur I
f
Si, de plus, g ne s’annule pas sur I alors g est de classe C n sur I.
Si f : I → R est de classe C n sur I, g : J → R est de classe C n sur J et f (I) ⊂ J alors g ◦ f est
de classe C n sur I.
Exemples et Remarques
1. Les formules pour (f + g)(n) et (λ.f )(n) sont simples. On a
2. La formule pour (f.g)(n) est plus compliquée mais se démontre aisément par récurrence sur
n d’une façon similaire à la formule du binôme de Newton. On a la formule de Leibniz
n
X n
(f.g)(n) = f (k) .g (n−k)
k
k=0
n(n − 1) 00 (n−2)
= f.g (n) + nf 0 .g (n−1) + f .g + ...
2
n(n − 1) (n−2) 00
+ f .g + +nf (n−1) .g 0 + g (n) .f
2
3. Il existe une formule pour (g ◦ f )(n) appelée Formule de Faa Di Bruno. Elle est trop
horrible pour être reproduite ici et la formule exacte est d’une utilité assez faible à notre
niveau.
Exemples et Remarques
1. Les fonctions polynomiales sont de classe C ∞ sur R, de même que exp, sin, cos
2. ln est de classe C ∞ sur ]0, +∞[.
√
3. est de classe C ∞ sur ]0, +∞[ mais ne l’est pas sur son ensemble de définition : il y a un
problème en 0.
45
Exemples et Remarques On a une définition semblable pour un minimum local. Si f admet en
a un maximum ou un minimum local, on dit que f admet en a un extremum local.
Si f admet un maximum global en a, i.e pour tout x ∈ D, f (x) ≤ a, elle y admet a fortiori
un maximum local.
Proposition 62 Soit f une fonction à valeurs réelles, dérivable sur un intervalle I, a un point
intérieur à I 2 .
Si f admet un extremum local en a alors f 0 (a) = 0.
Preuve. Supposons que f 0 (a) 6= 0, nous pouvons écrire le DL d’ordre 1 de f en a : il existe une
fonction , continue en 0, (0) = 0, telle que pour tout x voisin de a,
Sur un certain voisinage de a, la quantité 1 + (x − a) est strictement positive et donc, sur ce
voisinage, f (x) − f (a) est du même signe que f 0 (a).(x − a). De part et d’autre de a (on se sert là
du fait que a est intérieur à I), cette quantité prend des valeurs > 0 et < 0, ce qui est impossible
si f admet un extremum local en a.
f (b) − f (a)
= f 0 (c)
b−a
Preuve. On se ramène d’abord au cas particulier où f (a) = f (b) auquel cas le théorème précédent
s’appelle le Lemme de Rolle. Si f satisfait les hypothèses du théorème des accroissements finis,
la fonction
f˜(x) = f (x) − eq. de la corde entre a et b
satisfait les hypothèses du lemme de Rolle et l’on peut conclure.
Si f (a) = f (b), la fonction f , qui est continue sur [a, b] admet un minimum m et un maximum
M par le théorème 47. Si m = M , cela signifie que la fonction est constante sur [a, b]. Sa dérivée
y est donc nulle.
Si m < M , l’un de ces deux nombres est différent de f (a) = f (b), il s’agit donc d’un extremum
local de f atteint en un point intérieur c à [a, b]. On a alors f 0 (c) = 0.
Théorème 65 Si I est un intervalle de R et si f est une fonction dérivable sur I telle que f 0 > 0
sur I alors f est strictement croissante sur I.
2. i.e a n’est pas une borne de I
46
f (b)
f(x)
t(x)
c(x)
f (b)−f (a)
y= b−a (x − a) + f (a)
f (c)
y = f 0 (c)(x − a) + f (a)
f (a)
a c b
Figure 4.2 – [a, b] = [1, 2], il y a une tangente entre a et b qui est parallèle à la corde au graphe
entre a et b.
Preuve. Soient x < y deux points de I. La fonction f est dérivable sur ]x, y[ et continue sur
[x, y]. On peut alors appliquer le théorème 63 (TAF) pour obtenir que, pour un certain z ∈ I,
f (y) − f (x)
= f 0 (z) > 0
y−x
47
Exemples et Remarques
1. Ce théorème implique l’égalité, à une constante additive près, des primitives sur un intervalle
I d’une fonction f continue sur I, voir la section 6.1 du chapitre 6.
2. Il est aussi à la base de résultats d’unicité concernant les équations différentielles.
Preuve. On sait déjà que sur ]a, b], f˜ est C 1 et f˜0 = g, tout le problème est concentré au point a.
Soit x ∈ ]a, b], d’après le théorème 63, le TAF, appliqué à f˜ sur l’intervalle [a, x], on a l’existence
d’un point zx ∈ ]a, x[ tel que
f˜(x) = f˜(a) + (x − a)g(zx )
Mais, comme g est continue sur [a, b] et notamment en a, il existe g , continue en 0 à droite,
(0) = 0, telle que
g(zx ) = g(a) + g (zx − a)
En remplaçant, on obtient alors que
Comme lorsque x → a, za → a (gendarmes !), alors, il existe une fonction telle que g (zx − a) =
(x − a), ce qui donne
f˜(x) = f˜(a) + (x − a)g(a) + (x − a)(x − a)
et garantit que f˜ est dérivable en a avec f˜0 (a) = g(a).
Exercice résolu en cours. Montrer que la fonction définie pour x 6= 0 par la formule sinx x se
prolonge en une fonction C 1 sur tout R. 4 Quelle est la valeur de sa dérivée en 0 ? Indication: On
admettra qu’il existe deux fonctions de limite 0 en 0 telles que cos x = 1 − 12 x2 + x2 (x) et sin x =
x − 16 x3 + x3 (x).
Preuve. |f 0 | est continue sur [a, b], il existe donc une constante M telle que pour tout z ∈ I,
|f 0 (z)| ≤ M .
Soient x < y dans I, on peut appliquer le TAF, le théorème 63, à la fonction f sur l’intervalle
[x, y] et donc, il existe z ∈ I tel que
Ce théorème sert à obtenir des inégalités intéressantes. A titre d’exemples, le lecteur pourra
montrer les inégalités suivantes
1. Pour tous x, y ∈ R,
| sin x − sin y| ≤ |x − y|
4. Cette fonction est appelée le sinus cardinal, elle est utilisée en électronique, en traitement du signal...
48
2. Si a > 0, pour tous x, y ∈ [a, +∞[,
√ √ 1
| y − x| ≤ √ |x − y|
2 a
49
Chapitre 5
Fonctions réciproques
Autrement dit, f établit une bijection de A sur B si pour tout y dans B, l’équation f (x) = y
d’inconnue x dans A admet une unique solution.
Exemples et Remarques Soit f : R → R définie par f (x) = x2 . Pour que l’équation y = f (x)
d’inconnue x ∈ R admette au moins une solution, il faut que y ≥ 0. Si y > 0, il est bien connu
(et on le redémontrera plus loin) que l’équation en question admet deux solutions distinctes (non
nulles et opposées). Pour que f établisse une bijection d’une partie A de R sur R+ , il nous faut
√
une unique solution. On choisit en général la solution positive (que l’on note y) et, dans notre
langage, cela se traduit par le fait que f établit une bijection de R+ sur R+ .
On aurait pu choisir de prendre systématiquement la solution négative, on a aussi que f établit
une bijection de R− sur R+ .
Exemples et Remarques
1. Si f : A → B est bijective, f −1 : B → A est caractérisée par :
51
√ √
4. La fonction « racine carrée » : y ∈ R+ 7→ y ∈ R+ est définie comme étant la bijection
2
réciproque de la bijection (.) : R+ → R+ , x 7→ x2 .
√
Il faut bien se rendre compte que jusqu’à présent nous parlons de cette fonction mais nous
n’avons aucune garantie quant à sa bonne définition.
5. Il ne faut surtout pas confondre f −1 avec la fonction f1 ! Le vocable fonction inverse de f
est parfois utilisé. Suivant le contexte, cela peut désigner f −1 , la bijection réciproque de f
ou f1 , la composée de l’inversion, x 7→ x1 et de f .
1
y = f (x)
y = f −1 (x)
y=x
0
-1 0 1
-1
Figure 5.1 – Dans un même repère orthonormé, les graphes de f et f −1 sont symétriques par
rapport à la première bissectrice
52
5.2 Propriétés de régularité des fonctions réciproques
5.2.1 Le théorème de continuité
Théorème 71 Soit f une fonction continue, strictement monotone sur un intervalle I alors
(i) J = f (I) est intervalle de R
(ii) f établit une bijection de I sur J
(iii) La fonction réciproque f −1 : J → I est continue, strictement monotone sur J, de même
sens de variation que f .
Preuve.
(i) C’est une des versions que nous avons donnée du théorème des valeurs intermédiaires, le
théorème 44.
(ii) Soit y ∈ J fixé. Par définition même de l’ensemble J = f (I), l’équation y = f (x) d’inconnue
x ∈ I admet une solution. Rappelons que f (I) est l’ensemble de toutes les images possibles
des éléments de I par la fonction f .
Cette équation ne peut admettre qu’une solution car f est strictement monotone. En effet,
si l’on dispose de deux solutions distinctes x1 < x2 , on a alors f (x1 ) = y = f (x2 ), ce qui est
impossible car f étant strictement monotone, on a soit f (x1 ) < f (x2 ), soit f (x1 ) > f (x2 ).
(iii) Supposons que f est strictement croissante pour fixer les idées. Soient y1 < y2 ∈ J. De
deux choses l’une, soit f −1 (y1 ) ≥ f −1 (y2 ), soit f −1 (y1 ) < f −1 (y2 ). Si le premier cas a lieu,
comme f est croissante, on alors que
f (f −1 (y1 )) ≥ f (f −1 (y2 ))
et donc y1 ≥ y2 , ce qui est contraire à l’hypothèse sur y1 et y2 , c’est donc le deuxième cas
qui est vérifié.
Donc, pour y1 < y2 , f −1 (y1 ) < f −1 (y2 ), ce qui montre que f est strictement croissante.
(Hors cours) En ce qui concerne la continuité de f −1 . Si f n’est pas continue sur J, c’est qu’elle
n’est pas continue en un certain point y0 de J (continue à droite ou à gauche si y0 est l’une
des extrémités de J). Il existe x0 ∈ I tel que f (x0 ) = y0 . Si f −1 n’est pas continue en y0 ,
cela signifie qu’il existe une suite (yn ) de points de J, convergeant vers y0 mais telle la suite
de points de I, xn = f −1 (yn ), ne converge pas vers x0 . On peut, quitte à éliminer des termes
de la suite (yn ), supposer que cette suite est strictement monotone. La suite xn = f −1 (yn )
est donc elle aussi strictement monotone.
Cette suite admet une limite ` dans R, différente de x0 et en analysant les différents cas,
il existe alors un point m dans I, qui est strictement entre ` et x0 , ce qui montre, du fait
de la stricte croissance de f , que pour tous les n à partir d’un certain rang, yn = f (xn ) et
y0 = f (x0 ) sont strictement séparés par f (m), ce qui interdit la convergence de yn vers y0
et mène donc à une contradiction.
53
5.2.3 Le théorème de dérivabilité
Théorème 72 Soit f une fonction continue, strictement monotone sur un intervalle I. Soit J =
f (I) et f −1 : J → I la fonction réciproque.
(i) Si x0 ∈ I, f 0 (x0 ) 6= 0 alors f −1 est dérivable en y0 = f (x0 ) ∈ J et
1 1
(f −1 )0 (y0 ) = = 0 −1 .
f 0 (x0 ) f (f (y0 ))
(ii) Si f est de classe C 1 sur I et f 0 ne s’annule pas sur I alors f −1 est de classe C 1 sur J et
1
(f −1 )0 = .
f 0 ◦ f −1
(iii) Soit n ≥ 1. Si f est de classe C n sur I et f 0 ne s’annule pas sur I alors f −1 est de classe
C n sur J.
Preuve. Les points (ii) et (iii) sont clairement des conséquences du point (i). Nous ne prouvons
que celui-ci.
Comme f est dérivable en x0 , il existe une fonction de limite nulle en 0 telle que
Par ailleurs, 1 + η(y − y0 ) a pour limite 1 lorsque y → y0 et donc pour tout y suffisamment
proche de y0 ,
−1 −1 1 1 1 1 1
f (y)−f (y0 ) = (y−y0 ) 0 = (y−y0 ) 0 +(y−y0 ) 0 −1
f (x0 ) 1 + η(y − y0 ) f (x0 ) f (x0 ) 1 + η(y − y0 )
1
Comme 1+η(y−y 0)
− 1 tend vers 0 lorsque y → y0 , on a donc obtenu un développement
limité d’ordre 1 de f −1 au voisinage de y0 . Ceci démontre que f −1 est dérivable en y0 et nous
donne la valeur de (f −1 )0 (y0 ) annoncée.
√
5.3 Les fonctions racine n-ième, n
x
5.3.1 Rappel : Les fonctions « puissance » d’exposant entier
Si n est un entier naturel, n 6= 0 et x un nombre réel, on pose
xn = x
| .{z
. . x}
n fois
Proposition 73 On a les propriétés suivantes, pour x, y des réels, m, n des entiers naturels dis-
tincts de zéro.
1. 1n = 1
54
2. xm+n = xm .xn
3. (xy)n = xn .y n
4. (xn )m = xmn
5. Binôme de Newton
n X n!
n
X n
(x + y) = xk y n−k = xk y `
k k!`!
k=0 k+`=n
0≤k,`
Les règles 1., 2., et 4. suggèrent l’extension de cette notation à n = 0 et aux entiers négatifs
pourvu que l’on considère des nombres réels x 6= 0.
On pose, pour n = 0, x0 = 1 et, pour n entier, n < 0, x 6= 0,
−n
1 1
xn = −n =
x x
Proposition 74 On a les propriétés suivantes, pour x, y des réels non nuls, m, n des entiers
relatifs,
1. 1n = 1
2. xm+n = xm .xn
3. (xy)n = xn .y n
4. (xn )m = xmn
Soit n un entier relatif. Posons pn , (comme "puissance n") la fonction définie par pn (x) = xn .
Lorsque n ≥ 0, son domaine de définition est R alors que pour n < 0, son domaine de définition
est R \ {0}.
Proposition 75 1. Pour n ≥ 1, pn est une fonction de classe C ∞ sur R dont la dérivée est
donnée par
pn (x)
p0n (x) = n.pn−1 (x) = n.
x
2. Pour n ≤ −1, pn est une fonction de classe C ∞ sur chacun des intervalles ]0, +∞[ et ]−∞, 0[.
Sa dérivée est donnée par
pn (x)
p0n (x) = n. = n.pn−1 (x)
x
3. p−1
n est de classe C
∞
sur chacun des intervalles ]0, +∞[ et ]−∞, 0[.
4. Pour x 6= 0, on a
1 p−1
n (x)
(p−1 0
n ) (x) =
n x
5. p−1
n n’est pas dérivable en 0. Le graphe de pn admet, en 0, une tangente verticale.
55
5.3.3 Le cas n pair
On suppose ici que n est un entier naturel pair.
3. p−1
n est de classe C
∞
sur l’intervalle ]0, +∞[.
4. Pour x > 0, on a
1 p−1
n (x)
(p−1 0
n ) (x) =
n x
5. p−1
n n’est pas dérivable en 0. Le graphe de pn admet, en 0, une demi-tangente verticale.
et pour α = pq , un nombre rationnel non nul sous forme réduite (p ∈ Z, q ∈ N∗ , p et q sans facteurs
premiers communs)
1
xα = (xp ) q
0 0
(y q )d = y q = xp = (xp )d
0 0
yq = xp
y = xα
Proposition 78 On a les propriétés suivantes, pour x, y des réels > 0, α, β des nombres ration-
nels,
1. 1α = 1
2. xα+β = xα .xβ
3. (xy)α = xα .y α
4. (xα )β = xα.β
5. La fonction pα : ]0, +∞[ → ]0, +∞[ x 7→ xα est de classe C ∞ , de dérivée en x > 0,
56
Preuve. Montrons, à titre d’exemple, que (xy)α = xα .y α . On suppose que α = pq . Par définition,
(xy)α est le nombre réel z > 0 tel que z q = (xy)p . On a, en utilisant les règles de calcul déjà
connues pour les exposants entiers, que
xα .y α = (x.y)α
α = −1/2
α=1
α = 1/3
α = 5/3
0
0 1
57
5.4 Les fonctions logarithme et exponentielle
5.4.1 Rappels : fonctions logarithme et exponentielle
Dans certains ouvrages, le logarithme népérien est défini comme étant la primitive s’annulant
en 1 de x 7→ x1 sur l’intervalle ]0 + ∞[. Cette définition nécessite la connaissance du théorème
d’existence des primitives de fonctions continues, ce que nous n’aborderons que dans le chapitre
6.2.
Théorème 80 Il existe une unique fonction, noté ln, appelée le logarithme népérien définie,
de classe C 1 sur ]0, +∞[ vérifiant,
1. ln 1 = 0
2. ln0 (x) = 1
x
Preuve. Prouvons par exemple le point 2. Fixons α rationnel et considérons la fonction f définie
sur I = ]0, +∞[ par f (x) = ln(xα ). Cette fonction est de classe C 1 sur I, on a f (1) = 0 et
1 1
f 0 (x) = αxα−1 =α
xα x
On en déduit que f (x) = α ln(x) pour x ∈ I, ce qui est ce que nous cherchons.
En ce qui concerne le point 3., la stricte croissance de ln est issue de la stricte positivité de sa
dérivée. On déduit de ceci que ln 2 > 0. Le point 2. implique que ln 2n = n ln 2 pour tout n ∈ Z.
2n et n ln 2 tendent vers +∞ lorsque n → +∞, on en déduit alors que limx→+∞ ln x = +∞.
Dans la plupart des cours de terminale actuels, la fonction exponentielle est définie comme étant
la seule solution, valant 1 en 0 d’une certaine équation différentielle. Cette définition nécessite la
connaissance de résultats d’existence de solutions d’équations différentielles.
Théorème 82 Il existe une unique fonction, notée exp, appelée l’exponentielle, de classe C 1
sur R vérifiant
1. exp(0) = 1,
2. exp0 = exp.
De ceci, on peut déduire immédiatement les propriétés suivantes
Proposition 83 1. Pour tous x, y ∈ R, exp(x + y) = exp(x). exp(y).
2. exp(x) > 0 pour tout x ∈ R.
3. Pour tout x ∈ R, α rationnel, exp(α.x) = (exp(x))α .
4. exp est strictement croissante sur R, limx→−∞ exp(x) = 0, limx→+∞ exp(x) = +∞.
Exemples et Remarques
1. En posant e = exp(1), le point 2. implique que pour tout α rationnel, eα = exp(α). On note,
pour x réel,
ex := exp(x).
Les règles de calcul fondamentales sur les puissances sont respectées
(a) e0 = 1,
(b) pour x, y réels, ex+y = ex .ey ,
(c) pour x réel, α rationnel, (ex )α = eαx .
58
2. De quelque point de vue que l’on parte, on peut toujours définir l’exponentielle à partir du
logarithme et vice versa en se basant sur la remarque suivante
exp est une bijection de R sur ]0, +∞[, ln est une bijection de ]0, +∞[ sur R. Ces deux
bijections sont réciproques l’une de l’autre.
3. Par exemple, supposons que la fonction ln soit définie en premier par son théorème d’existence
et soit exp sa fonction réciproque. Comme ln est de classe C ∞ sur ]0, +∞[ et que sa dérivée
ne s’y annule pas, exp est donc de classe C ∞ sur R et sa dérivée est
1 1
exp0 = 0 = 1 = exp
ln ◦ exp exp
y = ln x
y = ex
y=x
0
0 1 e
lim xα ex = +∞
x→+∞
lim xα ln x = 0
x→+∞
59
Preuve. La difficulté majeure est de prouver le point 1. Soit n un entier naturel, d’après la
formule de Taylor-Lagrange à l’ordre n + 1, comme la dérivée n + 1 de l’exponentielle est > 0, on
a, pour x > 0,
xn
ex ≥ 1 + x + · · · +
n!
Soit α un nombre rationnel donné et n un entier naturel, strictement supérieur à −α. On a donc
1 α+n
xα ex ≥ xα + · · · + x
n!
Comme α + n > 0, le membre de droite de cette inégalité tend vers +∞ lorsque x → +∞, ce qui
implique la limite annoncée.
Pour le deuxième point, il suffit de se rappeler que e−x = e1x . On a donc
1
xα e−x =
x−α ex
D’après le point 1., le membre de droite de cette égalité tend vers 0 car son dénominateur tend
vers +∞.
Pour le point 3., en posant y = α ln x, l’existence et la valeur de la limite cherchée sont les
mêmes que celle de la limite de α1 y.ey lorsque y → −∞. Le point 2 permet de conclure.
Le point 4. se traite de manière similaire.
ax := ex ln a
Lorsque a 6= 1, expa : x ∈ R 7→ ax ∈ ]0, +∞[ est une bijection de R sur ]0, +∞[. Sa bijection
réciproque est la fonction lna : ]0, +∞[ → R, définie par
ln x
lna (x) =
ln a
La valeur a = 10 est particulièrement prisée en physique-chimie, par exemple pour définir le
Ph d’une solution ou le bruit en décibels. Elle est notée le plus souvent par ln10 = log.
Pour α un réel quelconque, nous venons donc de définir aussi la fonction pα par pα (x) = xα
sur l’intervalle ]0, +∞[. Ces fonctions ont déjà été étudiées pour les valeurs de α rationnelles et les
résultats des propositions 78 et 79 sont encore valables en supposant les exposants réels.
60
5.5.1 La fonction arctan
sin x
La fonction tan est définie par tan(x) := cos x en tout point x tel que cos x 6= 0. Elle est donc
définie sur
π
R \ { + kπ, k ∈ Z}
2
tan est impaire et π-périodique et l’on a la proposition suivante qui résume ses propriétés
4.
π π
lim arctan x = + , lim arctan x = − ,
x→+∞ 2 x→−∞ 2
π
5. arctan est impaire, arctan(0) = 0, arctan 1 = 4, etc.
61
y = tan x
y = arctan x
y=x
π
2
1
π
4
0
− π2 -1− π4 0 π
4 1 π
2
− π4
-1
− π2
3. arcsin est de classe C ∞ sur ]−1, +1[ et sa dérivée est définie, pour x ∈ ]−1, +1[, par
1 1
arcsin0 (x) = √ = (1 − x2 )− 2
1 − x2
π
4. arcsin est impaire, arcsin(0) = 0, arcsin 1 = 2, etc.
5. Le graphe de arcsin admet des demi-tangentes verticales aux points x = ±1.
Proposition 91 Soit y ∈ [−1, +1] fixé. x est solution de l’équation sin x = y si et seulement si il
existe un nombre relatif k tel que x = arcsin y + 2kπ ou x = π − arcsin y + 2kπ.
Proposition 92 1. cos, restreinte à l’intervalle [0, π] est une fonction de classe C ∞ sur cet
intervalle.
√
2. Sa dérivée, sur cet intervalle, est donnée par la formule cos0 (x) = − sin x = 1 − cos2 x.
Cette dérivée est donc < 0 sur l’intervalle ]0, +π[.
√
2
3. cos 0 = 1, cos π2 = 0, cos π4 = 2 , cos π = −1 etc.
62
π
2 y = sin x
y = arcsin x
y=x
1
π
4
0
− π2 -1 − π4 0 π
4 1 π
2
− π4
-1
− π2
Théorème 93 1. cos définit une bijection de [0, π] sur [−1, +1]. Sa bijection réciproque est
notée arccos.
2. arccos est une fonction continue strictement décroissante de [−1, +1] sur [0, π].
3. arccos est de classe C ∞ sur ]−1, +1[ et sa dérivée est définie, pour x ∈ ]−1, +1[, par
1 1
arccos0 (x) = − √ = −(1 − x2 )− 2
1−x 2
π
4. arccos(1) = 0, arccos −1 = π, arccos 0 = 2, etc.
5. Le graphe de arccos admet des demi-tangentes verticales aux points x = ±1.
Proposition 94 Soit y ∈ [−1, +1] fixé. x est solution de l’équation cos x = y si et seulement si il
existe un nombre relatif k tel que x = arccos y + 2kπ ou x = − arccos y + 2kπ.
On a la relation suivante entre arcsin et arccos. La preuve en est aisée en dérivant le membre
de gauche. Cette relation est à rapprocher de la formule de trigonométrie bien connue cos x =
sin( π2 − x) valable pour tout réel x.
π
Proposition 95 Pour tout x ∈ [−1, +1], arcsin x + arccos x = 2
63
π y = cos x
y = arccos x
y=x
π
2
1
π
4
1/2
0
π π
-1 -1/2 0 1/2 4 1 2 π
-1/2
-1
l’axe des abscisses (cet angle n’est pas défini si M = O. Dans ce cas, on passe des coordonnées
polaires (ρ, θ) ∈ [0, +∞[×R de M à ses coordonnées cartésiennes en posant x = ρ cos θ, y = ρ sin θ.
La question à laquelle nous allons répondre ici concerne le passage dans l’autre sens : i.e connais-
sant les coordonnées cartésiennes de M , déterminer ses coordonnées polaires. La détermination
p de
ρ ne pose pas de problème, si x = ρ cos θ, y = ρ sin θ alors x2 + y 2 = ρ2 et donc ρ = x2 + y 2 .
Le problème est de calculer θ. Si M n’est pas sur l’axe des ordonnées, on a x 6= 0 et en faisant
le bon quotient on a alors
y
= tan θ
x
Cette formule suggère l’utilisation de la fonction arctan.
Trois cas principaux se dégagent :
(i) Si x > 0, l’angle θ, qui sur le schéma doit être compris entre − π2 et π2 est pris égal à
θ = arctan xy
(ii) Si x < 0 et y > 0, l’angle θ, qui sur le schéma doit être compris entre π2 et π est pris égal
à θ = π + arctan xy , dont la tangente vaut bien xy
(iii) Si x < 0 et y < 0, l’angle θ, qui sur le schéma doit être compris entre − π2 et −π est pris
égal à θ = −π + arctan xy , dont la tangente vaut bien xy
Concernant les points de l’axe des ordonnées, on pose
(iv) θ = π2 si x = 0 et y > 0, ce qui est la limite naturelle de θ lorsque y > 0 est fixé et que x
tend vers 0 par valeurs positives ou négatives.
(v) θ = − π2 si x = 0 et y < 0, ce qui est là encore la limite naturelle de θ lorsque y < 0 est fixé
et que x → 0.
Ce faisant, nous avons assigné à tout point M de coordonnées (x, y) sauf à ceux vérifiant y = 0,
x ≤ 0 un couple (ρ, θ) ∈ ]0, +∞[×]−π, π[. Une vérification que nous serons capable de mener après
le chapitre sur les fonctions de 2 variables montre que ρ, ainsi que θ, dépendent continuement du
couple (x, y) dans le plan privé du demi-axe des abscisses négatives.
Si x < 0 est fixé, lorsque y tend vers 0 par valeurs positives, θ tend vers π et lorsque y tend vers
0 par valeurs négatives, θ tend vers −π. La fonction θ(x, y) ne peut se prolonger par continuité au
plan (même en privant celui-ci de l’origine).
64
En résumé, la correspondance coordonnées polaires–coordonnées cartésiennes que nous venons
d’expliciter établit une bijection continue et de réciproque continue 1 entre ]0, +∞[ × ]−π, π[ et
R2 \ {(x, 0), x ≤ 0}
L’élimination du demi-axe des abscisses négatives est nécessaire pour éviter de choisir si ces
points doivent avoir un angle π ou −π.
Si nous avions eu à nous concentrer sur un problème où les points sont proches de ce demi-axe
négatifs, il est nécessaire d’utiliser d’autres conventions pour l’angle θ. Une option est d’éliminer
le demi-axe des réels positifs et de considérer θ ∈]0, 2π[.
π
θ= 2
M
y = r sin θ
p
r= x2 + y 2
θ = π + arctan xy
θ = arctan xy
θ = +π
θ = −π O x = r cos θ
θ = −π + arctan xy
θ = − π2
1. Nous verrons dans le chapitre sur les fonctions de 2 variables ce que cela signifie
65
Chapitre 6
Primitives et Intégrales
Une fonction F vérifiant la propriété précédente est appelée une primitive de f sur I.
1. d’après le théorème 66
2. dont celui-ci
67
5. Une fonction continue, affine par morceaux 3 sur un intervalle I = [a, b] y admet une primi-
tive. Par exemple, considérons, sur l’intervalle I = [0, 1] la fonction f définie par
(
si x ∈ 0, 21
x
f (x) =
1 − x si x ∈ 12 , 1
6. Un tableau des primitives classiques s’obtient en lisant le tableau des dérivés classiques à
rebours :
F (x) f (x) I
xn nxn−1 I = R si n ∈ N
ex ex I=R
1
ln x x I = ]0, +∞[
1
ln |x| x I = ]0, +∞[ ou I = ]−∞, 0[
1
π
= 1 + tan2 x + kπ, π2 + (k + 1)π , k ∈ Z
tan x cos2 x x ∈ Ik ,Ik = 2
arcsin x √ 1 I = ]−1, 1[
1−x2
1
arccos x − √1−x 2
I = ]−1, 1[
1
arctan x 1+x2 I=R
Table 6.1 – Les primitives classiques, F est primitive de f sur I, en général on peut ajouter une
constante à F
3. par ceci, on entend qu’il existe a = x0 < x1 < · · · < xn < xn+1 = b ∈ [a, b], tels que f est affine sur chaque
intervalle du type [xi , xi+1 ], pour i = 0, . . . , n
68
6.2 Intégrale de Riemann d’une fonction continue
6.2.1 Sommes de Darboux et intégrale de Riemann
On rapporte le plan à un repère orthonormé. Soient a < b deux réels et f ∈ C 0 ([a, b]). On
Rb
souhaite définir a f (t)dt comme « l’aire algébrique » comprise entre l’axe des abscisses et Cf ,
la courbe représentative du graphe de f : l’ aire de la partie au-dessus de cet axe est comptée
positivement et l’aire de la partie du dessous négativement (voir la figure 6.1 ci-dessous).
Cf
+ +
x
a b
Rb
Figure 6.1 – On veut définir a
f (t)dt comme la somme algébrique des aires grisées comprises
entre l’axe des abscisses et Cf .
Une difficulté pour le faire vient du fait que la notion d’aire d’une partie du plan est, à ce stade,
assez primitive. On sait ce qu’est l’aire d’un triangle, d’un parallélogramme et de toute figure
polygonale pour laquelle on dispose d’une « décomposition en triangles » et on a l’« intuition » de
Rb
ce qu’est l’aire d’un disque. Pour définir a f (t)dt, on va donc avoir recours à des histogrammes
dont les aires algébriques (aisément calculables comme sommes d’aires de rectangles) approchent
l’aire algébrique de la partie du plan que l’on veut calculer. On définit ainsi d’abord :
69
i) somme de Darboux inférieure d’ordre n associée à f le nombre
n−1 n−1
X b−a X
sn (f ) := (ai+1 − ai ) min f (x) = min f ,
i=0
x∈[ai ,ai+1 ] n i=0 [ai ,ai+1 ]
Remarque 100 1. S’il y a une ambiguïté possible sur l’intervalle [a, b] considéré, on notera
[a,b] [a,b]
sn (f ) et Sn (f ) les sommes précédentes.
2. Graphiquement, Sn (f ) est l’aire algébrique de l’histogramme à n colonnes de largeur b−a n
et de hauteurs max f sur l’intervalle [ai , ai+1 ]. C’est-à-dire que son « graphe » est celui
[ai ,ai+1 ]
de la fonction constante par morceaux définie sur [a, b] et égale à max f sur l’intervalle
[ai ,ai+1 ]
[ai , ai+1 ]. On obtient sn (f ) si l’on considère à la place la fonction constante par morceaux
Rb
égale à min f sur [ai , ai+1 ]. Il est donc clair que si a f (t)dt donne l’aire algébrique de
[ai ,ai+1 ]
la partie du plan comprise entre l’axe des abscisses et Cf , alors nécessairement sn (f ) ≤
Rb
a
f (t)dt ≤ Sn (f ). En effet, les « graphes » des histogrammes dont les aires sont sn (f ) et
Sn (f ) sont respectivement au-dessous et au-dessus de Cf . Ceci est illustré à la figure suivante
pour n = 5.
y y
S5 (f ) s5 (f )
+ + + +
x x
a
− − b a
− − − − b
Figure 6.2 – L’aire algébrique grisée vaut S5 (f ) sur la figure de gauche, s5 (f ) sur celle de droite.
Les aires algébriques des histogrammes de la figure précédente ne semblent pas approcher très
précisément l’aire algébrique que l’on souhaite calculer. Cela vient du fait que les histogrammes
considérés n’ont que n = 5 colonnes ! Lorsque n devient très grand, ces histogrammes vont de
mieux en mieux approcher, respectivement par au-dessus et au-dessous, l’aire algébrique comprise
Rb
entre l’axe des abscisses et Cf . L’intégrale a f (t)dt sera alors définie comme la limite commune de
Sn (f ) et sn (f ) lorque n tend vers +∞. Tout cela est rendu rigoureux par les propriétés suivantes.
Lemme 101 Soient a < b deux réels, f ∈ C 0 ([a, b]) et, pour n ∈ N∗ , sn (f ) et Sn (f ) ses sommes
de Darboux inférieures et supérieures. On a alors :
70
i) Pour tous k ∈ N∗ et l ∈ N∗ , sl (f ) ≤ skl (f ) ≤ Skl (f ) ≤ Sk (f ),
ii) Sn (f ) − sn (f ) −→ 0.
n→+∞
Preuve.
i) Soient k ∈ N∗ et l ∈ N∗ . Montrons d’abord sl (f ) ≤ skl (f ). Pour cela, considérons la subdivi-
son régulière en l intervalles de [a, b], (ai,l )i∈{0,...,l} , et la subdivison régulière en kl intervalles
de [a, b], (aj,kl )j∈{0,...,kl} . Les nombres ai,l et aj,kl sont respectivement définis par
n−1
(b − a)2 X (b − a)2
≤ 2
max |f 0 | 1 = max |f 0 | −→ 0.
n [a,b]
i=0
n [a,b] n→+∞
Exemples et Remarques
1. La deuxième partie du lemme précédent a été démontrée sous l’hypothèse plus restrictive
f ∈ C 1 ([a, b]). La démonstration dans le cas f ∈ C 0 ([a, b]) repose sur la notion de continuité
uniforme que nous n’aborderons pas dans ce cours.
2. Le premier point du lemme nous permet par exemple de montrer que la suite s2n (f ) n∈N
est croissante et que S2n (f ) n∈N est décroissante. En effet, pour n ∈ N, l = 2n et k = 2, on
obtient
71
y y y
S1 (f ) S2 (f ) S4 (f )
x x x
a b a b a b
Figure 6.3 – La suite S2n (f ) n∈N est décroissante.
y y y
s1 (f ) s2 (f ) s4 (f )
a b a b a b
x x x
Figure 6.4 – La suite s2n (f ) n∈N
est croissante.
∀ n ∈ N∗ , sn (f ) ≤ ` ≤ Sn (f ) .
Rb
ii) – On définit alors f (t)dt comme cette limite commune, `, à sn (f ) et Sn (f ). On a ainsi
a
Z b
∀ n ∈ N∗ , sn (f ) % f (t)dt := ` . Sn (f ) .
n→+∞ a n→+∞
– On définit de plus :
Z a Z a Z b
f (t)dt := 0 (l’aire d’un rectangle plat est nulle) et f (t)dt := − f (t)dt .
a b a
Exemples et Remarques
1. Le signe est un « S » 4 déformé et la « variable » t apparaissant dans la notation joue un
R
Pn−1
rôle similaire à la variable i dans la somme du type i=0R ui . En particulier, la « portée »
de cette variable est confinée à l’« intérieur » du symbole . On peut changer son nom sans
changer l’interprétation du symbole et elle n’a pas de sens à l’extérieur du symbole :
Z b Z b Z b
f (t) dt = f (s) ds = f (ξ) dξ .
a a a
4. Comme Somme
72
2. Pour être plus précis, on peut aussi noter
Z b Z t=b
f (t) dt = f (t) dt .
a t=a
est trop ambigüe pour être utilisable sans risque, le a du f (a) da est « intérieur » à l’intégrale
Rb
alors que le a dans a est censé avoir une valeur définie hors de l’intégrale.
De plus,
et les deux équations précédentes ainsi que le théorème des gendarmes impliquent Sn (f ) −→ `.
n→+∞
Enfin, on déduit de Sn (f ) − sn (f ) −→ 0 que sn (f ) −→ `, et de sn (f ) ≤ Sk (f ) pour tous
n→+∞ n→+∞
n, k ∈ N∗ que sn (f ) ≤ ` pour tout n ∈ N∗ (en prenant la limite k → +∞).
La somme Sng (resp. Snd ) est appelée somme de Riemann à gauche (resp. à droite).
73
Exemples et Remarques
1. La preuve découle directement du théorème des gendarmes et de ce qui précède. En effet, si
l’on choisit les ci,n de telle sorte que f (ci,n ) = max f , la somme de Riemann associée
[ai,n ,ai+1,n ]
n’est autre que Sn (f ) et si l’on choisit les ci,n de sorte que f (ci,n ) = min f , on obtient
[ai,n ,ai+1,n ]
sn (f ). Ainsi, n’importe quelle somme Riemann associée à f et à la subdivision régulière
(ai,n )i∈{0,...,n} de [a, b] est comprise entre sn (f ) et Sn (f ) !
2. Si f est la fonction constante égale à c sur [a, b], alors on a
Z b
∗
∀n ∈ N , Sng (f ) = Snd (f ) = Sn (f ) = sn (f ) = (b − a)c −→ (b − a)c = c dt
n→+∞ a
n−1 n−1
1X i 1 X 1 n(n − 1) 1
∀ n ∈ N∗ , Sng (f ) = = 2 1 = 2 −→ !
n i=0 n n i=0 n 2 n→+∞ 2
y y
S5g (f ) S5d (f )
+ + + +
x x
a − − − b a − − − b
Figure 6.5 – L’aire grisée vaut S5g (f ) sur la figure de gauche et S5d (f ) sur celle de droite.
∀ n ∈ N∗ , s[a,c] [a,b]
n (f ) ≤ Sn (f ) + Sn[b,c] (f ) ,
Rc Rb Rc
on obtient inégalité inverse a
f (t)dt ≤ a
f (t)dt + b
f (t)dt par passage à la limite.
74
Proposition 105 (Linéarité) Soit I un intervalle, f, g ∈ C 0 (I) et a, b ∈ I. On a
Z b Z b Z b
∀ (λ, µ) ∈ R2 , (λ.f + µ.g)(t)dt = λ f (t)dt + µ g(t)dt .
a a a
2 ∗
Preuve. Il suffit de remarquer que pour tous (λ, µ) ∈ R et n ∈ N , les sommes de Riemann à
droite associées à f , g et λ.f + µ.g vérifient
Rb Rb
iv) a
f (t)dt ≤ a
|f (t)| dt (inégalité triangulaire)
Preuve.
Rb
i) Si f ≥ 0, alors pour tout n ∈ N∗ , sn (f ) ≥ 0 d’où à la limite n → +∞, a f (t)dt ≥ 0.
Rb Rb
iii) Si f ≤ g, alors g − f ≥ 0 et donc a (g − f )(t)dt ≥ 0. Par linéarité, il vient a g(t)dt ≥
Rb Rb
a
f (t)dt ≥ 0. Le cas particulier en découle, sachant a cdt = c(b − a).
ii) Supposons f ≥ 0 et f 6= 0[a,b] . Il existe donc c ∈]a, b[ tel que f (c) > 0. En effet, on aurait
sinon f (t) = 0 sur ]a, b[ et donc sur [a, b] par continuité de f . Ainsi, toujours par continuité
de f , il existe h > 0 tel que [c − h, c + h] ⊂ [a, b] et f (x) ≥ f (c)
2 sur [c − h, c + h]. En utilisant
la relation de Chasles, f ≥ 0 sur [a, b] et le résultat du point iii) déjà démontré, on obtient :
Z b Z c−h Z c+h Z b Z c+h
f (c)
f (t)dt = f (t)dt + f (t)dt + f (t)dt ≥ dt = hf (c) > 0 .
a 2
| a {z } c−h
|
c+h
{z }
c−h
≥0 ≥0
iii) Définissons, pour x ∈ [a, b], les parties positive et négative de f par
|f (x)| + f (x) f (x) si f (x) ≥ 0
f+ (x) := =
2 0 si f (x) < 0
et
|f (x)| − f (x) f (x) si f (x) < 0
f− (x) := = .
2 0 si f (x) ≥ 0
Les fonctions f+ et f− sont donc positives et continues puisque f et | · | sont continues. Elles
satisfont de plus :
75
La conclusion découle maintenant de
Z b Z b Z b Z b Z b Z b
± f (t)dt = ± f+ (t)dt ∓ f− (t)dt ≤ f+ (t)dt + f− (t)dt = |f (t)| dt
a a a a a a
Rb Rb Rb Rb
et de l’alternative a
f (t)dt = a
f (t)dt ou a
f (t)dt = − a
f (t)dt.
Corollaire 108 Toute fonction continue sur un intervalle y admet des primitives.
Exemples et Remarques
1. Le crochet [G(t)]ba introduit dans le théorème vaut par définition G(b) − G(a). Dans cette
notation, la variable t est muette, i.e n’a des sens qu’à l’intérieur du crochet. Pour être plus
précis, on devrait en fait noter [G(t)]t=b
t=a .
Rb
2. D’après le point ii) du théorème, si f ∈ C 0 ([a, b]), alors a f (t)dt = F (b) − F (a) où F est
une primitive quelconque de F sur [a, b].
3. On sait déjà que si une fonction f admet des primitives sur un intervalle I 3 a, alors une et
une seule de ces primitives s’annule en a. Le point i) du théorème nous dit donc que R x si f ∈
C 0 (I), alors f admet des primitives et sa primitive s’annulant en a est F : x ∈ I 7→ a f (t)dt.
4. Le corollaire 108 est une conséquence immédiate de ce qui précède.
5. Les primitives des fonctions continues ainsi considérées sont de classe C 1 , puisque de dérivées
continues.
6. Nous allons démontrer ci-dessous le point i) du théorème sous l’hypothèse plus restrictive
f ∈ C 1 (I) comme cela avait déjà été le cas dans la preuve du lemme 101. Encore une fois,
la preuve dans le cas f ∈ C 0 (I) repose sur la notion d’uniforme continuité qui ne sera pas
abordée dans ce cours.
Preuve. i) Démonstration dans le cas f ∈ C 1 (I) : Il s’agit donc de montrer que
F (x + h) − F (x)
∀x ∈ I , − f (x) −→ 0.
h h6=0 , h→0
Pour simplifier, on suppose que x est un point intérieur à I. Il existe donc h0 > 0 tel que [x −
h0 , x + h0 ] ⊂ I. Le raisonnement suivant reste valide si x est une extrémité de I, à condition de
considérer h0 tel que [x, x + h0 ] ⊂ I si x en est l’extrémité gauche (resp. [x − h0 , x] ⊂ I si x en
est l’extrémité droite). On a donc x + h ∈ I pour tout |h| ≤ h0 et, par la relation de Chasles,
R x+h R x+h
F (x + h) − F (x) = x f (t)dt pour de tels h. Ainsi, comme f (x) = h1 x f (x)dt pour h 6= 0,
76
|h| ≤ h0 :
x+h
F (x + h) − F (x)
Z
1
− f (x) = f (t) − f (x) dt
h |h| x
Z x+h
1
≤ |f (t) − f (x)| dt
|h| x | {z }
≤ |t−x| max |f 0 |
IAF [x−h0 ,x+h0 ]
max |f 0 | Z x+h
[x−h0 ,x+h0 ]
≤ |t − x|dt
|h| x | {z }
≤|h|
Z x+h
≤ max |f 0 |. 1 dt = max |f 0 |.|h| −→ 0 .
[x−h0 ,x+h0 ] x [x−h0 ,x+h0 ] h→0
Z x
∀x ∈ I , G(x) − G(a) = F (x) + C − F (a) + C = F (x) = f (t)dt .
F (a)=0 a
Si f est une fonction continue par morceaux, quels que soient les valeurs positives ou négatives
qu’elle peut prendre, nous définissons
Z b n−1
X Z tk+1
f (t) dt = f (t) dt
a k=0 tk
Rt
où a = t0 < t1 < · · · < tn = b, forme une subdivision associée à f et tkk+1 f (t) dt est entendu
comme étant l’intégrale de tk à tk+1 de la fonction f˜ valant f sur ]tk , tk+1 [, f˜(tk ) = limt→t+ f (t)
k
77
Pour calculer effectivement l’intégrale d’une fonction continue par morceaux, il s’agit de décom-
poser l’intervalle en sous intervalles sur lesquels f est continue et de calculer chacune des intégrales
sur ces sous-intervalles.
Les propositions 104, 105, ainsi que les points i), iii) et iv) de la proposition 106 concernant la
positivité et la croissance de l’intégrale et l’inégalité triangulaire sont encore valables dans le cas
de fonctions f , g continues par morceaux. Le point ii) de la proposition 106 concernant la stricte
positivité est fausse dans ce cadre et devient :
Proposition 109 Si a < b, f est positive ou nulle sur [a, b], f est continue par morceaux sur I,
et Z b
f (t) dt = 0
a
alors f est nulle sur [a, b] sauf peut-être en un nombre fini de points 7 .
Le théorème 103 concernant les sommes de Riemann reste vrai pour les fonctions continues
par morceaux. Sa preuve est cependant plus compliquée dans ce cas 8 .
Exemples et Remarques
1. La preuve de ce théorème tient en la remarque qu’il s’agit de la formule de la dérivée d’un
produit « vue à l’envers ». Si H := f.g alors H est une primitive de h = H 0 = f 0 .g + f.g 0 .
En conséquence, on a
Z b Z b
f 0 (t).g(t) dt + f (t).g 0 (t) dt = [H(t)]t=b
t=a = f (b)g(b) − f (a)g(a)
a a
2. Le but d’une intégration par parties est, la plupart du temps, de tomber sur une expression
plus simple à évaluer que celle de départ. Par exemple, pour calculer
Z π2
x cos x dx,
0
on a le choix entre
(a) poser f (x) = x, g 0 (x) = cos x et donc f 0 (x) = 1, g(x) = sin x
(b) poser f (x) = cos x, g 0 (x) = x et donc f 0 (x) = − sin x, g(x) = 21 x2
7. qui sont points de discontinuité de f
8. Il s’agit de séparer des intervalles sur lesquels f est continue des points de discontinuité. Le traitement au
voisinage des points de discontinuité utilise le fait que f est globalement bornée.
78
Le premier mène à
Z π Z π
2 π 2
x cos x dx = [x sin x]02 − sin x dx
0 0
alors que le second mène à
Z π Z π
2 1 π 2 1 2
x cos x dx = [− x2 cos x]02 + x sin x dx
0 2 0 2
Il doit être clair que dans le premier cas, les choses tendent à se simplifier alors que dans le
second, elles ont tendance à se compliquer. En suivant la première voie, on obtient
Z π Z π
2 π 2 π π π
x cos x dx = − sin x dx = + [cos x]02 = − 1
0 2 0 2 2
3. Il n’y a pas de formule générale permettant par exemple de dire que l’intégrale d’un produit
est le produit des intégrales : la formule d’intégration par parties tient ce rôle, et elle n’est
pas si simple.
Z b Z u(b)
f (u(x))u0 (x) dx = f (u) du.
a u(a)
Exemples et Remarques
1. La preuve de ce théorème tient en la remarque qu’il s’agit de la formule de la dérivée d’une
composée « vue à l’envers ». Si F est une primitive de f sur l’intervalle I, alors H := F (u(x))
est une primitive de f (u(x)).u0 (x) sur l’intervalle [a, b] et donc
Z x=b
f (u(x)).u0 (x) dx = x=b
[H(x)]x=a
x=a
u=u(b)
= F (u(b)) − F (u(a)) = [F (u)]u=u(a)
Z u=u(b)
= f (u) du
u=u(a)
79
et donc Z u=e
1 1 1 3e + 1
I= du = [ ln(3u + 1)]u=e
u=1 = ln
u=1 3u + 1 3 3 4
3. On conseille au lecteur d’aller lire le chapitre 5 avant de lire ce paragraphe. Le changement
de variable précédent est particulièrement facile car on a reconnu la forme f 0 (u(x)).u0 (x). Il
arrive parfois (en fait la plupart du temps) que l’on veuille mener un changement de variable
du type u = u(x) dans une intégrale du type
Z b
f (u(x)) dx
a
Ceci ne peut se faire correctement que si u0 (x) ne s’annule pas sur l’intervalle [a, b],
ce qui implique notamment que u définit une bijection du segment [a, b] sur le segment
[u(a), u(b)].
4. Illustrons ceci en reprenant notre exemple précédent, un peu camouflé. Le problème est de
calculer Z 1
1
I= −x
dx
0 3+e
Comme u0 (x(u))−1 = x0 (u) (formule de la dérivée d’une réciproque !), on obtient alors le
théorème
80
Théorème 112 Soit u une fonction de classe C 1 sur le segment [a, b], établissant une bi-
jection de [a, b] sur le segment [u(a), u(b)], de bijection réciproque x, elle même de classe C 1
sur [u(a), u(b)] 10 .
Soit f une fonction continue sur le segment [u(a), u(b)], alors
Z b Z u(b)
f (u(x)) dx = f (u).x0 (u) du
a u(a)
6. Exercice résolu en cours. Calculer l’aire d’un 21 -cercle et déterminer une primitive de
√
1 − x2 . √
L’aire comprise entre le graphe de la fonction f (x) = 1 − x2 est l’axe des abscisses est un
demi-disque de rayon 1. Si nous faisons confiance à notre culture nous devrions donc avoir
Z 1p
π
I := 1 − t2 dt =
−1 2
Vérifions ceci en calculant cette intégrale par un changement de variable. L’idée est de poser
t = cos u (en fait, pour respecter notre cadre u = arccos t, et lorsque t décrit [−1, 1], u décrit
[0, π]), on a alors,
(a) du = u0 (t) dt, ce qui donne une formule compliquée..On a aussi dt = t0 (u) du =
− sin u du
(b) lorsque t = −1, u = π
(c) lorsque t = 1, u = 0
√ √
(d) 1 − t2 = 1 − cos2 u = | sin u| = sin u car u ∈ [0, π] et sin u est positif.
Z 1p Z 0 Z π
I= 1 − t2 dt = − sin2 u du = sin2 u du
−1 π 0
Noter qu’on a fait le changement t = cos u dans l’intégrale de gauche et, comme par miracle,
on tombe, à droite, sur l’intégrale I cherchée. Il reste à calculer la dernière intégrale, ce que
l’on fait en linéarisant sin2 u : on a
1
sin2 u = (1 − cos 2u)
2
et donc une primitive de sin2 u est
1 1 1 1
u − sin 2u = u − sin u cos u.
2 4 2 2
On a donc
1 π
I= [u − sin u cos u]π0 =
2 2
√
Une primitive de 1 − x2 sur [−1, +1] est donnée par
Z xp
F (x) = 1 − t2 dt
1
81
√ √
(d) 1 − t2 = 1 − cos2 u = | sin u| = sin u car u ∈ [0, π] et sin u est positif.
et donc Z arccos x Z x p
sin2 u du = − 1 − t2 dt = F (x)
0 1
Finalement, on a donc
1 1 p
F (x) = − [u − sin u cos u]arccos
0
x
= (− arccos x + x 1 − x2 ).
2 2
1 1 1
ln(x2 + 1) + arctan x − ln(x + 1)
4 2 2
Définition 113 Les éléments simples pour les fractions rationnelles sont les fonctions de l’un
des trois types suivants
1. Les monômes, de la forme S(x) = λ.xn où λ est un réel non nul, n un entier naturel. On
prend la convention usuelle que x0 est la fonction constante égale à 1.
α
2. Les éléments de première espèce de la forme S(x) = (x+a)n où α est un réel non nul, a un
réel quelconque, n un entier naturel > 0.
β.x+γ
3. Les éléments de deuxième espèce de la forme S(x) = (x2 +b.x+c) n où β, γ est un couple de
réels non nul, b, c deux réels quelconques vérifiant b2 − 4c < 0, n un entier naturel > 0.
11. et qui sera démontré dans le cours sur les polynômes et fractions rationnelles
82
Si S1 et S2 sont deux éléments simples et que, pour tout x de leur ensemble de définition commun,
S1 (x) = S2 (x) alors S1 et S2 sont du même type et leurs nombres caractéristiques (λ, n pour les
monômes, α, a, n pour les éléments de première espèce, β, γ, b, c, n pour ceux de seconde espèce)
sont égaux.
Exemples et Remarques
1. Dans l’exemple introductif, la famille des éléments simples associés à f comporte deux
membres
− 21 1
x+ 1
S1 (x) = et S2 (x) = 2 2 2
x+1 x +1
S1 est de première espèce avec n = 1, α = − 21 , a = 1 et S2 est de seconde espèce avec n = 1,
β = γ = 21 , b = 0 et c = 1. La partie unicité du théorème signifie que si l’on dispose d’un
ensemble {S̃k (x), k = 1, . . . , K̃} d’éléments simples tels que
K̃
X
f (x) = S̃k (x)
k=1
pour tous x tels que l’expression précédente à un sens alors le nombre K̃ de ces éléments
simples vaut 2, et, quitte à renuméroter,
2. Pour mener à bien une décomposition d’une fraction f = N D , nous pouvons ajouter les
précisions suivantes
(a) Si le degré de N est inférieur au degré de D, il n’y aura aucun monôme dans la décom-
position en éléments simples de f . On peut toujours se ramener à ce cas en effectuant
une division Euclidienne de N par D. Par exemple, si
N (x) = (x − 2)D(x) + x
et donc
x
f (x) = x − 2 +
(x + 1)(x2 + 1)
Comme nous avons déjà effectué la décomposition en éléments simples de cette dernière
fraction, on obtient alors la décomposition de f
− 12 1
x+ 1
f (x) = x − 2 + + 22 2
x+1 x +1
(b) Si le degré de N est inférieur au degré de D et si D est sous forme factorisée
nK
D(x) = P1n1 . . . PK .Qm mL
1 . . . QL
1
avec la convention usuelle que si l’entier K (resp. L) vaut 0, il n’y a aucun polynôme
de type P (resp. Q) où
83
i. les K polynômes Pk (tous distincts) sont de la forme
Pk (x) = x + ak
pour un certain réel ak
ii. les L polynômes Q` (tous distincts) sont de la forme
Q` (x) = x2 + b` .x + c`
pour certains réels b` , c` vérifiant b2` − 4c` < 0
iii. les entiers naturels nk , m` sont tous > 0.
Alors :
i. les éléments simples de première espèce de la décomposition de f sont de la forme
αk,n
S1,k,n (x) =
Pk (x)n
pour des réels αk,n 6= 0 et certains exposants n > 0, inférieurs à nk .
Il y a donc au plus n1 .n2 . . . . .nK tels éléments simples.
ii. les éléments simples de seconde espèce de la décomposition de f sont de la forme
β`,n .x + γ`,n
S2,k,n (x) =
Q` (x)n
pour des couples de réels (β`,n , γ`,n ) 6= 0 et certains exposants n > 0, inférieurs à
m` . Il y a donc au plus m1 .m2 . . . . .m` tels éléments simples.
3. Dans notre exemple introductif, N (x) = x et D(x) = (x + 1) (x2 + 1) et donc la décomposi-
| {z } | {z }
P1 (x)n1 Q1 (x)m1
tion de f relève du point précédent. Nous savons donc que a priori, il existe des réels α1 , β1
et γ1 tels que
α1 β1 .x + γ1
f (x) = +
P1 (x) Q1 (x)
Il ne reste plus qu’à faire un travail d’identification 12 de ces coefficients pour nous permettre
de retrouver la décomposition de l’introduction.
4. Exercice résolu en cours. Donner la forme de la décomposition en éléments simples de
x2 + 3
f (x) =
x(x + 1)3 (1 + x2 )2
On a f (x) = N (x) 2 3 2 2
D(x) avec N (x) = x + 3 et D(x) = x(x + 1) (1 + x ) Cette décomposition
relève du cas décrit précédemment et l’on peut dire qu’il existe des réels α1 , α2,1 , α2,2 , α2,3 ,
β1,1 , γ1,1 , β1,2 , γ1,2 tels que
α1 α2,1 α2,2 α2,3 β1,1 .x + γ1,1 β1,2 .x + γ1,2
f (x) = + + + + +
x x + 1 (x + 1)2 (x + 1)3 1 + x2 (1 + x2 )2
Il s’agirait maintenant d’identifier ces 8 coefficients. Si nous mettions au même dénominateur
le membre de droite et identifiions le numérateur (qui sera de degré ≤ 7) ainsi obtenu avec le
numérateur du membre de gauche, nous aurions alors à résoudre un système de 8 équations
linéaires à 8 inconnues.
On trouve
3 − 15
4 − 25 −1 3
.x − 54 1
x − 12
f (x) = + + 2
+ 3
+ 4 2
+ 2
x x + 1 (x + 1) (x + 1) 1+x (1 + x2 )2
12. Dans ce cas précis, en réduisant le membre de droite au même dénominateur et en identifiant les coefficients
du numérateur, on obtient que α1 + γ1 = 0, β1 + γ1 = 1 et α1 + β1 = 0
84
5. Toute fraction rationnelle peut, au moins théoriquement, se mettre sous la forme traitée
précédemment : il suffit pour cela de factoriser le dénominateur en utilisant la connaissance
des racines réelles et complexes conjuguées de ce polynôme. Par exemple, nous avons
1 1
= π 3π 5π 7π
1 + x4 (x − ei 4 )(x − ei 4 )(x − ei 4 )(x − ei 4 )
1
= π 3π 3π π
(x − ei 4 )(x − ei 4 )(x − e−i 4 )(x − e−i 4 )
1
= √ √
(1 + 2x + x )(1 − 2x + x2 )
2
1 1
et donc γ+ = 2 = γ− , β + = √
2 2
= −β− et finalement
√ √
1 1 x+ 2 1 −x + 2
= √ √ + √ √
1 + x4 2 2 1 + 2x + x2 2 2 1 − 2x + x2
85
Éléments de deuxième espèce On peut aussi donner des formules pour les primitives des
éléments de deuxième espèce mais il y a plus de calculs que dans le cas précédent.
1. Il s’agit d’abord de se rendre compte 13 que pour calculer une primitive d’un élément simple
du type
β.x + γ
(x2 + b.x + c)n
1 x
S2,0,n = et S2,1,n =
(1 + x2 )n (1 + x2 )n
x
2. Une primitive de S2,1,n = (1+x2 )n est donnée par l’une des formules
1 1 1
ln |x2 + 1| si n = 1 ou − si n > 1
2 2(n − 1) (x + 1)n−1
2
3. Il s’agit maintenant de montrer que l’on peut toujours donner une formule élémentaire pour
une primitive de S2,0,n = (1+x1 2 )n . Notons
Z x
1
Σn (x) = dt
0 (1 + t2 )n
13. Voici la justification de cette assertion, il faut en tirer les conclusions que l’on se sert de la mise sous forme
canonique d’un trinôme de discriminant négatif et de la formule du changement de variables. Une primitive de
β.x+γ
(x2 +b.x+c)n
(car cette fonction est continue sur R, le dénominateur ne s’annulant jamais) est
Z x β.u + γ
du
0 (u2 + b.u + c)n
On a, par la méthode bien connue de mise sous forme canonique d’un trinôme, que
2 !
b 2 −∆ −∆ 2u + b
u2 + b.u + c = (u + ) + = √ +1
2 4 4 −∆
et donc,
Z x β.u + γ 1
Z x β.u + γ
du = n n du
0 (u2 + b.u + c)n −∆ 0
2u+b
2
4 √
−∆
+1
√ √
Z x β. −∆ √ 2u+b
+ γ − −∆ b
1 2 −∆ 2
= n n du
−∆
2
0 2u+b
4 √
−∆
+1
2u+b 2x+b
t= √ √
β 0 .t + γ 0
Z
−∆ −∆
= dt
√b (1 + t2 )n
−∆
√
pour certaines constantes β 0 et γ 0 dont l’expression fait intervenir β, γ, b et −∆. La continuation du calcul dépend
alors de la connaissance de primitives de (1+t12 )n et (1+tt2 )n
86
(b) Les cas n > 1 se calculent par récurrence sur n. On a
Z x
1
Σn (x) = dt
0 (1 + t2 )n
Z x Z x
1 + t2 t2
= 2 n
dt − 2 n
dt (Astuce !)
0 (1 + t ) 0 (1 + t )
Z x
t
= Σn−1 (x) − t dt
0 (1 + t2 )n
Z x
ipp 1 1 x 1 1
= Σn−1 (x) + [t 2 n−1
]0 − dt
2(n − 1) (1 + t ) 2(n − 1) 0 (1 + t2 )n−1
2n − 3 1 x
= Σn−1 (x) +
2n − 2 2(n − 1) (1 + x2 )n−1
4. Nous venons donc de montrer, quitte à faire des calculs d’une certaine complexité, que l’on
peut toujours donner une formule pour une primitive d’un élément simple de seconde espèce.
Faire un de ces calculs à la main peut s’avérer hasardeux mais il est clair que les mécanismes
présentés peuvent s’implémenter en machine.
5. Exercice résolu en cours. Donner une primitive sur R de
1
(1 + x2 )2
On a
x x Z x
1 + t2
Z Z
1 t
dt = dt − t dt
0 (1 + t2 )2 0 (1 + t2 )2
0 (1 + t2 )2
1 1 t=x 1 x 1
Z
= arctan x − [−t. ] + dt
2 1 + t2 t=0 2 0 1 + t2
1 1 x
= arctan x −
2 2 1 + x2
1
1 + x4
et déterminer
Z x
dt
lim
x→∞ 0 1 + t4
1
Grâce à la décomposition en éléments simple que nous avons donnée de 1+x4 , on voit qu’il
suffit de calculer une primitive S(x) de
√
x+ 2
√
x2 + 2x + 1
√
La dérivée du dénominateur est 2.x + 2, en écrivant
√ √ √
x+ 2 1 2x + 2 2 1
√ = √ + √
2
x + 2x + 1 2 2
x + 2x + 1 2 2
x + 2x + 1
87
Calculons
Z x Z x
1 1
√ dt = √ dt
0 t2 + 2t + 1 0 (t + 2 2
2 ) + 1
2
Z x
1
= 2 √ dt
2
0 ( 2t + 1) + 1
√
√ √ Z 2x+1 1
u= 2t+1
= 22 du
1 u2 + 1
√ √ √
= 2 arctan( 2x + 1) − 2 arctan(1)
√
x+ 2
Une primitive sur R de √ est donc
x2 + 2x + 1
1 √ 1 √
ln(x2 + 2x + 1) + arctan( 2x + 1)
S(x) =
2 2
√
−x + 2
Une primitive sur R de √ est donc
2
x − 2x + 1
1 √ 1 √
S̃(x) = − ln(x2 − 2x + 1) − arctan(− 2x + 1)
2 2
1 1
Finalement, une primitive de 4
est √ (S(x) + S̃(x)) c’est-à-dire
1+x 2 2
1 √ √ √ √
√ ln(x2 + 2x + 1) − ln(x2 − 2x + 1) + arctan( 2x + 1) − arctan(− 2x + 1)
4 2
On a donc
√ ! !
Z x
dt 1 x2 + 2x + 1 √ √
= √ ln √ + arctan( 2x + 1) − arctan(− 2x + 1)
0 1 + t4 4 2 x2 − 2x + 1
π
Lorsque x → ∞, le ln de l’expression précédente tend vers 0, la première arctan tend vers 2
et la seconde vers − π2 . On en déduit que
Z x
dt π
lim = √
x→∞ 0 1 + t4 4 2
Notre but est de décrire plusieurs techniques permettant de calculer une intégrale (et donc une
primitive d’une telle fonction). On voit rapidement, par linéarité, qu’il suffit de savoir calculer
l’intégrale d’une fonction du type cosk x sin` x. Plusieurs techniques s’offrent à nous, que l’on peut
évidemment combiner
1. La linéarisation d’une expression trigonométrique
2. des changements de variables
3. des intégrations par parties astucieuses.
88
Linéarisation 14
Le principe de la linéarisation d’un polynôme trigonométrique est basé sur le fait suivant :
étant donnée une expression du type cosk x sin` x avec k, ` ≥ 0, on peut la transformer en une
combinaison linéaire de fonctions du type cos λx et sin µx avec 0 ≤ λ, µ ≤ k + ` 15 . Il est alors
facile de déterminer une primitive d’une telle fonction 16 .
Les outils de base pour effectuer cette transformation sont les formules d’Euler et le binôme
de Newton et nécessitent donc de passer en complexes.
1 ix
cos x = (e + e−ix )
2
1 ix
sin x = (e − e−ix )
2i
2
1 ix
cos2 x = ((e + e−ix ))
2
1 ix 2
= e + e−ix
4
1 i2x
e + e−i2x + 2eix e−ix
=
4
1 1
= cos 2x +
2 2
2
1
sin2 x = ((eix − e−ix ))
2i
1 2
= − eix − e−ix
4
1
= − ei2x + e−i2x − 2
4
1 1
= − cos 2x +
2 2
89
On a
1 ix
cos3 x sin2 x = − (e + e−ix )3 .(eix − e−ix )2
32
1
= − (ei3x + 3eix + 3e−ix + e−i3x )(ei2x + e−i2x − 2)
32
1 i5x
= − e + 3ei3x ) + 3eix + e−ix
32
eix + 3e−ix + 3e−i3x + e−i5x
−2ei3x − 6eix − 6e−ix − 2e−i3x
1
= − (cos 5x + 3 cos 3x + 3 cos x + cos x
16
−2 cos 3x − 6 cos x)
1
= − (cos 5x + cos 3x − 2 cos x)
16
90
En effet, on a alors les formules
1 − t2
cos x =
1 + t2
2t
sin x =
1 + t2
2
dx = dt
1 + t2
On ne peut évidemment effectuer ce changement de variable que sur un intervalle fermé où tan x2
est bien définie et, si l’intervalle donné ne possède pas cette caractéristique, il faudra alors couper
en morceaux.
D’autres changements de variables du type t = sin x, t = cos x ou t = tan x peuvent être plus
intéressants que celui-ci, malheureusement ceux-ci ne fonctionnent pas à tous les coups 17 .
Exemples et Remarques
R π dx
1. Exercice résolu en cours. Calculer 04 cos x.
Cette intégrale est bien définie car cos x ne s’annule lorsque x décrit 0, π2 . La fonction tan x2
est bien définie sur cet intervalle et l’on a donc, par le changement de variable t = tan x2 ,
Z π4
dx
I =
0 cos x
Z tan π8
1 1
= 2 2
(1 + t2 ). 1−t2
0 1+t 1+t2
Z tan π8
1
= 2 dt
0 1 − t2
Z tan π tan π8
8 1 1+t
2 dt = ln
0 1 − t2 1−t 0
et donc
1 + tan π8
I=
1 − tan π8
Si l’on suit une autre méthode, on a
Z π
4 dx
I =
0 cos x
Z π
4 cos x dx
=
0 cos2 x
Z π
4 cos x dx
=
0 1 − sin2 x
91
Les deux réponses sont écrites différemment mais désignent bien évidemment le même
nombre. En effet, si α = tan π8 , on a
π 2α (1 + α)2
1 + sin = 1+ 2
=
4 1+α 1 + α2
π 2α (1 − α)2
1 − sin = 1− =
4 1 + α2 1 + α2
1 + sin π4 (1 + α)2
1+α
ln = ln = 2 ln
1 − sin π4 (1 − α)2 1−α
Notons que l’un ou l’autre de ces changements de variables permettent de calculer une
primitive de cos1 x sur l’intervalle I = − π2 , + π2 . En effet, on a, pour x ∈ I,
Z x
1
F (x) = du
0 cos u
Z sin x
t=sin u 1
= dt
0 1 − t2
t=sin x
1 1+t
= ln
2 1 − t t=0
1 1 + sin x
= ln
2 1 − sin x
sin( x2 + π4 )
= ln
cos( x2 + π4 )
x π
= ln tan( + )
2 4
Pour les dernières égalités, qui sont les formules classiques que l’on peut trouver dans cer-
taines tables de primitives, on a utilisé le fait que sin x = − cos(x + π2 ) et donc, par les
formules de l’angle double
π x π
1 + sin x = 1 − cos(x + ) = 2 sin2 ( + )
2 2 4
π 2 x π
1 − sin x = 1 + cos(x + ) = 2 cos ( + )
2 2 4
Cette intégrale est bien définie car 1 + sin x est continue et ne s’annule pas sur l’intervalle
2 π3 , 4 π3 .
Z t=tan 2 π
3 dt
I = 2
t=tan π
3
(1 + t)2
92
Le principal problème
√ de ce résultat est √ que l’intégrale de droite n’est tout simplement pas
définie : tan π3 = 3 et tan 2 π3 = − 3, l’intervalle d’intégration contient donc le point
1
t0 = −1 en lequel la fonction (1+t) 2 n’est pas définie.
Z x
1
F (x) = du
π 1 + sin u
23
Z tan x2
dt
= 2
tan π
3
(1 + t)2
t=tan x2
1
= −2
1 + t t=tan π
3
1
= −2 +C
1 + tan x2
Comme on pouvait s’y attendre, cette formule n’a pas grand sens pour x = π. Simplifions
donc l’expression de F (x) (on oublie la constante C, on cherche une primitive !). On a
cos x2 cos x2
F (x) = −2 x x = −2 √
cos + sin 2
2 2 sin( x2 + π4 )
Ce qui est étonnant avec l’une ou l’autre πde ces formules, c’est que non seulement elle donne
1
une primitive de 1+sin x sur l’intervalle 2 3 , π mais aussi qu’elle définit une fonction (que l’on
appelle encore F ) dont le domaine de définition contient − π2 , + 3π
2 , i.e l’un des intervalles
1
les plus larges possibles sur lequel 1+sin x est définie, continue. Il s’avère, en le vérifiant par
1
dérivation simple, que F (x) est primitive de 1+sin x sur cet intervalle.
Notre intégrale I vaut donc
4 π3
√ cos x2 √
1 1
I= − 2 = −2 √ −√ =2 3
sin( x2 + π4 ) 2π 1− 3 3+1
3
On pourrait être tenté de conclure que l’erreur que nous avons faite lors du premier calcul
de I est transparente : le changement de variable n’est pas autorisé et l’on aboutit à une
intégrale qui n’est pas définie. Les choses sont en fait un peu plus subtiles 18 comme le montre
le traitement similaire de Z 4 π3
cos2 x
J= dx
2π
3
1 + sin x
1−t2
Si on mène le calcul en posant t = tan x2 , dx = 2
1+t2 dt, sin x = 2t
1+t2 et cos x = 1+t2 et donc
cos2 x (1 − t2 )2 (1 − t)2
= =
1 + sin x (1 + t2 )(1 + t)2 (1 + t2 )
18. On va faire une action interdite et pourtant tomber sur une intégrale tout à fait bien définie.
93
t=tan 2 π
(1 − t)2
Z 3
J = 2 dt
t=tan π
3
(1 + t2 )2
Le principal problème de ce résultat est que l’intégrale de droite, qui est tout à fait bien
définie, est √
strictement négative
√ (la fonction à intégrer est continue, positive, non nulle et
tan 2 π3 = − 3 < tan π3 = 3) 19 alors que J doit être clairement positif.
Là encore, le problème vient de ce que, lorsque, x décrit l’intervalle 2 π3 , 4 π3 , x « passe » par
94
Chapitre 7
Développements limités
Nous avons vu dans les chapitres précédents comment continuité et dérivabilité d’une fonction
apportent des informations respectivement sur l’approximation d’une fonction par les constantes
et les fonctions affines.
1. Si f est continue en x0 , il existe une fonction , de limite 0 en 0 telle que, pour tout x dans
un voisinage de x0 on a
f (x) = f (x0 ) + (x − x0 )
Nous allons voir maintenant que le fait que f soit plusieurs fois dérivable permet ce type de
comparaison entre la fonction f et une fonction polynomiale.
95
Preuve. Il s’agit d’une intégration par parties
Z b
f (b) − f (a) = f 0 (t) dt
a
Z b
b
= [−(b − t)f 0 (t)]a + (b − t)f 00 (t) dt
a
Z b
= (b − a)f 0 (a) + (b − t)f 00 (t) dt
a
Pour la deuxième formule, on fait le changement de variable t = a + s(b − a), b − t = (1 − s)(b − a),
dt = (b − a)ds, t = a pour s = 0, t = b pour s = 1.
Exemples et Remarques
Rb
1. Pour n = 1, c’est la formule f (b) − f (a) = a f 0 (t) dt, pour n = 2 c’est la formule précédente
2. Si f = P est un polynôme de degré ≤ d, en appliquant cette formule pour n = d + 1, pour
a quelconque et b = x ∈ R, on obtient, car P (d+1) = 0, la formule suivante dite formule de
Taylor pour les polynômes
d
X (x − a)k
P (x) = P (k) (a)
k!
k=0
3. La preuve de cette formule suit les traces de la formule pour n = 2 : il s’agit de faire une
intégration par parties sur le reste à l’ordre n − 1 pour obtenir
Z b b
(b − t)n−1 (n) (b − t)n (n)
f (t) dt = − f (t) +
a (n − 1)! n! a
Z b n
(b − t) (n+1)
+ f (t) dt
a n!
R1
La forme avec 0 s’obtient comme précédemment grâce au changement de variable t =
a + s(b − a).
Exercice résolu en cours. Montrer que pour x > 0, on a l’inégalité
x2 x3 x
|ex − (1 + x + )| ≤ e
2 6
Exercice résolu en cours. Montrer que pour un réel x quelconque on a
1 |x|5 1 |x|4
| sin x − (x − x3 )| ≤ et | cos x − (1 − x2 )| ≤
6 120 2 24
96
7.2 Formules de Taylor-Young
7.2.1 A l’ordre 2
Théorème 117 (Taylor-Young à l’ordre 2) Si f : I → R est C 2 sur I, un intervalle contenant
0. Il existe une fonction , définie sur un voisinage de 0 et de limite en 0 en 0 telle que, pour x ∈ I,
voisin de 0, on a
x2
f (x) = f (0) + xf 0 (0) + f 00 (0) + x2 (x)
| {z 2 } | {z }
polynôme de Taylor d’ordre 2 de f en 0 reste de Young d’ordre 2
Preuve. On applique la formule de Taylor avec reste intégral à f entre 0 et x et on obtient alors,
Z 1
0 x2 00
f (x) = f (0) + xf (0) + f (0) + x 2
(1 − s)[f 00 (sx) − f 00 (0)] ds
2 0
R1
On pose donc (x) = 0 (1 − s)[f 00 (sx) − f 00 (0)] ds et il s’agit simplement de montrer que cette
fonction tend vers 0 lorsque x tend vers 0.
Soit η > 0 donné. Comme f 00 est continue en 0, il existe un α > 0 tel que pour tout réel y,
|y| ≤ α, |f 00 (y) − f 00 (0)| ≤ η. Si |x| ≤ α, lorsque s ∈ [0, 1], |sx| ≤ α et donc
D’après le point iv) de la proposition 106 (i.e. l’inégalité triangulaire), il reste donc
1
|(x)| ≤ α ≤ α,
2
ce qui montre bien ce que nous cherchions.
Exemples et Remarques
1. Ce qui est important dans cette formule c’est que lorsque x → 0, le terme en x2 (x) tend
vers 0 beaucoup plus vite que x2 qui lui même tend vers 0 plus vite que x, la puissance
précédente intervenant dans le polynôme de Taylor.
2. Nous ne voulons retenir aucune information particulière sur si ce n’est qu’elle tend vers 0
en 0, même si une majoration de la quantié f 00 (y) − f 00 (0) nous permettrait de quantifier plu
précisémment l’approximation de f par son polynôme de Taylor.
7.2.2 A l’ordre n ≥ 0
Ce qui a été développé à l’ordre 2 dans la partie précédente se généralise à un ordre n ≥ 0
quelconque, on a
x2 00 xn (n)
f (x) = f (0) + xf 0 (0) +
f (0) + · · · + f (0) + xn (x)
2 n!
n
X xk (k)
= f (0) + xn (x)
k! | {z }
k=0
| {z } reste de Young d’ordre n
polynôme de Taylor d’ordre n de f en 0
97
1 1
ex = 1 + x + x2 + · · · + xn + xn (x)
2 n!
1 1 (−1)n 2n+1
sin x = x − x3 + x5 − · · · + x + x2n+2 (x)
6 5! (2n + 1)!
1 1 (−1)n 2n
cos x = 1 − x2 + x4 − · · · + x + x2n+1 (x)
2 4! (2n)!
1
= 1 + x + x2 + · · · + xn + xn (x) série
1−x
géométrique
1 1 1
ln(1 − x) = −x − x2 − x3 − · · · − xn + xn (x)
2 3 n
1
= 1 − x + x2 − · · · + (−1)n xn + xn (x) série
1+x
géométrique
1 1 (−1)n+1 n
ln(1 + x) = x − x2 + x3 − · · · + x + xn (x)
2 3 n
1
= 1 − x2 + x4 − · · · + (−1)n x2n + x2n+1 (x)
1 + x2
1 1 1
arctan x = x − x3 + x5 − · · · + (−1)n x2n+1 + x2n+2 (x)
3 5 2n + 1
1 1 3 (2n)! 2n
(1 − x2 )− 2 = 1 + x2 + x4 + · · · + 2n x + x2n+1 (x)
2 8 2 (n!)2
1 3 (2n)!
arcsin x = x + x3 + x5 + · · · + 2n x2n+1 + x2n+2 (x)
6 40 2 (n!)2 (2n + 1)
98
Le tableau 7.1 est obtenu en utilisant les calculs suivants, pour tout entier p, on a
(ex )(p) = ex
(sin)(2p) = (−1)p sin
(2p+1)
(sin) = (−1)p cos
(cos)(2p) = (−1)p cos
(cos)(2p+1) = (−1)p+1 sin
(p)
(−1)p p!
1
=
1+x (1 + x)p+1
(p)
((1 + x)α ) = α(α − 1) . . . (α − (p − 1))(1 + x)α−p
(p) (−1)p+1 (p − 1)!
(ln(1 + x)) = ,p≥1
(1 + x)p
où ici (h) = h.
Les deux résultats sont les mêmes. Chacune des deux méthodes possède son intérêt propre et l’on
va voir dans la partie suivante comment mener des calculs de développement limités en suivant la
deuxième méthode, i.e en évitant d’avoir recours à la formule de Taylor-Young.
99
7.3 Développements limités
7.3.1 Définition et propriétés générales
Définition 120 – Développement en 0. On dit qu’une fonction f , définie au voisinage de 0
y admet un développement limité à l’ordre n, s’il existe n + 1 nombres a0 , a1 , . . . , an et une
fonction définie au voisinage de 0, limh→0 (h) = 0 tels que, pour x voisin de 0,
f (x) = a0 + a1 .x + · · · + an xn + xn (x)
f (k) (x0 )
ak =
k!
Proposition 121 (Unicité du DL) Soit n un entier naturel fixé, si a0 ,..,an , b0 ,..,bn sont des
nombres et si 1 et 2 sont deux fonctions définies au voisinage de 0, limh→0 1 (h) = limh→0 2 (h) =
0 tels que, pour tout x voisin de 0, x 6= 0, on a
alors a0 = b0 , a1 = b1 ,...,an = bn .
a fortiori, on a que
a0 + ε3 (x) = b0 + ε4 (x),
et donc a0 − b0 = ε5 (x) → 0 lorsque x → 0. On a donc a0 = b0 .
Nous notons qu’au passage, nous venons de montrer la proposition pour n = 0.
Nous injectons cette information dans l’égalité de départ pour obtenir que au voisinage de 0,
Lorsque x → 0, on obtient comme précédemment que a1 = b1 et nous notons au passage que nous
venons de montrer la proposition pour n = 1. Comme, pour x 6= 0 , x voisin de 0, on a
Le fait que la proposition soit vraie pour n = 1, montre que a1 = b1 , (ce que l’on savait déjà) et
que a2 = b2 , ce qui est nouveau.
100
Faisons maintenant une démonstration plus formelle de la proposition par récurrence sur n.
Nous venons de voir que la proposition est vraie pour n = 0. Supposons qu’elle est vraie pour
un certain entier naturel n et montrons que cela implique qu’elle est vraie pour l’entier n + 1.
Supposons donc donnés des nombres a0 ,...,an+1 , b0 ,...,bn+1 et ε1 , ε2 deux fonctions de limite nulle
en 0. Supposons que pour tout x 6= 0 voisin de x, on a
a0 + a1 .x + · · · + an .xn + an+1 xn+1 + xn+1 ε1 (x) = b0 + b1 .x + · · · + bn .xn + bn+1 xn+1 + xn+1 ε2 (x),
En faisant tendre x vers 0, on obtient que a0 = b0 et en injectant cette information dans l’égalité
précédente, puis en divisant par x 6= 0, on a que
La véracité de la proposition au rang n implique alors que a1 = b1 ,..., an+1 = bn+1 , ce qui est ce
que l’on cherchait.
Exemples et Remarques
1. Le DL d’ordre n d’une fonction f en 0 donne le DL d’ordre k < n de cette même fonction
en 0 en « tronquant » celui ci au bon ordre. En effet, on a
2. Si f est une fonction paire admettant un DL d’ordre n en 0, les coefficients d’indice impair
sont tous nuls et le DL ne comporte ainsi que des puissance paires de x. En effet supposons
que pour tout x voisin de 0, on a
101
et donc
√ √
r
x
2+x = 2 1+
2
√ 1 x 1 x 2 x 2 x
= 21 + − + ε2 ( )
22 8 2 | 2 {z 2 }
x2 ε3 (x)
√ √
√ 2 2 2
= 2+ x− x + x2 ε3 (x)
4 32
√
Ce qui est le DL d’ordre 2 de 2 + x en 0. On a maintenant
√ 1 + √ x + √12 x2 + x2 ε1 (x)+
2 + x + ex = √
2 + 42 x − 322 x2 + x2 ε3 (x)
√ √
√ 2 1 2 2
= (1 + 2) + (1 + )x + ( − )x + x2 ε4 (x)
4 2 32
5 8
= 1 + 2x + x2 + x3 + x3 ε3 (x)
2 3
Ce qui importe de remarquer dans ce calcul, c’est que tous les termes à droite de la barre sont du
type x3 (x), leur somme est donc encore du même type et nous l’avons notée x3 ε3 (x).
102
d’autre part, pour tout x au voisinage de 0, on a
1
u = sin x = x − x3 + x3 ε5 (x)
6
En substituant, on obtient que
2
1 1 3 3 1 3 3
= 1 − x − x + x ε5 (x) + x − x + x ε5 (x)
1 + sin x 6 6
3 3
1 1
− x − x3 + x3 ε5 (x) + x − x3 + x3 ε5 (x) ε4 (sin x)
6 6
On remarque dans un premier temps que ε4 (sin x) est du type ε6 (x) car sin x → 0 lorsque x → 0
3
et que le terme x − 61 x3 + x3 ε5 (x) ε4 (sin x) est donc, après développement, du type x3 ε7 (x).
Effectuons maintenant les développements des puissances de u. On a
1
u = x − x3 + x3 ε5 (x)
6
2
2 1 3
u = x − x + x ε5 (x) = x2 + x3 ε8 (x)
3
6
3
1
u3 = x − x3 + x03 ε5 (x) = x3 + x3 ε9 (x)
6
Finalement :
1 1 5
= 1 − (x − x3 ) + (x2 ) − (x3 ) + x3 (x) = 1 − x + x2 − x3 ) + x3 (x)
1 + sin x 6 6
Exercice résolu en cours. La question est la suivante : Déterminer le DL d’ordre 3 en 0 de
1
h(x) = 1+e x . On a e
x
= 1 + x + 12 x2 + 16 x3 + x3 ε1 (x) et donc
1 1
=
1 + ex 2 + u(x)
avec
1 1
u(x) = x + x2 + x3 + x3 ε1 (x) → 0
2 6
1 1
Or, on a, (astuce pour obtenir le DL de 2+x en 0 à partir de celui de 1+x )
1 1 1
= .
2+u 2 1 + u2
1 u u 2 u 3 u 3 u
= 1− + − + ε2
2 2 2 2 2 2
1 1 1 2 1 3
= − u + u − u + u3 ε3 (u)
2 4 8 16
On peut substituer dans cette expression la valeur de u(x) définie précédemment en remarquant
que u(x)3 ε3 (u(x)) = x3 ε4 Par ailleurs
1 1
u(x) = x + x2 + x3 + x3 ε1 (x)
2 6
u(x)2 = x2 + x3 + x3 ε5 (x)
3
u(x) = x3 + x3 ε6 (x)
103
et donc
1 1 1 1 2 1 3 1 2 1
x + x3 − x3 + x3 ε7 (x)
= − x+ x + x +
1 + ex 2 4 2 6 8 16
1 1 1
= − x − x3 + x3 ε7 (x)
2 4 48
Primitivation
Proposition 122 Soit f une fonction continue définie sur un intervalle I, voisinage de 0 et soit
F une primitive de f sur I. Si f admet un DL en 0 à l’ordre n,
f (x) = a0 + a1 .x + · · · + an xn + xn (x)
x2 xn+1
F (x) = F (0) + a0 .x + a1 + · · · + an + xn+1 (x).
2 n+1
Cette proposition est issue directement du lemme suivant dont la preuve est très semblable à
la preuve du Théorème 117
Lemme 123 Soit n ∈ N, une fonction définie, continue, au voisinage de 0, de limite nulle en
0. Il existe une fonction η définie, continue, au voisinage de 0, de limite nulle en 0 telle que, pour
x voisin de 0, Z x
tn (t) dt = xn+1 η(x)
0
Donc
sin x − x − 16 x3 + x3 ε1 (x) − 16 x2 + x2 ε1 (x)
= = →0
ln(1 + x) x − 12 x2 + 13 x3 + x3 ε2 (x) 1 − 21 x + 31 x2 + x2 ε2 (x)
sin x − x − 16 x3 + x3 ε1 (x) − 16 x + xε1 (x)
= = →0
ln(1 + x)2 x2 − x3 x3 ε3 (x) 1 − x + xε3 (x)
sin x − x − 16 x3 + x3 ε1 (x) − 16 + ε1 (x) 1
= = →−
ln(1 + x)3 3 3
x + x ε4 (x) 1 + ε4 (x) 6
104
Pour n = 4, on a
sin x − x − 16 x3 + x3 ε1 (x)
=
ln(1 + x)4 x4 + x4 ε5 (x)
1 − 16 + ε1 (x)
=
x 1 + ε5 (x)
1
= e− 2 +(x)
1
→ e− 2
On a donc
h 1
ln(2 + h) − (ln 2 + ) = h2 (− + (h))
2 8
Lorsque h est suffisamment voisin de 0, − 18 + (h) est < 0 et donc le membre de droite est
clairement négatif. On en déduit que pour h suffisamment voisin de 0, si h 6= 0,
h
ln(2 + h) < ln 2 + .
2
105
(a) < 0 si x > 0,
(b) > 0 si x < 0
Cela signifie que le graphe est, au voisinage de 0,
(a) sous sa tangente en 0, à droite de 0
(b) au-dessus de sa tangente en 0, à gauche de 0
On conclut donc que la tangente en 0 traverse le graphe en 0.
Proposition 124 Soit f une fonction de classe C 2 sur un intervalle ouvert I. Soit x0 ∈ I un
point critique de f ,i.e. tel que f 0 (x0 ) = 0 alors
1. Si f 00 (x0 ) > 0, f admet en x0 un minimum local
2. Si f 00 (x0 ) < 0, f admet en x0 un maximum local
(x − x0 )2 00
f (x) − f (x0 ) = f (x0 ) + (x − x0 )2 (x − x0 )
2
f 00 (x0 )6=0 (x − x0 )2 00
= f (x0 )(1 + (x − x0 ))
2
106
Posons u = x1 . L’étude f au voisinage de +∞ revient à l’étude de f ( u1 ) au voisinage droit de
0 et l’étude f au voisinage de −∞ revient à l’étude de f ( u1 ) au voisinage gauche de 0.
Commençons par l’étude au voisinage de +∞. On a, en simplifiant que
1
r r
1 u +2 1 1 − u2
g(u) = f ( ) = 1 − 1 = (1 + 2u)
u u
u2 u2
1 1 1
g(u) = ( + 2)(1 − u2 + u2 (u)) = + 2 − u + u(u)
u u 2
En revenant à f , on obtient donc que
11 1 1
f (x) = x + 2 − + ( )
2x x x
Ce qui montre que f (x) − (x + 2) tend vers 0 lorsque x → +∞ et donc que la droite d’équation
y = x + 2 est asymptote au graphe de f en +∞. Par ailleurs,
1 1 1
f (x) − (x + 2) = − + ( )
x 2 x
Ce qui est négatif lorsque x est suffisamment voisin +∞ et l’on peut donc dire que près de +∞ la
courbe est au dessous de son asymptote.
107
Chapitre 8
Nombres complexes, fonctions à valeurs
complexes
8.1 Rappels
Forme générale
Un nombre complexe z s’écrit, de façon unique, sous la forme x + i.y où x et y sont deux
nombres réels et i vérifie i2 = −1.
On a donc introduit un objet, i et on considère les combinaisons linéaires “formelles”, à coeffi-
cients réels, de cet objet et de 1 , i.e. les nombres complexes.
x est appelé la partie réelle de z, notée x = Re z, y est appelé la partie imaginaire de z,
notée y = Imz.
La partie réelle de i est Re i = 0, sa partie imaginaire est Imi = 1.
Un nombre réel x est identifié au nombre complexe z vérifiant Re z = x, Imz = 0. i.e x = x+i.0.
Un nombre complexe de partie réelle nulle sera dit imaginaire pur. Par exemple, 0 est un nombre
complexe à la fois réel et imaginaire pur, et c’est le seul dans ce cas.
Opérations
Les opérations + et . sont définies sur l’ensemble C des nombres complexes pour vérifier les
règles usuelles (associativité, commutativité, distributivité, etc...) des opérations + et . sur les
nombres réels. Si z = x + iy et z 0 = x0 + iy 0 ∈ C,
1. on veut z + z 0 = x + iy + x0 + iy 0 = (x + x0 ) + i(y + y 0 ) et donc on pose
2. on veut z.z 0 = (x + iy).(x0 + iy 0 ) = x.x0 + iyx0 + x.iy + i2 .y.y 0 = x.x0 − y.y 0 + i(x.y 0 + x0 .y)
et donc on pose
Conjugué
Le conjugué du nombre complexe z = x + iy, x, y ∈ R est le nombre z := x − iy, i.e
Re z = Re z, Imz = −Imz
109
Le conjugué d’une somme est la somme des conjugués, le conjugué d’un produit est le produit des
conjugués.
On a
1 1
Re z = (z + z), iImz = (z − z),
2 2
Module
p
Le module du nombre complexe z = x+iy, x, y ∈ R est le nombre réel positif |z| := x2 + y 2 .
Le module d’un nombre complexe est l’extension naturelle de la valeur absolue sur les nombres
réels. Si z est un nombre réel, son module en tant que nombre complexe vaut sa valeur absolue en
tant que nombre réel.
1. Module et conjugué. Si z ∈ C,
|z|2 = z.z.
2. Module et produit. Si z, z 0 ∈ C,
|z.z 0 | = |z|.|z 0 |.
|z + z 0 | ≤ |z| + |z 0 |
||z| − |z 0 || ≤ |z − z 0 |
Remarquons que pour tout nombre complexe z, Re z ≤ |z| avec égalité si et seulement si Imz = 0
et Re z ≥ 0.
On a
|z + z 0 |2 = (z + z 0 ).z + z 0 = (z + z 0 ).(z + z 0 )
= |z|2 + |z 0 |2 + 2Re (zz 0 )
≤ |z|2 + |z 0 |2 + 2|zz 0 | = |z|2 + |z 0 |2 + 2|z|.|z 0 |
= (|z| + |z 0 |)2
L’inégalité est une égalité si et seulement si zz 0 est un réel positif, ce qui mène à la distinction de
cas annoncée.
110
Première interprétation géométrique des nombres complexes
NB :Il en existe une deuxième consistant à voir un nombre complexe comme une similitude du
plan, elle est hors programme.
Un nombre complexe z est caractérisé par deux nombres réels, ses parties réelle et imaginaire.
Si on rapporte le plan Euclidien à un repère orthonormé (direct) (O,~i, ~j), on peut donc faire
correspondre à un point M du plan, de coordonnées (x, y) dans ce répère le nombre complexe
z = x + i.y et réciproquement. Dans ce cas, on dit que z est l’affixe de M et que M est l’image
de z.
Chacune 2 des opérations ou des fonctions définies précédemment peut s’interpréter de façon
géométrique. Par exemple, l’opposé −z d’un nombre complexe z est l’affixe du symétrique de
l’image de z dans la symétrie de centre 0. Son conjugué est l’affixe du symétrique de l’image de z
dans la symétrique orthogonale d’axe (0x), le module de z est la distance de l’image de z au point
0, etc...
Problème de l’ordre
Pour finir, il faut souligner un point notable de différence avec les nombres réels : on ne peut
pas ordonner les nombres complexes de façon à conserver les régles usuelles de l’ordre sur les
nombres réels. D’une certaine manière, en introduisant les nombres complexes, on garantit que
toute équation polynomiale du second degré admet deux solutions 3 et même que toute équation
polynomiale, à coefficients complexes, d’inconnue complexe admet au moins une solution– C’est le
théorème de D’Alembert-Gauss– mais on perd le bénéfice de l’existence de l’ordre sur R compatible
avec les opérations algèbriques. 4
et est donc complètement déterminée par la donnée des deux fonctions Re f et Imf , de variable
réelle à valeurs réelles, définies par,
Exemples et Remarques
1. Cela signifie que :
111
2. Comme q 2 2
|f (t) − z| = Re f (t) − Re z + Imf (t) − Imz ,
f (n) = (Re f )(n) + i.(Imf )(n) i.e. Re (f (n) ) = (Re f )(n) et Im(f (n) ) = (Imf )(n) .
Si f : I → C est une fonction continue, alors Re f et Imf sont continues de I dans R donc on
Rb
peut définir, pour a, b dans I, a f (t)dt par
Z b Z b Z b
f (t) dt := (Re f )(t)dt + i (Imf )(t)dt .
a a a
Remarquons de plus qu’une telle fonction f admet une primitive sur l’intervalle I, à savoir F =
0 0
FRe + i FIm , où FRe = Re f et FIm = Imf ! On a donc :
Z b
f (t) dt := FRe (b) − FRe (a) + i FIm (b) − FIm (a) = F (b) − F (a) ,
a
Tous les résultats portant sur des calculs algébriques (dérivée d’une somme, d’un produit,
d’un quotient, d’une composée 5 , linéarité de l’intégrale, sommes de Riemann, relation de Chasles,
intégration par parties, formule de changement de variables, formule de Taylor avec reste intégral...)
au niveau des dérivées ou des intégrales se transfèrent verbatim au cas des fonctions à valeurs
complexes.
Un certain nombre de résultats n’ont par contre pas d’analogue. Il s’agit de tous les résultats
faisant intervenir la notion d’ordre. Par exemple, on ne cherchera pas à prouver que telle fonction
à valeurs complexes est croissante, tout simplement parce que la définition de croissance fait inter-
venir l’ordre sur les valeurs à l’arrivée. Dans le même ordre d’idées, on ne cherchera pas à prouver
que telle ou telle fonction à valeurs complexes est positive 6 . Plus précisément :
112
– Par contre, l’inégalité triangulaire pour les intégrales et l’IAF sont vraies pour f à valeurs
complexes 8 :
avec égalité si et seulement si il existe une constante z0 ∈ C telle que f (t) = g(t).z0 , où g
est continue, à valeurs réelles positives sur l’intervalle [a, b].
Rb
Preuve. Supposons 9 que a f (t) dt 6= 0 et notons z0 ce nombre, de sorte que
Z b Z b
z0 z0
f (t) dt = |z0 | = f (t) dt .
a |z0 | |z0 | a
On a alors
Z b Z b Z b
f (t) dt = |z0 |z0−1 f (t) dt = |z0 |z0−1 f (t) dt
a a a
Z b Z b
= Re (|z0 |z0−1 f )(t) dt + i Im(|z0 |z0−1 f )(t) dt ,
a a
Rb Rb
donc a
Im(|z0 |z0−1 f )(t) dt = Im a
f (t) dt = 0 et
Z b Z b Z b Z b
f (t) dt = Re (|z0 |z0−1 f )(t) dt ≤ |z0 |z0−1 f (t) dt = |f (t)| dt .
a a Re z≤|z| a ||z0 |z0−1 |=1 a
Rb Rb
De plus, d’après ce calcul, s’il y a égalité, alors a |z0 |z0−1 f (t) dt = a Re (|z0 |z0−1 f )(t) dt,
Rb
i.e. a |z0 |z0−1 f − Re (|z0 |z0−1 f ) (t)dt = 0, et donc, comme |z0 |z0−1 f − Re (|z0 |z0−1 f ) est
une fonction continue positive, elle est identiquement nulle sur [a, b]. Comme Re z = |z|
ssi z ∈ R+ , cela implique encore que pour tout t ∈ [a, b], |z0 |z0−1 f (t) ∈ R+ , soit, par
continuité de f , qu’il existe h ∈ C 0 ([a, b], R+ ) tel que f = |zz00 | h sur [a, b]. Ainsi, f = z0 g où
g = |zh0 | ∈ C 0 ([a, b], R+ ).
Réciproquement, si f est de cette forme, on a bien l’égalité.
8. Remarquons que ces inégalités portent, avec l’utilisation de la valeur absolue ou du module | · |, sur des
nombres réels.
9. Sinon l’énoncé est clair car le membre de droite est positif et, dans ce cas, il y a égalité ssi ab |f (t)|dt = 0 et
R
donc ssi |f | = 0 d’après le résultat de « stricte positivité » de l’intégrale réelle, i.e. ssi f = 0 sur [a, b].
113
8.3 La fonction ez
On présente maintenant une fonction (de variable complexe) d’une importance fondamentale
que ce soit en mathématiques, physique ou autres. Cette fonction regroupe à la fois l’exponentielle
réelle et les fonctions trigonométriques.
8.3.1 eix
Si x ∈ R, on pose
eix := cos x + i sin x
Notons l’utilisation de la notation exponentielle, celle-ci est justifiée par une partie des propriétés
suivantes, on y retrouve nombre de règles classiques sur les exposants ou de variantes de règles
applicables à la fonction exponentielle réelle, x 7→ ex .
Proposition 129 La fonction x 7→ eix est de classe C ∞ sur R. Elle vérifie
deix
1. dx = i.eix .
d2 eix
2. dx2 = −eix .
3. Pour tout x ∈ R, |eix | = 1.
π
4. ei0 = 1, ei2kπ = 1, ∀k ∈ Z, ei 2 = i,
5. Pour tout a, b ∈ R, ei(a+b) = eia eib .
6. Pour tout a ∈ R, (eia )−1 = e−ia .
7. Pour tout a ∈ R, eia = e−ia .
8. Pour tout a, b ∈ R, eia = eib si et seulement si il existe k ∈ Z tel que a = b + k2π.
9. Pour tout z ∈ C, |z| = 1, il existe x ∈ R tel que eix = z. Si eix0 = z alors l’ensemble des
solutions de l’équation eix = z d’inconnue x ∈ R est {x0 + k2π, k ∈ Z}.
D’un point de vue géométrique, la courbe paramétrée plane x ∈ R 7→ eix ∈ C a pour trajectoire
le cercle unité, la vitesse est constante égale à 1. Celui-ci est parcouru une seule fois sur un intervalle
du type [x0 , x0 + 2π[.
Remarquons les formules d’Euler et de De Moivre. Pour x, un nombre réel,
8.3.2 ez
Pour z = x + i.y, x, y ∈ R, on définit
Il s’agit d’une fonction d’une variable complexe ou, vue comme fonction de x et de y, d’une fonction
de deux variables réelles, à valeurs complexes.
114
6. Pour tout w ∈ C, w 6= 0, il existe z ∈ C tel que ez = w. Si ez0 = w alors l’ensemble des
solutions de l’équation ez = w d’inconnue z ∈ C est {z0 + 2.i.kπ, k ∈ Z}.
7. Si f : I → C est une fonction de classe C 1 sur l’intervalle réel I, ef est une fonction de
classe C 1 sur I vérifiant, pour tout t ∈ I,
eax cos bx dx
R
Intégrales du type
Supposons a et b deux réels (non tous deux nuls) et cherchons une primitive sur R de la fonction
x 7→ eax cos bx. Rx
Méthode 1 : purement réelle. Supposons a 6= 0. Posons F (x) := 0 eat cos bt dt et inté-
grons par parties en posant u0 (t) = aeat , v(t) = cos bt.
Z x
a.F (x) = [u(t).v(t)]x0 − u(t).v 0 (t) dt
0
Z x
at
= e cos bt − 1 + eat .b. sin bt dt
0
Z x
a2 .F (x) at
= ae cos bt − a + a. eat .b. sin bt dt
0
En intégrant par parties l’intégrale du membre de droite, on fait apparaitre F (x) ; On re-
groupe ensuite les F (x).
Z x
2 at at 2 at
a .F (x) = ae cos bt − a + b.e sin bt − b . e cos bt dt
0
(a2 + b2 ).F (x) = a.eat cos bt − a + b.eat sin bt
a b a
F (x) = .eat cos bt + 2 .eat sin bt − 2
a2 + b2 a + b2 a + b2
a b
Une primitive de x 7→ eax cos bx sur R est donc x 7→ a2 +b 2 .e
at
cos bt + a2 +b 2 .e
at
sin bt.
Méthode 2 : exponentielle complexe. On remarque que e cos bx = Re e(a+i.b)x . Une
ax
1
primitive de x 7→ eax cos bx sur R est donc x 7→ Re a+i.b e(a+ib)x . On a
1 a − ib ax
e(a+ib)x = e (cos bx + i sin bx)
a + i.b a2 + b2
1 1
= eax (a. cos bx + b. sin bx) + i 2 (−b. cos bx + a. sin bx)
a2 + b2 a + b2
115
(cos x)n dx,... linéarisation
R
Intégrales du type
Rb
Pour calculer une intégrale du type a (cos x)n dx, on a intérêt à linéariser l’intégrande. Cela
revient à transformer cosn x en une combinaison linéaire de fonctions du type cos kx et sin kx,
combinaison linéaire dont on peut facilement trouver une primitive.
On utilise pour cela les formules d’Euler qui expriment simplement que, pour un nombre réel
x, cos x et sin x sont les parties réelle et imaginaire de eix .
1 ix 1
cos x = (e + e−ix ), sin x = (eix − e−ix )
2 2i
On utilise alors le binôme de Newton pour développer (cos x)n ou (sin x)n en notant que (eix )k =
eikx et finalement, les formules d’Euler de nouveau pour revenir aux cos kx et sin kx.
Rπ
Par exemple, calculons 02 cos3 x dx. On a
3
1 ix
3
cos x = (e + e−ix )
2
1 i3x
e + 3.ei2x e−ix + 3.eix .e−i2x + e−i3x
=
8
1 i3x 1 3
= e + 3.ei2x e−ix + 3.eix .e−i2x + e−i3x = cos 3x + cos x
8 4 4
1
Une primitive de cos3 x sur R est donc 12 sin 3x+ 34 sin x. L’intégrale considérée vaut donc 1 3
12 + 4 =
10 5
12 = 6 .
116
Chapitre 9
Équations différentielles linéaires
d’inconnue la fonction f ∈ C 1 (I, C) et de données a, b ∈ C 0 (I, C). Résoudre (E), c’est donc
donner toutes les fonctions f ∈ C 1 (I, C) telles que
Ces équations sont dites « différentielles » car elle portent sur une fonction inconnue et ses
dérivées, d’« ordre 1 » car les dérivées impliquées ne dépassent pas le premier ordre de dérivation,
et « linéaires » car elles possèdent la propriété remarquable suivante : si f, g sont solutions et
λ, µ ∈ C, alors λf + µg est aussi solution.
Par exemple, on a déjà vu que pour a, λ ∈ C, les fonctions exponentielles I 3 t 7→ λeat d’une
variable réelle sont solutions de l’équation différentielle du premier ordre
Dans ce qui suit, on va voir que ce sont en fait les seules solutions de cette dernière équation
et on donnera une méthode générale pour résoudre (E).
Proposition 131 Soit I ⊂ R un intervalle et a ∈ C 0 (I, C). Soit A une primitive quelconque de a
sur I. Alors f ∈ C 1 (I, C) est solution de (E0 ) si et seulement si il existe λ ∈ C tel que pour tout
t ∈ I, f (t) = λeA(t) . Autrement dit, l’ensemble S0 des solutions de (E0 ) est donné par
n o
S0 = f : I → C , t 7→ λeA(t) ; λ ∈ C .
Preuve.
117
“⊃" Soit λ ∈ C et f : I → C , t 7→ λeA(t) , où A est une primitive de a sur I. Alors A, et donc f ,
est de classe C 1 (I, C) et on a de plus :
donc f ∈ S0 .
“⊂" Si f ∈ C 1 (I, C) est solution de (E0 ), alors
Exemples et Remarques
1. La fonction a étant continue sur I, elle admet bien des primitives sur I ; elles sont de classe C 1 .
2. Toutes les solution de l’équation homogène (E0 ) sont donc multiples d’une solution de s’an-
nulant jamais, à savoir t 7→ eA(t) .
3. Dans le cas où a(t) = a ∈ C est une constante, on a en particulier
f ∈ C 1 (I, C) , f 0 = af = f : I → C , t 7→ λeat ; λ ∈ C .
Proposition 132 Si f1 ∈ C 0 (I, C) est une solution de (E), alors l’ensemble S des solutions de
(E) est donné par
S = {f0 + f1 ; f0 solution de (E0 )} =: f1 + S0
où (E0 ) est l’équation homogène asociée à (E) : f 0 (t) = a(t).f (t), t ∈ I (E0 ).
Preuve.
“⊃" Si f = f1 + f0 , alors f 0 (t) = f10 (t) + f00 (t) = a(t).f1 (t) + b(t) + a(t).f0 (t) = a(t).f (t) + b(t)
pour tout t ∈ I et f est solution.
118
“⊂" Si f est solution de (E), alors
donc (f − f1 )0 (t) − a(t)(f − f1 )(t) = 0 sur I i.e. f − f1 est solution de (E0 ) et il existe f0 ∈ S0
telle que f − f1 = f0 .
On vient donc de démontrer que si l’on connaît une solution particulière de l’équation diffé-
rentielle (E), alors on en déduit toutes ses solutions en résolvant l’équation homogène associée (E0 ).
On montre maintenant que l’équation différentielle (E) admet toujours des solutions ainsi
qu’une méthode pour les déterminer.
Considérons donc l’équation (E) et cherchons une solution 1 sous la forme f1 : t 7→ λ(t).eA(t)
où A est une primitive de a sur I et λ ∈ C 1 (I, C) est une fonction à déterminer 2 . On a alors
Pour que f1 soit solution de (E), il suffit donc (et c’est aussi nécessaire) de prendre pour λ une
primitive de la fonction t 7→ b(t)e−A(t) de classe C 0 (I, C).
Exemples et Remarques
1. En pratique, on ne peut pas toujours donner une formule explicite pour cette primitive.
2. Pour résoudre (E), on procède souvent comme suit :
– On résout l’équation différentielle homogène associée (E0 ).
– On cherche une solution particulière f1 . Pour cela, on peut essayer de trouver une solution
« évidente » grâce à son intuition ; on utilise sinon la méthode de variation de la constante.
– On a finalement
S = {f1 + f0 , f0 solution de (E0 )} .
3. Exercice. Étant donnée l’équation (E), montrer que
4. Si a ≡ 0, (E) devient f 0 (t) = b(t) et ses solutions sont donc les primitives de b.
119
Elles sont dites d’« ordre 2 » car les dérivées impliquées ne dépassent pas le second ordre et
« linéaires » car elles possèdent également la propriété remarquable qu’étant données f, g deux
solutions et λ, µ deux constantes, alors λf + µg est aussi solution.
Ce type d’équation apparaît naturellement en mécanique (dynamique du ressort avec ou sans
frottement, approximation de l’équation du pendule), en électricité (circuit RLC) et dans bien
d’autres domaines.
Par analogie avec la partie précédente, cherchons quand la fonction f (t) = eωt , ω ∈ C, est
solution de (E). On a
f (t) = eωt ,
f 0 (t) = ωeωt ,
00
f (t) = ω 2 eωt ,
f 00 (t) + b.f 0 (t) + a.f (t) = (ω 2 + b.ω + a)eω.t ,
donc f est donc solution de (E) si et seulement si ω est solution de l’équation caractéristique
associée à (E) :
z 2 + b.z + a = 0 .
Proposition 133 Soit z 2 + b.z + a le polynôme caractéristique associé à l’équation (E). Alors :
i) Si ∆ = b2 − 4a 6= 0, l’équation caractéristique z 2 + b.z + a = 0 a deux solutions distinctes
ω1 6= ω2 et les solutions de (E) sont les fonctions f : I → C , t 7→ λeω1 t + µeω2 t , où
(λ, µ) ∈ C2 .
ii) Si ∆ = b2 − 4a = 0, l’équation caractéristique z 2 + b.z + a = 0 a une solution double ω1 et
les solutions de (E) sont les f : I → C , t 7→ (λ + µt)eω1 t , où (λ, µ) ∈ C2 .
Preuve.
“⊃” Les solutions annoncées sont bien solutions dans le cas i) d’après ce qui précède l’énoncé
du théorème et la linéarité de l’équation (E). Dans le cas ii), on vérifie aussi que t 7→ teω1 t
est bien solution de (E).
“⊂” i) Si f est solution, comme z 2 + b.z + a = (z − ω1 )(z − ω2 ), on a ω1 ω2 = a, ω1 + ω2 = −b,
donc
00 0 d d
0 = f + bf + af = − ω2 − ω1 f
dx dx
0
= (f 0 − ω1 f ) − ω2 (f 0 − ω1 f ) = g 0 − ω2 g où g := f 0 − ω1 f .
De g 0 − ω2 g = 0, on obtient, en utilisant les résultats obtenus dans le cadre des équations
différentielles linéaires d’ordre 1, l’existence de λ ∈ C tel que g(t) = λeω2 t pour t ∈ I. Ainsi
f est solution de l’équation différentielle linéaire (E1 ) d’ordre 1 : f 0 − ω1 f = λeω2 t d’où :
λ
∃ µ ∈ C tel que ∀t ∈ I , f (t) = µeω1 t + eω2 t
| {z } ω2 − ω1
sol. de l’éq. hom. associée à (E1 )
| {z }
sol. particulière
0 λ
car (Ceω2 t ) − ω1 Ceω2 t = C(ω2 − ω1 )eω2 t = λeω2 t si C = ω2 −ω 1
et f est bien de la forme
annoncée.
ii) Cette fois, on a
d d
− ω1 − ω1 f = 0
dx dx
0 0
donc en posant g = f − ω1 f , il vient g − ω1 g = 0, d’où l’existence de λ ∈ C tel que g(t) =
λeω1 t pour t ∈ I. Ainsi f est solution de l’équation différentielle linéaire (E1 ) d’ordre 1 : f 0 −
ω1 f = λeω1 t et f est donc de la forme f (t) = f1 (t) +µeω1 t , où f1 est une solution particulière
de (E1 ). En remarquant maintenant que t 7→ λteω1 t est une telle solution particulière (à
vérifier !), on obtient la forme annoncée pour f .
120
Chapitre 10
Courbes paramétrées planes
10.1 Généralités
On se place dans le plan muni d’un repère (O,~i, ~j) orthonormé. Ce plan est alors identifié à
2
R , l’ensemble des couples de réels, via le mécanisme des coordonnées cartésiennes.
10.1.1 Définition
Définition 134 – Un paramétrage de courbe plane ou, plus simplement, une courbe
paramétrée plane est la donnée de deux fonctions réelles de variable réelle x et y définies,
continues sur un même intervalle non trivial I de R. C’est aussi la donnée d’une fonction
continue 1 γ : I → R2 , γ(t) = (x(t), y(t)).
– A chaque t ∈ I, on associe le point M (t) de coordonnées γ(t) = (x(t), y(t)). L’ensemble des
points M (t) lorsque t décrit I
Γ = {(x(t), y(t)), t ∈ I}
Exemples et Remarques
1. La droite. Donner un paramétrage de la droite D passant par le point A = (1, 1), de vecteur
directeur u = (−2, 3).
Donner un autre paramétrage de cette même droite.
2. Le cercle. Même exercice avec le cercle de centre 0 de rayon 1. En utilisant le fait que le
cercle de centre C = (−1, 2), de rayon 3 est l’image par une homothétie de centre O suivie
d’une translation du cercle précédent, déterminer un paramétrage de ce cercle.
3. Le graphe d’une fonction continue. Soit f : I → R une fonction continue, son graphe Γ est
la courbe paramétrée dont un paramétrage est
4. Si Γ est la courbe paramétrée par (x(t), y(t)), t ∈ I ⊂ R et si φ est une bijection continue
d’un intervalle J ⊂ R sur I alors Γ est aussi la courbe paramétrée par (x(φ(s), y(φ(s)), s ∈ J.
1. Une fonction à valeurs R2 est continue si chacune des fonctions coordonnées l’est
2. ou courbe géométrique ou support de la courbe paramétrée
121
10.1.2 Vecteur vitesse et tangente
Dans les exemples qui vont nous occuper, les fonctions x et y seront,la plupart du temps, des
fonctions régulières (i.e. de classe C 1 ) de t ∈ I.
Dans une interprétation physique usuelle des courbes paramétrées, la variable t représente le
temps et x(t), y(t) sont les coordonnées d’un point mobile M (t)
Si t 6= t0 , la vitesse moyenne du mobile entre les instants t et t0 est donnée par le vecteur
−−−−−−−→ x(t)−x(t0 ) y(t)−y(t0 )
1
t−t0 M (t0 )M (t) qui a ( t−t0 , t−t0 ) pour coordonnées dans la base (~i, ~j).
Lorsque t → t0 , ce vecteur vitesse moyenne tend, au sens ou chacune de ses coordonnées tend,
vers ~v (t0 ) := (x0 (t0 ), y 0 (t0 )). Ce vecteur est appelée le vecteur vitesse instantanée ou vecteur
vitesse de M à l’instant t0 .
Lorsque ~v (t0 ) 6= 0, la droite passant par le point M (t0 ), de vecteur directeur ~v (t0 ), donnée
paramétriquement par
Dans le cas du paramétrage naturel d’un graphe de fonction, on retrouve la notion de tangente
à un graphe déjà rencontrée.
γ
tgte à l’instant t0
corde entre t0 et t1
M 1 à t = t1
M0 à t = t 0
Figure 10.1 – Une courbe paramétrée, le point M0 atteint à l’instant t = t0 , sa tangente et une
corde
Exemples et Remarques
1. Si φ est une bijection C 1 d’un intervalle J ⊂ R sur I ⊂ R, (x(t), y(t)), t ∈ I ⊂ R et
(x̃(s), ỹ(s)) = (x(φ(s)), y(φ(s))), s ∈ J sont alors deux paramétrages d’une même courbe Γ.
On a alors, par le théorème de dérivation des fonctions composées, si t0 = φ(s0 ), que
~v (t0 ) = φ0 (s).~ṽ(s0 ).
122
Si φ0 (s0 ) 6= 0, la tangente à Γ en M (t0 ) à l’instant t0 est alors égale à la tangente à Γ en
M̃ (s0 ) à l’instant s0 . Cela donne un début de définition intrinsèque, i.e. indépendant du
paramétrage choisi, de la tangente à une courbe paramétrée.
−−−−−−−→
2. Il se peut que ~v (t0 ) = 0 mais que la limite de (t−t10 )n M (t0 )M (t) lorsque t → t0 pour un
certain entier n existe et est non nulle. Par extension, on dira aussi que cette limite est un
vecteur tangent à la courbe à l’instant t0 .
Nous verrons un exemple de ce phénomène dans l’un des exemples de la partie suivante.
Exemples et Remarques
1. La quantité v(t) est la longueur du vecteur vitesse à l’instant t. C’est ce que l’on appelle la
vitesse instantanée. Si on imagine une voiture suivant la courbe γ(t), t ∈ I, v(t) est ce que
l’on peut lire sur le compteur de vitesse de cette voiture. D’une certaine manière, on “oublie”
l’information de direction contenue dans le vecteur vitesse ~v (t). Si l’on pense qu’une intégrale
1
R t1
est un genre de somme, la quantité t1 −t 0 t0
v(t) dt est en quelque sorte la “moyenne” des
vitesses instantanées sur l’intervalle de temps [t0 , t1 ] : il s’agit donc de la vitesse moyenne
sur cet intervalle de temps, i.e la distance parcourue par le mobile entre les instants t0 et t1
divisée par la durée t0 − t1 de cet intervalle de temps.
2. Prenons l’exemple d’un segment géométrique L = [AB] où A a pour coordonnées (xA , yA ),
B a pour coordonnées (xB , yB ). Ce segment est naturellement paramétré par
On a p
~v (t) = (xB − xA , yB − yA ), v(t) = (xB − xA )2 + (yB − yA )2 = AB
D’après la définition, la distance parcourue entre les instants t0 = 0 et t1 = 1 est donc
Z 1p
D(0, 1) = (xB − xA )2 + (yB − yA )2 dt = AB
0
Dans ce cas, on voit donc que la distance parcourue entre ces deux instants est exactement
la longueur du segment, ce qui est finalement rassurant ! !
Un calcul similaire montre que la distance parcourue entre l’instant 0 et l’instant t ∈ [0, 1]
quelconque est D(0, t) = t.AB, ce qui est exactement la longueur du segment Aγ(t).
3. Traitons maintenant l’exemple d’un cercle ou d’une partie de cercle. Nous allons voir que les
distances calculées à l’aide de deux paramétrages distincts ont au bout du compte la même
valeur
(a) Paramétrage trigonométrique du cercle. Soit C le cercle de centre (0, 0), de rayon 1. Soit
γ0 (t) = (x(t), y(t)) = (cos t, sin t), t ∈ [0, 2π] le paramétrage usuel de ce cercle. On a
q
v~0 (t) = (− sin t, cos t), v0 (t) = cos2 (t) + sin2 (t) = 1
π
La distance parcourue par le mobile γ0 (t) entre les instants 0 et 4 est donc
Z π
π 4 π
D0 (0, )= 1 dt =
4 0 4
123
La trajectoire de γ0 (t) sur l’intervalle [0, π4 ] est un huitième du cercle C, sa longueur au
sens usuel du terme est donc π4 , ce qui coincide bien avec la distance parcourue.
√
(b) Posons maintenant γ1 (t) = (cos t2 , sin t2 ), t ∈ [0, 2π]. Il s’agit d’un autre paramétrage
du même cercle C. On a
q
v~1 (t) = (−2t sin t2 , 2t cos t2 ), v1 (t) = 4t2 cos2 (t2 ) + 4t2 sin2 (t2 ) = 2t
La distance parcourue par le mobile γ1 (t) entre les instants 0 et π4 est donc
p
Z √ π4
√π
r
π π
D1 (0, )= 2t dt = t2 0 4 =
4 0 4
pπ
La trajectoire de γ1 (t) sur l’intervalle [0, 4 ] est le même huitième du cercle C que
précédemment et la encore, sa longueur au sens usuel du terme coincide bien avec la
distance parcourue.
La proposition suivante indique, à la manière de l’énoncé similaire sur les tangentes, que la
distance parcourue sur un arc paramétré est par nature liée à la trajectoire et non à un paramétrage
particulier.
Proposition 136 Soient I et J sont deux intervalles non triviaux de R, σ : I → J, une bijection
croissante de classe C 1 , γ0 : I → R2 et γ1 : J → R2 sont deux arcs paramétrés de classe C 1 , de
vitesses instantanées respectives v0 : I → R et v1 : J → R,
Si pour tout t ∈ I, γ1 (σ(t)) = γ0 (t) alors, pour t0 < t1 , t0 , t1 ∈ I, en posant σ(t0 ) = s0 < s1 =
σ(t1 ), on a
Z t1 Z s1
D0 (t0 , t1 ) = v0 (t) dt = v1 (s) ds = D1 (s0 , s1 )
t0 s0
Preuve. Comme pour tout t ∈ I, γ1 (σ(t)) = γ0 (t), en dérivant, on obtient que pour tout t ∈ I,
σ 0 (t).~v1 (σ(t)) = ~v0 (t). Comme σ est croissante, σ 0 (t) ≥ 0 et donc, pour tout t ∈ I,
On a donc, par le théorème du changement de variable, Théorème 111, dans les intégrales que
Z t1
D0 (t0 , t1 ) = v0 (t) dt
t0
Z t1
= σ 0 (t).v1 (σ(t)) dt
t
Z 0s1
s=σ(t)
= v1 (s) ds = D1 (s0 , s1 )
s0
124
– On repère des points particuliers de la courbe et l’on calcule si besoin les tangentes à ces
points : intersections avec les axes de coordonnées, points où les tangentes sont parallèles
aux axes, points multiples 3
– Une classe importante de points particuliers sont les points « singuliers » du paramétrage,
où la vitesse s’annule. On verra sur des exemples comment étudier la courbe au voisinage de
tels points.
– recherche de droites asymptotes
– On trace la courbe en respectant ces contraintes
4. Dérivées et variations : on a
t 0 1 +∞
x0 (t) 0 + 6 +
y 0 (t) 3 + 0 −
+∞
%
x(t) 1
%
−2
2
y(t) % &
0 −∞
Le graphe admet donc une tangente verticale au point M0 = (0, 0) à l’instant t = 0 et une
tangente horizontale au point M1 = (1, 2) à l’instant t = 1.
5. Recherche de points doubles : résolvons le système de deux équations à deux inconnues
t, s ∈ R, t 6= s
x(t) = x(s)
y(t) = y(s)
6 s correspondent à un point de la courbe atteint
Les solutions de ce système telles que t =
à deux instants distincts. Le système en question est équivalent succesivement à chacun des
systèmes suivants
t2 − s2 = 0
s+t = 0
, ,
3t − t3 − (3s − s3 ) = 0 3 − (t2 + st + s2 ) = 0
s = −t s = −t√
,
3 − (t2 − t2 + t2 ) = 0 t = ± 3
3. Ce sont les points de la courbe géométrique en lesquels on passe au moins deux fois, à deux instants différents
125
√
instants t = ± 3, il s’agit du point
Il y a donc un « point double » sur la courbe, atteint aux√
M√3 = (7, 0). La tangente T en ce point à l’instant t = 3 a pour équation paramétrique
√ √ √
xT (t) = x(√ 3) + tx0 (√ 3) =
7 + 6 3.t
yT (t) = y( 3) + ty 0 ( 3) = −6t
√
La tangente S en ce point à l’instant t = − 3 est la symétrique de T par rapport à l’axe
des abscisses.
tgte à t = 0
tgte à t =
√1
tgte à t = √3
tgte à t = − 3
t=1 √
2 t=± 3
t = 00
-2 0 1 7
126
Le tableau de variation est donc le suivant
π π
t 0 √4 2
x0 (t) 1 + 2
2
+ 0
y 0 (t) 1 + 0 − −2
1
√
%
2
x(t) 2
% 1
0
1
y(t) % &
0
y 0 (t) 1 + 0 − −2
Les cas (a) et (c) correspondent à l’existence d’un entier k tel que s = t + 2kπ : tous les
points de la courbe sont points multiples du seul fait de la 2π-périodicité, ce qui n’est pas
très intéressant. On se limite donc aux valeurs de t et s comprises entre −π et π.
Le cas (d) est impossible : π2 n’est pas un multiple entier de π. Il ne reste donc que le cas
(b) : il existe k, ` ∈ Z tels que
π π π π π π
t= + kπ + ` = (2k + ` + 1) et s = + kπ − ` = (2k − ` + 1) .
2 2 2 2 2 2
On a t − s = `π et donc le fait que t 6= s est équivalent à ` 6= 0. Si l’on se restreint aux t et
s compris entre −π et π, t − s est donc compris entre −2π et 2π, (k, `) ne peut prendre que
les valeurs (0, −1), (0, 1), (−1, −1) et (−1, 1). (faire un dessin des couples d’entiers vérifiant
−3 ≤ 2k − ` ≤ 1 et −3 ≤ 2k + ` ≤ 1, ` 6= 0). Les valeurs des couples (t, s) correspondants
sont (0, π), (π, 0), (−π, 0) et (0, −π).
Pour ces quatre couples (t, s), on a x(t) = x(s) = 0 et y(t) = y(s) = 0 ; Le point 0 est donc,
modulo la périodicité de la courbe, le seul point multiple de cette courbe.
127
symetrie / Ox
symetrie / O
1
π
t= 4
~v (0)
0 t = 0, π, −π
√ √
-1 2 0 2 1
− 2 2
3π
t= 4
-1
~v ( 3π
4 )
avec ap 6= 0 et bq =
6 0 et p 6= q.
Au voisinage de t0 , la courbe paramétrée par x(t), y(t) « ressemble » à celle, plus simple,
paramétrée par
x̃(t) = x(t0 ) + ap (t − t0 )p
ỹ(t) = y(t0 ) + bq (t − t0 )q
Il est cependant assez exceptionnel qu’après un développement limité nous nous retrouvions
exactement dans cette situation avec p 6= q. Le cas suivant se gère grâce à un changement de
128
coordonnées. Supposons que nous ayons deux vecteurs I~ et J~ non colinéaires (a fortiori non nuls)
tels que, après développement limité on ait
x(t) = x(t0 ) + xI (t − t0 )p + ap+1 xI (t − t0 )p+1 + · · · + aq−1 xI (t − t0 )q−1 + xJ (t − t0 )q + (t − t0 )q (t − t0 )
y(t) = y(t0 ) + yI (t − t0 )p + ap+1 yI (t − t0 )p+1 + · · · + aq−1 yI (t − t0 )q−1 + yJ (t − t0 )q + (t − t0 )q (t − t0 )
où I = (xI , yI ), J = (xJ , yJ ), ap+1 , . . . , aq−1 sont des réels quelconques. Donnons nous un nou-
veau système de coordonnées (X, Y ) dont l’origine est le point de coordonnées (x(t0 ), y(t0 )), l’axe
des abscisses soit dirigé par I, celui des ordonnées soit dirigé par J. La courbe paramétrée par
(x(t), y(t)) dans le repère originel est paramétrée dans ces nouvelles coordonnées par
10
-5
-10
0 1 2 3 4 5 6 7 8 9
ρ = r(t), θ = θ(t), t ∈ I
est par définition la courbe paramétrée définie en coordonnées cartésiennes par le système
paramétrique
129
x(t) = r(t) cos θ(t), y(t) = r(t) sin θ(t), t ∈ I
Remarquons que si r(t) et θ(t) sont des fonctions régulières (par exemple de classe C 1 ), sur I
alors x(t) et y(t) sont des fonctions ayant au moins le même degré de régularité (dans l’exemple,
elles seront au moins de classe C 1 ).
Réciproquement, étant donnée une courbe paramétrée donnée en coordonnées cartésiennes par
le système paramétrique x(t), y(t), t ∈ I ⊂ R, on peut en donner une définition polaire par la
correspondance coordonnées cartésiennes–coordonnées
p polaires décrite dans la partie précédente.
Le fait que, par exemple, r(t) = x2 (t) + y 2 (t), montre qu’en général, on ne peut espérer que
r(t) soit automatiquement de classe C 1 si x(t) et y(t) le sont. Les instants t ∈ D où x(t) = y(t) = 0
posent en effet problème lors de la dérivation.
Le problème de la régularité est encore plus prégnant lors de la détermination de l’angle θ(t).
D’une part, lorsque r(t) = 0, l’angle n’est pas défini et d’autre part, si la courbe fait « plus d’un
tour autour de 0 », la fonction θ(t) risque d’exhiber une discontinuité due au problème du choix
de l’angle déjà mentionné.
Expression de la vitesse
Posons quelques notations couramment utilisées en physique. Si θ ∈ R, on pose 4
ρ = r(t), θ = t, t ∈ I
L’exemple le plus simple est donné par le cercle de centre 0, de rayon r0 . Il est défini par
l’équation paramétrique
r = r0 , θ ∈ R
.
En restreignant le domaine de variation de θ, on obtient une partie du cercle. Par exemple, si
θ0 < θ1 , la courbe définie par l’équation paramétrique
r = r0 , θ ∈ [θ0 , θ1 ]
est l’arc du cercle de centre 0, de rayon r0 constitué des points dont l’argument varie entre θ0 et
θ1 .
4. les r, θ en indice n’ont rien à voir avec les fonctions ou variables portant ces déjà noms, les vecteurs ur et uθ
dépendent seulement de l’angle θ
130
Les droites ne passant pas par 0 ont une équation polaire du type
a
r=
cos(θ − θ0 )
−−→
Si l’on note H le projeté orthogonal de O sur une telle droite. On a OH = a et l’angle (~i, OH)
est θ0 .
3.5
2.5
1.5
H
0.5
0
O
0 0.5 1 1.5 2 2.5 3
0.5
2
Figure 10.5 – La droite r = cos(θ− π .
4)
131
premiers termes non triviaux de chacun des développements limités :
x(θ) = θ2
y(θ) = θ3
Cette courbe a été étudiée dans la partie précédente. Elle présente en 0 une demi-tangente hori-
zontale et un point de rebroussement.
0
-4 0 1/2
p
10.3.3 Coniques en polaires : r = 1+e cos θ
.
Lorsque l’on étudie le mouvement des planètes, ou plus généralement le mouvement de deux
corps en interaction gravitationnelle, en se plaçant dans un repère centré au centre de gravité
des deux corps, on aboutit, après quelques calculs non triviaux au fait que le mouvement de l’un
p
de ces corps est régi par la courbe paramétrée en polaires r = 1+e cos(θ−θ 0)
où p > 0 et e > 0,
θ0 sont des paramètres dépendant des conditions physiques (masse des corps en présence, vitesse
initiale, etc...). Notre objectif ici est de faire une étude mathématique de ces courbes paramétrées.
Nous obtiendrons alors une description en coordonnées polaires des coniques. Ces courbes étaient
connues dès l’antiquité grecque car elles apparaissant lorsque l’on sectionne un cône par un plan.
Quitte à faire une rotation des axes, on peut supposer que θ0 = 0 et quitte à faire une homo-
thétie de centre 0, on peut supposer p = 1. Ne serait-ce qu’au niveau du domaine de définition
de la fonction r, on voit qu’il y a trois cas à distinguer au niveau du paramètre e qui est appelé
l’excentricité de la conique.
1. 0 < e < 1 : le domaine de définition est D = R. r est toujours positif. La courbe obtenue
sera une ellipse.
2. e = 1 : le domaine de définition est D = R privé des points de la forme π + 2kπ, k ∈ Z. r
est toujours positif. La courbe obtenue sera une parabole
3. e > 1 : le domaine de définition est D = R privé des points de la forme arccos(− 1e ) + 2kπ
et des points de la forme − arccos(− 1e ) + 2kπ, k ∈ Z. r change de signe. La courbe obtenue
sera une hyperbole
132
Au niveau des symétries, comme r(θ + 2π) = r(θ), il suffit d’étudier la courbe sur un intervalle
de longueur 2π. Par ailleurs r(−θ) = r(θ), la courbe est donc symétrique par rapport à l’axe des
abscisses et il suffit de l’étudier sur l’intervalle [0, π].
Équation cartésienne. En posant, x = r cos θ et y = r sin θ, on a donc
r + er cos θ = 1
y 2 + (1 − e2 )x2 + 2e.x = 1
Nous verrons qu’il s’agit d’une équation cartésienne de la courbe géométrique paramétrée par
r = 1+e1cos θ , θ ∈ D.
Le cas de l’ellipse
La fonction r est de classe C ∞ sur [0, π] et l’on a
e sin θ
r0 (θ) =
(1 + e cos θ)2
Cette vitesse ne s’annule pas et donc, on obtient une tangente en θ à la courbe paramétrée en
prenant la droite dirigée par ruθ + r0 ur .
Le cas de la parabole
La fonction r est définie sur R\{π+2kπ, k ∈ Z}. Par 2π-périodicité, la courbe est intégralement
décrite lorsque θ décrit ]−π, +π[.
2
Elle est contenue dans l’ensemble des points (x, y) du plan vérifiant x = 1−y 2 . C’est une
parabole.
Comme lorsque θ décrit ]−π, +π[,
θ
y(θ) = r(θ) sin(θ) = tan
2
décrit tout R, la courbe géométrique est donc exactement l’ensemble des points du plan vérifiant
y 2 + 2x = 1.
Le cas de l’hyperbole
Posons α = arccos(− 1e ). On étudie donc r sur la réunion d’intervalles [0, α[ ∪ ]α, π].
On a le tableau de variations suivant
θ 0 α π
1
+∞ 1−e
r(θ) % %
1
1+e −∞
Les courbes obtenues sont contenues dans l’ensemble des points (x, y) vérifiant
y 2 + (1 − e2 )x2 + 2ex = 1
133
Cet ensemble est la réunion des deux graphes
s 2
p p e 1
y = ± 1 − 2ex + (e2 − 1)x2 = ± e2 − 1 x− −
e2 − 1 (e2 − 1)2
s
p 1 1
= ± e2 − 1 x− x−
e−1 e+1
Le fait que r(θ) → ±∞ lorsque θ tend vers α par valeurs positives ou négatives suggère
l’existence d’une asymptote parallèle à la droite d’équation (polaire) θ = α.
La « distance » (ici elle a un signe) du point M à cette droite est donnée par
.
Si, lorsque θ → α, par exemple par valeurs supérieures, d(θ) converge vers une valeur a 6= 0,
on pourra en conclure que la droite d’équation polaire
a
r=
sin(θ − α)
est asymptote à la courbe paramétrée lorsque θ tend vers α par valeurs supérieures.
Si a = 0, la droite θ = α est asymptote.
Dans notre cas, on a
134
r(θ)
p p
1−e 1+e
p
Figure 10.7 – L’ellipse r = 1+e cos θ , p = 1, e = 0.5.
p
Figure 10.8 – La parabole r = 1+e cos θ , p = 1, e = 1.
135
asymp.
r(α − )
p
r= 1+e , θ =0
p
r= 1−e < 0, θ = π
r(α + )
p
Figure 10.9 – L’hyperbole r = 1+e cos θ , p = 1, e = 1.5.
136
Chapitre 11
Fonctions réelles de deux variables réelles
Le plan est rapporté à un repère orthonormé (O,~i, ~j). On l’identifie par ce moyen à R2 .
11.1 Généralités
11.1.1 Fonctions, ensemble de définition
Soit D une partie de R2 . Une fonction f : D → R est un moyen d’associer à tout couple de
réels (x, y) de l’ensemble de définition D de f un nombre réel unique noté f (x, y).
Exemples et Remarques
1. Les fonctions constantes. Soit a un réel fixé. La formule f (x, y) = a définit une fonction
f : R2 → R.
2. Les fonctions affines. Soient a, b, c trois réels fixés, la formule f (x, y) = a.x + b.y + c définit
une fonction f : R2 → R. Les fonctions de cette forme sont appelées fonctions affines.
3. Les fonctions quadratiques. Soit aij une famille de nombres réels fixés. La formule
5. Fractions rationnelles : elles sont définies comme étant le quotient de deux fonctions poly-
nomiales, par une formule du type
P (x, y)
f (x, y) =
Q(x, y)
Cette formule ne définit une fonction f : D → R que sur une partie du plan D sur laquelle
Q ne s’annule pas, par exemple
137
est l’ensemble D des points (x, y) tels que 2x + 3y − 2 6= 0. C’est la réunion des deux
demi-plans ouverts
x2 − 17xy + 12
f (x, y) =
x2 + y 2 − 1
définit une fonction f : D → R avec
C = {(x, y) ∈ R2 , x2 + y 2 − 1 = 0}
6. On peut évidemment faire intervenir d’autres fonctions élémentaires d’une variable réelle.
(a) La formule f (x, y) = ln(2x2 − 4x + 2y 2 − 6) définit une fonction f : D → R si l’on prend
D = {(x, y) ∈ R2 , −1 ≤ x + 2y − 3 ≤ 1}
Il s’agit de la partie de plan comprise, au sens large, entre les deux droites d’équation
x + 2y = 2 et x + 2y = 4.
On voit de ces exemples que la détermination du domaine de définition d’une fonction de deux
variables réelles associée à une formule f (x, y) = ... nécessite la détermination de parties du plan
définies par des équations ou des inéquations cartésiennes du type
{(x, y) ∈ R2 , g(x, y) est défini et g(x, y) = 0} ou {(x, y) ∈ R2 , g(x, y) est défini et g(x, y) > 0}
11.1.2 Compositions
Soit f : D ⊂ R2 → R une fonction de deux variables réelles à valeurs réelles. Avec les types de
fonctions que nous avons déjà rencontrés, nous pouvons envisager les compositions suivantes :
1. Composition à gauche avec une fonction réelle de variable réelle. Soit g : I → R une telle
fonction définie sur I une partie de R. La formule (g ◦ f )(x, y) = g(f (x, y)) définit la fonction
g ◦ f sur l’ensemble
{(x, y) ∈ D, f (x, y) ∈ I}
La fonction g ◦ f est définie sur D à partir du moment où f (x, y) ∈ I pour toute valeur de
(x, y) ∈ D.
2. Composition à droite avec un arc paramétré. Soit g : I → R2 une fonction définie sur une
certaine partie I de R. La formule (f ◦ g)(t) = f (g(t)) définit la fonction f ◦ g sur la partie
de R
{t ∈ I, g(t) ∈ D}
La fonction f ◦ g est définie sur tout I à partir du moment où g(t) ∈ D pour tout t ∈ I.
138
11.1.3 Représentations graphiques
Graphe
Définition 137 Le graphe d’une fonction f : D → R2 est la partie de R3 définie par
On peut représenter le graphe d’une telle fonction f comme une surface dans l’espace. On
n’insistera pas ce semestre sur ce type de représentation.
x0 = a.x + b.y + e
y0 = c.x + d.y + f
139
Il est équivalent de dire qu’il existe un autre repère du plan (en général non orthonormé),
(O0 , I, J) tel que l’ellipse est l’ensemble des points de coordonnées (X, Y ) dans ce repère
vérifiant X 2 + Y 2 = r2 pour un certain r > 0.
2. Hyperboles : f (x, y) = x.y, g(x, y) = x2 − y 2
Si t ∈ R, la ligne de niveau Lt de f est l’ensemble des points (x, y) vérifiant x.y = t.
(a) Si t 6= 0, il s’agit du graphe de la fonction x 6= 0 7→ y = xt . Ce graphe est une hyperbole
non dégénérée.
(b) Si t = 0, il s’agit de la réunion des deux droites d’équation respectives x = 0 et y = 0.
Concernant les lignes de niveau Mt de g, un petit calcul pour se ramener au cas précédent
s’impose. On a
x2 − y 2 = (x + y).(x − y)
Posons X = x + y, Y = x − y. X, Y sont les coordonnées du point M dans un nouveau repère
~ J)
(O0 , I, ~ déterminé comme ceci.
(a) Le point O0 vérifie X = 0, Y = 0, on a donc (en résolvant le système d’équations) x = 0,
y = 0. Ce point O0 est donc le point O.
(b) Au vecteur I~ correspond un point I tel que I~ = O~0 I où I est déterminé par X = 1,
Y = 0. Il s’agit donc du point de coordonnées x = 21 , y = 21
(c) Au vecteur J~ correspond un point J tel que J~ = O~0 J où J est déterminé par X = 0,
Y = 1. Il s’agit donc du point de coordonnées x = 12 , y = − 21
Mt est donc l’ensemble des points vérifiant X.Y = t. Pour représenter Mt , nous sommes
~ J).
donc ramenés au cas précédent, mais dans le repère (O0 , I, ~
On peut aussi voir Mt comme étant l’image de Lt par une certaine transformation affine du
plan. Posons r la transformation du plan définie par
1 1
x0 = (x + y), y 0 = (x − y)
2 2
140
Nous allons voir, sur des exemples, une méthode tout à fait générale permettant de déterminer
le type de coniques en jeu. Cette méthode, appelée réduction de Gauss, est basée sur l’identité
bien connue suivante :
x2 + 2a.x = (x + a)2 − a2
Elle démontre que, dans tous les cas, on peut choisir deux nouvelles variables, (X, Y ), et donc un
nouveau repère du plan telles que (C étant à chaque fois une constante) l’un des cas suivants se
produit
1. Ellipses : f (x, y) = ±(X 2 + Y 2 ) + C
2. Hyperboles : f (x, y) = X 2 − Y 2 + C
3. Parabole : f (x, y) = X 2 − Y
4. Cas dégénérés f (x, y) = ±X 2 + C, f (x, y) = C
1. Ellipses : ∆ = a211 − 4a20 .a02 < 0 , f (x, y) = ±(X 2 + Y 2 ) + C
(a) Supposons que
f (x, y) = 2x2 + 3y 2 − 4x + 3y + 3
On a alors, en appliquant notre identité pour « faire rentrer x et y dans les carrés » que
f (x, y) 2(x2 − 2x) + 3(y 2 + y) + 3
=
1 1
= 2((x − 1)2 − 1) + 3((y + )2 − ) + 3
2 4
√ √ 1 1
= ( 2(x − 1))2 + ( 3(y + ))2 +
2 4
1
= X2 + Y 2 +
4
√ √
On a ici posé X = 2(x − 1), Y = 3(y + 21 ).
i. La nouvelle origine a pour coordonnées le couple (x, y) vérifiant X = 0, Y = 0, c’est
donc le point de coordonnées (1, − 21 ).
ii. Le nouvel axe des abscisses a pour équation Y = 0, c’est donc la droite d’équation
y = − 12 .
iii. Le nouvel axe des ordonnées a pour équation X = 0, c’est donc la droite d’équation
x = 1.
En ces coordonnées (X, Y ), f (x, y) = X 2 + Y 2 + 41 . On en déduit que la ligne de niveau
Lt ,
1
Lt = {(x, y) ∈ R2 , X 2 + Y 2 = t − }
4
est
i. Une ellipse non dégénérée si t > 14
ii. Le point de coordonnées (x, y) avec X = 0, Y = 0 si t = 14 , i.e. x = 1, y = − 21
iii. vide si t < 14 .
(b) Présence d’un terme croisé. Supposons que
f (x, y) = 2x2 + 5y 2 + 4xy − 4x − y + 7
On applique d’abord notre identité pour faire disparaître ce terme croisé
f (x, y) = 2x2 + 3y 2 + 4xy − 4x − y + 3
= 2(x2 + 2xy) + 3y 2 − 4x − 3y + 3
= 2(x + y)2 − 2y 2 + 3y 2 − 4x − y + 3
= 2(x + y)2 − 2y 2 + 3y 2 − 4(x + y) + 3y + 3
= 2u2 + 3v 2 − 4u + 3v + 3
1
= X2 + Y 2 +
4
141
2 25
20
1
15
0
-2 -1 0 1 2 10
-1
5
-2 0
2
t=5/4
t=1/2
0 X = 0, Y = 1
-2 -1 0 1 2
X = 1, Y X= 0
-1
-2
142
On a ici posé u = x + y, v = y, puis, en se ramenant au cas précédent,
√ √
X = 2(u − 1) = 2(x + y − 1)
√ 1 √ 1
Y = 3(v + ) = 3(y + )
2 2
i. La nouvelle origine a pour coordonnées le couple (x, y) vérifiant X = 0, Y = 0, c’est
donc le point de coordonnées ( 32 , − 21 ).
ii. Le nouvel axe des abscisses a pour équation Y = 0, c’est donc la droite d’équation
y = − 12 .
iii. Le nouvel axe des ordonnées a pour équation X = 0, c’est donc la droite d’équation
x + y = 1.
Les conclusions sur les lignes de niveau de f sont les mêmes que précédemment, cf.
figure 11.3 et suivante.
2 25
20
1
15
0
-2 -1 0 1 2 10
-1
5
-2 0
143
i. La nouvelle origine a pour coordonnées le couple (x, y) vérifiant X = 0, Y = 0, c’est
donc le point de coordonnées (1, − 21 ).
ii. Le nouvel axe des abscisses a pour équation Y = 0, c’est donc la droite d’équation
y = − 12 .
iii. Le nouvel axe des ordonnées a pour équation X = 0, c’est donc la droite d’équation
x = 1.
En ces coordonnées (X, Y ), f (x, y) = X 2 − Y 2 + 47 . On en déduit que la ligne de niveau
Lt ,
7
Lt = {(x, y) ∈ R2 , X 2 + Y 2 = t − }
4
est
7
i. Une hyperbole non dégénérée si t 6= 4
ii. La réunion des deux droites d’équations respectives X = Y et Y = X, autrement
dit, les droites d’équations
√ √ 1 √ √ 1
2(x − 1) − 3(y + ) = 0 et 2(x − 1) + 3(y + ) = 0
2 2
Ces deux droites sont les asymptotes des hyperboles Lt , t 6= 74 .
(b) Présence d’un terme croisé/ absence de x2 . Supposons que
f (x, y) = 2y 2 + 4xy − 4x − y + 3
f (x, y) = 2y 2 + 4xy − 4x − y + 3
= 2(y 2 + 2xy) − 4x − y + 3
= 2(x + y)2 − 2x2 − 3x − (y + x) + 3
On pose alors u = x + y, v = x
= 2u2 − 2v 2 − u − 3v + 3
1 3
= 2(u2 − u) − 2(v 2 + v) + 3
2 2
1 2 1 3 9
= 2(u − ) − 2 2 − 2(v + )2 + 2 + 3
4 4 4 16
2 2 31
= X −Y +
8
On a ici posé u = x + y, v = y, puis, en se ramenant au cas précédent,
√ 1 √ 1
X = 2(u − ) = 2(x + y − )
4 4
√ 3 √ 3
Y = 2(v + ) = 2(x + )
4 4
i. La nouvelle origine a pour coordonnées le couple (x, y) vérifiant X = 0, Y = 0, c’est
donc le point de coordonnées (− 34 , 1).
ii. Le nouvel axe des abscisses a pour équation Y = 0, c’est donc la droite d’équation
x = − 34 .
iii. Le nouvel axe des ordonnées a pour équation X = 0, c’est donc la droite d’équation
x + y = 14 .
144
2 25
20
1
15
0
-2 -1 0 1 2 10
-1
5
-2 0
2
t=39/8
X = 1, Y = 0 t=35/8
X = 0, Y = 1
0
-2 -1 0 1 2
Y
-1
-2
145
Les conclusions sur les lignes de niveau de f sont sur le même modèle que précédemment,
la valeur t = 31
8 étant la seule valeur pour laquelle la conique dégénère en une union de
deux droites sécantes.
(c) Absence de x2 et y 2 . Comme f n’est pas supposée affine, on a donc a11 6= 0. Regardons
l’exemple f (x, y) = −3xy + x + 2y + 1. On change ici d’astuce en constatant que
xy = u2 − v 2 si u + v = x et u − v = y, c’est à dire u = 12 (x + y) et v = 12 (x − y) On a
donc
f (x, y) = −3xy + x + 2y + 1
= −3(u2 − v 2 ) + (u + v) + 2(u − v) + 1
= −3u2 + 3v 2 + 3u − v + 1
1 3 1 1
= −3(u − )2 + + 3(v − )2 − +1
2 4 6 12
5
= X2 − Y 2 +
3
On a ici posé
√
√ 1 3
Y = 3(u − ) = (x + y − 1)
2 √2
√ 1 3 1
X = 3(v − ) = (x − y − )
6 2 3
La discussion est maintenant identique à ce qui a déjà été fait.
3. Paraboles et cas dégénérés : ∆ = a211 − 4a20 .a02 = 0, f (x, y) = X 2 − Y .
Il peut se produire parfois des annulations désagréables. Regardons par exemple le cas de
X = u + 1 = x + 2y + 1
Y = −6(y + 1)
(a) Le point dont les coordonnées vérifient X = 0, Y = 0 est le point (x, y) = (1, −1)
(b) Le nouvel axe des abscisses a pour équation Y = 0, soit y = −1.
(c) Le nouvel axe des ordonnées a pour équation X = 0, soit x + 2y = −1.
Dans ce système de coordonnées, Lt est l’ensemble des points vérifiant Y = X 2 − t, il s’agit
donc d’une parabole pour toutes les valeurs de t.
4. Droites parallèles : ∆ = a211 − 4a20 .a02 = 0, f (x, y) = X 2 + C
Finalement, le cas de
f (x, y) = x2 + 4y 2 + 4xy + 2x + 4y + 7
se traite de façon similaire, en ayant posé X = x + 2y + 1, il reste
f (x, y) = X 2 + 6
146
√
(a) si t > 6, il s’agit de la réunion
√ des deux droites (parallèles) d’équations X = ± t − 6,
ou encore x + 2y + 1 = ± t − 6
(b) si t = 6, il s’agit de la droite d’équation x + 2y + 1 = 0
(c) si t < 6, Lt est vide.
Soit z0 un point, une partie V de R2 est dite voisinage de z0 s’il existe > 0 tel que
D(z0 , ) ⊂ V
Exemples et Remarques
1. Un demi-plan ouvert P est voisinage de chacun de ses points. Un tel demi-plan est défini
par trois nombres a, b, c, (a, b) 6= (0, 0) par
11.2.2 Définition
Définition 139 Soit z0 ∈ R2 , f : D → R une fonction de deux variables, ` ∈ R. On suppose que
D ∪ {z0 } est voisinage de z0 .
1. On dit que f a pour limite ` en z0 , ce que l’on note
z→z0
z6=z
lim f (z) = ` ou f (z) →0 `
z→z 0
z6=z0
si, pour tout voisinage U de ` dans R, il existe un voisinage V de z0 , contenu dans D ∪ {z0 }
tel que si z ∈ V , z 6= z0 alors f (z) ∈ U .
2. Si f est définie en z0 , on dit que f est continue en z0 si
147
Proposition 140 (DL d’ordre 0) Dans le même contexte que précédemment, f admet pour li-
mite ` en z0 si et seulement si il existe une fonction , définie au voisinage de (0, 0), de limite 0
en 0 telle que, pour tout z voisin de z0 , z 6= z0 ,
f (z) = ` + (z − z0 )
Remarques
1. On a, comme dans le cas d’une variable, unicité de la limite de f en z0 sous réserve que cette
limite existe.
2. Si f admet une limite en un point z0 , la fonction f est bornée sur un certain voisinage de
z0 .
3. Pour prouver qu’une fonction (h, k) a pour limite 0 en 0, il suffit de démontrer une majo-
ration du type p
|(h, k)| ≤ η( h2 + k 2 )
pour une certaine fonction η d’une variable réelle, de limite 0 en 0.
4. Dans le cas de deux variables, nous n’avons pas de notion de limite à droite ou à gauche
en un point car cela n’a pas grand sens. On peut en revanche définir la limite en un point
suivant une partie A de R2 comme suit
Définition 141 Soit f : D → R une fonction, z0 ∈ R2 , A ⊂ D, ` ∈ R. On suppose que tout
voisinage de z0 rencontre A en au moins un point. On dit que f a pour limite ` en z0 en
suivant A, ce que l’on note
z→z0
z∈A
lim f (z) = ` ou f (z) → `
z→z 0
z∈A
Définition 142 1. Une partie D de R2 est dite ouverte si elle est voisinage de chacun de ses
points.
2. Soit D une partie ouverte de R2 . f : D → R une fonction. On dit que f est continue sur D
si f est continue en tout z0 ∈ D.
Exemples et Remarques
1. Les demi-plans ouverts, les disques ouverts sont des parties ouvertes.
2. Une intersection d’un nombre fini de parties ouvertes est ouverte.
3. Une réunion de parties ouvertes est ouverte.
4. Pour démontrer, ce que l’on ne vous demandera pas de faire, qu’une partie D de R2 est
ouverte, il suffit de trouver une fonction continue g : R2 → R telle que
148
11.2.3 Opérations
Les règles sur les opérations et les limites dans ce cadre sont les mêmes que les règles que nous
avons énoncées pour le cas des fonctions d’une variable réelle. Nous nous focalisons sur le cas des
fonctions continues sur un ensemble ouvert.
Opérations algébriques
Proposition 143 Soient D un domaine ouvert, f, g : D → R, deux fonctions continues alors
1. f + g, f.g sont continues sur D.
2. l’ensemble D0 = {(x, y) ∈ D, g(x, y) 6= 0} est ouvert et la fonction f /g : D0 → R définie par
la formule (f /g)(x) = fg(x)
(x)
est continue sur D0 .
Exemples et Remarques
1. Les fonctions polynomiales sont continues sur R2 .
2. Une fraction rationnelle est continue sur son domaine de définition, qui est ouvert.
Composition
Là encore, les résultats d’une variable réelle se transposent : la continuité se comporte bien vis
à vis des compositions
Proposition 144 Soit D une partie ouverte de R, f : D → R une fonction continue sur D.
1. Composition à gauche. Soit g : I → R avec I un intervalle de R une fonction continue sur
I. Si f (x, y) ∈ I pour tout (x, y) ∈ D, la fonction g ◦ f est une fonction définie, continue
sur D.
2. Composition à droite. Soit g : I → R2 avec I un intervalle de R une fonction continue sur
I. Si g(t) ∈ D pour tout t ∈ I, la fonction f ◦ g est une fonction définie, continue sur I.
11.3 Dérivabilité
11.3.1 DL d’ordre 1
En une variable réelle, la notion de développement limité d’ordre 1 en un point donné est
intimement liée à la dérivabilité de la fonction en ce point. Le but est de comparer, localement,
au voisinage du point considéré la fonction avec une fonction affine. Il en est de même en deux
variables.
Définition 145 Soit f : D → R, z0 = (x0 , y0 ), D voisinage de z0 . On dit que f admet un DL
d’ordre 1 en z0 , ou de façon plus courte, que f est différentiable en z0 , s’il existe a, b ∈ R, une
fonction , définie au voisinage de 0 = (0, 0), de limite 0 en 0 telle que, pour z = (x, y), voisin de
z0 , on a
f (x, y) = f (x0 , y0 ) + a(x − x0 ) + b.(y − y0 ) + |(x − x0 , y − y0 )|(x − x0 , y − y0 )
a
f (z) = f (z0 )+ < , z − z0 > +|z − z0 |(z − z0 )
b
ou encore, telle que pour tout (h, k) suffisamment voisin de (0, 0), on a
f (x0 + h, y0 + k) = f (x0 , y0 ) + a.h + b.k + |(h, k)|(h, k)
a h
f (x0 + h, y0 + k) = f (x0 , y0 )+ < , > +|(h, k)|(h, k)
b k
a
Si f admet un DL d’ordre 1 en z0 , le vecteur s’appelle le gradient de la fonction f en z0 .
b
On le note ∇f (z0 ), à lire « nabla » de f ou gradient de f en z0 .
149
Exemples et Remarques
1. Fonctions affines. Si f (x, y) = a.x + b.y + c alors f admet un DL d’ordre 1 en tout z0 =
(x0 , y0 ) ∈ R2 . On a
√
car |a20 h2 + a11 hk + a02 k 2 | ≤ C(h2 + k 2 ) et donc a20 h2 + a11 hk + a02 k 2 = h2 + k 2 (h, k)
où est une fonction de limite nulle en 0. Cela démontre que f admet un DL d’ordre 1 en
tout z0 = (x0 , y0 ) et que le gradient de f en z0 est
2a20 x0 + a11 y0
∇f (x0 , y0 ) =
2a02 y0 + a11 x0
Nous verrons un peu plus loin comment retrouver facilement cette formule grâce au méca-
nisme des dérivées partielles.
Remarque. Il s’agit en fait de regarder les restrictions de f sur les droites respectivement
d’équation x = x0 et y = y0 . On a pour cela recours à un paramétrage de chacune de ces droites.
150
de f par rapport à la première variable en (x0 , y0 ) le nombre
∂f df|y=y0
(x0 , y0 ) = (x0 )
∂x dx
– Si la deuxième fonction partielle f|x=x0 est dérivable en y0 , on appelle dérivée partielle de f
par rapport à la deuxième variable en (x0 , y0 ) le nombre
∂f df|x=x0
(x0 , y0 ) = (y0 )
∂y dy
Exemples et Remarques
1. Soit f définie sur R2 par f (x, y) = x2 + 3xy − y 2 . Soit (x0 , y0 ) ∈ R2 . On a
fy=y0 (x) = x2 + 3y0 .x − y02
fx=x0 (y) = x20 + 3y.x0 − y 2
151
11.3.3 Fonctions de classe C 1 sur un ouvert du plan
Nous introduisons maintenant une classe de fonctions définies sur une partie ouverte D de R2
dont la différentiabilité en chaque point de D sera facilement vérifiable.
Définition 149 Soit D une partie ouverte de D, on dit que f : D → R est de classe C 1 sur D
(ce que l’on note f ∈ C 1 (D)) si
1. f est continue sur D
2. Les deux dérivées partielles de f existent en chaque point de D
∂f ∂f
3. Ces fonctions dérivées partielles, ∂x et ∂y , sont continues sur D.
Opérations algébriques
Les fonctions de classe C 1 sur un domaine ouvert se comportent bien vis à vis des opérations
algébriques, plus précisément
Proposition 150 Soient f et g deux fonctions de classe C 1 sur une partie ouverte D de R2
1. f + g et f.g sont de classe C 1 sur D
2. Si g ne s’annule pas sur D, f /g est une fonction de classe C 1 sur D
On a de plus les formules, pour la dérivation partielle par rapport à la première variable
∂(f + g) ∂f ∂g ∂(f.g) ∂f ∂g ∂(f /g) 1 ∂f ∂g
= + , = .g + f. , = 2 g −f .
∂x ∂x ∂x ∂x ∂x ∂x ∂x g ∂x ∂x
Les formules correspondantes pour la dérivation par rapport à la deuxième variable étant similaires.
Composition à gauche
Proposition 151 Soit f : D → R une fonction de classe C 1 sur D, une partie ouverte de R2 ,
g : I → R une fonction de classe C 1 sur l’intervalle I de R. Si f (z) ∈ I pour tout z ∈ D, la
fonction g ◦ f est alors de classe C 1 sur D et on a les formules
∂g ◦ f ∂f
(x, y) = g 0 (f (x, y)). (x, y)
∂x ∂x
∂g ◦ f ∂f
(x, y) = g 0 (f (x, y)). (x, y)
∂y ∂y
Exemple
Montrons que la fonction f définie par
Cet ensemble est une ellipse ouverte centrée en (0, 0). Admettons qu’il est ouvert. f est la composée
g ◦ h avec
h(x, y) = 1 − (x2 + 3y 2 )
g(t) = ln t
152
La fonction g est de classe C 1 sur I = ]0, +∞[ (c’est la fonction ln usuelle !) ; la fonction h est de
classe C 1 sur D (car c’est un polynôme en deux variables) et prend ses valeurs dans I (D a été
défini pour cela) f = g ◦ h est donc de classe C 1 sur D. On a
∂g ◦ h ∂h 1
(x, y) = g 0 (h(x, y)). (x, y) = .(−2x)
∂x ∂x 1 − (x2 + 3y 2 )
∂g ◦ h ∂h 1
(x, y) = g 0 (h(x, y)). (x, y) = .(−6y)
∂y ∂y 1 − (x2 + y 2 )
∂2f ∂ ∂f
∂x ∂2f ∂ ∂f 2
∂x ∂ f
∂ ∂f
∂y ∂2f ∂ ∂f
∂y
= , = , = , =
∂x2 ∂x ∂y∂x ∂y ∂y 2 ∂y ∂x∂y ∂x
Ces quatre fonctions sont continues sur D.
Les fonctions de classe C 2 sur un domaine ouvert se comportent bien vis à vis des opérations
algébriques, plus précisément
Proposition 154 Soient f et g deux fonctions de classe C 2 sur une partie ouverte D de R2
1. f + g et f.g sont de classe C 2 sur D
2. Si g ne s’annule pas sur D, f /g est une fonction de classe C 2 sur D
Proposition 155 Soit f : D → R une fonction de classe C 2 sur D, une partie ouverte de R2 ,
g : I → R une fonction de classe C 2 sur l’intervalle I de R. Si f (z) ∈ I pour tout z ∈ D, la
fonction g ◦ f est alors de classe C 2 sur D.
Exemples et Remarques
1. Si f est affine, toutes ses dérivées partielles secondes sont nulles.
2. Si f est quadratique, de la forme
on a
∂f ∂2f
∂x = 2a20 x + a11 y ∂x2 = 2a20
∂f ∂2f
∂y = a11 x + 2a02 y ∂y 2 = 2a02
∂2f ∂2f
∂x∂y = a11 ∂y∂x = a11
153
Le phénomène suivant est assez étonnant
∂2f
Théorème 156 (Schwarz) Si f est de classe C 2 sur D, les dérivées partielles secondes ∂x∂y et
∂2f
∂y∂x sont égales sur D.
Illustrons ceci par l’exemple de la partie 11.3.3.
h(x, y) = 1 − (x2 + 3y 2 )
g(t) = ln t
La fonction g est de classe C 2 sur I = ]0, +∞[ (c’est la fonction ln usuelle !) ; la fonction h est de
classe C 2 sur D (car c’est un polynôme en deux variables) et prend ses valeurs dans I. f = g ◦ h
est donc de classe C 2 sur D. On a
∂f 1
(x, y) = .(−2x)
∂x 1 − (x2 + 3y 2 )
∂2f −2(1 − x2 − 3y 2 ) + 2x.(−2x)
(x, y) =
∂x2 (1 − (x2 + 3y 2 ))2
∂2f −12x.y
(x, y) =
∂y∂x (1 − (x2 + 3y 2 ))2
∂f 1
(x, y) = .(−6y)
∂y 1 − (x2 + y 2 )
∂2f −6(1 − (x2 + 3y 2 )) + 6y.(−6y)
(x, y) =
∂y 2 (1 − (x2 + y 2 ))2
∂2f −12y.x
(x, y) =
∂x∂y (1 − (x2 + 3y 2 ))2
f (x0 + h, y0 + k) = f (x0 , y0 ) +
| {z }
partie cste.
∂f ∂f
+ h. (x0 , y0 ) + k. (x0 , y0 ) +
∂x ∂y
| {z }
partie linéaire
154
Illustrons ceci par l’exemple de la partie 11.3.3 en (0, 0).
On a
∂f
(0, 0) = 0
∂x
∂2f
(0, 0) = −2
∂x2
∂2f
(0, 0) = 0
∂y∂x
∂f
(0, 0) = 0
∂y
∂2f
(0, 0) = −6
∂y 2
∂2f
(0, 0) = 0
∂x∂y
La formule de Taylor à l’ordre 2 donne que, pour (x, y) voisin de (0, 0),
11.4.1 Formules
Théorème 158 Soit f : D → R une fonction de classe C 1 sur D, une partie ouverte de R2 . Soit
γ : I → R2 , γ(t) = (x(t), y(t)) un arc paramétré de classe C 1 sur l’intervalle I. Si γ(t) ∈ D pour
tout t ∈ I, la fonction f ◦ γ est alors de classe C 1 sur I et l’on a, pour t ∈ I
∂f 00 ∂f 00 ∂ 2 f 02 ∂ 2 f 02 ∂2f 0 0
(f ◦ γ)00 = .x + .y + 2
.x + 2 .y + 2 .x .y
∂x ∂y ∂x ∂y ∂x∂y
155
Par ailleurs, f est différentiable en z0 = (x0 , y0 ) = γ(t0 ) et donc, il existe η, une fonction de
limite nulle en 0 telle que, pour (h, k) voisin de 0,
h
f (x0 + h, y0 + k)) = f (x0 , y0 )+ < ∇f (x0 , y0 ), > +|(h, k)|η(h, k)
k
En substituant
dans l’égalité précédente ( cette substitution est légitime car, lorsque τ est suffisamment voisin de
0, (h, k) est suffisamment voisin de (0, 0)), on obtient
où η̃ tend vers 0 en 0. Ceci montre que f ◦ γ est dérivable en t0 et la dérivée a la forme annoncée.
La formule de cette dérivée montre qu’elle est continue par les théorèmes continuité de composées
et de produits.
Exemples et Remarques
1. On a, par définition de Lf (x0 ,y0 ) que x ∈ U, y ∈ V et f (x, y) = f (x0 , y0 ) équivaut à y = φ(x).
En particulier y0 = φ(x0 ).
156
0.4
π
t= 6
π
t= 12
0.2
π
t= 3
0 t=0
-0.2
-0.4
L1
1.5 L0
0.5
-0.5
-0.5 0 0.5 1 1.5
Figure 11.7 – La fonction f (x, y) = x4 + y 2 − x3 , son point critique en (0, 0), les lignes de niveau
0 et 1. En chaque point 6= (0, 0) la ligne de niveau de f passant par ce point est, au voisinage du
point, le graphe d’une fonction lisse y = φ(x) ou x = ψ(y) ; Ce n’est clairement pas le cas en (0, 0).
157
2. Une fois que l’on sait que le graphe de φ (une fonction de classe C 1 ) est contenu dans la ligne
de niveau, la formule de la dérivée est claire : il suffit de dériver par rapport à x la relation
Théorème 161 Soit f : D → R2 une fonction de classe C 1 sur D, une partie ouverte de R2 . Si
f admet un extremum local en z0 = (x0 , y0 ), on a alors
∇f (z0 ) = 0
Preuve. La fonction partielle f|y=y0 est définie, de classe C 1 sur un certain voisinage de x0 . Sa
dérivée s’annule donc en x0 et l’on a donc
∂f
(x0 , y0 ) = 0
∂x
Le même raisonnement implique que
∂f
(x0 , y0 ) = 0
∂y
158
11.5.2 Conditions suffisantes à l’ordre 2
Pour les fonctions d’une variable réelle, nous avons à notre disposition le critère suivant pour
conclure à l’extrémalité d’un point critique
Proposition 162 Soit I un intervalle ouvert de R, f : I → R une fonction de classe C 2 sur I et
x0 un point critique de f : f 0 (x0 ) = 0
1. Si f 00 (x0 ) > 0, la fonction f admet un minimum local en x0 .
2. Si f 00 (x0 ) < 0, la fonction f admet un maximum local en x0 .
Preuve. Écrivons le développement de Taylor à l’ordre 2 de f en x0 .
2 1 00
f (x0 + h) − f (x0 ) = h f (x0 ) + (h)
2
pour tout h voisin de 0, (h) étant une certaine fonction de limite nulle en 0. Cela montre que si
f 00 (x0 ) 6= 0, pour h 6= 0, h voisin de 0 alors f (x0 + h) − f (x0 ) est du même signe que f 00 (x0 ), ce
qui entraîne la conclusion de la proposition.
Pour les fonctions de deux variables, on a, par une méthode similaire le résultat suivant
Théorème 163 Soit D une partie ouverte de R2 , f : D → R une fonction de classe C 2 sur D et
z0 = (x0 , y0 ) un point critique de f : ∇f (z0 ) = 0
2 2 2 2 2
∂ f
1. (Elliptique 1) Si ∂x∂y − ∂∂xf2 ∂∂yf2 < 0 et ∂∂xf2 > 0, la fonction f admet un minimum local
en z0 .
2 2 2 2 2
∂ f
2. (Elliptique 2) Si ∂x∂y − ∂∂xf2 ∂∂yf2 < 0 et ∂∂xf2 < 0, la fonction f admet un maximum local
en z0 .
2 2 2 2
∂ f
3. (Hyperbolique) Si ∂x∂y − ∂∂xf2 ∂∂yf2 > 0, la fonction f n’admet pas d’extremum local en z0 .
Exemples et Remarques
2 2 2 2
∂ f
1. Ce théorème ne permet de conclure que si la quantité ∂x∂y − ∂∂xf2 ∂∂yf2 est non nulle, c’est
à dire lorsque la partie quadratique du développement de Taylor-Young a pour lignes de
niveau de vraies ellipses ou hyperboles.
2. Un théorème plus fort, le lemme de Morse, dit que si f est de classe C ∞ et si l’on est dans les
hypothèses du théorème, alors au voisinage de z0 , les lignes de niveau de f ’ressemblent’ à des
petites ellipses (dans les cas ’elliptiques’) ou de petites hyperboles (dans le cas ’hyperbolique’)
Preuve. La preuve est basée sur un développement de Taylor de f en z0 à l’ordre 2. Avant de
faire ceci, nous devons regarder le cas d’une fonction quadratique en 0. Supposons que, a, b et c
sont trois réels fixés et que
f (x, y) = a.x2 + 2.bx.y + c.y 2
Posons ∆ = b2 − ac.
Si a 6= 0, ∆ < 0, on a
b c
f (x, y) = a x2 + 2 yx + y 2
a a
ac − b2 2
b
= a (x + y)2 + y
a a2
= a X2 + Y 2
159
~ OJ).
(X, Y ) est le couple de coordonnées de (x, y) dans un autre repère (O, OI, ~ Si a > 0, on en
déduit que le minimum (absolu) de f est 0, il n’est atteint qu’en O = (0, 0). Pour a > 0, il s’agit
d’un maximum.
On a de plus
Lemme 164 1. Si a > 0, il existe une constante a+ > 0 telle que pour tout (x, y) ∈ R2 ,
f (x, y) ≥ a+ (x2 + y 2 )
2. Si a < 0, il existe une constante a− < 0 telle que pour tout (x, y) ∈ R2 ,
f (x, y) ≤ a− (x2 + y 2 )
La fonction h est une fonction continue sur l’intervalle fermé borné [0, 2π]. Elle y admet un maxi-
mum a− et un minimum a+ . On a donc
Le calcul précédent montre que h est constamment du signe de a, de ceci on déduit que si a > 0
alors a+ > 0 et que si a < 0 alors a− < 0, ce qui donne les inégalités cherchées.
Si ∆ > 0, le même calcul donne
2 b c 2
f (x, y) = a x + 2 yx + y
a a
b 2 ac − b2 2
= a (x + y) + y
a a2
= a X2 − Y 2
pour tout (h, k) voisin de 0, (h, k) étant une certaine fonction de limite nulle en 0 et avec
1 ∂2f 1 ∂2f 1 ∂2f
a= 2
(x0 , y0 ), b = (x0 , y0 ), c = (x0 , y0 ).
2 ∂x 2 ∂x∂y 2 ∂y 2
Si ∆ = b2 − ac < 0, (ce qui force a 6= 0 et c 6= 0, a et c de même signe), on est en position pour
appliquer le lemme précédent.
160
1. Si a > 0, il existe a+ > 0 tel que, pour tout (h, k), a.h2 + 2b.hk + c.k 2 > a+ (h2 + k 2 ) et donc
Pour (h, k) appartenant à un certain voisinage de 0, a+ + (h, k) > 0, ce qui implique que
f (x0 + h, y0 + k) > f (x0 ) pour (h, k) 6= (0, 0) et donc f admet un minimum local (strict) en
(x0 , y0 ).
2. Pour a < 0, le même raisonnement avec a− donne que f admet en (x0 , y0 ) un maximum
local (strict).
Dans le cas ∆ > 0 quitte à introduire de nouvelles variables H et K, fonctions linéaires de
(h, k), on est dans la situation où
161