Or f étant continue en
,
. Donc d’après le théorème des gendarmes,
)(
)()(
lim 0
0
0
0
xf
xx xFxF
xx
.
Si
, f étant croissante cette fois sur l’intervalle
, on aura pour tout réel
,
. En utilisant ensuite l’inégalité de la moyenne, on
obtient que :
)()()()()( 000
0xfxxdttfxfxx x
x
. Puis en divisant chaque membre
par
qui est strictement positif, on aboutit à
)()(
1
)( 0
0
0xfdttf
xx
xf x
x
.
Soit encore
)()(
1
)( 0
00xfdttf
xx
xf x
x
, d’où :
)(
)()(
)( 0
0
0xf
xx xFxF
xf
.
Or toujours par continuité
, donc d’après le théorème des
gendarmes :
)(
)()(
lim 0
0
0
0
xf
xx xFxF
xx
.
Les limites du taux d’accroissement de F en
sont égales à
lorsque x tend vers
et
, donc
)(
)()(
lim 0
0
0
0xf
xx xFxF
xx
. On en déduit que la fonction F est
dérivable en
et que son nombre dérivé en
est
. Ceci étant vrai pour tout
, on peut conclure que F est dérivable sur I et que sa fonction dérivée est f .
Exemple :
Soit
la fonction définie sur par
. Etudier le sens de variation de F
sur :
La fonction
est continue sur donc d’après le théorème précédent la
fonction F est dérivable sur et
. Or f est strictement positive sur donc F est
strictement croissante sur .
2. Primitives d’une fonction :
Soit f une fonction définie sur un intervalle I. On appelle primitive de f sur I toute fonction F
dérivable sur I et telle que
.
Exemples :
1. Les fonctions
,
, sont des primitives de la fonction sinus sur
2. Les fonctions
,
, sont des primitives de la fonction carré sur .