La dérivée de f’ de la fonction f(x)=exp x est: f’(x) = exp x pour toute valeur 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}\]