书屿方程组消元跟读：保留两条约束，再核同加与代回

把两条方程相加得到一条新式，不表示另外的条件可以全部丢掉。本课在书屿跟读一个原创二元方程组，保留每次操作的对象、仍需满足的约束和代回结果。读者用纸笔或外部记录完成演算，不要求应用自动求解、检查等价变形或识别扫描公式。

一、固定未知数身份与原始两式

准备自制练习材料，明确 x、y 都为实数，同一字母在两式代表同一未知量。记录版本、章页与短句位置，给两式分别编号，不把上下屏幕两行当成两个不同题目。完整抄系数、正负号、等号两边和括号，图像模糊的符号标待核。没有给物理单位时按抽象数处理，不把 x 擅自解释成长度又给 y 安排不同量纲。书屿内可用笔记或书签保存位置，无法选字则手录并回原图确认，不把放大看清误写成应用自动解析成功。

二、先确认要消去哪个未知数

下方两式中，第一条 y 系数为一，第二条为负一，相加可消 y。先把系数与未知量逐项配对，再同时对等号左右做相加，不能只把左边消掉而右边仍抄七。所得三 x 等于九只是两式共同解必须满足的新关系。为了保留等价问题，本例用新关系替换第一式，同时保留原第二式；不能只剩三 x 等于九便宣布 y 任意也都是原题解。用两行框展示仍在使用的系统，会比一条箭头后直接省略所有旧式更清楚。

(1) 2*x + y = 7
(2) x - y = 2
(1)+(2): 3*x = 9
Retained system: 3*x = 9 and x - y = 2

三、从新系统求值后回到两条原式

三 x 等于九给 x 为三，再代入保留的第二式，三减 y 等于二，所以 y 为一。把有序结果写成 x 三、y 一，不能因为两个数字都出现过就交换身份。随后分别核原第一式二乘三加一为七，原第二式三减一为二，两项都成立才记同时满足。只核新关系三 x 等于九会漏掉 y 错误，例如 x 三、y 零也满足这条新式却不满足原组。保留错误候选与失败具体行，说明验收对象是原系统，而不是只看最后一条消元式有没有算对。

四、用可逆关系说明为什么保留一式

参照OpenStax 消元法说明，本例新和式与原第二式能够通过相减恢复原第一式，因此两条一起保留约束。把这条恢复链写在笔记，不只说“老师都这么算”。若把所有方程都换成同一和式的复制品，信息就丢失，不是等价的两条独立约束。这个论证依赖完整地对等式两边进行对应操作，不能只改某个系数、只改右边或丢掉负号仍说可逆。资料支持方法定义，实际每一步是否按条件执行仍由读者逐项核验。

五、改用倍乘消元也须保留整条等式

另做同题方法对照，将原第二式整体乘二，得到二 x 减二 y 等于四，左右两边和每个项都乘到。原第一式减这条倍式，得到三 y 等于三；保留一条原式求回 x，仍是 y 一、x 三。不要只乘左边、只乘 x 或把负二 y 抄成正二 y。两条方法结果相同是这次演算的交叉检查，不表示任何错误步骤都因最后碰巧同答案而合法。原始方法与对照各保留过程，避免用另一条正确路径覆盖已经发现的错误，使别人看不出更正依据。

六、零等式与矛盾等式要分开读

另设两条独立对照：一组 x 加 y 等于二、二 x 加二 y 等于四，倍乘消元得到零等于零，原组仍有一整条关系而非唯一解；另一组 x 加 y 等于二、二 x 加二 y 等于六，消元得到零等于二，在本实数范围矛盾。别把出现零就一律说无解，也不把零等于零说成 x 与 y 都只能为零。保留每组原式，说明这些是新题，不把它们的结论写回最初七与二的系统。判定范围来自全部约束，不靠一行里零的数量猜答案。

七、排查相减负号与复制断行

如果选择原第一式减第二式，左边应是 x 加二 y，右边五，不能误说这次已经消 y；括号减去负 y 会改变符号。回原页核减号、系数与式号，再查是否把一个换行后的项落入另一式。复制到普通文本时给每式单独编号，不让排版顺序决定运算对象。导出笔记后打开核两条原式、保留系统及两个代回检查都在。搜不到扫描公式可按章页与短句返回，不删除书籍来解决代数错误；未知符号仍保留待核，个人改写与原引文分开。

八、退出返回后重做保留与恢复链

退出阅读器再返回初始两式，遮住结果，重新相加、保留第二式、求值并代回两条原式。再口头说明如何由新系统恢复原第一式，以及零等式和矛盾对照为何不同。最终保存版本位置、未知数范围、原组、操作与保留式、候选值和原式验算六项。验收是别人能发现哪里丢了条件或符号，不是应用自动证明等价变形。新题人数、变量或定义改变时重建对应，不能因这一组算出三与一，就把相似排版的其他方程也当作同一对象。