Dérivée de exp x, e^x

Dérivée de la fonction exponentielle x

La dérivée $f’$ de la fonction $f(x)=\exp x= e^{x}$ est :

$$ \forall x \in ]-\infty, +\infty[ , f’(x) = \exp x = e^{x}$$

Preuve/Démonstration

$$ \begin{aligned} f^\prime(x)=(e^x)^\prime &=\lim _{h \rightarrow 0} \frac{e^{x+h}-e^{x}}{h} \\ &=\lim _{h \rightarrow 0} \frac{e^{x} \cdot e^{h}-e^{x}}{h} \\ &=\lim _{h \rightarrow 0} \frac{e^{x}(e^{h}-1)}{h} \\ &=e^{x}\cdot \lim _{h \rightarrow 0} \frac{e^{h}-1}{h} \\ &=e^{x}\cdot f^\prime(0) \end{aligned} $$

Nous devons alors déterminer $f^\prime(0)$.
En posant : $n=e^{h}-1$, ie $n+1=e^{h}$ ie $h=\ln(1+n)$

$$ \begin{aligned} f^\prime(0)&= \lim _{h \rightarrow 0} \frac{e^{h}-1}{h} \\ &=\lim _{n \rightarrow 0} \frac{n}{\ln (1+n)} \\ &=\lim _{n \rightarrow 0} \frac{1}{\displaystyle\frac{1}{n}\ln (1+n)} \\ &=\lim _{n \rightarrow 0} \frac{1}{\displaystyle\ln \left((1+n)^{\frac{1}{n}}\right)} \\ &=\frac{1}{\ln e} = 1 \end{aligned} $$

puisque

$$ \lim _{n \rightarrow 0}(1+n)^{\frac{1}{n}}=e $$

voir la Preuve/Démonstration.

On conclut alors puisque $f^\prime(x)=e^{x}\cdot f^\prime(0)$ que :

$$ f^\prime(x)=e^{x} $$