两相似矩阵迹相等