I. Définition de la fonction exponentielle
Soit (E) l'équation différentielle
 = f(x))
avec
 = 1)
. On admet qu'il existe une fonction solution de cette equation.
Lemme
Si

est une fonction solution de (E), alors pour tout

,
 \neq 0)
.
Propriété et définition :
Il y a une unique fonction solution de (E).
Cette solution est appelé fonction exponentielle et est notée

.
Démonstration :
Soit

une fonction solution de (E) et on pose

est défini sur

, dérivable et :
donc

est constante sur

.
Pour tout

réel,
 \times f(- x) = 1)
donc pour tout réel

,
 \neq 0)
et
 = \dfrac{1}{f(x)})
.
Conséquence :
La dernière conséquence vient du fait que cette fonction est continue sur

(car dérivable) et ne s'annnule pas.
II. Propriété algébrique de l'exponentielle
Propriété 1
Démonstration de la propriété 1 :
Soit la fonction

est dérivable sur

.
 = \dfrac{1 \times \exp(a + x)}{\exp(a)} = g(x))
et
d'où
}{\exp(a)} = \exp(x))
car
 = \exp(a) \times \exp (x))
pour tout réel

donc
Propriété 2
Démonstration de la propriété 2 :
(On procède par raisonnement par récurrence)
Pour

,
Pour

,
Pour

,
Notations simplifiées :

n'est pas rationnel (

), il est transcendant et irrationnel.
alors
 = \exp(n \times 1) = (\exp 1)^n = e^n)
,
Propriétés
Par extension, si

,
)
sera noté

alors les propriétés vues s'écrivent :
Remarque :
^2} > 0)
donc pour tout réel

,
III. Étude de la fonction exponentielle
La fonction exponentielle est définie et dérivable sur

.
La courbe admet une tangente de coefficient directeur 1 au point de coordonnées (0 ; 1) et de coefficient directeur e au point de coordonnées (1 ; e).
Limites de
aux bornes de son ensemble de définition
Propriétés
Démonstrations :
Montrons que pour tout

,
Soit
 = e^x - x)
,
 = e^x - 1)
et pour

on a

d'où
 \ge 0)
(

est croissante sur

).
Pour tout

,
 \ge 1 \Rightarrow e^x - x \ge 1)
d'où

donc
Propriétés
Pour tout

,
Démonstration :
Montrons d'abord que
Pour cela, on établit que pour

,
Posons
 = e^x - \dfrac{x^2}{2})
,
Pour tout

,

donc

d'où
^n = e^x)
pour tout
or

d'où

(avec

)
D'autre part :

et

d'où
On pose

(lorsque

tend vers

,

tend vers

)
d'où
IV. Dérivée de
- Primitive associée
Si

est définie et dérivable sur

de

, la fonction
 = e^{u( x)})
est définie et dérivable sur

et
De manière générale :
(Fonction composée)
Merci à
bill159 bill159 pour avoir contribué à l'élaboration de cette fiche
-
Cette fiche
-
Forum de maths
-