前置知识：课件 8（一元一次方程——等式的天平）
二元一次方程组
起源：一个未知数不够用了
在课件 8 中，我们学会了解一元一次方程。比如"小明有 x 元，花掉 5 元后还剩 12 元，原来有多少？"——列方程 x − 5 = 12，解得 x = 17。简洁明了。
但现实世界往往不止一个未知数。比如：
鸡兔同笼：笼子里有鸡和兔共 35 只，脚共有 94 只。鸡和兔各几只？
这里有两个未知数——鸡的数量和兔的数量——而且它们互相"纠缠"在一起：总数固定，脚数也固定。只设一个未知数当然也能解（把兔的只数用 35−x 表示），但思路绕弯，不够自然。
更好的办法是：坦坦荡荡设两个未知数，用两个方程来约束它们。这就是二元一次方程组的思想——就像用两根绳子同时绑住两个"调皮鬼"，让它们无处可逃。
一、概念与定义
什么是二元一次方程？
定义：含有两个未知数，并且未知数的次数都是 1 的整式方程，叫做二元一次方程。
一般形式：ax + by = c（a, b ≠ 0）
比如：x + y = 10，2x − 3y = 5，0.5m + n = 1.2 都是二元一次方程。
• x + y = 5 → ✓（两个未知数，次数都是 1）
• x² + y = 3 → ✗（x 的次数是 2）
• xy = 6 → ✗（xy 是二次项）
• 1/x + y = 2 → ✗（不是整式方程）
• 3x − 2y + 1 = 0 → ✓（可以写成 3x − 2y = −1）
举例理解：单独看一个二元一次方程 x + y = 10，它的解并不唯一——只要 x 和 y 加起来等于 10 就行：x=1, y=9；x=2, y=8；x=3, y=7……解有成千上万对。所以一个方程定不了 x 和 y 的具体值，必须再加一个方程来"卡住"它们。
什么是二元一次方程组？
把两个二元一次方程用大括号联立起来，它们的公共解同时满足两个方程，这就是二元一次方程组。
方程组就是两个方程"组队"一起约束：
{ x + y = 10
2x − y = 5 }
满足上面所有方程的 x、y 的值，叫做方程组的解。
回到鸡兔同笼：设鸡 x 只，兔 y 只，则：
{ x + y = 35（头数）
2x + 4y = 94（脚数） }
只要能找到同时满足这两个方程的 x 和 y，问题就解决了！
二、消元法：为什么能消？
现在我们面临一个实际问题：怎么找到那个同时满足两个方程的解？也就是怎么解方程组？
核心思想只有三个字：消元法。把两个未知数的问题"降维"成一个未知数——就像先把两个纠缠的绳结解开一个，剩下的就好办了。
消元法的本质：把二元变一元。二元一次方程组里有两个未知数，我们没法直接解。但只要把其中一个未知数"换掉"——用一个未知数的式子表示另一个未知数，再代入第二个方程——二元方程就化成了一元一次方程，剩下的工作就只是解一元方程了。
换句话说：解二元方程组的本质，就是通过换元把"二元"变成"一元"。学会这一招，不管几元方程组，思路都是"消元→消元→……→最后剩一个未知数"。
解方程的通用思路：
- 多元 → 一元：无论有几个未知数，逐个消元，最后只剩一个未知数
- 多次 → 一次：遇到二次或更高次的方程，用因式分解、配方、换元等方法化成一次方程
- 最后落地：化成一元一次方程后，用开方 + 加减乘除把未知数的值求出来
记住这条主线：多元化一元、多次化一次、最后开方加加减乘除得解。任何方程，无论看上去多复杂，都是沿着这条路一步步走下来的。
消元法的"通行证"——等式的性质：
- 性质 1：等式两边同时加上（或减去）同一个数，等式仍然成立。
- 性质 2：等式两边同时乘以（或除以）同一个不为 0 的数，等式仍然成立。
- 性质 3（传递性）：如果 a = b 且 b = c，那么 a = c。
正是因为这些性质，我们才能放心地对方程做各种变形——不会破坏等号两边的平衡！
消元法有两种"武器"：代入消元和加减消元。本质上它们是一回事——都是利用等式性质，消去一个未知数。
武器一：代入消元法
比喻：就像侦探破案——先从一个线索中"套出"一个嫌疑人的信息，再把这个信息代入另一个线索，锁定真相。
2x − y = 5 ……② }
步骤：
① 由方程①，把 y 用 x 表示：y = 10 − x
② 把这个表达式代入②，代替 y：2x − (10 − x) = 5
③ 化简：2x − 10 + x = 5 → 3x = 15 → x = 5
④ 把 x = 5 代回 y = 10 − x，得 y = 5
所以方程组的解是：x = 5, y = 5
代入法的关键：从其中一个方程中解出一个未知数（用另一个未知数表示），然后代入另一个方程。
武器二：加减消元法
比喻：就像天平称重——如果你有两个天平，把它们的读数加起来或相减，有时能巧妙地抵消掉一个未知数，像变魔术一样。
2x − y = 5 ……② }
步骤：
① 观察：①中有 +y，②中有 −y，系数互为相反数
② ① + ②：(x + y) + (2x − y) = 10 + 5 → 3x = 15 → x = 5
③ 把 x = 5 代入①：5 + y = 10 → y = 5
所以方程组的解是：x = 5, y = 5
加减法的关键：让两个方程中同一个未知数的系数互为相反数（或相等），然后相加（或相减）消去它。
什么时候用代入法？什么时候用加减法？
- 代入法：当某个未知数的系数是 1 或 −1 时很方便（比如 x + y = 10 中，直接得到 y = 10 − x）
- 加减法：当两个方程中同一个未知数的系数已经互为相反数或相等，或者容易通过乘以一个数变成那样时，非常快
- 其实都不一样：两种方法永远都能用，只是熟练后你会自然选择更省力的那种
三、实际问题：鸡兔同笼
现在我们用二元一次方程组来解经典的鸡兔同笼问题。你会发现，设两个未知数让思路变得异常清晰。
题目：笼子里有鸡和兔共 35 只，它们的脚共有 94 只。鸡和兔各几只？
① 头数关系：x + y = 35
② 脚数关系：2x + 4y = 94（鸡 2 只脚，兔 4 只脚）
用加减消元法：
② − ① × 2：(2x + 4y) − 2(x + y) = 94 − 70
化简：2x + 4y − 2x − 2y = 24 → 2y = 24 → y = 12
代入①：x + 12 = 35 → x = 23
答：鸡 23 只，兔 12 只。
验证：23 × 2 + 12 × 4 = 46 + 48 = 94 ✓
为什么用加减法？因为两个方程中 x 的系数已经相同（都是 1），只需给①乘以 2，就能消去 x——这比代入法更快捷。
四、更多实际问题
行程问题
题目：甲、乙两人从相距 36 千米的两地同时出发，相向而行，2 小时后相遇。如果两人同向而行，甲 6 小时可以追上乙。求甲、乙各自的速度。
① 相向而行：速度和 × 时间 = 距离 → (x + y) × 2 = 36 → x + y = 18
② 同向而行：速度差 × 时间 = 距离 → (x − y) × 6 = 36 → x − y = 6
用加减消元法：
① + ②：2x = 24 → x = 12
① − ②：2y = 12 → y = 6
答：甲的速度为 12 km/h，乙的速度为 6 km/h。
工程问题
题目：一项工程，甲单独做需要 12 天，乙单独做需要 18 天。现在甲先做若干天后，乙加入一起做，又过了 4 天完成全部工程。问甲一开始单独做了几天？
甲的工作效率：1/12（每天完成工程的 1/12）
乙的工作效率：1/18（每天完成工程的 1/18）
甲单独做 x 天：完成 x/12
两人合作 4 天：完成 4 × (1/12 + 1/18) = 4 × (3/36 + 2/36) = 4 × 5/36 = 20/36 = 5/9
总完成量 = 1 → x/12 + 5/9 = 1
x/12 = 1 − 5/9 = 4/9 → x = 4/9 × 12 = 16/3 ≈ 5.33 天
答：甲一开始单独做了 16/3 天（约 5 天 8 小时）。
二元一次方程组解实际问题的三步法：
- 设未知数：把问题中的两个未知量设为 x 和 y
- 列方程：根据题目中的两个等量关系，列出两个方程
- 解方程：用代入法或加减法求解，并检验是否符合实际
五、拓展：三元一次方程组
既然二元一次方程组能解决两个未知数的问题，那如果遇到三个未知数呢？自然就有了三元一次方程组。
思路类比：
- 一元一次方程 → 一个未知数，一个方程
- 二元一次方程组 → 两个未知数，两个方程
- 三元一次方程组 → 三个未知数，三个方程
未知数变多了，但思路不变：消元，再消元，直到只剩一个未知数。
{ x + y + z = 6 ……①
2x − y + z = 3 ……②
x + 2y − z = 2 ……③ }
思路：先消去一个未知数，变成二元一次方程组
① + ③：(x + y + z) + (x + 2y − z) = 6 + 2 → 2x + 3y = 8 ……④
② + ③：(2x − y + z) + (x + 2y − z) = 3 + 2 → 3x + y = 5 ……⑤
现在有了二元一次方程组 { 2x + 3y = 8, 3x + y = 5 }
由⑤：y = 5 − 3x，代入④：2x + 3(5 − 3x) = 8 → 2x + 15 − 9x = 8 → −7x = −7 → x = 1
代回：y = 5 − 3 = 2，代入①：1 + 2 + z = 6 → z = 3
解：x = 1, y = 2, z = 3
核心思想：逐层消元。三元→二元→一元，逐层消去。就像剥洋葱，一层一层剥开，最后总能看到"芯"。
挑战性问题
问题 1：一个两位数，十位数字与个位数字之和为 9，且这个两位数比它的个位数字与十位数字交换位置后得到的数大 27。求这个两位数。你能用两种方法（设两个未知数 vs 设一个未知数）解吗？哪种更自然？
拓展阅读：一次方程组的古今表示
中国古代的"方程术"：早在两千多年前的《九章算术》第八章"方程"中，就系统地介绍了线性方程组的解法。古人是把方程组的系数排成一个方阵（叫"方程"），用算筹（小竹棍）摆成矩阵的形式，然后进行类似于今天"加减消元"的操作。这种方法比西方早了 1500 多年！
具体例子（《九章算术》方程章第一题，"禾谷问题"）：上等禾 3 捆、中等禾 2 捆、下等禾 1 捆，共打出 39 斗谷子；上等禾 2 捆、中等禾 3 捆、下等禾 1 捆，共打出 34 斗；上等禾 1 捆、中等禾 2 捆、下等禾 3 捆，共打出 26 斗。问三种禾每捆各打多少斗？
列成方程组（设上、中、下禾每捆分别打 x、y、z 斗）：
{ 3x + 2y + z = 39 ……①
2x + 3y + z = 34 ……②
x + 2y + 3z = 26 ……③ }
古人做法（"遍乘直除"法）：把三个方程的系数列成三行方阵。用第一行（3, 2, 1, 39）遍乘第二行整体，再从其中反复减去第一行，直到第二行首项变 0；对第三行同样处理。结果第二行化成 (0, 5, 1, 24)，第三行化成 (0, 4, 8, 39)。再用第二行遍乘第三行并消元，第三行变成 (0, 0, 36, 99)，立即得 z = 99/36 = 11/4 斗（古人为避免分数，会再"遍乘"扩大若干倍）。回代求出 y 和 x。
这本质上就是今天的加减消元——只不过古人不用字母，而是直接在算筹方阵上做"消减"。把方程组解成阶梯形再回代，思路和今天的加减消元完全一致，只是早了 1800 年。
古希腊的"辗转相消法"：公元 3 世纪，古希腊数学家丢番图（Diophantus）在《算术》一书中也研究了多元一次方程。他最擅长的是"辗转相消"——反复用大方程减去小方程，把未知数一个一个消掉，本质上还是加减消元，但更注重求整数解（这就是"不定方程"的研究起点）。
具体例子（丢番图《算术》卷 I 第 5 题简化）：设有两个数，和为 20，差为 4，求这两个数。
{ x + y = 20 ……①
x − y = 4 ……② }
丢番图的做法：把① + ②得 2x = 24，所以 x = 12；再回代①得 y = 8。这就是最朴素的加减消元。丢番图不止于此——遇到更复杂的方程，他会反复做这种"两两相减消元"的操作，直到只剩一个未知数。比如他处理 x + y = a, 2x + 3y = b 类问题时，先把第一式乘 2 得 2x + 2y = 2a，再用第二式减去它：y = b − 2a，于是 y 直接求出，再代回求 x。这一招今天叫"加减消元法"，丢番图叫它"对方相消"。
虽然丢番图主要关注整数解，但他的"相消"思想启发了后世的代数学家，是今天我们学习的加减消元法的源头之一。
推荐阅读：《九章算术》——了解中国古代数学的辉煌成就；《数学之美》——了解线性方程组在现代科技中的应用（推荐系统、搜索引擎、图像处理）。
习题
1. 下列方程组中，哪些是二元一次方程组？
① { x + y = 3, 2x − y = 1 } ② { x² + y = 5, x − y = 1 } ③ { xy = 6, x + y = 5 } ④ { 3a − 2b = 4, a + b = 7 }
② 不是（x² 是二次）
③ 不是（xy 是二次项）
④ 是（未知数用 a、b 表示，只要是两个未知数、一次即可）
2. 用代入消元法解方程组：{ y = 2x − 3, 3x + 2y = 8 }
3x + 2(2x − 3) = 8 → 3x + 4x − 6 = 8 → 7x = 14 → x = 2
y = 2×2 − 3 = 1
解：x = 2, y = 1
3. 用加减消元法解方程组：{ 3x + 4y = 10, 3x − 2y = 4 }
代入①：3x + 4 = 10 → 3x = 6 → x = 2
解：x = 2, y = 1
4. 解方程组：{ 2x + 3y = 7, 4x − y = 7 }（选择你认为最方便的方法）
① + ③：14x = 28 → x = 2
代入②：8 − y = 7 → y = 1
解：x = 2, y = 1
5. 鸡兔同笼变式：停车场上有汽车（4 个轮子）和摩托车（2 个轮子）共 32 辆，轮子共 108 个。汽车和摩托车各多少辆？
② − ①×2：(4x + 2y) − 2(x + y) = 108 − 64 → 2x = 44 → x = 22
y = 32 − 22 = 10
答：汽车 22 辆，摩托车 10 辆。
6. 行程问题：一艘轮船在静水中的速度为 18 km/h，顺流而下航行 60 km 比逆流而上航行 60 km 少用 1.5 小时。求水流速度。
通分：60(18 + x − 18 + x) / (18² − x²) = 1.5
120x / (324 − x²) = 1.5 → 120x = 1.5(324 − x²) → 120x = 486 − 1.5x²
1.5x² + 120x − 486 = 0 → 除以 1.5：x² + 80x − 324 = 0
(x + 84)(x − 4) = 0 → x = 4（x = −84 舍去）
答：水流速度为 4 km/h。
7. 工程问题：甲、乙两人合作一项工程，12 天可以完成。如果甲单独做 10 天后，乙再加入，再合作 6 天也可以完成。甲、乙单独完成各需多少天？
由①：1/x + 1/y = 1/12
由②：10/x + 6/12 = 1 → 10/x = 1/2 → x = 20
代入①：1/20 + 1/y = 1/12 → 1/y = 1/12 − 1/20 = 5/60 − 3/60 = 2/60 = 1/30 → y = 30
答：甲单独需 20 天，乙单独需 30 天。
8. 数字问题：一个两位数，十位数字是个位数字的 2 倍。如果把这个两位数的十位数字和个位数字交换位置，得到的新数比原数小 27。求这个两位数。
化简②：9x − 9y = 27 → x − y = 3
代入①：2y − y = 3 → y = 3 → x = 6
原数 = 63
验证：63 − 36 = 27 ✓
9. 解三元一次方程组：{ x + y = 3, y + z = 5, z + x = 4 }
然后：z = 6 − 3 = 3, x = 6 − 5 = 1, y = 6 − 4 = 2
解：x = 1, y = 2, z = 3
10. 思考题：如果方程组 { ax + by = c, dx + ey = f } 中，a、b、d、e 满足什么比例关系时，方程组无解？满足什么比例关系时，有无穷多解？
（消元时能消去一个未知数，剩一个一元一次方程，能解出唯一解）
无解：a/d = b/e ≠ c/f
（消元时两个未知数都消掉了，但剩下 0 = 一个非零数，矛盾）
无穷多解：a/d = b/e = c/f
（两个方程本质上是同一个方程，一个方程定不了两个未知数，所以有无数组解）
小结
- 二元一次方程：含有两个未知数，未知数次数都是 1 的整式方程，一般形式 ax + by = c
- 二元一次方程组：两个二元一次方程联立，它们的公共解是方程组的解
- 解方程的通用思路：多元→一元，多次→一次，最后用开方 + 加减乘除求出未知数的值
- 消元法的本质：通过换元把"二元"变成"一元"——这是解二元方程组的关键
- 代入消元法：从一个方程解出一个未知数，代入另一个方程——像侦探套线索
- 加减消元法：让系数互为相反数后相加（或相等后相减），消去一个未知数——像天平称重
- 为什么能消？等式的基本性质保证了我们做的一切变形都不会破坏等式
- 三步法解实际问题：设未知数 → 列方程 → 解方程并检验
- 三元一次方程组：逐层消元，三元→二元→一元
- 解的三种情况：唯一解、无解、无穷多解