多未知量如何一起消去：《九章算术》的方程术

从上一个问题走到这里

单个未知量可以逐步还原，多个未知量却会互相牵制。《九章算术》的方程术把不同条件排列成筹算表，通过成倍、相减等操作消去某一列。用今天的眼光看，它与线性方程组消元有结构相似性：不是猜每个答案，而是在保持条件等价的前提下系统改变表示。

我希望你这一课不要记一串人名。先回答一个人的真实困难：旧的表示为什么不够，新的做法具体减少了哪一步困难？数学史不是胜利者名单，而是对象、记号、算法和证明标准不断被问题改造的过程。

陪你做一次

陪你消去一次。条件为 x+y=7、2x-y=5。两式相加，y 被消去，得到3x=12，所以x=4，再代回得y=3。若用筹算表观察，关键不是横写还是竖排，而是一次操作必须同时作用于整条条件；只改某个系数会破坏原条件与新条件的等价关系。

请把计算写成可复查的状态链：当前已知什么，进行哪种等价操作，新的表示保留了什么。若你只能得到答案却说不出为什么能这样变形，就还没有理解这种方法在历史上解决的核心障碍。

史料边界与概念辨析

把古代方程术直接称为‘高斯消元’会掩盖文献语境与表示差异；说它与现代线性代数毫无关系又错过了算法结构。更好的比较方式是列出不变量：每一步保留同一解集；再列差异：记号、排列、一般理论和证明语言不同。

判断一项历史主张时，至少分四层：原始问题是什么；当时实际使用什么记号或工具；方法能稳定处理哪些对象；后来的现代语言增加了什么。不要因为结构相似就宣布二者完全相同，也不要因为记法不同就否认算法联系。

再把本课放回全章比较：前一种方法留下了什么尚未解决的困难，本课的新表示解决了其中哪一项，下一课为什么还必须继续改变。能说清这三问，才算建立了人与人、问题与问题之间的递进，而不是把六段历史拆成孤立故事。

迁移任务

换一组数重新完成正文推演，再把同一问题分别用口头叙述、表格或图形、现代符号表达。比较三种表示各自容易看见什么、容易隐藏什么，并指出一个不能直接把现代概念倒贴回去的边界。

本课验收

完成下方单选、多选和计算或史料判断题。合格答案必须同时包含计算结果与历史解释：谁面对什么问题，哪一种表示或操作发生改变，这种改变尚未覆盖什么。