矩阵特征值和矩阵模的证明题