C nach C/Komplex-differenzierbar/Betragsidentität/Drehung/Aufgabe

Aus Wikiversity

Es sei eine differenzierbare Funktion mit der Eigenschaft

für alle .

Zeige, dass eine Drehung um den Nullpunkt ist.