正規行列 $A$ ($AA^* = A^*A$) が満たす性質として正しいものはどれか。

複素正方行列がユニタリ行列によって対角化可能であるための必要十分条件は、正規行列であることである。