A同时为上三角矩阵又是正规矩阵,证A为对角矩阵