Theorem: 对于 的矩阵 ,当其满足如下条件时可以对角化: 具有 个 各不相同的特征值(Eigenvalue) 的有重特征值,但是 代数重数(Algebraic Multiplicity)和几何重数(Geometric Multiplicity)相同 Proof: 先证明条件1,假设矩阵 具有各不相同的特征值 ,他们各自的特征向量分别为 。用反证法可以证明,假设这些特征向量中存在线性相关的向量,那么假设其中的极大线性无关组为