一定是正规矩阵。如果formula_5同时既是三角矩阵又是正规矩阵，那么formula_5是对角矩阵，这点可以由比较formula_16和formula_17的相应系数得到。
性质.正规矩阵的概念十分重要，因为它们正是能使谱定理成立的对象：矩阵formula_5正规当且仅当它可以被写成formula_19的形式。其中的formula_20为对角矩阵，formula_21为酉矩阵：矩阵Λ对角线上的元素是"A"的特征值，而组成"U"的列向量则是"A"相应的特征向量。谱定理的