本文整理自讲义课时六「解方程组」，是线性代数系列的第五篇。
学完矩阵的秩与初等行变换之后，终于来到它们最直接的应用——求解线性方程组。这一部分的核心思想可以概括为一句话：用秩判断解的情况，用行最简形求出解的形式。本文按「齐次方程组 → 非齐次方程组 → 含参数方程组」的主线展开，不涉及具体数值演算，重点把判定依据与操作方法讲清楚。
一、齐次方程组：$Ax = 0$ 一定有零解
齐次线性方程组指常数项全为零的方程组，矩阵形式为
$$Ax = 0$$其中 $A$ 是 $m \times n$ 系数矩阵，$x = (x_1, x_2, \dots, x_n)^{\mathrm T}$ 是未知量向量，$n$ 为未知量个数。
把 $x = 0$ 代入必然满足所有方程，所以齐次方程组永远有零解。真正要回答的问题是：有没有非零解？ 这完全由系数矩阵的秩与未知量个数的关系决定：
| 条件 | 解的情况 |
|---|---|
| $R(A) = n$ | 只有零解 |
| $R(A) \lt n$ | 有无穷多解（存在非零解） |
这个判定的直观含义是：$R(A)$ 可以理解为方程组中「真正有效」的方程个数。有效约束的个数等于未知量个数时，所有未知量都被钉死，只剩零解；有效约束少于未知量时，就有 $n - R(A)$ 个未知量可以自由取值，解自然有无穷多个。
二、基础解系：用有限个向量描述无穷多解
当 $R(A) \lt n$ 时，解虽然有无穷多个，却并不杂乱：全部解都可以由一组线性无关的解向量线性表出，这组向量称为基础解系。
若 $R(A) = r$，基础解系恰好含有
$$n - R(A)$$个解向量，记作 $\xi_1, \xi_2, \dots, \xi_{n-r}$。方程组的通解就是它们的任意线性组合：
$$x = k_1 \xi_1 + k_2 \xi_2 + \cdots + k_{n-r} \xi_{n-r}, \quad k_1, k_2, \dots, k_{n-r} \in \mathbb{R}$$个数 $n - R(A)$ 正是自由变量的个数，也就是解中剩下的「自由度」。
求基础解系与通解的一般步骤如下：
- 写出系数矩阵 $A$。齐次方程组常数项全为零，增广的那一列可以省略；
- 初等行变换化行最简形。初等行变换都是可逆的，不改变方程组的解集；
- 确定 $R(A)$，找出主元（每行首个非零元）所在的列，其余列对应的未知量就是自由变量，共 $n - R(A)$ 个；
- 用自由变量表示主元变量：把行最简形还原成方程并移项；
- 给自由变量轮流赋单位值：每次让一个自由变量取 $1$、其余取 $0$，得到 $n - R(A)$ 个线性无关的解向量，即为基础解系；
- 写出通解：基础解系的任意线性组合就是全部解。
这套流程的关键在自由变量的选取：非主元列对应的未知量才是自由变量，而单位值的赋法保证了所得解向量线性无关。
三、非齐次方程组：先看增广矩阵
非齐次线性方程组形如
$$Ax = b, \quad b \neq 0$$此时零向量一般不再是解，首要任务是判断解是否存在。判定的工具是增广矩阵 $(A, b)$，即把常数项列 $b$ 拼在系数矩阵右侧所得的矩阵：
| 条件 | 解的情况 |
|---|---|
| $R(A) = R(A, b) = n$ | 唯一解 |
| $R(A) = R(A, b) \lt n$ | 无穷多解 |
| $R(A) \neq R(A, b)$ | 无解 |
三种情况的逻辑各可以用一句话说明：
- 若 $R(A, b) \gt R(A)$，说明化简后出现了形如 $(0, 0, \dots, 0 \mid d)$（$d \neq 0$）的行，对应矛盾方程 $0 = d$，故无解；
- 若两个秩相等，方程组相容；此时公共的秩若等于 $n$，未知量全部被确定，得到唯一解；
- 若两个秩相等但小于 $n$，仍存在自由变量，故有无穷多解。
顺带一提：无解时两个秩只能相差 $1$，即 $R(A, b) = R(A) + 1$，因为增广只多了一列，秩至多增加 $1$。
四、非齐次通解的结构
当非齐次方程组有无穷多解时，它的通解有一个非常整齐的结构：
$$\text{非齐次通解} = \text{对应齐次通解} + \text{非齐次特解}$$用符号写出来：设 $\xi_1, \dots, \xi_{n-r}$ 是对应齐次方程组 $Ax = 0$ 的基础解系，$\eta^*$ 是 $Ax = b$ 的任意一个特解，则非齐次方程组的通解为
$$x = k_1 \xi_1 + \cdots + k_{n-r} \xi_{n-r} + \eta^*, \quad k_i \in \mathbb{R}$$这个结构的合理性来自两个简单事实：$Ax = b$ 的任意两个解之差是 $Ax = 0$ 的解；$Ax = b$ 的一个解加上 $Ax = 0$ 的任意解仍是 $Ax = b$ 的解。因此从一个特解出发，叠加全部齐次解，恰好不重不漏地扫过所有非齐次解。
对应的操作流程是：
- 写出增广矩阵 $(A, b)$，初等行变换化为行最简形；
- 按秩的判定表确定解的情况；
- 若有无穷多解，先把常数项列置零，按第二部分的方法求出对应齐次方程组的基础解系；
- 再令所有自由变量取 $0$，从行最简形直接读出主元变量的值，得到一个特解 $\eta^*$；
- 两部分相加，即为通解。
五、含参数的方程组：按秩分情况讨论
当方程组的系数或常数项含有参数 $\lambda$ 时，解的情况会随参数变化。讨论的一般流程是：
- 写出增广矩阵 $(A(\lambda), b(\lambda))$；
- 初等行变换化为行阶梯形。消元时尽量避免除以含 $\lambda$ 且可能为零的式子，确需除时单独讨论；
- 观察主元位置与末行中含 $\lambda$ 的表达式，找出使它们为零的参数临界值；
- 以临界值为界分情况，逐一比较 $R(A)$ 与 $R(A, b)$，按判定表得出无解、唯一解或无穷多解；
- 无穷多解的情形，把对应参数值代回阶梯形，再按第四部分的方法求通解。
参数讨论的本质，是把「一族方程组」化归为有限个普通方程组：参数只在有限个临界值处影响秩，分情况之后，每一支都走标准流程即可。
小结
这一课时的内容可以浓缩成几句话：
- 齐次看 $R(A)$ 与 $n$：相等只有零解，小于则有无穷多解；
- 非齐次看 $R(A)$ 与 $R(A, b)$：不等无解，相等有解，是否等于 $n$ 再决定解是否唯一；
- 基础解系含 $n - R(A)$ 个向量，通解是它们的任意线性组合；
- 非齐次通解 = 齐次通解 + 一个特解；
- 含参数先化阶梯形，再按临界值分情况讨论。
秩是判定解的标尺，行最简形是求解的工具，通解结构是解的最终表达形式。抓住这三点，解方程组的主线就清楚了。