# Serlo: EN: Exp and log functions for complex numbers

* ↳ 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!

## Exponentialfunktion in den komplexen Zahlen

Wir haben die Exponentialfunktion $\exp :\mathbb {C} \to \mathbb {C} ,x\mapsto \sum _{k=0}^{\infty }{\tfrac {x^{k}}{k!}}$ für komplexe Eingabewerte definiert. Jedoch haben wir sie bisher nur für reelle Eingabewerte genauer untersucht. Das Ziel dieses Abschnitts ist daher die Untersuchung der komplexen Exponentialfunktion.
Sei $z=a+\mathrm {i} b$ eine komplexe Zahl mit $a,b\in \mathbb {R}$. Die Funktionalgleichung erlaubt es uns, $e^{z}=e^{a+\mathrm {i} b}=e^{a}e^{\mathrm {i} b}$ zu schreiben.
Der erste Faktor, $e^{a}$, ist eine positive reelle Zahl. Es scheint zunächst nicht klar, wie der Faktor $e^{\mathrm {i} b}$ zu interpretieren ist.

### Eulersche Formel

Wir leiten in diesem Abschnitt die Eulersche Formel her. Sie besagt, dass für alle reellen Zahlen $x$ folgende Gleichung erfüllt ist: $e^{\mathrm {i} x}=\cos(x)+\mathrm {i} \sin(x)$.
Wir können so den Betrag von $e^{\mathrm {i} x}$ für $x\in \mathbb {R}$ berechnen:
$\left|e^{\mathrm {i} x}\right|={\sqrt {\left(\operatorname {Re} e^{\mathrm {i} x}\right)^{2}+\left(\operatorname {Im} e^{\mathrm {i} x}\right)^{2}}}={\sqrt {\cos ^{2}x+\sin ^{2}x}}=1$
Das ist aber nicht der Grund, weshalb diese Gleichung so wichtig ist. Dieses Ergebnis hätten wir auch anders erhalten können:
$\left|e^{\mathrm {i} x}\right|={\sqrt {e^{\mathrm {i} x}e^{-\mathrm {i} x}}}={\sqrt {e^{0}}}=1$
Die Bedeutung der Eulerschen Formel liegt darin, dass sie explizit den Real- und Imaginärteil der Zahl $e^{\mathrm {i} x}$ angibt, die wir besser verstehen wollen. So können wir $e^{\mathrm {i} x}$ leicht in der Gaußschen Zahlenebene einzeichnen.
Für alle $x\in \mathbb {R}$ liegt $e^{\mathrm {i} x}$ auf dem Einheitskreis in der Gaußschen Zahlenebene.
In dieser Animation kann man sehen, wie sich der Punkt $e^{\mathrm {i} x}$ auf dem Einheitskreis mit wachsendem $x$ bewegt.
Als Nächstes beweisen wir die Eulersche Formel.
Theorem (Eulersche Formel)
Für alle $x\in \mathbb {R}$ gilt $e^{\mathrm {i} x}=\cos(x)+\mathrm {i} \sin(x)$.
How to get to the proof? (Eulersche Formel)
Wir benutzen die Reihenentwicklung der Sinusfunktion und der Kosinusfunktion, um die rechte Seite der Gleichung aufzuschreiben.
$\cos(x)+\mathrm {i} \sin(x)=\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k}}{(2k)!}}+\mathrm {i} \sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k+1}}{(2k+1)!}}$
Wir müssen also $e^{\mathrm {i} x}=\sum _{k=0}^{\infty }{\frac {(\mathrm {i} x)^{k}}{k!}}$ geschickt umformen, um dieses Ergebnis zu erhalten.
${\begin{aligned}&e^{\mathrm {i} x}=\sum _{k=0}^{\infty }{\frac {(\mathrm {i} x)^{k}}{k!}}=\sum _{k=0}^{\infty }\mathrm {i} ^{k}{\frac {x^{k}}{k!}}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Ausrechnen von }}\mathrm {i} ^{k}\right.}\\[0.3em]=\ &1\cdot \sum _{k=0}^{\infty }{\frac {x^{4k}}{(4k)!}}+\mathrm {i} \cdot \sum _{k=0}^{\infty }{\frac {x^{4k+1}}{(4k+1)!}}+(-1)\cdot \sum _{k=0}^{\infty }{\frac {x^{4k+2}}{(4k+2)!}}+(-\mathrm {i} )\cdot \sum _{k=0}^{\infty }{\frac {x^{4k+3}}{(4k+3)!}}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Zusammenfassen der Summen mit Koeffizienten }}1,-1{\text{ und der Summen mit Koeffizienten }}\mathrm {i} ,-\mathrm {i} \right.}\\[0.3em]=\ &\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k}}{(2k)!}}+\mathrm {i} \sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k+1}}{(2k+1)!}}\\[0.3em]=\ &\cos(x)+\mathrm {i} \sin(x)\end{aligned}}$
In der obigen Rechnung haben wir ohne darüber nachzudenken, ob das erlaubt ist, die Reihenglieder umgeordnet. Das ist kein Problem, da die Reihe der Exponentialfunktion, und die Reihe der Sinus- und Kosinusfunktion absolut konvergieren. Somit können wir den Riemannschen Umordnungssatz anwenden und die Reihenfolge der Reihenglieder nach Belieben ändern.
Die mathematische Herleitung ist beinahe Deckungsgleich mit dem Beweis, bis auf die unsortierten Summanden und die Reihe von (Co)Sinus wurde noch nicht vorgestellt.
Proof (Eulersche Formel)
Sei $x\in \mathbb {R}$. Die Reihen von $e^{x},\cos(x)$ und $\sin(x)$ konvergieren absolut. Also können wir den Riemannschen Umordnungssatz anwenden und die Reihenglieder beliebig anordnen. Es gilt damit
${\begin{aligned}&e^{\mathrm {i} x}=\sum _{k=0}^{\infty }{\frac {(\mathrm {i} x)^{k}}{k!}}=\sum _{k=0}^{\infty }\mathrm {i} ^{k}{\frac {x^{k}}{k!}}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Ausrechnen von }}\mathrm {i} ^{k}{\text{ und sortieren der entstehenden Terme nach Koeffizienten }}1,-1,\mathrm {i} ,-\mathrm {i} \right.}\\[0.3em]=\ &1\cdot \sum _{k=0}^{\infty }{\frac {x^{4k}}{(4k)!}}+\mathrm {i} \cdot \sum _{k=0}^{\infty }{\frac {x^{4k+1}}{(4k+1)!}}+(-1)\cdot \sum _{k=0}^{\infty }{\frac {x^{4k+2}}{(4k+2)!}}+(-\mathrm {i} )\cdot \sum _{k=0}^{\infty }{\frac {x^{4k+3}}{(4k+3)!}}\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Zusammenfassen der Summen mit Koeffizienten }}1,-1{\text{ und der Summen mit Koeffizienten }}\mathrm {i} ,-\mathrm {i} \right.}\\[0.3em]=\ &\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k}}{(2k)!}}+\mathrm {i} \sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k+1}}{(2k+1)!}}\\[0.3em]=\ &\cos(x)+\mathrm {i} \sin(x)\end{aligned}}$

### Polarkoordinaten für komplexe Zahlen

Eine komplexe Zahl in der Gaußschen Zahlenebene kann man auffassen als Punkt im $\mathbb {R} ^{2}$ mit den Koordinaten $(\operatorname {Re} z,\operatorname {Im} z)$. Die Zahl $z$ kann man auch anders beschreiben: Sie liegt auf dem Kreis mit dem Radius $r=|z|$ um den Ursprung und die Verbindungslinie zwischen der Zahl $z$ in der Gaußschen Zahlenebene und dem Ursprung schließt mit der Halbgerade der positiven reellen Achse einen Winkel $\varphi$ ein. Durch $r$ und $\varphi$ ist die Zahl $z$ eindeutig bestimmt.
Bild einer komplexen Zahl $z$, die durch $r,\varphi$ bestimmt ist, $\varphi >90^{\circ }$
Die Eulersche Formel besagt, dass für alle reellen Zahlen $\varphi$ folgende Gleichung erfüllt ist: $e^{\mathrm {i} \varphi }=\cos(\varphi )+r\cdot \mathrm {i} \sin(\varphi )$. Die Zahl $e^{\mathrm {i} \varphi }$ entspricht der komplexen Zahl auf dem Einheitskreis mit Winkel $\varphi$ zur positiven reellen Achse. Multiplizieren wir diese Zahl mit einer Zahl $r\in \mathbb {R} _{0}^{+}$, so erhalten wir $re^{\mathrm {i} \varphi }$. Das ist genau die komplexe Zahl $z$, die wir oben durch $r$ und $\varphi$ beschrieben haben.
Gleiches Bild wie vorher, nur beschriftet mit $z=re^{\mathrm {i} \varphi }$, dem Winkel $\varphi$, Radius $r=|z|$ und $=r\cos(\varphi )$ und $\mathrm {i} \sin(\varphi )$ für Real- und Imaginärteil
Ist eine komplexe Zahl $z$ in Polarkoordinaten gegeben, also $z=re^{\mathrm {i} \varphi }$, so können wir diese leicht in die Darstellung in kartesischen Koordinaten ($a+\mathrm {i} b$) umrechnen:
$z=re^{\mathrm {i} \varphi }=r\cos \varphi +r\cdot \mathrm {i} \sin \varphi$
Sei umgekehrt eine komplexe Zahl in kartesischen Koordinaten gegeben, d.h. $z=a+\mathrm {i} b$. Wie können wir diese in Polarkoordinaten darstellen?
Den Betrag der Zahl zu berechnen ist einfach: $r={\sqrt {a^{2}+b^{2}}}$. Schwieriger ist hingegen der Winkel $\varphi$. Wir müssen eine reelle Zahl $\varphi$ suchen, für die $a=r\cdot \cos \varphi$ und $b=r\cdot \mathrm {i} \cdot \sin \varphi$ gilt. Für einfache Beispiele, ist es oft am leichtesten eine Skizze zu machen und anhand der Skizze den Winkel $\varphi$ zu bestimmen. Man kann $\varphi$ auch mit folgender Formel berechnen: $\varphi ={\begin{cases}&+\arccos {\frac {x}{r}}\ {\text{für}}\ y\geq 0\\[0.3em]&-\arccos {\frac {x}{r}}\ {\text{für}}\ y<0\\[0.3em]\end{cases}}$

### Grafische Darstellung
## Logarithmusfunktion in den komplexen Zahlen

Exercises →
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.