推论 2.2.

如果 阶复矩阵 的特征多项式无重根, 那么 可对角化.

证明

在复数域内每一个 次多项式都有 个根, 于是 阶复矩阵 的特征多项式无重根说明 个不同的特征值. 由 推论 2.1 可知, 可对角化.