Solution (source code)

= Solution

For the standard complex <inner product>, $\|y\|^2=y^\dagger y$. Using the <conjugate transpose> and the defining equality for a <normal matrix>,
$$
\|Ax\|^2=x^\dagger A^\dagger Ax=x^\dagger AA^\dagger x=\|A^\dagger x\|^2.
$$
Both <norms> are nonnegative, so \b[$\|Ax\|=\|A^\dagger x\|$] for every $x$.