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
-