阶梯型矩阵的化简