# Serlo: EN: Properties of the exponential series

* ↳ Project "Serlo"
* ↳ Real Analysis Contents "Real Analysis" Help Introduction  Complex numbers  Supremum and infimum  Sequences  Convergence and divergence  Subsequences, Accumulation points and Cauchy sequences  Series  Convergence criteria for series  Exponential and Logarithm functions  Derivation and definition of the exponential series  Properties of the exponential series  Logarithmic function  Real exponents  Exp and log functions for complex numbers  Exercises  Trigonometric and Hyperbolic functions  Continuity  Differential Calculus
Dieser Abschnitt ist noch im Entstehen und noch nicht offizieller Bestandteil des Buchs. Gib den Autoren Zeit, den Inhalt anzupassen!

## Eine Ungleichung

Theorem
Sei $x\in \mathbb {R}$. Dann gilt $\exp(x)\geq x+1$.
Proof
Wir betrachten zwei Fälle.
Fall 1: $x\geq -1$
Sei also $x\geq -1$. Es gilt die Bernoulli-Ungleichung, d.h. für alle $n\in \mathbb {N}$ und $z\geq -1$ gilt
$(1+z)^{n}\geq 1+nz$
Es gilt wegen $x\geq -1$, dass ${\tfrac {x}{n}}\geq -1$ für alle $n\in \mathbb {N}$. Wir setzen nun $z:={\tfrac {x}{n}}$. Es folgt
$\left(1+{\frac {x}{n}}\right)^{n}\geq 1+n\cdot {\frac {x}{n}}=1+x$
Also:
$\exp(x)=\lim _{n\to \infty }{\left(1+{\frac {x}{n}}\right)^{n}}\geq \lim _{n\to \infty }{1+x}=1+x$
Fall 2: $x<-1$
Sei nun $x<-1$. Dann gibt es ein $N\in \mathbb {N}$, so dass für alle $n\geq N$ gilt, dass ${\tfrac {x}{n}}\geq -1$ und somit $1+{\tfrac {x}{n}}\geq 1-1=0$. Damit gilt auch $\left(1+{\tfrac {x}{n}}\right)^{n}\geq (1-1)^{n}=0$. Folglich ist
$\exp(x)=\lim _{n\to \infty }{\left(1+{\frac {x}{n}}\right)^{n}}\geq 0$
Da $x<-1$ gilt $\exp(x)\geq 0\geq 1+x$.

## Ein nützlicher Grenzwert

Nun betrachten wir den Grenzwert $\lim \limits _{z\to 0}{\frac {\exp(z)-1}{z}}=1$. Dieser ist an vielen Stellen nützlich zum Beispiel bei der Berechnung der Ableitung der e-Funktion.
Um den Grenzwert zu beweisen, brauchen wir zuerst eine Abschätzung:
Theorem (Restgliedabschätzung der Exponentialfunktion)
Sei $z\in \mathbb {C}$ mit $|z|\leq 1$ und $n\in \mathbb {N} _{0}$, dann gilt
${\bigg |}\exp(z)-\sum _{k=0}^{n}{\frac {z^{k}}{k!}}{\bigg |}\leq {\frac {2|z|^{n+1}}{(n+1)!}}$
Proof (Restgliedabschätzung der Exponentialfunktion)
Es gilt wegen der Definition der Exponentialfunktion
${\begin{aligned}&{\bigg |}\exp(z)-\sum _{k=0}^{n}{\frac {z^{k}}{k!}}{\bigg |}\\[0.3em]=\ &{\bigg |}\sum _{k=n+1}^{\infty }{\frac {z^{k}}{k!}}{\bigg |}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Dreiecksungleichung}}\right.}\\[0.3em]\leq &\sum _{k=n+1}^{\infty }{\frac {|z|^{k}}{k!}}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Ausklammern}}\right.}\\[0.3em]=\ &{\frac {|z|^{n+1}}{(n+1)!}}{\bigg1+{\frac {|z|}{n+2}}+{\frac {|z|^{2}}{(n+2)(n+3)}}+\ldots {\bigg )}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Abschätzung mit }}|z|\leq 1{\text{ und }}(n+1)\geq 2,(n+2)\geq 2,\ldots \right.}\\[0.3em]\leq &{\frac {|z|^{n+1}}{(n+1)!}}\sum _{i=0}^{\infty }{\frac {1}{2^{i}}}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Geometrische Reihe}}\right.}\\[0.3em]=\ &{\frac {|z|^{n+1}}{(n+1)!}}\cdot {\frac {1}{1-{\frac {1}{2}}}}\\[0.3em]=\ &{\frac {2|z|^{n+1}}{(n+1)!}}\\[0.3em]\end{aligned}}$
Mit dieser Abschätzung können wir nun unseren Grenzwert beweisen:
Theorem
Es gilt $\lim \limits _{z\to 0}{\frac {\exp(z)-1}{z}}=1$. Hierbei ist $z\to 0$ in den komplexen Zahlen gemeint.
Proof
$n\in \mathbb {N}$
$z\in \mathbb {C}$
$|z|\leq 1$
${\bigg |}\exp(z)-\sum _{k=0}^{n}{\frac {z^{k}}{k!}}{\bigg |}\leq {\frac {2|z|^{n+1}}{(n+1)!}}$
Benutzen wir jetzt $n=1$, dann folgt für alle $z\in \mathbb {C}$ mit $|z|\leq 1$
${\bigg |}\exp(z)-\left(1+{\frac {z}{1!}}\right){\bigg |}\leq {\frac {2|z|^{2}}{2!}}=|z|^{2}$
Sei nun $(z_{n})_{n\in \mathbb {N} }$ eine Folge in $\mathbb {C}$ mit $\lim \limits _{n\to \infty }{z_{n}}=0$ und $z_{n}\neq 0$ für alle $n\in \mathbb {N}$. Dann gibt es ein $N\in \mathbb {N}$, so dass für alle $m>N$ gilt $|z_{m}|\leq 1$. Also folgt für alle $m>N$, dass
${\bigg |}\exp(z_{m})-(1+z_{m}){\bigg |}\leq |z_{m}|^{2}$
Somit gilt auch, da $z_{m}\neq 0$,
${\bigg |}{\frac {\exp(z_{m})-1}{z_{m}}}-1{\bigg |}={\bigg |}{\frac {\exp(z_{m})-(1+z_{m})}{z_{m}}}{\bigg |}\leq |z_{m}|$
Nach dem Sandwich-Theorem gilt dann $\lim \limits _{n\to \infty }{{\frac {\exp(z_{m})-1}{z_{m}}}-1}=0$.
Da unsere Folge beliebig gewählt war gilt also $\lim \limits _{z\to 0}{\frac {\exp(z)-1}{z}}=1$
* wie kommt man auf den Beweis

## Funktionalgleichung

In diesem Abschnitt zeigen wir den folgenden
Theorem
Für alle $x,y\in \mathbb {C}$ gilt:
$\exp(x)\cdot \exp(y)=\exp(x+y)$
How to get to the proof?
Dazu benutzen wir die Reihendarstellung der Exponentialfunktion. Die linke Seite ist:
$\exp(x)\cdot \exp(y)=\left(\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}\right)\cdot \left(\sum _{m=0}^{\infty }{\frac {y^{m}}{m!}}\right)$
Und die rechte Seite ist
${\begin{aligned}&\exp(x+y)\\[0.3em]=\ &\sum _{n=0}^{\infty }{\frac {(x+y)^{n}}{n!}}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Binomischer Lehrsatz}}\right.}\\[0.3em]=\ &\sum _{n=0}^{\infty }{\frac {1}{n!}}\sum _{k=0}^{n}{\binom {n}{k}}x^{k}\cdot y^{n-k}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Definition des Binomialkoeffizienten}}\right.}\\[0.3em]=\ &\sum _{n=0}^{\infty }{\frac {1}{n!}}\sum _{k=0}^{n}{\frac {n!}{k!(n-k)!}}x^{k}\cdot y^{n-k}\\[0.3em]=\ &\sum _{n=0}^{\infty }\sum _{k=0}^{n}{\frac {x^{k}}{k!}}\cdot {\frac {y^{n-k}}{(n-k)!}}\\[0.3em]\end{aligned}}$
Das ist genau das Cauchy-Produkt von $\left(\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}\right)\cdot \left(\sum _{m=0}^{\infty }{\frac {y^{m}}{m!}}\right)$. Dazu müssen wir wissen, dass die Reihe $\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}$ bzw. $\sum _{m=0}^{\infty }{\frac {y^{m}}{m!}}$ absolut konvergiert.
Für alle $x\in \mathbb {C}$ gilt
${\begin{aligned}&\sum _{k=0}^{\infty }{\bigg |}{\frac {x^{k}}{k!}}{\bigg |}\\[0.3em]=\ &\sum _{k=0}^{\infty }{\frac {|x|^{k}}{k!}}\\[0.3em]=\ &\exp(|x|)\end{aligned}}$
und das ist, wie bereits gezeigt, eine reelle Zahl. Also konvergieren die Reihen absolut und damit folgt
$\exp(x)\cdot \exp(y)=\exp(x+y)$
Proof
Zunächst bemerken wir, dass die Reihe $\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}$ für alle $x\in \mathbb {C}$ absolut konvergiert. Denn
${\begin{aligned}&\sum _{k=0}^{\infty }{\bigg |}{\frac {x^{k}}{k!}}{\bigg |}\\[0.3em]=\ &\sum _{k=0}^{\infty }{\frac {|x|^{k}}{k!}}\\[0.3em]=\ &\exp(|x|)\end{aligned}}$
und die Exponentialfunktion ist wohldefiniert. Es gilt:
${\begin{aligned}&\exp(x+y)\\[0.3em]=\ &\sum _{n=0}^{\infty }{\frac {(x+y)^{n}}{n!}}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Binomischer Lehrsatz}}\right.}\\[0.3em]=\ &\sum _{n=0}^{\infty }{\frac {1}{n!}}\sum _{k=0}^{n}{\binom {n}{k}}x^{k}\cdot y^{n-k}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Definition des Binomialkoeffizienten}}\right.}\\[0.3em]=\ &\sum _{n=0}^{\infty }{\frac {1}{n!}}\sum _{k=0}^{n}{\frac {n!}{k!(n-k)!}}x^{k}\cdot y^{n-k}\\[0.3em]=\ &\sum _{n=0}^{\infty }\sum _{k=0}^{n}{\frac {x^{k}}{k!}}\cdot {\frac {y^{n-k}}{(n-k)!}}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Cauchyprodukt}}\right.}\\[0.3em]=\ &\left(\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}\right)\cdot \left(\sum _{m=0}^{\infty }{\frac {y^{m}}{m!}}\right)\\[0.3em]=\ &\exp(x)\cdot \exp(y)\end{aligned}}$

## Positivität

Theorem
Sei $x\in \mathbb {R}$. Dann gilt $\exp(x)>0$.
Proof
Wir betrachten zwei Fälle.
Fall 1: $x\geq 0$
Sei $x\geq 0$. Dann gilt $\exp(x)\geq 1+x\geq 1>0$.
Fall 2: $x<0$
Sei nun $x<0$. Nach der Funktionalgleichung der Exponentialfunktion gilt
$\exp(x)\cdot \exp(-x)=\exp(0)=1$
Aus dem ersten Fall wissen wir schon, dass $\exp(-x)>0$ gilt, denn $-x\geq 0$. Es folgt also $\exp(x)={\frac {1}{\exp(-x)}}>0$.

## Monotonie

Theorem
Die Exponentialfunktion $\exp :\mathbb {R} \rightarrow \mathbb {R}$ ist streng monoton steigend.
Proof
Seien $x,y\in \mathbb {R}$ mit $x<y$. Dann können wir $y=x+t$ mit $t>0$ schreiben. Aus dem vorher bewiesenen Satz bekommen wir also $e^{t}\geq 1+t>1$. Dann folgt mit der Funktionalgleichung:
$\exp(y)=\exp(x+t)=\underbrace {\exp(x)} _{>0}\cdot \underbrace {\exp(t)} _{>1}>\exp(x)$

## Stetigkeit der Exponentialfunktion

Diesen Teilabschnitt eventuell verschieben, da die Stetigkeit der Exponentialfunktion vor dem Kapitel zur Stetigkeit bewiesen wird.
In diesem Kapitel beweisen wir die Stetigkeit der Exponentialfunktion
$\exp :\mathbb {C} \to \mathbb {C} ,\exp(x)=\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}$
Dazu zeigen wir zunächst, dass die Funktion $\exp$ an der Stelle $0$ stetig ist. Anschließend beweisen wir die Stetigkeit in allen $x\in \mathbb {C}$. Dabei benutzen wir die Stetigkeit in $0$ und die Regel $\exp(x+y)=\exp(x)\cdot \exp(y)$ für alle $x,y\in \mathbb {C}$.
Theorem
Die Exponentialfunktion $\exp :\mathbb {C} \to \mathbb {C}$ ist stetig in $0$.
How to get to the proof?
Wir müssen also zeigen, dass es für ein gegebenes $\epsilon >0$ ein $\delta >0$ gibt, so dass für alle $x\in \mathbb {C}$ mit $|x-0|=|x|<\delta$ gilt
$|\exp(x)-\exp(0)|<\epsilon$
Für alle $x\in \mathbb {C}$ gilt:
${\begin{aligned}&|\exp(x)-\exp(0)|\\[0.3em]=\ &{\Big |}\exp(x)-\sum _{k=0}^{0}{\frac {x^{k}}{k!}}{\Big |}\\[0.3em]\end{aligned}}$
In einem vorherigen Satz haben wir folgende nützliche Abschätzung für alle $z\in \mathbb {C}$ mit $|z|\leq 1$ bewiesen:
${\bigg |}\exp(z)-\sum _{k=0}^{n}{\frac {z^{k}}{k!}}{\bigg |}\leq {\frac {2|z|^{n+1}}{(n+1)!}}$
In unserem Fall gilt somit für alle $x\in \mathbb {C}$ mit $|x|\leq 1$, dass
${\begin{aligned}&|\exp(x)-\exp(0)|\\[0.3em]=\ &{\bigg |}\exp(x)-\sum _{k=0}^{0}{\frac {x^{k}}{k!}}{\bigg |}\\[0.3em]\leq \ &{\frac {2|x|^{0+1}}{(0+1)!}}\\[0.3em]=\ &2|x|\end{aligned}}$
Folglich können wir $\delta$ so wählen, dass für alle $x\in \mathbb {C}$ mit $|x|<\delta$ die folgenden Bedingungen erfüllt sind:
* $|x|<1$, d.h. $\delta \leq 1$
* $2|x|<\epsilon$, d.h. $\delta \leq {\frac {\epsilon }{2}}$
Also setzen wir $\delta :=\min {\Bigl \1,{\frac {\epsilon }{2}}{\Bigr \}}$.
Proof
Sei $\epsilon >0$. Setze $\delta :=\min {\Bigl \1,{\frac {\epsilon }{2}}{\Bigr \}}$. Dann gilt für alle $x\in \mathbb {C}$ mit $|x-0|=|x|<\delta$, dass
${\begin{aligned}&|\exp(x)-\exp(0)|\\[0.3em]=\ &{\bigg |}\exp(x)-\sum _{k=0}^{0}{\frac {x^{k}}{k!}}{\bigg |}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Abschätzung aus einem vorherigen Satz und }}|x|\leq 1\right.}\\[0.3em]\leq \ &{\frac {2|x|^{0+1}}{(0+1)!}}\\[0.3em]=\ &2|x|\\[0.3em]<\ &2\cdot {\frac {\epsilon }{2}}\\[0.3em]=\ &\epsilon \end{aligned}}$
Also ist $\exp :\mathbb {C} \to \mathbb {C}$ in $0$ stetig.
Theorem
Die Exponentialfunktion $\exp :\mathbb {C} \to \mathbb {C}$ ist stetig.
How to get to the proof?
Sei ${\tilde {x}}\in \mathbb {C}$ beliebig. Sei $(x_{n})_{n\in \mathbb {N} }$ eine komplexwertige Folge, die gegen ${\tilde {x}}$ konvergiert, d.h. $\lim _{n\to \infty }x_{n}-{\tilde {x}}=0$.
Wir können nun die Folge $(y_{n})_{n\in \mathbb {N} }$ betrachten, wobei wir für alle $n\in \mathbb {N}$ definieren: $y_{n}:=x_{n}-{\tilde {x}}$. Wegen $\lim _{n\to \infty }x_{n}-{\tilde {x}}=0$ konvergiert die Folge $(y_{n})_{n\in \mathbb {N} }$ gegen $0$.
Wir wissen bereits, dass die Exponentialfunktion $\exp$ stetig in $0$ ist. Also:
$\lim _{n\to \infty }\exp(x_{n}-{\tilde {x}})=\lim _{n\to \infty }\exp(y_{n})=\exp(0)=1$
Wir gehen nun zurück zu unserer Folge $(x_{n})_{n\in \mathbb {N} }$. Wir wollen zeigen, dass
$\lim _{n\to \infty }\exp(x_{n})=\exp({\tilde {x}})$
Für alle $n\in \mathbb {N}$ gilt
$\exp(x_{n})=\exp({\tilde {x}}+(x_{n}-{\tilde {x}}))=\exp({\tilde {x}})\cdot \exp(x_{n}-{\tilde {x}})$
Also:
${\begin{aligned}&\lim _{n\to \infty }\exp(x_{n})\\[0.3em]&{\color {OliveGreen}\left\downarrow \exp(x_{n})=\exp({\tilde {x}})\cdot \exp(x_{n}-{\tilde {x}})\right.}\\[0.3em]=\ &\lim _{n\to \infty }\exp({\tilde {x}})\cdot \exp(x_{n}-{\tilde {x}})\\[0.3em]=\ &\exp({\tilde {x}})\lim _{n\to \infty }\exp(x_{n}-{\tilde {x}})\\[0.3em]&{\color {OliveGreen}\left\downarrow \lim _{n\to \infty }\exp(x_{n}-{\tilde {x}})=1\right.}\\[0.3em]=\ &\exp({\tilde {x}})\cdot 1\\[0.3em]=\ &\exp({\tilde {x}})\end{aligned}}$
Folglich ist $\exp$ stetig in ${\tilde {x}}$. Da ${\tilde {x}}\in \mathbb {C}$ beliebig gewählt war, ist $\exp :\mathbb {C} \to \mathbb {C}$ stetig.
Proof
Sei ${\tilde {x}}\in \mathbb {C}$ und $(x_{n})_{n\in \mathbb {N} }$ eine Folge in $\mathbb {C}$, die gegen ${\tilde {x}}$ konvergiert. Dann gilt
${\begin{aligned}&\lim _{n\to \infty }\exp(x_{n})\\[0.3em]&\lim _{n\to \infty }\exp({\tilde {x}}+(x_{n}-{\tilde {x}}))\\[0.3em]&{\color {OliveGreen}\left\downarrow \exp(a+b)=\exp(a)\cdot \exp(b){\text{ für alle }}a,b\in \mathbb {C} \right.}\\[0.3em]=\ &\lim _{n\to \infty }\exp({\tilde {x}})\cdot \exp(x_{n}-{\tilde {x}})\\[0.3em]=\ &\exp({\tilde {x}})\lim _{n\to \infty }\exp(x_{n}-{\tilde {x}})\\[0.3em]&{\color {OliveGreen}\left\downarrow \lim _{n\to \infty }x_{n}-{\tilde {x}}=0{\text{ und }}\exp {\text{ ist stetig in }}0{\text{, also }}\lim _{n\to \infty }\exp(x_{n}-{\tilde {x}})=\exp(0)=1\right.}\\[0.3em]=\ &\exp({\tilde {x}})\cdot 1\\[0.3em]=\ &\exp({\tilde {x}})\end{aligned}}$
Somit ist die Exponentialfunktion $\exp :\mathbb {C} \to \mathbb {C}$ stetig.

## Bijektivität

Wir haben schon gesehen, dass wir die Exponentialfunktion aufgrund der Positivität als eine Funktion $\exp :\mathbb {R} \to \mathbb {R} ^{+}$ in die positiven reellen Zahlen auffassen können. Wir beweisen jetzt die Bijektivität dieser Funktion.
Theorem
Die Exponentialfunktion $\exp :\mathbb {R} \to \mathbb {R} ^{+}$ ist bijektiv.
Proof
Weil die Exponentialfunktion streng monoton steigend ist, ist sie insbesondere injektiv. Es bleibt noch die Surjektivität zu zeigen. Sei dazu ein $y\in \mathbb {R} ^{+}$ gegeben. Wir unterscheiden zwei Fälle:
Fall 1: $y\geq 1$
Es gilt $\exp(y)\geq 1+y>y\geq 1=\exp(0)$. Nach dem Zwischenwertsatz gibt es also ein $0\leq x\leq y$ mit $\exp(x)=y$.
Fall 2: $0<y<1$
Nach dem ersten Fall finden wir ein $x\in \mathbb {R}$ mit $\exp(x)={\tfrac {1}{y}}$. Somit gilt $\exp(-x)=y$.

## Äquivalenz der Reihen- und Folgendarstellung für komplexe Argumente

Wir haben schon gezeigt, dass für alle $z\in \mathbb {C}$ folgende Gleichung gilt:
$\lim _{n\to \infty }\left(1+{\frac {z}{n}}\right)^{n}=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}$
Mit den Mitteln, die wir in diesem Kapitel erarbeitet haben, können wir nun einen anderen Beweis für diese Gleichung angeben. Für den Beweis nutzen wir die Funktionalgleichung, die Monotonie der Exponentialfunktion für reelle Argumente und den Grenzwert $\lim _{z\to 0}{\frac {\exp(z)-1}{z}}=1$.
Theorem (Äquivalenz der Reihen- und Folgendarstellung für komplexe Argumente)
Für alle $z\in \mathbb {C}$ gilt
$\lim _{n\to \infty }\left(1+{\frac {z}{n}}\right)^{n}=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}$
Damit zeigen wir dann auch insbesondere, dass der Grenzwert $\lim _{n\to \infty }\left(1+{\frac {z}{n}}\right)^{n}$ für alle $z\in \mathbb {C}$ existiert. Denn wir haben bereits gezeigt, dass $\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}\in \mathbb {C}$.
Summary of proof (Äquivalenz der Reihen- und Folgendarstellung für komplexe Argumente)
Sei $z\in \mathbb {C}$. Wir schreiben zunächst für alle $n\in \mathbb {N}$
$\exp(z)-\left(1+{\frac {z}{n}}\right)^{n}=A_{n}\cdot B_{n}$
Anschließend zeigen wir, dass man $A_{n}$ schreiben kann als ${\frac {z}{n}}\cdot a_{n}$, wobei $\lim _{n\to \infty }a_{n}=0$. Außerderdem gilt $|B_{n}|\leq n\cdot \exp(|z|)$. Folglich ist
$\lim _{n\to \infty }\left|\exp(z)-\left(1+{\frac {z}{n}}\right)^{n}\right|=\lim _{n\to \infty }|A_{n}|\cdot |B_{n}|\leq \lim _{n\to \infty }{\frac {|z|}{n}}\cdot a_{n}\cdot n\cdot \exp(|z|)=|z|\cdot \exp(|z|)\lim _{n\to \infty }a_{n}=0$
How to get to the proof? (Äquivalenz der Reihen- und Folgendarstellung für komplexe Argumente)
Herausfinden, wie man auf diesen Beweis kommt
Proof (Äquivalenz der Reihen- und Folgendarstellung für komplexe Argumente)
Im Beweis sei für alle $z\in \mathbb {C}$ der Ausdruck $\exp(z):=\sum _{k=0}^{\infty }{\frac {z^{k}}{k!}}$. Sei $z\in \mathbb {C}$. Dann gilt für alle $n\in \mathbb {N}$, dass
${\begin{aligned}&\exp(z)-\left(1+{\frac {z}{n}}\right)^{n}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Funktionalgleichung}}\right.}\\[0.3em]=\ &\left(\exp \left({\frac {z}{n}}\right)\right)^{n}-\left(1+{\frac {z}{n}}\right)^{n}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Teleskopsumme}}\right.}\\[0.3em]=\ &\sum _{k=0}^{n-1}\left(\exp \left({\frac {z}{n}}\right)\right)^{k+1}\cdot \left(1+{\frac {z}{n}}\right)^{n-(k+1)}-\sum _{k=0}^{n-1}\left(\exp \left({\frac {z}{n}}\right)\right)^{k}\cdot \left(1+{\frac {z}{n}}\right)^{n-k}\\[0.3em]=\ &\underbrace {\left(\exp \left({\frac {z}{n}}\right)-\left(1+{\frac {z}{n}}\right)\right)} _{=:A_{n}}\cdot \underbrace {\sum _{k=0}^{n-1}\left(\exp \left({\frac {z}{n}}\right)\right)^{k}\cdot \left(1+{\frac {z}{n}}\right)^{n-(k+1)}} _{=:B_{n}}\\[0.3em]\end{aligned}}$
Weiter gilt
$A_{n}=\left(\exp \left({\frac {z}{n}}\right)-\left(1+{\frac {z}{n}}\right)\right)={\frac {z}{n}}\underbrace {\left({\frac {\exp({\tfrac {z}{n}})-1}{\tfrac {z}{n}}}-1\right)} _{=:a_{n}}$
Wir haben bereits bewiesen, dass $\lim _{w\to 0}{\tfrac {\exp(w)-1}{w}}-1=0$. Wegen $\lim _{n\to \infty }{\tfrac {z}{n}}=0$ folgt somit $\lim _{n\to \infty }a_{n}=0$.
Als nächstes beweisen wir zwei Abschätzungen, die wir in unserer späteren Rechnung brauchen werden.
1. Ungleichung
${\begin{aligned}&\left|\exp \left({\frac {z}{n}}\right)\right|=\left|\sum _{k=0}^{\infty }{\frac {\left({\tfrac {z}{n}}\right)^{k}}{k!}}\right|\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Dreiecksungleichung}}\right.}\\[0.3em]\leq \ &\sum _{k=0}^{\infty }{\frac {\left({\tfrac {|z|}{n}}\right)^{k}}{k!}}=\exp \left({\frac {|z|}{n}}\right)\end{aligned}}$
2. Ungleichung
${\begin{aligned}&\left|1+{\frac {z}{n}}\right|\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Dreiecksungleichung}}\right.}\\[0.3em]\leq \ &1+{\frac {|z|}{n}}\leq 1+{\frac {|z|}{n}}+\sum _{k=2}^{\infty }{\frac {|z|^{k}}{n^{k}\cdot k!}}=\sum _{k=0}^{\infty }{\frac {\left({\tfrac {|z|}{n}}\right)^{k}}{k!}}=\exp \left({\frac {|z|}{n}}\right)\end{aligned}}$
Somit gilt
${\begin{aligned}&|B_{n}|=\left|\sum _{k=0}^{n-1}\left(\exp \left({\frac {z}{n}}\right)\right)^{k}\cdot \left(1+{\frac {z}{n}}\right)^{n-(k+1)}\right|\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Dreiecksungleichung}}\right.}\\[0.3em]\leq \ &\sum _{k=0}^{n-1}\left|\left(\exp \left({\frac {z}{n}}\right)\right)^{k}\right|\cdot \left|1+{\frac {z}{n}}\right|^{n-(k+1)}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Verwendung der 1. und 2. Ungleichung und der Monotonie der Funktionen }}\mathbb {R} _{0}^{+}\to \mathbb {R} ,x\mapsto x^{s}{\text{ mit }}s\geq 0\right.}\\[0.3em]\leq \ &\sum _{k=0}^{n-1}\left(\exp \left({\frac {|z|}{n}}\right)\right)^{k}\cdot \left(\exp \left({\frac {|z|}{n}}\right)\right)^{n-(k+1)}=\sum _{k=0}^{n-1}\left(\exp \left({\frac {|z|}{n}}\right)\right)^{n-1}\\[0.3em]=\ &n\cdot \left(\exp \left({\frac {|z|}{n}}\right)\right)^{n-1}=n\cdot \exp \left({\frac {|z|\cdot (n-1)}{n}}\right)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Monotonie der Exponentialfunktion}}\right.}\\[0.3em]\leq \ &n\cdot \exp(|z|)\end{aligned}}$
Nun können wir alle Teile zusammensetzen.
${\begin{aligned}&\lim _{n\to \infty }\left|\exp(z)-\left(1+{\frac {z}{n}}\right)^{n}\right|=\lim _{n\to \infty }|A_{n}|\cdot |B_{n}|=\lim _{n\to \infty }\left|{\frac {z}{n}}\cdot a_{n}\right|\cdot n\cdot \exp(|z|)\\[0.3em]=\ &\lim _{n\to \infty }|z|\cdot \exp(|z|)\cdot |a_{n}|=|z|\cdot \exp(|z|)\cdot \lim _{n\to \infty }|a_{n}|=|z|\cdot \exp(|z|)\cdot 0=0\end{aligned}}$
Damit haben wir gezeigt, dass für alle $z\in \mathbb {C}$ gilt, dass
$\lim _{n\to \infty }\left(1+{\frac {z}{n}}\right)^{n}=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}$

## Ableitung

Logarithmic function →
We believe that anyone can understand higher level maths - with the right explanation! That's why we - a group of passionate students and teachers of mathematics - are translating our legendary co-created textbook for real analysis (“Analysis 1”) from German into English. If you know German and want to help us to make higher level maths accessible to everyone, then we look forward to hearing from you at en@serlo.org.
Feedback? Do you want to join?
If you have questions concerning the content, or didn't understand something, the feel free to contact us! We would love to answer your questions! Also we are thankful for critics and/or comments! If you share our vision to explain university math in an comprehensible way, then contact us under:
E-Mail: en@serlo.org
This article is licensed under the free license CC-BY-SA 3.0. With that you can use it, modify it or share it freely, as long as you name „Serlo“ as source and put you changes under the same CC-BY-SA 3.0 oder an compatible license. On the page „Kopier uns!“ we explain you what you have to pay attention to, when using our texts, picture or videos.