为什么实矩阵中，特征值之和等于主对角线元素之和？