Regla de derivación de la función $f(x)=e^x$

Sea la función $f:\,\mathbb{R} \mapsto \mathbb{R}$ definida de la forma $$f(x)=e^x$$
donde $e$ representa el número trascendente $2,71828 \ldots$, base de los logaritmos neperianos ( o naturales )

Nos proponemos encontrar la regla de derivación de esta función, es decir, la estructura algebraica de la función derivada de la función dada.

De la definición de función derivada, $$\displaystyle \big(e^x\big)^{'}=\lim_{\Delta \, x \rightarrow 0}\,\dfrac{e^{x+\Delta \, x}-e^x}{\Delta\,x}$$
que podemos escribir de la forma$$\displaystyle \big(e^x\big)^{'}= e^{x} \cdot \lim_{\Delta \, x \rightarrow 0}\, \dfrac{e^{\Delta \,x}-1}{\Delta\,x}$$
Es sencillo comprobar - mediante la elaboración de una tabla numérica - que $$\displaystyle \lim_{\Delta \, x \rightarrow 0}\, \dfrac{e^{\Delta \, x}-1}{\Delta\,x}=1$$

luego deducimos $$\big(e^x\big)^{'}=e^x$$

$\square$