最后更新: 2025-09-21 06:42 查看: 340 次反馈能力测评会员8.2元/月赞助

三元非齐次线性方程组

## 三元非齐次线性方程组
通过[上一节](https://kb.kmath.cn/kbase/detail.aspx?id=1236)的讨论知道, 对于含有三个方程的三元齐次线性方程组的解的情况可以通过系数矩阵的行列式进行判断, 这一节我们将学习如何判断含有三个方程的三元非齐次线性方程组的解的情况.
在阅读本节前，最好已经了解[齐次线性方程解的结构](https://kb.kmath.cn/kbase/detail.aspx?id=486)

> 齐次方程与非齐次方程：方程等号右边全为零的方程叫齐次方程，否则叫非齐次方程

`例` 解线性方程组
$$
\left\{\begin{aligned}
x_1+4 x_2+2 x_3 & =5, \\
2 x_2+x_3 & =2, \\
x_1-2 x_2-x_3 & =-1 .
\end{aligned}\right.
$$

解: 对方程组的增广矩阵作行初等变换:
$$
\begin{aligned}
& \left(\begin{array}{lll|l}
1 & 4 & 2 & 5 \\
0 & 2 & 1 & 2 \\
0 & 0 & 0 & 0
\end{array}\right) \xrightarrow{(-2) r_2+r_1}\left(\begin{array}{lll|l}
1 & 0 & 0 & 1 \\
0 & 2 & 1 & 2 \\
0 & 0 & 0 & 0
\end{array}\right) . \\
&
\end{aligned}
$$

因此,还原方程为
$$
\left\{\begin{array}{l}
x_1=1 \\
2 x_2+x_3=2
\end{array}\right.
$$
选取 $x_3$ 为自由未知量, 当 $x_3$ 的值取定后, 线性方程组的解也随之确定. 由 $x_3$ 取值的任意性可以知道, 这个线性方程组有无穷多个解.

由三元非齐次线性方程组的解可能有三种情况, 分别是无解、唯一解和无穷多个解. 分别讨论如下.

`例`对于一个三元非齐次线性方程组
$$
\left\{\begin{array}{l}
a_{11} x_1+a_{12} x_2+a_{13} x_3=b_1, \\
a_{21} x_1+a_{22} x_2+a_{23} x_3=b_2, \\
a_{31} x_1+a_{32} x_2+a_{33} x_3=b_3,
\end{array}\right.
$$

令 $\boldsymbol{\alpha}_i=\left(a_{i 1}, a_{i 2}, a_{i 3}, b_i\right)^{\mathrm{T}}, \boldsymbol{\beta}_i=\left(a_{i 1}, a_{i 2}, a_{i 3}\right)^{\mathrm{T}}$, 其中 $i=1,2,3$. 对这个方程组的增广矩阵作行初等变换, 得到以下三种情形.

### 情形1 
如果三元非齐次线性方程组化为阶梯形方程组如下:
$$
\left\{\begin{aligned}
x_1+c_{12} x_2+c_{13} x_3 & =d_1, \\
x_2+c_{23} x_3 & =d_2, \\
x_3 & =d_3,
\end{aligned}\right. ...(1)
$$

那么这个三元非齐次线性方程组有唯一解. 这时, 方程组（1）所对应的三个平面相交于一点, 如图 3. 3-1 所示.
 ![图片](/uploads/2024-06/c79438.jpg)
 
### 情形2
 如果三元非齐次线性方程组化为阶梯形方程组如下:
$$
\left\{\begin{aligned}
x_1 \quad+c_{13} x_3 & =d_1, \\
x_2+c_{23} x_3 & =d_2, \\
0 & =0,
\end{aligned}\right. ...(2)
$$

或者
$$
\left\{\begin{aligned}
x_1+c_{12} x_2+c_{13} x_3 & =d_1, \\
0 & =0, \\
0 & =0,
\end{aligned}\right.  ...(3)
$$

那么这个三元非齐次线性方程组有无穷多个解.
对于经过行初等变换得到方程组 (2) 的情况, 如果向量 $\boldsymbol{\alpha}_1, \boldsymbol{\alpha}_2$, $\boldsymbol{\alpha}_3$ 两两线性无关，那么方程组（1）所对应的三个平面相交于一条直线,如图 3. 3-2 所示;

如果向量 $\boldsymbol{\alpha}_1, \boldsymbol{\alpha}_2, \boldsymbol{\alpha}_3$ 中存在两个向量线性相关, 那么方程组 (1) 所对应的三个平面的位置关系为两个平面重合, 第三个平面与这个重合平面交于一条直线.

如果经过行初等变换得到方程组 (3), 那么说明方程组 (1) 所对应的三个平面重合.
 ![图片](/uploads/2024-06/7456de.jpg)
 
 
### 情形3 
如果三元非齐次线性方程组化为阶梯形方程组如下:
$$
\left\{\begin{aligned}
x_1 \quad+c_{13} x_3 & =d_1, \\
x_2+c_{23} x_3 & =d_2, \\
0 & =d_3,
\end{aligned}\right.  ...(4)
$$

其中 $d_3 \neq 0$, 或者
$$
\left\{\begin{aligned}
x_1+c_{12} x_2+c_{13} x_3 & =d_1, \\
0 & =d_2, \\
0 & =0,
\end{aligned}\right. ...(5)
$$

其中 $d_2 \neq 0$, 那么这个三元非齐次线性方程组无解.经过行初等变换后得到方程组（4）时, 若 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \boldsymbol{\beta}_3$ 两两线性无关, 则方程组 (1)所对应的三个平面没有公共点, 且两两之间不平行, 如图 3. 3-3 所示; 若 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \boldsymbol{\beta}_3$ 存在两个向量线性相关, 则方程组（1）所对应的三个平面中, 有两个平面平行, 第三个平面与它们相交, 如图 3. 3-4 所示.

经过行初等变换后得到方程组（5）时, 若 $\boldsymbol{\alpha}_1, \boldsymbol{\alpha}_2, \boldsymbol{\alpha}_3$ 两两线性无关, 则方程组 （1）所对应的三个平面互相平行, 没有公共点; 若

$\boldsymbol{\alpha}_1, \boldsymbol{\alpha}_2, \boldsymbol{\alpha}_3$ 
存在两个向量线性相关,则方程组 (1) 所对应的三个平面中, 有两个平面重合, 第三个平面与它们平行.
 ![图片](/uploads/2024-06/cf2550.jpg)
 
 我们已经知道, 齐次线性方程组的通解可以表示为基础解系的线性组合, 下面学习非齐次线性方程组解的结构.

利用向量的加法运算和数乘运算, 可以把三元非齐次线性方程组 $\boldsymbol{A} \boldsymbol{x}=\boldsymbol{b}$ 写成向量形式 $x_1 \boldsymbol{\alpha}_

免费注册查看余下70%

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

高等数学测评 函数与极限一元函数微分学一元函数积分学微分方程空间向量与代数多元微分学多元积分学无穷级数

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

线性代数测评 行列式矩阵向量空间

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

概率统计测评 事件与概率一维随机变量与事件多维随机变量与事件随机变量的数字特征大数定律与中心极限定理统计量与抽样分布参数估计假设检验

上一篇：齐次方程组解的性质

下一篇：非齐次线性方程组解的结构(基础解系★★★★)

本文对您是否有用？有用 (0) 无用 (0)