分块矩阵 多项式表示 头位 线性方程组的导出组 增广矩阵 系数矩阵 解法 极大线性无关组