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

Es sei eine differenzierbare Funktion mit der Eigenschaft

für alle . Zeige, dass eine Drehung um den Nullpunkt ist.