Exponentialreihe/Komplex/Elementare Eigenschaften/Fakt/Beweis

Beweis

(1) folgt direkt aus der Definition.
(2) folgt aus

${}\exp z\cdot \exp \left(-z\right)=\exp \left(z-z\right)=\exp 0=1\,$

aufgrund von Fakt.
(3) folgt aus Fakt und (2).
(4). Der Wert der Exponentialreihe für eine reelle Zahl ist wieder reell, da die reellen Zahlen in ${}{\mathbb {C} }$ abgeschlossen sind. Die Nichtnegativität ergibt sich aus

${}\exp z=\exp \left({\frac {z}{2}}+{\frac {z}{2}}\right)=\exp {\frac {z}{2}}\cdot \exp {\frac {z}{2}}={\left(\exp {\frac {z}{2}}\right)}^{2}\geq 0\,.$

(5). Für ${}x>0$ ist

${}\exp x=\sum _{n=0}^{\infty }{\frac {1}{n!}}x^{n}=1+x+\sum _{n=2}^{\infty }{\frac {1}{n!}}x^{n}>1\,,$

da alle Summanden positiv sind. Wegen (4) ist ${}\exp x\cdot \exp \left(-x\right)=1$, sodass der andere Faktor ${}\leq 1$ sein muss.
(6). Für reelle ${}x>y$ ist ${}x-y>0$ und daher nach (5) ${}\exp \left(x-y\right)>1$, also

${}\exp x=\exp \left(x-y+y\right)=\exp \left(x-y\right)\exp y>\exp y\,.$

Zur bewiesenen Aussage