矩阵的迹和特征值之和相等