对称矩阵化为上三角矩阵