前提是A必须是方阵,否则会相差一些零特征值
对于方阵而言更一般的结论是AB和BA的特征值完全相等（计代数重数）
证明很简单,比如说直接证明
μI A
B μI
的行列式是det(μ^2I-AB),同时又等于det(μ^2I-BA)