1. Définition par l'équation différentielle
On appelle fonction exponentielle l'unique fonction dérivable sur qui vérifie et . On la note , et on pose où . Ainsi, pour tout réel : et .
2. Existence et unicité
L'existence est admise (construction comme réciproque du logarithme ou par méthode d'Euler). L'unicité se démontre : si vérifie aussi et , on étudie après avoir montré que ne s'annule pas. On obtient , donc constante égale à , d'où .
3. La fonction exp ne s'annule jamais
Posons . Alors , donc est constante : . Ainsi pour tout , ce qui prouve que et que .
4. Signe : l'exponentielle est strictement positive
Comme ne s'annule pas et que , par continuité garde un signe constant : pour tout réel . C'est un résultat fondamental, utilisé constamment dans les études de signe.
5. Propriétés algébriques (relation fonctionnelle)
Pour tous réels et et tout entier :
, , , .
Démonstration de : on fixe et on dérive , dont la dérivée est nulle et la valeur en est nulle. Exemple : .
6. Dérivée de
Si est dérivable sur un intervalle , alors est dérivable sur et . Exemples : , , . On n'oublie jamais le facteur .
7. Variations et courbe
Comme , la fonction exponentielle est strictement croissante sur . Elle est convexe (sa dérivée seconde ). Sa courbe passe par et , et la tangente en a pour équation . On en déduit l'inégalité utile pour tout .
8. Limites aux bornes
et . L'axe des abscisses est donc asymptote horizontale en .
9. Croissances comparées
L'exponentielle l'emporte sur toute puissance :
, plus généralement , et , .
Ces résultats permettent de lever des formes indéterminées ou .
10. Équations et inéquations
L'exponentielle étant strictement croissante (donc bijective de sur ) :
et . Exemple : . Une équation comme a pour solution .
11. Lien avec le logarithme népérien
La fonction est la réciproque de sur : pour , , et pour tout réel , . De plus (avec ). On a aussi, pour , .
12. Synthèse
Retenir : toujours, strictement croissante, transforme les sommes en produits, et domine les puissances en . C'est l'outil central pour modéliser croissances, décroissances et phénomènes continus.