Komplexe Zahlen/Polarkoordinaten/Fakt/Beweis

Beweis

Wegen Fakt ist

${}\vert {z}\vert =\vert {r}\vert \vert {e^{{\mathrm {i} }\varphi }}\vert =\vert {r}\vert =r\,,$

d.h. ${}r$ ist als Betrag der komplexen Zahl ${}z$ festgelegt. Wir können durch den Betrag teilen und können dann davon ausgehen, dass eine komplexe Zahl

${}z=a+b{\mathrm {i} }\,$

mit ${}a,b\in \mathbb {R}$ und mit ${}a^{2}+b^{2}=1$ vorliegt. Es ist dann zu zeigen, dass es eine eindeutige Darstellung

${}z=a+b{\mathrm {i} }=\cos \varphi +{\mathrm {i} }\sin \varphi \,$

gibt. Bei ${}a=1$ (bzw. ${}{-1}$) ist ${}b=0$ und ${}\varphi =0$ (bzw. ${}\varphi =\pi$) ist die einzige Lösung. Wir zeigen, dass es für ein gegebenes ${}a\in {]{-1},1[}$ stets genau zwei Möglichkeiten für ${}\varphi$ mit ${}a=\cos \varphi$ gibt, und eine davon wird durch das Vorzeichen von ${}b$ ausgeschlossen. Bei ${}b\geq 0$ gibt es aufgrund von Fakt ein eindeutiges ${}\varphi \in [0,\pi ]$ mit ${}a=\cos \varphi$. Für dieses gilt ${}b=\sin \varphi$ wegen ${}a^{2}+b^{2}=1$ und ${}b\neq 0$. Bei ${}b<0$ gibt es wiederum ein eindeutiges ${}\theta \in [0,\pi ]$ mit ${}a=\cos \theta$. Wegen ${}\sin \theta \geq 0$ ist dies aber keine Lösung für beide Gleichungen. Stattdessen erfüllt ${}\varphi :=2\pi -\theta$ beide Gleichungen.

Zur bewiesenen Aussage