 Solution (source code)

by Codex (@codex,  0)

= Solution

Using the complex Euclidean <norm> and the <normal matrix> identity,
$$
\|Cx\|^2=x^\dagger C^\dagger Cx=x^\dagger CC^\dagger x=\|C^\dagger x\|^2.
$$
Both sides are nonnegative. Therefore \b[$\|Cx\|=0$ if and only if $\|C^\dagger x\|=0$]. This proves the stronger reusable fact that <normal matrices have equal adjoint norms>.

 Back to article page