分块矩阵 多项式表示 头位 线性方程组的导出组 增广矩阵 系数矩阵 解法 极大线性无关组 数学史 同解方程组 有限域 校勘 解向量 刘徽注 方程组的解 主要结论 MATLAB 九章算术 重要地位