\(f'(x):\) \(=\lim_{h\rightarrow0} \frac{f(x+h)-f(x)}{h}\) \(\Rightarrow{f}'(x)=\lim_{h\rightarrow0} \frac{e^{x+h}-e^x}{h}\) \(\Leftrightarrow{f}'(x)=\lim_{h\rightarrow0} \frac{e^x\cdot{e}^h-e^x}{h}\) \(\Leftrightarrow{f}'(x)=\lim_{h\rightarrow0} \frac{e^x(e^h-1)}{h}\) \(\Leftrightarrow{f}'(x)=e^x\cdot(\lim_{h\rightarrow0} \frac{e^h-1}{h})\) \(\Rightarrow{f}'(x)=e^x\cdot1=e^x\) | Da die e-Funktion so nützlich und wichtig ist, verdient ihre Ableitung gleich noch einen zweiten Beweis. Hier wird mit Hilfe der Definition der Ableitung argumentiert (\(:=\) bedeutet >definiert als<). Wenn wir nun die e-Funktion einsetzen, erhalten wir nach ein paar Umformungen den Ausdruck \(f'(x)=e^x\cdot(\lim_{h\rightarrow0} \frac{e^h-1}{h})\). Nun strebt \(\frac{e^h-1}{h}\) für h gegen 0 gegen \(1\) - es ergibt sich wieder die e-Funktion als Ableitung. Dass besagter Grenzwert gegen \(1\) läuft, ermitteln wir per Hand: \(h=0{,}1\rightarrow\frac{e^{0{,}1}-1}{0{,}1}\approx1{,}0517\) \(h=0{,}01\rightarrow\frac{e^{0{,}01}-1}{0{,}01}\approx1{,}0050\) \(h=0{,}0001\rightarrow\frac{e^{0{,}0001}-1}{0{,}0001}\approx1{,}00005\) |