相似矩阵迹相同,这个结论怎么证明?