Eulersche Identität

Die nach Leonhard Euler benannte eulersche Formel bzw. Eulerformel, in manchen Quellen auch eulersche Relation, ist eine Gleichung, die eine grundsätzliche Verbindung zwischen den trigonometrischen Funktionen und den komplexen Exponentialfunktionen mittels komplexer Zahlen darstellt.

Eulersche Formel

Die eulersche Formel bezeichnet die für alle ${\displaystyle y\in \mathbb {R} }$ gültige Gleichung

${\displaystyle \mathrm {e} ^{\mathrm {i} \,y}=\cos \left(y\right)+\mathrm {i} \,\sin \left(y\right)}$,

wobei die Konstante ${\displaystyle \mathrm {e} }$ die eulersche Zahl (Basis der natürlichen Exponentialfunktion bzw. des natürlichen Logarithmus) und die Einheit ${\displaystyle \mathrm {i} }$ die imaginäre Einheit der komplexen Zahlen bezeichnen.

Als Folgerung aus der eulerschen Formel ergibt sich für alle ${\displaystyle z={x+\mathrm {i} y}\in \mathbb {C} }$ die Gleichung

${\displaystyle \mathrm {e} ^{z}=\mathrm {e} ^{x+\mathrm {i} y}=\mathrm {e} ^{x}\cdot \mathrm {e} ^{\mathrm {i} y}=\mathrm {e} ^{x}\cdot \left(\cos \left(y\right)+\mathrm {i} \,\sin \left(y\right)\right)}$.

Herleitung mittels Reihenentwicklung

Die eulersche Formel lässt sich aus den maclaurinschen Reihen (Taylor-Reihe mit Entwicklungsstelle ${\displaystyle x_{0}=0}$) der Funktionen ${\displaystyle \mathrm {e} ^{y},\sin y}$ und ${\displaystyle \cos y}$, ${\displaystyle y\in \mathbb {R} }$, herleiten

${\displaystyle {\begin{aligned}\mathrm {e} ^{\mathrm {i} y}&=1+\mathrm {i} y+{(\mathrm {i} y)^{2} \over 2!}+{(\mathrm {i} y)^{3} \over 3!}+{(\mathrm {i} y)^{4} \over 4!}+\dots \\&=\left(1-{\frac {y^{2}}{2!}}+{\frac {y^{4}}{4!}}-\dots \right)+\mathrm {i} \cdot \left(y-{\frac {y^{3}}{3!}}+{\frac {y^{5}}{5!}}-\dots \right)\\&=\cos(y)+\mathrm {i} \cdot \sin(y)\end{aligned}}}$

Die Umformungen basieren auf ${\displaystyle \mathrm {i} ^{2}=-1.}$

Eulersche Identität

Für ${\displaystyle y=\pi }$ ergibt sich aus der eulerschen Formel die sogenannte eulersche Identität

${\displaystyle \mathrm {e} ^{\mathrm {i} \,\pi }={-1}}$,

die einen einfachen Zusammenhang zwischen vier der bedeutendsten mathematischen Konstanten herstellt: der eulerschen Zahl ${\displaystyle \mathrm {e} }$, der Kreiszahl ${\displaystyle \mathrm {\pi } }$, der imaginären Einheit ${\displaystyle \mathrm {i} }$ sowie der reellen Einheit ${\displaystyle 1}$. Die folgende umgeformte Variante der Gleichung wird bisweilen – obwohl komplizierter – bevorzugt, da in ihr mit der Null noch eine weitere mathematisch bedeutende Konstante hinzukommt:

${\displaystyle \mathrm {e} ^{\mathrm {i} \,\pi }+1=0}$.

Sie wird auch als die „schönste Formel der Mathematik“ bezeichnet, da sie neben den erwähnten fünf bedeutendsten Konstanten auch noch die drei Grundrechenarten „plus“, „mal“ und „hoch“ enthält sowie das wichtigste Zeichen der Mathematik, das Gleichheitszeichen.

Eine weitere Version der Formel lautet

${\displaystyle \mathrm {e} ^{\mathrm {i} \,{\frac {\tau }{2}}}=-1}$ bzw. ${\displaystyle \mathrm {e} ^{\mathrm {i} \,\tau }=1}$,

mit der alternativen Kreiszahl ${\displaystyle \tau }$.

Erweitert man die Definition des Zahlenwerts von ${\displaystyle \mathrm {e} ^{z}}$ als Grenzwert ${\displaystyle \textstyle \lim _{n\rightarrow \infty }(1+z/n)^{n}}$ auf die komplexe Zahlenebene mit ${\displaystyle z\in \mathbb {C} }$, so ergibt sich dementsprechend für ${\displaystyle z=\mathrm {i} \pi }$ der Wert ${\displaystyle {-1}}$. Die nebenstehende Animation zeigt die zu einem Streckenzug in der komplexen Ebene verbundenen Zwischenergebnisse der Berechnung des Ausdrucks ${\displaystyle (1+\mathrm {i} \pi /n)^{n}}$: Sie veranschaulicht, dass dieser Streckenzug für wachsendes ${\displaystyle n}$ die Form eines Kreisbogens annimmt, dessen linkes Ende sich tatsächlich der Zahl ${\displaystyle {-1}}$ auf der reellen Achse nähert.

Beziehung zwischen Exponentialfunktionen und trigonometrischen Funktionen

Formulierung

Die eulersche Formel ist ein zentrales Bindeglied zwischen Analysis und Trigonometrie:

${\displaystyle \sin x={\frac {\mathrm {e} ^{\mathrm {i} x}-\mathrm {e} ^{-\mathrm {i} x}}{2\mathrm {i} }},\quad \cos x={\frac {\mathrm {e} ^{\mathrm {i} x}+\mathrm {e} ^{-\mathrm {i} x}}{2}}}$.

Herleitung

Sinus und Kosinus ergeben sich aus Realteil und Imaginärteil der komplexen Exponentialfunktion.

Den Realteil erhält man, indem man eine komplexe Zahl ${\displaystyle z}$ mit der Konjugierten ${\displaystyle {\bar {z}}}$ addiert und durch zwei dividiert:

${\displaystyle \cos(x)=\mathrm {Re} (\mathrm {e} ^{\mathrm {i} x})={\frac {\mathrm {e} ^{\mathrm {i} x}+\mathrm {e} ^{-\mathrm {i} x}}{2}}}$.

Den Imaginärteil erhält man, indem man ${\displaystyle {\frac {z-{\bar {z}}}{2\mathrm {i} }}}$ berechnet:

${\displaystyle \sin(x)=\mathrm {Im} (\mathrm {e} ^{\mathrm {i} x})={\frac {\mathrm {e} ^{\mathrm {i} x}-\mathrm {e} ^{-\mathrm {i} x}}{2\mathrm {i} }}}$.

Erläuterung

Die Eulerformel erlaubt eine völlig neue Sicht auf die trigonometrischen Funktionen, da die in der herkömmlichen Trigonometrie allein mit reellen Argumenten verwendeten Funktionen Sinus und Kosinus nun auch noch eine Bedeutung in der komplexen Analysis erhalten.

Die Formeln für Real- und Imaginärteil ergeben sich durch:

${\displaystyle {\begin{aligned}\mathrm {Re} (a+b\,\mathrm {i} )={\frac {z+{\bar {z}}}{2}}={\frac {(a+b\mathrm {i} )+(a-b\,\mathrm {i} )}{2}}={\frac {2a}{2}}=a,\\\mathrm {Im} (a+b\,\mathrm {i} )={\frac {z-{\bar {z}}}{2\mathrm {i} }}={\frac {(a+b\,\mathrm {i} )-(a-b\,\mathrm {i} )}{2\mathrm {i} }}={\frac {2b\mathrm {i} }{2\mathrm {i} }}=b\end{aligned}}}$

Eine Folge der Verbindung von trigonometrischen Funktionen und Exponentialfunktion aus der Eulerformel ist der Moivresche Satz (1730).

Hyperbelfunktionen

Versieht man die Sinus und Kosinus mit imaginären Argumenten, wird dadurch eine Brücke zu den Hyperbelfunktionen geschlagen:

${\displaystyle \sin(\mathrm {i} y)={\mathrm {e} ^{-y}-\mathrm {e} ^{y} \over 2\mathrm {i} }=\mathrm {i} \,{\frac {\mathrm {e} ^{y}-\mathrm {e} ^{-y}}{2}}=\mathrm {i} \,\sinh(y)}$

${\displaystyle \cos(\mathrm {i} y)={\frac {\mathrm {e} ^{-y}+\mathrm {e} ^{y}}{2}}={\frac {\mathrm {e} ^{y}+\mathrm {e} ^{-y}}{2}}=\cosh(y)}$

Wie zu sehen, entsprechen die beiden erhaltenen Funktionen genau den Definitionen des Sinus hyperbolicus und Kosinus hyperbolicus.

Weitere Anwendungen

Ausgehend davon findet die eulersche Formel auch zur Lösung zahlreicher anderer Probleme Anwendung, etwa bei der Berechnung der Potenz ${\displaystyle \mathrm {i} ^{\mathrm {i} }}$ der imaginären Einheit mit sich selbst. Obwohl das erhaltene Resultat mehrdeutig ist, bleiben alle Einzellösungen im reellen Bereich mit einem Hauptwert von ${\displaystyle \mathrm {i} ^{\mathrm {i} }=\mathrm {e} ^{-\pi /2}=0{,}207\,879\dots }$

Eine praktisch wichtige Anwendung der eulerschen Formel findet sich im Bereich der Wechselstromtechnik, namentlich bei der Untersuchung und Berechnung von Wechselstromkreisen mit Hilfe komplexer Zahlen.

Geschichte

Die eulersche Formel erschien erstmals 1748 in Leonhard Eulers zweibändiger Introductio in analysin infinitorum unter der Voraussetzung, dass der Winkel eine reelle Zahl ist. Diese Einschränkung jedoch erwies sich bald als überflüssig, denn die eulersche Formel gilt gleichermaßen für alle reellen wie komplexen Argumente. Dies ergibt sich aus der eulerschen Formel mit reellem Argument in Verbindung mit dem Identitätssatz für holomorphe Funktionen.

Zuvor hatte Roger Cotes 1714 einen fehlerhaften mathematischen Zusammenhang veröffentlicht, welcher der eulerschen Formel ähnelt.

In moderner Notation sieht er folgendermaßen aus:

${\displaystyle \mathrm {i} \cdot r\cdot \ln(\cos(\varphi )+\mathrm {i} \sin(\varphi ))=r\cdot \varphi \quad {\text{(sic!)}}}$,

wobei ein im Koordinatenursprung fixierter Kreis mit Radius ${\displaystyle r}$ und ein Winkel ${\displaystyle \varphi }$ zwischen x-Achse und einem Strahl, der den Ursprung schneidet, betrachtet werden.

Die imaginäre Einheit ${\displaystyle \mathrm {i} }$ müsste auf der anderen Seite der Gleichung stehen.

Siehe auch

• Fourier-Analysis
• Kreisgruppe

Literatur

• Konrad Königsberger: Analysis 1. Springer, Berlin 2004, ISBN 3-540-41282-4

Einzelnachweise

1. Roger Cotes: Logometria. Philosophical Transactions of the Royal Society of London,. 1714, S. 32 (Latein, hathitrust.org).