\( f(z):=\sqrt{|z|} \frac{z+|z|}{|z+| z||} \)
==> \( f(z)^2 =|z| \frac{z^2 +2z|z|+|z|^2}{|z+| z||^2} \)
Bedenke \( |z|^2 = z \cdot \overline{z} \). Also gilt
\( =|z| \frac{z^2 +2z|z|+|z|^2}{(z+| z|) \cdot \overline {z+| z|}} \)
\( =|z| \frac{z^2 +2z|z|+|z|^2}{(z+| z|) \cdot (\overline {z}+\overline {| z|})} \)
Aber |z| ist reell, also gleich seinem konjugierten
\( =|z| \frac{z^2 +2z|z|+|z|^2}{(z+| z|) \cdot (\overline {z}+| z|)} \)
\( =\frac{|z| z^2 +2z|z|^2+|z|^3}{z\overline {z}+z| z|+|z|\overline {z}+| z|^2} \)
\( =\frac{|z| z^2 +2z|z|^2+|z|^3}{z\overline {z}+z| z|+|z|\overline {z}+z\overline {z}} \)
\( =\frac{|z| z^2 +2z|z|^2+|z|^3}{2z\overline {z}+z| z|+|z|\overline {z}}\)
Und es ist ja |z|^3 = |z||z|^2= \( |z| z \cdot \overline{z} \) also
\( =\frac{|z| z^2 +2z|z|^2+|z| z \cdot \overline{z} }{2z\overline {z}+z| z|+|z|\overline {z}}\)
Jetzt im Zähler z ausklammern
\( =z \cdot \frac{|z| z +2|z|^2+|z| \cdot \overline{z} }{2z\overline {z}+z| z|+|z|\overline {z}}\)
Und der Bruch hat den Wert 1. q.e.d.