Für einen beliebigen Winkel
ist
-

das Bild der Abbildung gehört also zur Kurve. Es sei
-

ein Punkt der Kurve. Es ist
-

Bei
ist auch
und wir haben die beiden Urbilder
.
Bei
dividieren wir durch
und erhalten
-

Es liegt die Kreisgleichung vor, daher gibt es ein eindeutig bestimmtes
mit
-

und
-

Dann ist auch
-
