1.3 Dérivabilité de la fonction d’aire
Théorème 1 : Si fest une fonction continue et positive sur un intervalle [a;b]avec
a≤balors la fonction Φ : x→
x
a
f(t)dt est dérivable sur [a;b]et sa dérivée
est égale à f.
Φ
′
=f
idée de la démonstration (utilise la continuité de f) : on suppose que fest
croissante et on considère deux réels x
0
et x
0
+happartenant à [a;b]
•Si h > 0alors comme fest croissante,
h×f(x
0
)≤Φ (x
0
)−Φ (x)≤h×f(x
0
+h)
d’où
f(x
0
)≤Φ (x
0
)−Φ (x)
h≤f(x
0
+h)
•Si h < 0on montre de même
f(x
0
+h)≤Φ (x
0
)−Φ (x)
h≤f(x
0
)
D’autre part, puisque fest continue (voir chapitre Limite et continuité)
lim
h→0
f(x
0
+h) = f(x
0
)
donc dans les deux cas, on en déduit
lim
h→0
Φ (x
0
)−Φ (x)
h=f(x
0
)
c’est à dire que Φest dérivable en x
0
avec
Φ
′
(x
0
) = f(x
0
)
2 Primitives d’une fonction
2.1 Définition d’une primitive
Définition 3 : On dit que la fonction Fest une primitive de la fonction fdéfinie
sur l’intervalle Isi Fest dérivable pour tout réel xde Iavec :
F
′
(x) = f(x)
Exemple :On peut vérifier en calculant F
′
(x)et G
′
(x)que sur I= ]−2; +∞[,les
fonctions
F:x→ 3−x
x+ 2 et G:x→ x+ 7
x+ 2
2