相似对角化

n 阶矩阵可对角化当且仅当有 n 个线性无关的特征向量。