Ist das eine Herleitung zur Polarformel?
Ja, Du drückst die komplexe Zahl eben nicht mehr durch zwei "Koordinaten" x und y aus, sondern durch den Betrag der Zahl und einen Winkel.
Ich würde noch hinzufügen, dass man das dann oft auch als (r= |z| hier)schreibt.