上三角矩阵的特征值为什么是对角线元素?