提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本集目录
◎学习目标
- 理解线性方程组解的情况只有三种：无解、唯一解、无穷多解（借用两直线“相交 / 平行 / 重合”的直观），并知道必须证明“只有这三种、不存在恰好两个 / 三个解”；
- 掌握无解的判别准则：阶梯形方程组（增广矩阵化为阶梯形后）出现 \(0 =\) 非零数 的方程时，方程组无解；
- 掌握有解时解的个数的判别：用非零行的数目 \(r\) 与未知量个数 \(n\) 的关系——\(r=n\) 时唯一解，\(r<n\) 时无穷多解；
- 理解“非零行数目 \(r\) 一定 \(\le n\)”（第 \(r\) 行的主元不可能落在常数项列，只能落在前 \(n\) 列），以及阶梯形矩阵主元列标“随行号增大而增大”的规律；
- 会写出一般解：主变量用自由未知量表示，自由未知量（编号 \(X_{r_1},\dots,X_{r_{n-r}}\)）可取任意值（无穷多组），从而得到无穷多个解。
0承接：从“解的情况”到“判别准则” ⏱ 00:00
第 3、4 集分别给出了“唯一解、无解、无穷多解”的例子。本集（第 5 集，标题“解的情况以及判别准则（上）”）的任务是：从这些例子出发，抽象出判别解的情况的通用准则——即“非零行数目 \(r\)”与“未知量个数 \(n\)”的关系如何决定解的情况，以及为何“只有三种可能”。
数学思维：从例子到猜测再到证明
先观察几个具体例子 → 猜测规律（解只有三种；无解当且仅当出现 \(0=\) 非零数；\(r=n\) 唯一解、\(r<n\) 无穷多解）→ 证明（验证猜测的普遍性）。本集重点在前两步“观察 + 猜测 + 开始证明”。
1解的情况：只有三种 ⏱ 02:30
在某个数域（有理数域、实数域、复数域）内解一个 \(N\) 元线性方程组，它的解的情况只有三种可能：无解、有唯一解、有无穷多个解。
直觉 · 两直线的几何直观
平面上一元一次方程代表一条直线。两条直线要么相交（唯一解）、要么平行（无解）、要么重合（无穷多解）。
为什么不可能“恰好两个解 / 三个解”？两条直线若有两个公共点，则两点确定一条直线，两线必重合，从而有无穷多个公共点。即：要么至多一个公共点，要么无穷多个，不存在“恰好两个”。
为什么不可能“恰好两个解 / 三个解”？两条直线若有两个公共点，则两点确定一条直线，两线必重合，从而有无穷多个公共点。即：要么至多一个公共点，要么无穷多个，不存在“恰好两个”。
猜测需证明
“只有三种情况”是从几何直观猜测来的，但一般 \(N\) 元线性方程组并不等于“几条直线”，所以这个猜测必须严格证明。本集开始证明（第 6 集完成证明）。
证明策略：先证“无解 ⇔ 阶梯形出现 \(0=\) 非零数”；再证“否则（不出现 \(0=\) 非零数）必有解”；最后在“有解”的前提下，证 \(r=n\) 唯一解、\(r<n\) 无穷多解。这样就把所有情形划分完整，从而“只有三种”。
证明策略：先证“无解 ⇔ 阶梯形出现 \(0=\) 非零数”；再证“否则（不出现 \(0=\) 非零数）必有解”；最后在“有解”的前提下，证 \(r=n\) 唯一解、\(r<n\) 无穷多解。这样就把所有情形划分完整，从而“只有三种”。
2无解的判别准则 ⏱ 04:40
定理（情形一）· 无解判据
把线性方程组的增广矩阵经初等行变换化为阶梯形矩阵。若相应的阶梯形方程组中出现形如
\[ 0 = d, \qquad d \neq 0 \]
的方程（即某行全为 0、但最后一列的常数项 \(d\neq0\)），则该方程组无解。
为什么“否则”一定有解
若不出现“\(0=d,\ d\neq0\)”的方程，则可证明方程组必有解（把自由未知量取 0，主变量依次解出即可构造出一个解）。这是情形二的“有解”方向（第 6 集给出完整证明）。
3有解：唯一解 vs 无穷多解（\(r\) 与 \(n\) 的关系）⏱ 06:30
设阶梯形矩阵（或简化行阶梯形）有 \(r\) 个非零行，未知量有 \(n\) 个。观察两个例子：
| 情形 | 非零行数 \(r\) | 未知量数 \(n\) | \(r\) 与 \(n\) 的关系 | 解的情况 |
|---|---|---|---|---|
| 第 3 集例子 | 3 | 3 | \(r = n\) | 唯一解 |
| 第 4 集例子 | 2 | 3 | \(r < n\) | 无穷多解 |
猜测（待证明）· 有解时解的个数
- 若 \(r = n\)（非零行数目等于未知量个数）：方程组有唯一解；
- 若 \(r < n\)（非零行数目小于未知量个数）：方程组有无穷多个解。
为什么 \(r\) 一定 \(\le n\)
设阶梯形矩阵最后一个非零行是第 \(r\) 行，其主元的列标记为 \(t\)。若出现 \(0=d\ (d\neq0)\) 才“无解”；在“有解”（不出现 \(0=d\)）的前提下，第 \(r\) 行的主元不能落在最后一列（第 \(n+1\) 列，常数项列）（否则该行就是 \(0=d\)），故主元列标 \(t\) 满足
\[ t \le n. \]
另一方面，阶梯形中主元的列标随所在行号增大而增大：第 1 行主元至少在第 1 列、第 2 行主元至少在第 2 列、……、第 \(r\) 行主元至少在第 \(r\) 列，故
\[ t \ge r. \]
合起来 \(r \le t \le n\)，即 \(r \le n\)。于是“非零行数目”要么等于 \(n\)，要么小于 \(n\)——正好对应“唯一解”或“无穷多解”两种有解情形。
4自由未知量与一般解的完整形式 ⏱ 09:00
一般解（无穷多解情形）
在简化行阶梯形矩阵中，设第 \(i\) 个非零行的主元位于第 \(j_i\) 列（\(i=1,\dots,r\)），即主变量为 \(X_{j_1},\dots,X_{j_r}\)，其余 \(n-r\) 个未知量为自由未知量，记作 \(X_{r_1}, X_{r_2}, \dots, X_{r_{n-r}}\)（下标 \(r_1<r_2<\cdots<r_{n-r}\)）。把自由未知量移到等号右边，得一般解：
\[ \begin{aligned}
X_{j_1} &= b_1 r_1 + b_2 r_2 + \cdots + b_{n-r}\, r_{n-r} + b_1,\\
X_{j_2} &= b_1 r_1 + b_2 r_2 + \cdots + b_{n-r}\, r_{n-r} + b_2,\\
&\ \ \vdots\\
X_{j_r} &= b_1 r_1 + b_2 r_2 + \cdots + b_{n-r}\, r_{n-r} + b_r.
\end{aligned}
其中 \(b_{ij}\)、\(b_i\) 是阶梯形矩阵中的相应系数与常数项，\(r_1,\dots,r_{n-r}\) 是自由未知量（可任取）。由于自由未知量可取无穷多组数，故对应无穷多个解。
为什么不是“恰好两个解 / 三个解”？
只要有一个自由未知量（\(r<n\)），该自由未知量在数域内（有理数 / 实数 / 复数）可取无穷多个值，因此解的数量是无穷多，绝不会出现“恰好两个 / 三个解”。这与“两直线若有两交点则重合”的几何直观一致。
★重点回顾
1
线性方程组解的情况只有三种：无解、唯一解、无穷多解（不会“恰好两个 / 三个解”），需严格证明。
2
无解判据：增广矩阵化为阶梯形后，出现 \(0=d\ (d\neq0)\) 的方程 \(\Rightarrow\) 无解；否则有解。
3
有解时：\(r=n\)（非零行数 = 未知量数）\(\Rightarrow\) 唯一解；\(r<n\) \(\Rightarrow\) 无穷多解。
4
\(r\le n\)：有解时最后一个非零行的主元不能落在常数项列（否则就是 \(0=d\)），故主元列标 \(t\le n\)；又主元列标随行号增大而增大（\(t\ge r\)），得 \(r\le t\le n\)。
5
主变量 / 自由未知量 / 一般解：主变量 = 以主元为系数的未知量（\(X_{j_1},\dots,X_{j_r}\)）；自由未知量 = 其余（\(X_{r_1},\dots,X_{r_{n-r}}\)，可任取）；一般解：主变量 = 自由未知量的线性组合 + 常数。
⚠易错点提醒
常见错误
- 认为解可以有“恰好两个 / 三个”：线性方程组若有多解必是无穷多解（只要有自由未知量），不存在“有限多个 > 1”的情况。
- 忘记“只有三种”需要证明：几何直观（直线相交/平行/重合）只是猜测，必须用 \(r\) 与 \(n\) 的关系严格证明。
- 混淆“无解”与“唯一解 / 无穷多解”的边界：无解的充要条件就是阶梯形出现 \(0=d\ (d\neq0)\)；否则必定有解（唯一或无穷多）。
- 主元列标 \(t\) 与 \(r\) 的关系记反：正确是 \(r\le t\le n\)（有解时），即非零行数目 \(r\) 不超过未知量个数 \(n\)。
- 自由未知量编号弄错：一般解中自由未知量编号 \(r_1,\dots,r_{n-r}\) 是“主变量下标”以外的那些列，且 \(r_1<\cdots<r_{n-r}\)。
- 把“有解”当作不需要说明：即使无解判据已给出，仍需证明“不出现 \(0=d\) 就一定有解”（第 6 集完成）。
✎自测题
- 用“两条直线”的几何直观解释：为什么线性方程组若有两个不同解，就一定有无穷多个解？
- 设一个 4 元线性方程组化阶梯形后有 3 个非零行，判断它解的情况；若有 4 个非零行呢？
- 写出“非零行数目 \(r\) 不超过未知量个数 \(n\)”（\(r\le n\)）的推理（用主元列标 \(t\) 满足 \(r\le t\le n\)）。
- 对一个 \(n\) 元线性方程组，说明在简化行阶梯形中如何标出主变量 \(X_{j_1},\dots,X_{j_r}\) 与自由未知量 \(X_{r_1},\dots,X_{r_{n-r}}\)，并写出一般解的形式。
- 判断：若阶梯形出现“\(0=5\)”的方程，方程组是否有解？若“不出现 \(0=\) 非零数”，是否一定唯一解？
- 说明“唯一解”对应 \(r=n\)、“无穷多解”对应 \(r<n\) 的几何含义（自由未知量可任取导致无穷多组解）。
下一集预告
第 6 集：三：解的情况以及判别准则（下）——完成定理一的证明：给出“有解时 \(r=n\) 唯一解、\(r<n\) 无穷多解”的严格证明，并讨论非零行数目 \(r\)（即矩阵的秩）为何唯一确定，进而引出齐次线性方程组。