矩阵对角线上的和等于特征值之和这说法对吗?或者说什么时候等?有什么类似的性质吗?