正方行列 A が正規行列(A A^H = A^H A)であるための必要十分条件はどれか。

正規行列は複素数範囲でユニタリ行列を用いて対角化できる。