你已会解一元一次方程：一个等式对应一个未知数。但真实情境里，未知数常常不止一个，一个方程解不开。本页看看为什么。

前面把未知数从一个增加到两个后，问题往往需要两条数量关系共同约束未知数。下面观察这组关系需要满足哪些条件，才叫二元一次方程组。

从组成到关系,逐层拆解方程组的骨架。

菜市场里你说「苹果5斤、橘子3斤，一共42块」——你能听懂，但拿计算器按一下算不出橘子单价。差在哪？差在这段话还是「人话」，不是「数学话」。

题目要翻译成方程组，怎么翻？按这四步走，每一步都有自己的活儿。

从根节点「等量关系模板」向外看，三条分支对应三类实际问题，每条分支列出核心公式和等量条件。

上页我们整理了常见等量模型。但实际题目里常出现两个未知数，光有一个等量关系列出的方程解不出具体数值——为什么？

上一步我们锁定了两个独立的等量关系，但「设什么」才是真正考验功力的第一步。设得巧，方程干净；设得绕，算到头疼。

从实际问题到方程组，完整流程分三步，每步都不可少。

主干是从问题到答案的完整流程；虚线指向每一步的常见陷阱。

上一步列出了方程组，下一步就是求解。代入法和加减法是两种基本武器，但各自的'舒适区'不同——这页讲清看到一道题时，怎么快速判断用哪一把。

解实际问题的六个步骤，步步相连，缺一不可。

用 sympy 把六步法写成可执行代码，看「两个等量关系」如何变成方程组

高亮行对应六步法的核心：'设未知数'→symbols，'两个等量关系'→两个 Eq，solve 求同时满足两方程的解。

用 NumPy 把两道题都装进 Ax=b，看系数矩阵怎么体现题型差别。

两题的 A 矩阵第一行都是「总量守恒」（全是 1），真正差异全在第二行：调配靠浓度，配套靠比例。

解出 x=3、y=5，方程组这边的任务就完成了。但写在作业本上的最终答案，不能只交这两个数——还要回答「原来那道题问的是什么」。这一步，就叫检验。

方程组解出来就完了？两种检验解决的是不同层面的问题。

上页我们知道要检验「实际意义」。但什么样的解算「没意义」？本质只有一条：算出来的数违反了现实世界的规则。最常见的就是这几类。

一件商品打八折后比原价便宜 24 元，设原价为 x、现价为 y，只列出方程 x - y = 24。能求出唯一解吗？

• ✓翻译重于计算：把现实约束变成等量关系,才是真正的分水岭
• ✓两个独立条件才有效：能互相推出的两个等式,本质上只是一个
• ✓解有两层检验：算对了 + 在现实中读得通
• ✓六步法是脚手架,真正难的是分析数量关系和设未知数

先独立思考再看参考答案。三问层层递进：从原理、应用到边界。