第一层：解的”家谱”结构#

想象解是一个”家族”：

• 族长（特解）：只要找到 $A\mathbf{x}=\mathbf{b}$ 的任意一个解，这个家族就有了根。
• 家族成员（齐次解）：齐次方程 $A\mathbf{x}=\mathbf{0}$ 的所有解构成一个向量空间（叫”解空间”或”零空间”），成员之间可以互相线性组合。

关键洞察：非齐次方程如果有解，它的解集不是”一个点”，而是”一个平移后的空间”——把齐次解空间整体搬到特解所在的位置。

第二层：解的个数判定#

• 无解：$\mathbf{b}$ 不在 $A$ 的列空间中（矛盾方程）。
• 唯一解：齐次方程只有零解（解空间是 $\{\mathbf{0}\}$），此时 $\mathbf{x} = \mathbf{x}_p + \mathbf{0} = \mathbf{x}_p$。
• 无穷多解：齐次方程有非零解（解空间维度 $>0$），每加一个齐次解就得到一个新解。

第三层：自由度与秩的关系#

齐次解空间的维度 = 自由变量个数 = $n - \text{rank}(A)$（$n$ 是未知数个数）。这告诉你”无穷多解”到底有多少”自由度”。

类比一：快递配送路线（最经典）#

想象你是快递员，要从仓库（原点）出发，给客户（$\mathbf{b}$）送货。

• 齐次方程 $A\mathbf{x}=\mathbf{0}$：相当于”从仓库出发，走若干条环路后回到仓库”。所有这样的环路构成一个”环路空间”——你可以绕大圈、小圈，组合起来还是回到原点。
• 特解 $\mathbf{x}_p$：相当于”一条具体路线让你从仓库到达了客户家门口”。
• 解的结构：任意一条到达客户家的路线 = “先走那条具体路线到客户家” + “然后再绕任意一个环路”。

绕环路不影响你最终到达客户家，但每绕一个不同的环路，你就得到一条不同的路线。如果根本没有环路（只有”原地不动”），路线就唯一；如果有很多环路，路线就有无穷多条。

类比二：调鸡尾酒#

你在调一杯特调鸡尾酒（非齐次方程的解）。

• 基酒配方（特解）：调酒师给你一个基础配方，已经能做出一杯合格的特调。
• 可替换的辅料（齐次解）：你发现，在这个基础上，你可以加一点点柠檬汁、或者多摇几下、或者换种装饰——这些”调整”本身如果单独做（不加基酒），味道是”归零”的（像加水一样平淡，对应齐次解），但加在基酒上，就产生了无数种变体。

核心：基酒决定了”这杯是什么酒”，辅料决定了”这杯有多少种花样”。没有基酒，辅料只是白水；没有辅料，你只有一杯最基础的酒。

详细解析#

Step 1：写出系数矩阵 $A$

（写出系数矩阵，为后续初等行变换做准备；注意齐次方程组不需要写常数项，因为右边全是0）

Step 2：对 $A$ 施行初等行变换化为行阶梯形

（用第二行减去第一行的2倍，目的是把第一列下方的元素消成0，得到”阶梯”形状）

Step 3：继续化为行最简形

（用第一行减去第二行，把主元上方的元素也消成0，得到”最简形”，方便直接读出同解方程组）

Step 4：确定矩阵的秩 $r(A)$ 非零行有2行，所以 $r(A)=2$。 （数非零行的个数，这是判断基础解系所含向量个数的关键）

Step 5：判断基础解系所含向量个数 未知数个数 $n=3$，故基础解系含 $n-r(A)=3-2=1$ 个向量。 （齐次方程组解空间的维数 = 自由未知量个数 = 未知数个数减去秩，这是核心定理的直接应用）

Step 6：写出同解方程组并确定自由未知量 由行最简形读出：

主元在第1列和第3列，因此 $x_1, x_3$ 是主元变量；第2列无主元，$x_2$ 是自由未知量。 （主元变量由方程约束，自由未知量可任意取值；每个自由未知量对应基础解系中的一个向量）

Step 7：用自由未知量表示主元变量

（把主元变量全部移到等号左边，自由未知量留在右边，为下一步赋值做准备）

Step 8：对自由未知量赋值，求基础解系 令自由未知量 $x_2 = 1$，则 $x_1 = -1,\ x_3 = 0$。 得到基础解系：

（自由未知量依次取1（其余取0），这里只有一个自由未知量，取1即可；得到解空间的一组基）

Step 9：写出通解

（齐次方程组的通解是基础解系中所有向量的线性组合，$k$ 为任意实数）

详细解析#

Step 1：写出增广矩阵 $(A|\mathbf{b})$

（非齐次方程组必须写增广矩阵，因为常数项参与秩的判断，决定是否有解）

Step 2：初等行变换化为行阶梯形

（第二行减第一行，消去第一列下方元素；此时已能看出 $r(A)=r(A|\mathbf{b})=2$，方程组有解）

Step 3：化为行最简形

（第一行减第二行，使主元上方为0；得到可直接回代的形式）

Step 4：验证有解并确定解的个数 $r(A)=2,\ r(A|\mathbf{b})=2,\ n=3$。因为 $r(A)=r(A|\mathbf{b})<n$，方程组有无穷多解。 （秩相等保证有解；秩小于未知数个数说明有自由未知量，故有无穷多解）

Step 5：写出同解方程组

主元变量：$x_1, x_3$；自由未知量：$x_2$。

Step 6：求非齐次方程组的一个特解 $\boldsymbol{\eta}^*$ 令自由未知量 $x_2 = 0$，代回得 $x_1 = -1,\ x_3 = 2$。

（特解是”草原被平移到的那个具体地点”；令所有自由未知量为0是最简便的取法）

Step 7：求对应齐次方程组 $A\mathbf{x}=\mathbf{0}$ 的基础解系 对应齐次方程组的同解方程组为：

令 $x_2 = 1$，得 $x_1 = -1,\ x_3 = 0$。

（“对应齐次方程组”就是把非齐次方程组右边常数项全部换成0；它的解空间决定了”草原的形状”）

Step 8：组装通解（核心结构公式）

（非齐次通解 = 特解 + 齐次通解；几何上就是”先走到特解这个点，再在那个点周围沿着齐次解的方向自由移动”）

详细解析#

Step 1：写出增广矩阵

（含参数的题目，增广矩阵是必经之路；参数 $a,b$ 的位置要准确抄写）

Step 2：初等行变换消去第一列下方元素

（第一行是” pivot 行”，用它把第一列下面两个1消成0；参数 $a,b$ 随运算自然传递，不要算错）

Step 3：继续消去第二列下方元素

（第三行减第二行，得到行阶梯形；此时第三行第三列元素是 $4-a$，这是讨论的分水岭）

Step 4：分类讨论——情况一：$a \neq 4$ 此时 $4-a \neq 0$，第三行是一个有效的非零行。$r(A)=r(A|\mathbf{b})=3=n$，方程组有唯一解。 （当 $a\neq4$ 时，系数矩阵有三个非零行，满秩，三个未知数都被唯一确定）

Step 5：分类讨论——情况二：$a = 4$ 且 $b \neq 2$ 当 $a=4$ 时，第三行变为 $(0\ \ 0\ \ 0\ \vdots\ 2-b)$。 若 $b\neq 2$，则 $2-b\neq 0$，此时 $r(A)=2$（系数部分第三行全0），但 $r(A|\mathbf{b})=3$（增广部分有非零元）。 因为 $r(A)\neq r(A|\mathbf{b})$，方程组无解。 （出现” $0 = \text{非零}$ “的矛盾方程，这是无解的标志性特征）

Step 6：分类讨论——情况三：$a = 4$ 且 $b = 2$ 此时第三行全为0。$r(A)=r(A|\mathbf{b})=2<3=n$，方程组有无穷多解。 （秩相等保证有解，秩小于未知数个数保证有自由未知量，从而有无穷多解）

Step 7：在情况三下，继续化为行最简形 当 $a=4,\ b=2$ 时，矩阵为：

（第一行减第二行，把 $(1,1)$ 位置的1消成0，得到行最简形，方便回代）

Step 8：写出同解方程组

主元变量：$x_1, x_2$；自由未知量：$x_3$（第3列无主元）。

Step 9：求特解 $\boldsymbol{\eta}^*$ 令自由未知量 $x_3 = 0$，得 $x_1 = 0,\ x_2 = 1$。

（验证：$0+1+0=1$ ✓，$0+2+0=2$ ✓，$0+3+0=3$ ✓）

Step 10：求对应齐次方程组的基础解系 对应齐次方程组：

令 $x_3 = 1$，得 $x_1 = 2,\ x_2 = -3$。

（基础解系只含1个向量，因为 $n-r=3-2=1$）

Step 11：写出无穷多解时的通解

（考试答题时，最后一定要明确写出”当 $a=4,\ b=2$ 时，通解为…”，让阅卷老师一眼看到结论）

详细解析#

Step 1：写出系数矩阵

（4个未知数，3个方程，预感会有自由未知量）

Step 2：消去第一列下方元素

（第二行、第三行分别减去第一行的适当倍数，第一列下方清0）

Step 3：消去第二列下方元素

（第三行减第二行，发现第三行全为0；说明第三个方程是”多余的”，被前两个方程线性表示）

Step 4：化为行最简形

（第一行减第二行，使主元上方为0；此时矩阵已是行最简形）

Step 5：确定秩与基础解系向量个数 $r(A)=2,\ n=4$，故基础解系含 $n-r=4-2=2$ 个线性无关的解向量。 （这是考试最常考的情形：自由未知量有2个，需要赋两组值，得到两个基础解系向量）

Step 6：写出同解方程组

主元变量：$x_1, x_2$（第1、2列有主元）；自由未知量：$x_3, x_4$（第3、4列无主元）。

Step 7：求第一个基础解系向量 $\boldsymbol{\xi}_1$ 令自由未知量 $(x_3, x_4) = (1, 0)$，代回得：

（两个自由未知量，第一次令第一个为1、第二个为0，这是标准操作，保证线性无关性）

Step 8：求第二个基础解系向量 $\boldsymbol{\xi}_2$ 令自由未知量 $(x_3, x_4) = (0, 1)$，代回得：

（第二次令第一个为0、第二个为1；这样 $\boldsymbol{\xi}_1, \boldsymbol{\xi}_2$ 的后两个分量构成单位矩阵，必然线性无关）

Step 9：验证基础解系的线性无关性（可选但推荐） $\boldsymbol{\xi}_1, \boldsymbol{\xi}_2$ 的后两个分量分别是 $\begin{pmatrix}1\\0\end{pmatrix}$ 和 $\begin{pmatrix}0\\1\end{pmatrix}$，显然线性无关，故整个向量组线性无关。 （“单位矩阵法”赋值是考试中最保险的，天然保证基础解系向量线性无关）

Step 10：写出通解

（两个自由未知量对应两个任意常数 $k_1, k_2$；通解就是基础解系的所有线性组合）