数学 · 数学基础

解二/三元线性方程组(消元法/克莱默法则)

Solving 2- and 3-Variable Linear Systems (Elimination / Cramer's Rule)

约 15 分钟 · v1

解线性方程组

math/linear-systems · 基础
0 / 3

1 两个未知数,两条线索,一个交点

"买 3 个苹果 2 个橙子花 13 元,买 1 个苹果 4 个橙子花 11 元,各多少钱?"——两个未知数,需要两条独立线索(方程)才能定下来。把每个方程画成一条直线,解就是两条直线的交点:那个唯一同时满足两条线索的点。

二元一次方程组:a₁x + b₁y = c₁ 与 a₂x + b₂y = c₂。每个方程是平面上一条直线,解 = 两直线的交点 (x, y)。

几何直觉一下点破全部:两条直线一般交于一点(唯一解);若平行则永不相交(无解);若完全重合则处处相交(无穷多解)。下面拖一拖就全明白。

2 拖一拖:交点在哪,有没有交点

蓝线固定为 y = 0.5x + 2。拖动紫线的斜率和截距:两线相交处的绿点就是方程组的解。把紫线斜率调到和蓝线一样 → 平行,无解;再把截距也对齐 → 重合,无穷多解。

两条直线的交点

-1.0
5.0
解 = —

3 怎么解:消元法(把一个未知数"消"掉)

不靠画图也能精确求解。消元法的思路:通过加减把一个未知数消掉,先解出另一个,再回代。以 2x + y = 8、x − y = 1 为例:

1
两式相加(y 和 −y 正好抵消):(2x+y)+(x−y) = 8+1 → 3x = 9 → x = 3。
2
把 x=3 回代任一式:3 − y = 1 → y = 2。
3
验算:2×3+2=8(对)、3−2=1(对)。解是 (x, y) = (3, 2)。
消元法
凑系数让某个未知数相加/相减后抵消(必要时先把方程乘个倍数对齐系数),化成一元方程,解出后回代。最通用、手算首选。
代入法
从一个方程解出"y=…",代入另一个,也能消掉一个未知数。和消元法殊途同归。
克莱默法则
用行列式直接套公式:x = Dₓ/D。当系数行列式 D = a₁b₂−a₂b₁ ≠ 0 时有唯一解——这正是行列式的用武之地。

4 三种结局,行列式一锤定音

唯一解(两线交一点)
系数行列式 D ≠ 0:两条线斜率不同,必交于一点。绝大多数情形如此。
无解(两线平行)
D = 0 且不重合:斜率相同、截距不同,永不相交,矛盾,无解。
无穷多解(两线重合)
D = 0 且两式本质相同:一条线"伪装"成两个方程,线上每个点都是解。
升到三元、更高维:三个方程是三个平面,解是它们的公共交点;用高斯消元(系统化的消元)统一处理。这一切的"开关"都是行列式是否为零 —— 通往矩阵、向量空间的大门。

5 试三道(先想,再点)

三道题,点选项即时判;答题进度显示在右侧目录。

一句话带走:

二元线性方程组 = 两条直线,解 = 交点。三种结局:交一点(唯一解)、平行(无解)、重合(无穷多解)。手算用消元/代入把一个未知数消掉再回代;克莱默法则用行列式直接给公式。判别开关是系数行列式 D 是否为 0:D≠0 唯一解,D=0 则要么无解要么无穷多。它通向矩阵、行列式与向量空间。