Moivrescher Satz

Der Moivresche Satz, auch Satz von de Moivre oder Formel von de Moivre (nach Abraham de Moivre<ref>Braunmühl (1971), Teil 2, S. 75.</ref>) besagt, dass für jede komplexe Zahl <math>x</math> und jede natürliche Zahl <math>n</math> gilt:<ref>Kerner und Wahl (2013), S. 70.</ref>

<math>\left( \cos x + i\sin x \right)^n = \cos\left( n x\right) + i\sin\left(nx\right)</math>.

Diese Formel verbindet die komplexen Zahlen mit der Trigonometrie, sodass die komplexen Zahlen trigonometrisch dargestellt werden können.

Geschichte

Abraham de Moivre fand diesen Satz im ersten Jahrzehnt des 18. Jahrhunderts.<ref>Braunmühl (1971), Teil 2, S. 78.</ref> De Moivre selbst erhielt die Formel nach eigener Aussage von seinem Lehrer Isaac Newton<ref>Nahin, An imaginary tale, Princeton University Press 1998, S. 56.</ref> und verwendete sie in verschiedenen seiner Schriften, auch wenn er sie nie explizit niederschrieb (das tat erst Leonhard Euler 1748, Introductio in analysin infinitorum, wo er auch die Eulersche Formel aufstellte).

Herleitung

Der Moivresche Satz kann mit der Eulerformel

<math>e^{\mathrm{i}x} = \cos x + \mathrm{i}\sin x</math>

der komplexen Exponentialfunktion und ihrer Funktionalgleichung

<math>\left(e^{\mathrm{i}x} \right)^n = e^{\mathrm{i}xn}</math>

abgeleitet werden.

Ein alternativer Beweis ergibt sich aus der Produktdarstellung (siehe Additionstheoreme)

<math>(\cos\varphi+ \mathrm{i}\sin\varphi)\cdot(\cos\psi+ \mathrm{i}\sin\psi) = \cos(\varphi+\psi)+ \mathrm{i}\sin(\varphi+\psi)</math>

per vollständiger Induktion.

Anwendungen

Ziehen der n-ten Wurzel aus einer komplexen Zahl

Der Moivresche Satz führt schnell zu einer Formel für die <math>n</math>-ten Wurzeln einer komplexen Zahl: Jede komplexe Zahl <math>a = r (\cos \varphi + \mathrm{i} \sin \varphi) \neq 0</math> hat genau <math>n</math> <math>n</math>-te Wurzeln, die gegeben sind durch<ref>Ilja Nikolajewitsch Bronstein, Konstantin Adolfowitsch Semendjajew: Taschenbuch der Mathematik. 5. Auflage. Verlag Harri Deutsch, 2001, ISBN 3-8171-2005-2, S. 38. </ref>

<math>z_k = \sqrt[n]{r} \left(\cos \left(\frac{\varphi + 2k \pi}{n}\right) + \mathrm{i} \sin\left(\frac{\varphi + 2k \pi}{n}\right) \right) \quad \left(k=0,1,\ldots, n-1\right). </math>

Manchmal wird auch diese Formel als Formel von de Moivre bezeichnet.<ref>Gerhard Merziger, Thomas Wirth: Repetitorium höhere Mathematik. 6. Auflage. Binomi Verlag, Hannover 2010, ISBN 978-3-923923-34-2, S. 103. </ref>

Verallgemeinerung

Für <math>z,w\in\mathbb{C}</math> ist

<math>\left(\cos z+i\,\sin z\right)^w</math>

eine mehrwertige Funktion, aber nicht

<math>\cos\left(w z\right)+i\,\sin\left(w z\right).</math>

Dadurch gilt

<math>\cos\left(w z\right) + i\,\sin\left(w z\right) \in

\{\left(\cos z+i\,\sin z\right)^w\}.</math>

Literatur

Anton von Braunmühl: Vorlesungen über Geschichte der Trigonometrie. Geschichte der Trigonometrie. Enthält: Teil 1 – Von den ältesten Zeiten bis zur Erfindung der Logarithmen, Teil 2 – Von der Erfindung der Logarithmen bis auf die Gegenwart. Reprografischer Nachdruck der 1. Auflage. M. Sändig, Niederwalluf bei Wiesbaden 1971, ISBN 3-500-23250-7 (Erstauflage bei Teubner, Leipzig, 1900–1903).
Hans Kerner, Wolf von Wahl: Mathematik für Physiker. 3. überarbeitete und erweiterte Auflage. Springer, Berlin / Heidelberg 2013, ISBN 978-3-642-37653-5.

Einzelnachweise