Définition (admise) : Il existe une unique fonction f dérivable sur R telle que f′=f et f(0)=1. Cette fonction s'appelle la fonction exponentielle et se note exp, ou x↦ex.
Conséquences immédiates
- exp(0)=e0=1.
- La fonction exponentielle est strictement positive sur R : pour tout réel x, ex>0.
- Comme (ex)′=ex>0, la fonction exponentielle est strictement croissante sur R.
Méthode
1. Retenir la double condition qui caractérise exp : elle est égale à sa propre dérivée et elle vaut 1 en 0. C'est cette caractérisation, et non une formule explicite, qui fonde toutes les propriétés qui suivent.
2. Pour vérifier qu'une fonction proposée n'est pas l'exponentielle, il suffit de mettre en défaut l'une des deux conditions.
3. Utiliser la stricte positivité de ex pour lever une valeur absolue, diviser sans condition de signe, ou déterminer le signe d'une expression qui contient un facteur ex.
*Exemple :* La fonction g(t)=3e2t vérifie g′=2g=g : ce n'est pas la fonction exponentielle. En revanche g(0)=3=1 suffit déjà à l'écarter, sans même calculer g′.
Démonstration : la fonction exponentielle ne s'annule jamais et reste strictement positive sur R.
Étape 1 : la fonction exp ne s'annule pas.
Posons, pour tout réel x, φ(x)=exp(x)exp(−x). En dérivant ce produit et en utilisant exp′=exp :φ′(x)=exp(x)exp(−x)+exp(x)×(−1)exp(−x)=exp(x)exp(−x)−exp(x)exp(−x)=0Donc φ est constante sur R, égale à sa valeur en 0 :φ(0)=exp(0)exp(0)=1×1=1Ainsi, pour tout réel x, exp(x)exp(−x)=1. En particulier exp(x)=0, sinon ce produit serait nul.
Étape 2 : la positivité. Pour tout réel x, on écrit x=2x+2x, donc par la relation fonctionnelle ex=e2x+2x=(ex/2)2≥0. Comme de plus ex=0 (étape 1), on conclut que ex>0 pour tout réel x.
