第 4 章 线性方程组
本章地位:「含参数线性方程组讨论」几乎是线代解答大题的固定客,小题则考解的判定与结构。它是前三章的总装车间:判定靠秩(第 2 章),解向量就是向量组(第 3 章),初等变换是发动机。务必把「增广矩阵 → 行最简形 → 读解」的流程练到条件反射。
4.1 消元法与解的判定
齐次 \(Ax=0\):只有零解 \(\iff r(A)=n\);有非零解 \(\iff r(A)\lt n\)。
非齐次 \(Ax=b\):
\[ \begin{cases} r(A)\lt r(A,b)\iff \text{无解}\\ r(A)=r(A,b)=n\iff \text{唯一解}\\ r(A)=r(A,b)\lt n\iff \text{无穷多解} \end{cases} \]讨论参数 \(t,\ b\) 取何值时,方程组 \(\begin{cases} x+y+z=1\\ x+2y+3z=2\\ x+3y+tz=b \end{cases}\) 无解、有唯一解、有无穷多解。
查看解答
增广矩阵:
\[ \bar A=\begin{pmatrix} 1&1&1&\vline&1\\ 1&2&3&\vline&2\\ 1&3&t&\vline&b \end{pmatrix}\xrightarrow{r_2-r_1,\ r_3-r_1}\begin{pmatrix} 1&1&1&\vline&1\\ 0&1&2&\vline&1\\ 0&2&t-1&\vline&b-1 \end{pmatrix}\xrightarrow{r_3-2r_2}\begin{pmatrix} 1&1&1&\vline&1\\ 0&1&2&\vline&1\\ 0&0&t-5&\vline&b-3 \end{pmatrix} \]
① \(t\ne5\):\(r(A)=r(\bar A)=3=n\),唯一解;
② \(t=5,\ b=3\):第三行全零,\(r(A)=r(\bar A)=2\lt3\),无穷多解(1 个自由变量);
③ \(t=5,\ b\ne3\):出现 \(0=b-3\ne0\) 型矛盾行,\(r(A)=2\lt r(\bar A)=3\),无解。
判断方程组 \(\begin{cases} x_1+2x_2+3x_3=4\\ 2x_1+4x_2+6x_3=8\\ 3x_1+6x_2+9x_3=13 \end{cases}\) 解的情况。
查看答案
第 2 行是第 1 行的 2 倍(含常数,\(8=2\times4\) 相容),第 3 行左端是第 1 行的 3 倍但 \(13\ne3\times4=12\):
\(r_3-3r_1=(0,0,0\,|\,1)\),出现矛盾行,\(r(A)=1\lt r(\bar A)=2\),无解。
设 \(A\) 为 \(4\times5\) 矩阵且 \(r(A)=4\),判断 \(Ax=0\) 的解的情况。
查看答案
\(r(A)=4\lt n=5\),有非零解,基础解系含 \(5-4=1\) 个向量。
4.2 齐次方程组与基础解系
① 若 \(\xi_1,\xi_2\) 是 \(Ax=0\) 的解,则 \(k_1\xi_1+k_2\xi_2\) 仍是解(解对线性运算封闭);
② 基础解系:解集的一个极大无关组,恰含 \(n-r\) 个解向量;
③ 通解:\(x=k_1\xi_1+\cdots+k_{n-r}\xi_{n-r}\)(\(\xi_i\) 为基础解系)。
求齐次方程组 \(\begin{cases} x_1+x_2+x_3+x_4=0\\ x_1+2x_2+3x_3+4x_4=0 \end{cases}\) 的基础解系与通解。
查看解答
\[ \begin{pmatrix} 1&1&1&1\\ 1&2&3&4 \end{pmatrix}\xrightarrow{r_2-r_1}\begin{pmatrix} 1&1&1&1\\ 0&1&2&3 \end{pmatrix}\xrightarrow{r_1-r_2}\begin{pmatrix} 1&0&-1&-2\\ 0&1&2&3 \end{pmatrix} \]
行最简形对应 \(x_1=x_3+2x_4,\ x_2=-2x_3-3x_4\)(\(x_3,x_4\) 自由)。取 \((x_3,x_4)=(1,0)\) 与 \((0,1)\):
\[ \xi_1=(1,-2,1,0)^{T},\qquad \xi_2=(2,-3,0,1)^{T} \]
(验算:\(\xi_1\):\(1-2+1+0=0,\ 1-4+3+0=0\) ✓;\(\xi_2\):\(2-3+0+1=0,\ 2-6+0+4=0\) ✓。)
通解 \(x=k_1\xi_1+k_2\xi_2\)。\(n-r=4-2=2\),个数吻合。
求 \(\begin{cases} x_1+2x_2+3x_3=0\\ 2x_1+4x_2+6x_3=0 \end{cases}\) 的基础解系。
查看解答
第二行是第一行的 2 倍,等价于单个方程 \(x_1+2x_2+3x_3=0\):\(x_1=-2x_2-3x_3\),\(r=1\),基础解系 2 个:
\[ \xi_1=(-2,1,0)^{T},\qquad \xi_2=(-3,0,1)^{T} \]
(验算:\(-2+2=0\)、\(-3+3=0\) ✓。)
求 \(\begin{cases} x_1+x_2+x_3=0\\ 2x_1+2x_2+2x_3=0 \end{cases}\) 的基础解系。
查看答案
等价于 \(x_1+x_2+x_3=0\):\(\xi_1=(-1,1,0)^{T}\),\(\xi_2=(-1,0,1)^{T}\)。
求 \(x_1+2x_2+3x_3+4x_4=0\) 的基础解系。
查看答案
\(x_1=-2x_2-3x_3-4x_4\),三个自由变量轮流取 1:
\(\xi_1=(-2,1,0,0)^{T},\ \xi_2=(-3,0,1,0)^{T},\ \xi_3=(-4,0,0,1)^{T}\)(共 \(4-1=3\) 个)。
4.3 非齐次方程组的解结构
求 \(\begin{cases} x_1+x_2+x_3+x_4=1\\ x_1+2x_2+3x_3+4x_4=2 \end{cases}\) 的通解。
查看解答
增广矩阵(系数部分与例 2 相同):
\[ \bar A=\begin{pmatrix} 1&1&1&1&\vline&1\\ 1&2&3&4&\vline&2 \end{pmatrix}\rightarrow\begin{pmatrix} 1&0&-1&-2&\vline&0\\ 0&1&2&3&\vline&1 \end{pmatrix} \]
即 \(x_1=x_3+2x_4,\ x_2=1-2x_3-3x_4\)。取 \(x_3=x_4=0\) 得特解 \(\eta^{*}=(0,1,0,0)^{T}\)(验算:\(0+1=1,\ 0+2=2\) ✓);
导出组即例 2,基础解系 \(\xi_1=(1,-2,1,0)^{T},\ \xi_2=(2,-3,0,1)^{T}\)。
\[ x=(0,1,0,0)^{T}+k_1(1,-2,1,0)^{T}+k_2(2,-3,0,1)^{T} \]
设 \(A\) 为 \(3\times4\) 矩阵,\(r(A)=3\),且 \(\eta_1=(1,0,1,0)^{T}\),\(\eta_2=(0,1,0,1)^{T}\),\(\eta_3=(1,1,1,1)^{T}\) 都是 \(Ax=b\ (b\ne0)\) 的解,求 \(Ax=b\) 的通解。
查看解答
\(n-r=4-3=1\),只需求一个非零齐次解。利用性质①:
\[ \xi=\eta_1+\eta_2-2\eta_3=(1+0-2,\ 0+1-2,\ 1+0-2,\ 0+1-2)^{T}=(-1,-1,-1,-1)^{T}\ne0 \]
(\(A\xi=A\eta_1+A\eta_2-2A\eta_3=b+b-2b=0\) ✓。)\(\xi\ne0\) 且只需 1 个,即为基础解系。
\[ x=\eta_1+k\xi=(1,0,1,0)^{T}+k(-1,-1,-1,-1)^{T}\quad(k\in\mathbb{R}) \]
求 \(x_1+x_2-x_3=1\) 的通解。
查看答案
特解 \((1,0,0)^{T}\);导出组 \(x_1+x_2-x_3=0\) 基础解系 \((-1,1,0)^{T},\ (1,0,1)^{T}\)。
通解 \(x=(1,0,0)^{T}+k_1(-1,1,0)^{T}+k_2(1,0,1)^{T}\)。
设 \(\eta_1,\eta_2\) 都是 \(Ax=b\ (b\ne0)\) 的解,判断 \(3\eta_1-2\eta_2\) 与 \(\eta_1-\eta_2\) 各是哪个方程组的解。
查看答案
\(A(3\eta_1-2\eta_2)=3b-2b=b\):仍是 \(Ax=b\) 的解;
\(A(\eta_1-\eta_2)=b-b=0\):是导出组 \(Ax=0\) 的解。
4.4 含参数方程组的讨论
① 写增广矩阵,行变换化阶梯形(参数只有在必要时才出现在分母,避免分类讨论时漏情形);
② 按「主元是否为零 / 矛盾行是否出现」分情况定 \(r(A)\) 与 \(r(\bar A)\);
③ 每种有解情形:唯一解(回代求出)或通解(特解 + 基础解系)。
讨论 \(\lambda\) 取何值时方程组 \(\begin{cases} \lambda x+y+z=1\\ x+\lambda y+z=\lambda\\ x+y+\lambda z=\lambda^2 \end{cases}\) 无解、有唯一解、有无穷多解;有解时求出解。
查看解答
系数行列式(第 1 章行和型):\(D=(\lambda+2)(\lambda-1)^2\)。
① \(\lambda\ne1\) 且 \(\lambda\ne-2\):唯一解。用「方程相减」消元:eq2−eq1 得 \((\lambda-1)(y-x)=\lambda-1\),即 \(y-x=1\);eq3−eq2 得 \((\lambda-1)(z-y)=\lambda(\lambda-1)\),即 \(z-y=\lambda\)。代入 eq1:\(\lambda x+(x+1)+(x+1+\lambda)=1\),解得 \[ x=-\frac{\lambda+1}{\lambda+2},\qquad y=x+1=\frac{1}{\lambda+2},\qquad z=y+\lambda=\frac{(\lambda+1)^2}{\lambda+2} \]
(数值自检 \(\lambda=0\):解为 \((-\tfrac12,\tfrac12,\tfrac12)\),代入原方程 \(y+z=1,\ x+z=0,\ x+y=0\) 全部成立。)
② \(\lambda=1\):无穷多解。三个方程都是 \(x+y+z=1\),\(r=r(\bar A)=1\lt3\):特解 \((1,0,0)^{T}\),基础解系 \((-1,1,0)^{T},\ (-1,0,1)^{T}\),通解 \[ x=(1,0,0)^{T}+k_1(-1,1,0)^{T}+k_2(-1,0,1)^{T} \]
③ \(\lambda=-2\):无解。三式相加:左端 \(0\)(系数每列 \(1+1-2=0\)),右端 \(1+(-2)+4=3\),得 \(0=3\) 矛盾。
接例 1 的方程组(参数 \(t,b\)):有解时求出其解。
查看解答
① \(t\ne5\)(唯一解):阶梯形最后一行 \((0,0,t-5\,|\,b-3)\) 给 \(z=\dfrac{b-3}{t-5}\);回代 \(y=1-2z\),\(x=1-y-z=z\): \[ x=z=\frac{b-3}{t-5},\qquad y=1-\frac{2(b-3)}{t-5} \]
(自检 \(t=6,b=4\):\(x=z=1,\ y=-1\),代入第三个方程 \(1+3\times(-1)+6=4\) ✓。)
② \(t=5,\ b=3\)(无穷多解):继续 \(r_1-r_2\) 得 \((1,0,-1\,|\,0)\),即 \(x=z,\ y=1-2z\):特解 \((0,1,0)^{T}\),基础解系 \((1,-2,1)^{T}\),通解 \[ x=(0,1,0)^{T}+k(1,-2,1)^{T} \]
讨论 \(a\) 取何值时 \(\begin{cases} ax+y+z=1\\ x+ay+z=1\\ x+y+az=1 \end{cases}\) 无解、唯一解、无穷多解;唯一解时求出解。
查看答案
\(D=(a+2)(a-1)^2\):
\(a\ne1,-2\) 唯一解,由对称性 \(x=y=z=\dfrac{1}{a+2}\)(验算 \(a=2\):三式均为 \(\tfrac14+\tfrac14+\tfrac24=1\) ✓);
\(a=1\):三方程同为 \(x+y+z=1\),无穷多解,通解 \((1,0,0)^{T}+k_1(-1,1,0)^{T}+k_2(-1,0,1)^{T}\);
\(a=-2\):三式相加 \(0=3\),无解。
解方程组 \(\begin{cases} x+y+z=6\\ 2x+y-z=1\\ x-y+2z=5 \end{cases}\)。
查看答案
\(r_2-2r_1=(0,-1,-3\,|\,-11)\),\(r_3-r_1=(0,-2,1\,|\,-1)\),\(r_3-2r_2=(0,0,7\,|\,21)\Rightarrow z=3\);
回代 \(-y-9=-11\Rightarrow y=2\),\(x=6-2-3=1\)。唯一解 \((1,2,3)\)(验算第二式 \(2+2-3=1\)、第三式 \(1-2+6=5\) ✓)。
4.5 公共解与同解
设 (I) \(Ax=0\) 的基础解系为 \(\xi_1=(0,1,1,0)^{T}\),\(\xi_2=(-1,-1,0,1)^{T}\);(II) 为方程组 \(x_1+x_2=0\)。求 (I) 与 (II) 的非零公共解。
查看解答
公共解既要属于 (I) 的解集,又要满足 (II)。设
\[ x=k_1\xi_1+k_2\xi_2=(-k_2,\ k_1-k_2,\ k_1,\ k_2)^{T} \]
代入 \(x_1+x_2=0\):\(-k_2+k_1-k_2=0\Rightarrow k_1=2k_2\)。取 \(k_2=1,\ k_1=2\):
\[ x=(-1,\ 1,\ 2,\ 1)^{T} \]
即全部非零公共解为 \(c(-1,1,2,1)^{T}\ (c\ne0)\)。(验证:它是 \(\xi\) 的组合故为 (I) 的解;\(-1+1=0\) 满足 (II) ✓。)
设 \(A\) 为实矩阵,证明:\(Ax=0\) 与 \(A^{T}Ax=0\) 同解(并由此说明 \(r(A^{T}A)=r(A)\))。
查看解答
设 \(\eta\) 是 \(Ax=0\) 的解,则 \(A^{T}A\eta=A^{T}(A\eta)=0\),即 \(\eta\) 也是 \(A^{T}Ax=0\) 的解;
反之设 \(\eta\) 是 \(A^{T}Ax=0\) 的解,两边左乘 \(\eta^{T}\):
\[ 0=\eta^{T}A^{T}A\eta=(A\eta)^{T}(A\eta)=\|A\eta\|^{2} \]
向量的模平方为零 \(\Rightarrow A\eta=0\),即 \(\eta\) 是 \(Ax=0\) 的解。
两解集相同,故同解,故 \(n-r(A^{T}A)=n-r(A)\),即 \(r(A^{T}A)=r(A)\)。
求方程组 (I) \(x+y=1\) 与 (II) \(x-2y=4\) 的公共解。
查看答案
联立解 \(\begin{cases} x+y=1\\ x-2y=4 \end{cases}\):两式相减 \(3y=-3\Rightarrow y=-1,\ x=2\)。
公共解为 \((2,-1)\)(两直线交于一点)。
4.6 章末自测(10 题,建议限时 75 分钟)
设 \(A\) 为 \(3\times4\) 矩阵,\(r(A)=r(A,b)=3\),则 \(Ax=b\):
A. 无解 B. 有唯一解 C. 有无穷多解 D. 无法确定
查看答案
\(r(A)=r(A,b)=3\lt n=4\),有无穷多解(1 个自由变量),选 C。
设 \(\xi_1,\xi_2\) 是 \(Ax=0\) 的基础解系(\(n-r=2\)),则下列向量组中也是基础解系的是:
A. \(\xi_1-\xi_2,\ -2\xi_1+2\xi_2\) B. \(\xi_1+\xi_2,\ \xi_1-\xi_2\)
C. \(\xi_1,\ \xi_2,\ \xi_1+\xi_2\) D. \(2\xi_1,\ \xi_1-\xi_2,\ 0\)
查看答案
基础解系要求:都是解、线性无关、个数 \(=2\)。
A 中两向量成比例(\(-2\xi_1+2\xi_2=-2(\xi_1-\xi_2)\))相关;C、D 个数为 3(且 D 含零向量)。
B:都是解,且 \(k_1(\xi_1+\xi_2)+k_2(\xi_1-\xi_2)=0\Rightarrow(k_1+k_2)\xi_1+(k_1-k_2)\xi_2=0\Rightarrow k_1=k_2=0\),无关,选 B。
设 \(A\) 为 \(4\times5\) 矩阵,\(r(A)=2\),则 \(Ax=0\) 的基础解系含 个向量。
查看答案
\(n-r=5-2=\)3。
设 \(\eta_1,\eta_2\) 是 \(Ax=b\ (b\ne0)\) 的两个解,则 \(\eta_1-\eta_2\) 是方程组 的解。
查看答案
\(A(\eta_1-\eta_2)=b-b=0\),是导出组 \(Ax=0\) 的解。
方程组 \(\begin{cases} x_1+2x_2+3x_3=0\\ 2x_1+4x_2+6x_3=0 \end{cases}\) 的基础解系为 。
查看答案
等价于 \(x_1+2x_2+3x_3=0\):\(\xi_1=(-2,1,0)^{T},\ \xi_2=(-3,0,1)^{T}\)。
求 \(\begin{cases} x_1+x_2+x_3+x_4=1\\ 2x_1+3x_2+x_3+4x_4=5 \end{cases}\) 的通解。
查看解答
\[ \bar A=\begin{pmatrix} 1&1&1&1&\vline&1\\ 2&3&1&4&\vline&5 \end{pmatrix}\xrightarrow{r_2-2r_1}\begin{pmatrix} 1&1&1&1&\vline&1\\ 0&1&-1&2&\vline&3 \end{pmatrix}\xrightarrow{r_1-r_2}\begin{pmatrix} 1&0&2&-1&\vline&-2\\ 0&1&-1&2&\vline&3 \end{pmatrix} \]
\(x_1=-2-2x_3+x_4,\ x_2=3+x_3-2x_4\)。特解 \((-2,3,0,0)^{T}\)(验算:\(-2+3=1,\ -4+9=5\) ✓);
导出组基础解系:\(\xi_1=(-2,1,1,0)^{T}\)(验算 \(-2+1+1=0,\ -4+3+1=0\) ✓)、\(\xi_2=(1,-2,0,1)^{T}\)(验算 \(1-2+0+1=0,\ 2-6+0+4=0\) ✓)。
\[ x=(-2,3,0,0)^{T}+k_1(-2,1,1,0)^{T}+k_2(1,-2,0,1)^{T} \]
解 \(\begin{cases} x+y+z=6\\ x+2y+3z=14\\ 2x+y+z=7 \end{cases}\)。
查看解答
\(r_2-r_1=(0,1,2\,|\,8)\),\(r_3-2r_1=(0,-1,-1\,|\,-5)\),\(r_3+r_2=(0,0,1\,|\,3)\Rightarrow z=3\);
回代 \(y+6=8\Rightarrow y=2\),\(x=6-2-3=1\)。唯一解 \((1,2,3)\)。
讨论 \(\lambda\) 取何值时 \(\begin{cases} x+y+z=1\\ 2x+3y+\lambda z=3\\ x+\lambda y+3z=2 \end{cases}\) 无解、唯一解、无穷多解。
查看解答
\[ \bar A\xrightarrow{r_2-2r_1,\ r_3-r_1}\begin{pmatrix} 1&1&1&\vline&1\\ 0&1&\lambda-2&\vline&1\\ 0&\lambda-1&2&\vline&1 \end{pmatrix}\xrightarrow{r_3-(\lambda-1)r_2}\begin{pmatrix} 1&1&1&\vline&1\\ 0&1&\lambda-2&\vline&1\\ 0&0&\lambda(3-\lambda)&\vline&2-\lambda \end{pmatrix} \]
(第三个主元:\(2-(\lambda-1)(\lambda-2)=\lambda(3-\lambda)\);右端:\(1-(\lambda-1)=2-\lambda\)。)
\(\lambda\ne0,3\):\(r(A)=r(\bar A)=3\),唯一解;
\(\lambda=0\):末行 \((0,0,0\,|\,2)\),矛盾,无解;
\(\lambda=3\):末行 \((0,0,0\,|\,-1)\),矛盾,无解。
(本题没有「无穷多解」的情形——讨论题未必三种都出现,以阶梯形为准。)
设 \(A\) 为 \(3\times4\) 矩阵,\(r(A)=2\),且 \(\eta_1=(1,0,0,1)^{T}\),\(\eta_2=(0,1,0,1)^{T}\),\(\eta_3=(0,0,1,1)^{T}\) 都是 \(Ax=b\) 的解,求 \(Ax=b\) 的通解。
查看解答
\(n-r=2\)。构造齐次解:
\[ \xi_1=\eta_1-\eta_3=(1,0,-1,0)^{T},\qquad \xi_2=\eta_2-\eta_3=(0,1,-1,0)^{T} \]
线性无关(若 \(k_1\xi_1+k_2\xi_2=0\),看第 1、2 分量即得 \(k_1=k_2=0\)),故构成基础解系。
\[ x=\eta_3+k_1\xi_1+k_2\xi_2=(0,0,1,1)^{T}+k_1(1,0,-1,0)^{T}+k_2(0,1,-1,0)^{T} \]
设 \(A\) 为 \(m\times n\) 矩阵,\(B\) 为 \(n\times s\) 矩阵,且 \(AB=O\),证明:\(r(A)+r(B)\le n\)。
查看解答
将 \(B\) 按列分块 \(B=(\beta_1,\cdots,\beta_s)\)。由 \(AB=O\):
\[ AB=(A\beta_1,\ \cdots,\ A\beta_s)=O\Rightarrow A\beta_j=0\ (j=1,\cdots,s) \]
即 \(B\) 的每一列都是 \(Ax=0\) 的解,都可由基础解系(\(n-r(A)\) 个)线性表示,故
\[ r(B)=B\text{ 的列秩}\le n-r(A)\qquad\Longrightarrow\qquad r(A)+r(B)\le n \]
4.7 本章考点总结
| 考点 | 常见题型 | 重要度 |
|---|---|---|
| 解的判定(秩判据) | 选择 / 大题第一问 | ★★★★★ |
| 基础解系与通解(数值 + 抽象) | 大题 / 小题 | ★★★★★ |
| 含参数方程组讨论 | 解答大题(线代固定客) | ★★★★★ |
| 解的结构性质(\(\eta_1-\eta_2\)、\(3\eta_1-2\eta_2\) 型) | 选择 / 抽象通解题 | ★★★★ |
| 公共解、同解、\(AB=O\) 秩不等式 | 大题第二问 | ★★★ |
① 特征向量 \(\xi\) 就是 \((A-\lambda E)x=0\) 的非零解——第 5 章求特征向量 = 本章解齐次方程组;
② \(r(A^{T}A)=r(A)\)、\(AB=O\Rightarrow r(A)+r(B)\le n\) 在第 5 章证明可对角化时直接调用。