上三角矩阵相似于对角矩阵