方程组

上一部分我们深入研究了线性函数——一条直线由斜率和截距两个参数完全决定，每一个输入恰好对应一个输出。然而，现实问题往往不是"描述一条直线"那么简单，而是需要在多个条件同时成立的约束下寻找答案。当两个变量同时受到两个独立关系的约束时，单个方程已经无法胜任，我们需要的是把两个条件"联立"起来，形成一个方程组（System of Equations）。 方程组的核心哲学是：一个方程告诉你一条直线，两个方程告诉你一个点——而那个点，往往就是你苦苦寻找的答案。

考虑这样一个场景：你和朋友小明同时开始存钱，你每周存 20 元，手头已有 100 元的存款；小明每周存 30 元，但初始存款为零。多少周之后，两人的存款会相等？这道题里出现了两条规则，两个未知量，且两条规则必须同时成立——这正是方程组登场的时刻。

---

方程组的定义与解的概念

线性方程组是由两个（或更多）线性方程联立而成的结构，要求寻找一组数值，能够同时满足所有方程。对于最常见的二元一次方程组，标准形式是

$$\begin{cases} a_1 x + b_1 y = c_1 \\ a_2 x + b_2 y = c_2 \end{cases}$$

其中 $x$ 和 $y$ 是两个待求的未知数，其余均为已知常数。方程组的解是一对有序实数 $(x, y)$，将它代入每一个方程都能使等式成立。"每一个"这三个字至关重要——只满足其中一个方程的 $(x, y)$ 不算解，必须同时满足全部方程才有资格被称为解。

从几何角度看，每个线性方程对应坐标平面上的一条直线，方程组的解对应的就是这些直线的公共点。两条直线的公共点有三种可能的情形：恰好一个交点、没有任何交点（平行）、无穷多个公共点（重合）。这三种几何情形，在代数计算过程中都会留下清晰的代数"指纹"，后文会详细讨论。

---

图解法

几何直觉的来源

最直观的解方程组的方式，是把两个方程各自画成一条直线，然后在坐标系上找出它们的交点。这种方法称为图解法（Graphing Method），它的价值不在于精度，而在于提供几何直觉：两条直线的相对位置关系，就是方程组解的存在性与个数的直接视觉化。

具体操作时，先把每个方程整理为斜截式 $y = mx + b$，然后按照"标截距点、用斜率走格子、连线"的标准步骤画出每条直线。两条线的交点坐标就是方程组的解，需要代入两个原方程验算。

存钱问题的图解

以前面提到的存钱问题为例，两条直线分别是"你的存款" $y = 20x + 100$（截距 100，斜率 20）和"小明的存款" $y = 30x$（过原点，斜率 30）。斜率较大的 $y = 30x$ 出发更低但上升更快，斜率较小的 $y = 20x + 100$ 起点更高但增速较慢，两条线必然在某处相交。

将交点坐标 $(10, 300)$ 代入验算：你的存款 $20 \times 10 + 100 = 300$，小明的存款 $30 \times 10 = 300$，完全吻合。图解法给出了清晰的视觉答案：第 10 周时，两人各有 300 元，这是他们存款的唯一相等时刻。

图解法的局限性

图解法的"硬伤"是精度不足。当交点不在整数格点上时，手绘坐标图根本无法读准。比如如果交点是 $\left(\dfrac{20}{3}, \dfrac{547}{9}\right)$ 这样的分数坐标，图形完全看不出来。因此，图解法最重要的贡献是建立几何直觉——两条线交于一点意味着有唯一解，平行意味着无解，重合意味着无穷多解——这种空间感在后续的代数推导中是极有价值的先验判断。

---

代入法

降维的核心思想

代入法（Substitution Method）的核心思想是"降维"：用一个方程把某个未知数用另一个表达出来，将这个表达式代入第二个方程，从而把二元问题化为一元问题。一元方程我们已经非常熟悉，代入法本质上是把新问题转化为已会的问题——这是数学中最常见也最有力的策略。

代入法的操作流程

代入法分五个层次推进。首先，选择一个方程，将其中一个未知数用另一个表示出来，得到形如 $x = \cdots$ 或 $y = \cdots$ 的表达式。其次，将这个表达式代入另一个方程（注意一定是另一个，不能代回原来那个方程），消去一个未知数，得到只含一个未知数的方程。接着，解这个一元方程求出一个未知数的值。然后，将这个值代回第一步的表达式，求出另一个未知数的值。最后，将求出的 $(x, y)$ 代回两个原方程（不是中间步骤）进行验算，确认等式成立。

代入法最适合的场景是：某个方程中有某个未知数的系数为 $1$ 或 $-1$，或者某个方程已经是 $x = \cdots$ 或 $y = \cdots$ 的隔离形式。如果两个方程的所有系数都比较大，代入后会产生大量分数运算，这时消元法往往更整洁。

---

消元法

互为相反数的代数妙招

消元法（Elimination Method），又称加减法，采用与代入法完全不同的切入点：通过对方程施加乘法操作，使某个未知数在两个方程中的系数恰好互为相反数，然后将两个方程相加，让那个未知数直接从加和中消失，从而得到只含一个未知数的方程。

消元法的操作流程

消元法的操作分以下层次进行。首先，将两个方程整理为标准形式 $ax + by = c$，确保对应项上下对齐。其次，决定要消去哪个未知数，检查两个方程中该未知数的系数；若系数已经是相反数，可直接相加完成消元；若不是，需要对一个或两个方程乘以适当的倍数。乘倍数的原则是：找两个系数的最小公倍数（LCM），通过倍乘使两个系数分别变为该 LCM 与 $-\text{LCM}$。完成倍乘后，两方程相加，消去目标未知数，解出另一个未知数。最后代回原方程求出被消去的那个未知数，并验算。

两种方法——代入法与消元法——在数学上是等价的，最终给出相同的答案。选择哪种方法取决于计算的便利性：若某个方程中某变量系数为 $1$ 或 $-1$，代入法更省力；若某变量系数配对整齐或 LCM 较小，消元法更干净。实际操作时，优先扫描方程的系数结构，选择让分数出现最少的路径，这是提高计算效率的实用技巧。

---

解的三种情况

几何与代数的对应关系

方程组的解并非总是唯一的一对数。从几何上看，两条直线的相对位置有三种可能；从代数上看，这三种几何情形在计算过程中会留下截然不同的"代数指纹"，通过识别这些指纹可以在计算过程中早早判断解的存在性。

当两条直线斜率不同时，它们必然在某处相交，方程组有唯一解：正常推进计算，得到确定的一对 $(x, y)$。当两条直线斜率相同但截距不同时，它们永远平行，方程组无解：在代数消元过程中，两个未知数全部消去，剩下的是一个矛盾等式，如 $0 = 4$ 或 $3 = 7$——这是平行线发出的代数信号。当两条直线完全重合时（即一个方程是另一个方程的常数倍），方程组有无穷多解：消元后两个未知数全部消去，剩下的是一个恒成立等式，如 $0 = 0$——这是重合直线发出的代数信号。

用代数术语来总结这三种情形：具有唯一解的方程组称为独立（Independent）方程组，几何上两条直线独立地相交；无解的方程组称为矛盾（Inconsistent）方程组，代表着两个条件根本不可能同时成立；无穷多解的方程组称为相关（Dependent）方程组，两个方程实际上传达的是同一个约束条件。

---

实际应用

方程组在现实中的价值远超数学练习。凡是同时存在两个约束条件、需要同时满足的问题情境，都自然地催生方程组。以下三种应用类型是代数 I 中最典型的场景。

混合问题（Mixture Problems）的核心是"总量约束 + 总价值约束"双条件联立。例如，把单价 8 元/磅的 A 类咖啡豆和单价 12 元/磅的 B 类咖啡豆混合，要配出 10 磅、均价 9 元/磅的混合豆，设 A 类用 $x$ 磅、B 类用 $y$ 磅，则总量条件给出 $x + y = 10$，总价值条件给出 $8x + 12y = 90$，两个方程形成标准的二元方程组。求解过程直接给出两种原料的用量，这种"总量 + 总价"的建模结构几乎可以覆盖所有混合类问题。

速率/距离问题（Rate Problems）中，顺流逆流、顺风逆风是最典型的两变量场景。以一艘船为例：顺流时的合速为 $v + u$，逆流时的合速为 $v - u$（其中 $v$ 是船在静水中的速度，$u$ 是水流速度），若告知顺流速度 18 km/h 和逆流速度 10 km/h，立刻得到两个方程 $v + u = 18$ 和 ，两式相加直接消去 ，求得 km/h，代回得 km/h。这类问题建模的关键在于正确识别"实际速度 = 自身速度 ± 环境速度"的叠加关系。

盈亏平衡问题（Break-Even Analysis）则是商业决策中的核心量化工具。成本函数 $C(x)$（含固定成本和变动成本）和收入函数 $R(x)$（销售单价乘以数量）各自是一条直线，二者的交点即盈亏平衡点，是决定产量目标和定价策略的关键参数。

---

例题

例题 1：代入法（系数友好型）

解方程组 $\begin{cases} y = 3x - 4 \\ 2x + y = 11 \end{cases}$。

例题 2：消元法（直接消元型）

解方程组 $\begin{cases} x + 2y = 7 \\ 3x - 2y = 5 \end{cases}$。

例题 3：消元法（需要倍乘型）

解方程组 $\begin{cases} 4x + 3y = 5 \\ 6x - 5y = -2 \end{cases}$。

例题 4：判断解的类型

判断方程组 $\begin{cases} 2x - y = 3 \\ 4x - 2y = 10 \end{cases}$ 的解的类型，并说明几何含义。

例题 5：混合问题建模

某咖啡馆将单价 8 元/100 g 的 A 豆与单价 12 元/100 g 的 B 豆混合，想配出 500 g、均价 9 元/100 g 的混合豆。应各取多少克？

例题 6：盈亏平衡分析

某小摊位每件产品的可变成本为 3 元，每天固定成本（租金等）为 150 元，每件产品售价 8 元。（1）建立成本函数 $C(x)$ 与收入函数 $R(x)$；（2）求盈亏平衡的日销量；（3）若要每天盈利至少 100 元，需至少销售多少件？

---

自我练习

练习 1：用代入法解方程组 $\begin{cases} 2x - y = 5 \\ x + 3y = 14 \end{cases}$，并验算。

练习 2：判断方程组 $\begin{cases} x + 2y = 4 \\ 2x + 4y = 8 \end{cases}$ 的解的类型，写出几何解释。

练习 3：用消元法解 $\begin{cases} 3x + 5y = 7 \\ 2x - 3y = 11 \end{cases}$，要求消去 $x$，并验算。

练习 4：一条船顺流行驶 2 小时走了 36 km，逆流行驶 3 小时走了 27 km。求船在静水中的速度和水流速度，并解释联立方程组的两个方程各自表达了什么物理意义。

---

小结

方程组的本质是"多个约束条件同时作用于同一情境"，解是所有约束的公共满足点。

图解法把问题还原为两直线的相对位置，提供最直观的几何审视；代入法将二元化为一元，策略是"用一个方程表达一个未知数，代入另一个方程"；消元法通过倍乘与相加的操作，直接让目标未知数从方程中消失。两种代数方法在数学上完全等价，选择时依据系数结构决定哪种产生的分数运算更少。

解的三种情形——唯一解、无解、无穷多解——在代数上分别对应正常结算、矛盾等式 $0 = \text{非零数}$、恒成立等式 $0 = 0$，识别这些"代数指纹"是判断方程组性质的直接工具。 方程组在混合问题、速率问题、盈亏分析等现实场景中无处不在，掌握从文字情境中抽取两个约束方程并联立求解的能力，是代数建模能力的直接体现，也是后续学习二次方程、函数分析和数据建模的重要基础。