Fonctions de Rdans Rde PCSI Page 4
2) Opérations sur les fonctions dérivables
a) Linéarité de la dérivation
Soit (f, g)∈(D(I, R))
2
et λ∈R. Les fonctions f+get λ. f sont dérivables sur Iet :
(f+g)
′
=f
′
+g
′
,(λ .f)
′
=λ. f
′
.
L’ensemble D(I, R)des fonctions dérivables sur Ià valeurs dans Rest un R-espace vectoriel et la
dérivation est linéaire de D(I, R)dans F(R,R).
C
1
(I, R)est un R-espace vectoriel.
b) Dérivation d’une fonction composée
Soit Jun intervalle de R. Si ϕ∈ D (J, R),f∈ D (I, R)et si ϕ(J)⊂I, alors
f◦ϕest dérivable sur Jet (f◦ϕ)
′
=ϕ
′
.f
′
◦ϕ.
Si ϕ∈ C
1
(J, R), f ∈ C
1
(I, R)et si ϕ(J)⊂I, alors f◦ϕ∈ C
1
(J, R).
c) Dérivation d’un produit, d’un quotient
Soit (f, g)∈(D(I, R))
2
:(f·g)
′
=f
′
·g+f·g
′
et, si gne s’annule pas,
f
g
′
=f
′
g+f·1
g
′
=f
′
·g−f·g
′
g
2
d) Dérivation d’une bijection réciproque
Si fest une bijection continue et strictement monotone de Isur J=f(I), dérivable en a∈Itel que
f
′
(a)= 0, alors sa bijection réciproque f
−1
est dérivable en b=f(a), avec
f
−1
′
(b) = 1
f
′
(a)=1
f
′
◦f
−1
(b).
Si f
′
(a) = 0, le graphe de f
−1
admet en bune (demi-)tangente parallèle à Oy.
Si fest dérivable sur Iet si f
′
ne s’annule pas sur I, alors f
−1
est dérivable sur Javec
f
−1
′
=1
f
′
◦f
−1
.
3) Accroissements finis — Applications
a) Extremums locaux d’une fonction dérivable
Théorème : si fdérivable sur Iadmet en aintérieur à Iun extremum local, alors f
′
(a) = 0.
Attention ! Peut être faux en une extrémité de I!!
b) Théorème de Rolle
Si fest continue de [a, b]dans R, dérivable sur ]a, b[et si f(a) = f(b), alors
∃c∈]a, b[f
′
(c) = 0.
c) Théorème des accroissements finis
Si fest continue de [a, b]dans R, dérivable sur ]a, b[, alors
∃c∈]a, b[f(b)−f(a) = (b−a)·f
′
(c).
Autrement dit, la tangente au graphe de fau point d’abscisse cest parallèle à la corde joignant les
points d’abscisses aet b.
d) Inégalités des accroissements finis
1) Si a < b,fcontinue de [a, b]dans R, dérivable sur ]a, b[et si m, M sont deux réels tels que
m≤f
′
≤M, alors
m·(b−a)≤f(b)−f(a)≤M·(b−a)
2) Si f, g sont continues de [a, b]dans R, dérivables sur ]a, b[et si |f
′
| ≤ g
′
, alors
|f(b)−f(a)| ≤ |g(b)−g(a)|