Théorème :
Si est une fonction dérivable sur un intervalle
, alors la fonction
est dérivable sur
et :
Démonstration :
Pour démontrer ce théorème, on utilise le taux d’accroissement,
Soit
Pour , on a :
(en supposant que
)
est dérivable en
donc, on a :
On pose
Or est continue en
car dérivable en
, d’où
Soit et donc
En prenant soit
, on obtient :
(en utilisant la limite du taux d’accroissement en
de la fonction exponentielle).
En faisant le produit des limites, on obtient :
Donc
Exemple :
Pour , on a
Et , on a
Propriété :
Pour tout réel , l’équation
admet une solution unique dans
Pour tout
Pour tout
Pour tout réel ,
Pour tout réel ,
Exemple :
Résoudre dans l’équation :
Exemple :
Résoudre dans l’inéquation :
\)
étant strictement croissante sur
\)
,
Le trinôme garde un signe constant égal au coefficient du plus haut degré. Donc ici et donc l’inéquation est toujours strictement positif.
L’ensemble des solutions est donc .