正规矩阵A满足：1. A' * A = A * A'2. A合同于对角矩阵，即存在酉阵Q使得：Q' * A * Q = D，Q' * Q = E（单位阵）P.S：实对称也好，正交阵也好，都是实域中的正规矩阵。
