增广矩阵求解方程组判断有没有解