复习笔记 Day25(1)(3)

因为相似的矩阵具有相同的特征多项式，所以可以把矩阵视为复数域上的矩阵，让其复相似于一个对角阵，然后利用第二步的结论证明定理

证明思路中的第三步好像默认了所有的数域都是比复数域小的，但是其实如果某个数域比复数域还大的话，那么在那个域上应该也可以找到个特征值吧（心虚）