这两句话,都依赖于,矩阵有n个特征值（重根按重数计算）
相似,迹相同,行列式相同,这个不依赖于矩阵有n个特征值,也不依赖于他们可对角化.