怎么证明对称矩阵的所有特征值之和大于等于其最大特征值