矩阵的特征值之和等于主对角线元素之和,特征值的乘积等于主对角线元素乘积,为什么?