矩阵的迹等于特征值的和证明