mobile wallpaper 1mobile wallpaper 2mobile wallpaper 3mobile wallpaper 4
802 字
2 分钟
4.2线性方程组解的判定
2026-06-09

一、线性方程组的三种初等变换#

对线性方程组进行以下三种变换,不改变方程组的解,称为 初等变换(elementary operations):

1.1 交换变换#

交换两个方程的位置。

记作:RiRjR_i \leftrightarrow R_j

例:

{x1+2x2=3(1)4x1+5x2=6(2)  R1R2  {4x1+5x2=6(1)x1+2x2=3(2)\begin{cases} x_1 + 2x_2 = 3 \quad (1)\\ 4x_1 + 5x_2 = 6 \quad (2) \end{cases} \;\xrightarrow{R_1 \leftrightarrow R_2}\; \begin{cases} 4x_1 + 5x_2 = 6 \quad (1')\\ x_1 + 2x_2 = 3 \quad (2') \end{cases}

1.2 倍乘变换#

用一个非零常数 kk 乘某个方程的两边。

记作:RikRi(k0)R_i \rightarrow kR_i \quad (k \neq 0)

例:

x1+2x2=3  R13R1  3x1+6x2=9x_1 + 2x_2 = 3 \;\xrightarrow{R_1 \rightarrow 3R_1}\; 3x_1 + 6x_2 = 9

1.3 倍加变换#

将一个方程的 kk 倍加到另一个方程上。

记作:RjRj+kRiR_j \rightarrow R_j + kR_i

例:

{x1+2x2=34x1+5x2=6  R2R24R1  {x1+2x2=30x13x2=6\begin{cases} x_1 + 2x_2 = 3 \\ 4x_1 + 5x_2 = 6 \end{cases} \;\xrightarrow{R_2 \rightarrow R_2 - 4R_1}\; \begin{cases} x_1 + 2x_2 = 3 \\ 0x_1 - 3x_2 = -6 \end{cases}

核心思想:这三种变换构成高斯消元法的基础,通过系统性地消去未知数,将方程组化为阶梯形(row echelon form),从而判断解的情况并求解。


矩阵语言的等价表述#

对线性方程组 Ax=b\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b},初等变换等价于对增广矩阵 A~=(Ab)\widetilde{\boldsymbol{A}} = (\boldsymbol{A} \mid \boldsymbol{b}) 进行 初等行变换

方程变换矩阵行变换记法
交换两个方程交换两行RiRjR_i \leftrightarrow R_j
k0k \neq 0 乘某个方程kk 乘某行kRikR_i
一个方程的 kk 倍加到另一个一行的 kk 倍加到另一行Rj+kRiR_j + kR_i

注意:只能做行变换,不能做列变换(列变换会改变未知数的顺序,改变解)。


二、解的情况判定(核心结论)#

设线性方程组 Ax=b\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b},其中 A\boldsymbol{A}m×nm \times n 矩阵:

  • r(A)r(A) = 系数矩阵的秩(rank of A\boldsymbol{A}
  • r(A~)r(\widetilde{A}) = 增广矩阵的秩(rank of A~\widetilde{\boldsymbol{A}}
  • nn = 未知数的个数(即 A\boldsymbol{A} 的列数)

2.1 无解#

条件r(A)r(A~)\boxed{r(\boldsymbol{A}) \neq r(\widetilde{\boldsymbol{A}})} 即:r(A)<r(A~)r(\boldsymbol{A}) < r(\widetilde{\boldsymbol{A}})(实际上只能差 1)

含义

  • 增广矩阵的秩比系数矩阵的秩大,说明化简后会出现 “0 = 非零常数” 的矛盾方程。
  • 具体表现为:阶梯形矩阵中存在形如 [000c]\begin{bmatrix}0 & 0 & \cdots & 0 & | & c\end{bmatrix} 的行,其中 c0c \neq 0

示例

{x1+x2=1x1+x2=2A~=(111112)R2R1(111001)\begin{cases} x_1 + x_2 = 1 \\ x_1 + x_2 = 2 \end{cases} \quad \widetilde{\boldsymbol{A}} = \begin{pmatrix} 1 & 1 & | & 1 \\ 1 & 1 & | & 2 \end{pmatrix} \xrightarrow{R_2 - R_1} \begin{pmatrix} 1 & 1 & | & 1 \\ 0 & 0 & | & 1 \end{pmatrix}

第二行:0x1+0x2=10x_1 + 0x_2 = 1,矛盾 → 无解


2.2 有唯一解#

条件r(A)=r(A~)=n\boxed{r(\boldsymbol{A}) = r(\widetilde{\boldsymbol{A}}) = n} 即:两个秩相等,且等于未知数个数。

含义

  • 系数矩阵列满秩,每个未知数都被”唯一确定”。
  • 阶梯形矩阵中,每个变量对应一个主元,没有自由变量(free variable)。
  • 主元个数 = nn

示例

{x1+2x2=53x1x2=1A~=(125311)\begin{cases} x_1 + 2x_2 = 5 \\ 3x_1 - x_2 = 1 \end{cases} \quad \widetilde{\boldsymbol{A}} = \begin{pmatrix} 1 & 2 & | & 5 \\ 3 & -1 & | & 1 \end{pmatrix}

消元后:

(1250714)\begin{pmatrix} 1 & 2 & | & 5 \\ 0 & -7 & | & -14 \end{pmatrix}

r(A)=r(A~)=2=nr(A) = r(\widetilde{A}) = 2 = n唯一解x1=1,  x2=2x_1 = 1,\; x_2 = 2


2.3 有无穷多个解#

条件r(A)=r(A~)<n\boxed{r(\boldsymbol{A}) = r(\widetilde{\boldsymbol{A}}) < n} 即:两个秩相等,但小于未知数个数。

含义

  • 方程组是相容的(consistent),但约束不够”紧”,存在 自由变量
  • 自由变量的个数 = nr(A)n - r(A)
  • 解可以表示为:特解 + 齐次方程组的通解

示例

{x1+x2+x3=1x1+2x2+3x3=4A~=(11111234)R2R1(11110123)\begin{cases} x_1 + x_2 + x_3 = 1 \\ x_1 + 2x_2 + 3x_3 = 4 \end{cases} \quad \widetilde{\boldsymbol{A}} = \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}

r(A)=r(A~)=2<n=3r(A) = r(\widetilde{A}) = 2 < n = 3无穷多解

自由变量 x3=tx_3 = ttt 为任意常数),回代得:

{x1=2+tx2=32tx3=ttR\begin{cases} x_1 = -2 + t \\ x_2 = 3 - 2t \\ x_3 = t \end{cases} \quad t \in \mathbb{R}

三、判定流程图#

增广矩阵 → 初等行变换 → 阶梯形
┌───────┴────────┐
│ │
r(A) ≠ r(Ã) r(A) = r(Ã)
│ │
▼ ┌────┴────┐
无解 │ │
r(A) = n r(A) < n
│ │
▼ ▼
唯一解 无穷多解

四、秩方法总表#

情况秩的条件解的情况几何直观
矛盾r(A)r(A~)r(A) \neq r(\widetilde{A})无解约束互相矛盾
恰好确定r(A)=r(A~)=nr(A) = r(\widetilde{A}) = n有唯一解约束恰好确定一个点
欠定r(A)=r(A~)<nr(A) = r(\widetilde{A}) < n有无穷多解约束不足,形成解空间(直线/平面/超平面)

:对于齐次方程组 Ax=0\boldsymbol{A}\boldsymbol{x}=\boldsymbol{0},恒有 r(A)=r(A~)r(A) = r(\widetilde{A})(因为常数项全为零),故齐次方程组不可能无解。 要么只有零解(r(A)=nr(A)=n), 要么有无穷多解(r(A)<nr(A)<n)。


分享

如果这篇文章对你有帮助,欢迎分享给更多人!

4.2线性方程组解的判定
https://wander-seek.asia/posts/42线性方程组解的判定/
作者
Coldgerm
发布于
2026-06-09
许可协议
CC BY-NC-SA 4.0

部分信息可能已经过时

目录