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

三元齐次线性方程组

## 三元齐次线性方程组

> 为了引入$n$元齐次线性方程组的解，这里先用三元进行解释

上一节讨论了方程组解的几何意义. 但是, 是否存在一种方法用来判断三元线性方程组是否有解? 如果有解, 那么有多少解? 既然三元线性方程可以用来表示空间的平面, 那么作出判断的几何直观是什么呢? 这些就是我们将要陆续学习的内容.

**定义1** 在一个线性方程组 $\boldsymbol{A} \boldsymbol{x}=\boldsymbol{b}$ 中, 如果 $\boldsymbol{b}=\mathbf{0}$, 那么称这个线性方程组为**齐次线性方程组**; 如果 $\boldsymbol{b} \neq \mathbf{0}$, 那么称这个线性方程组为**非齐次线性方程组**.
对于一个三元齐次线性方程组
$$
\left\{\begin{array}{l}
a_{11} x_1+a_{12} x_2+a_{13} x_3=0, \\
a_{21} x_1+a_{22} x_2+a_{23} x_3=0, \\
a_{31} x_1+a_{32} x_2+a_{33} x_3=0,
\end{array}\right.
$$

显然 $x_1=x_2=x_3=0$ 是方程组的一个解, 这个解称为**零解** (null solution); 若方程组还有其他的解, 那么这些解就称为**非零解** (untrivial solution).
三元齐次线性方程组可以写成矩阵形式:
$$
A x=0,
$$

其中系数矩阵和未知向量分别为
$$
\boldsymbol{A}=\left(\begin{array}{lll}
a_{11} & a_{12} & a_{13} \\
a_{21} & a_{22} & a_{23} \\
a_{31} & a_{32} & a_{33}
\end{array}\right), \boldsymbol{x}=\left(\begin{array}{l}
x_1 \\
x_2 \\
x_3
\end{array}\right) .
$$

对于齐次线性方程组, 我们关心的问题是有没有非零解.

`例`解下列齐次线性方程组:
(1) $\left\{\begin{array}{l}x_1+2 x_2+x_3=0, \\ x_2+x_3=0, \\ x_1+3 x_2+2 x_3=0\end{array}\right.$
(2) $\left\{\begin{array}{l}x_1-2 x_2+x_3=0, \\ x_1-x_2=0, \\ x_1-2 x_2+2 x_3=0 .\end{array}\right.$

解: (1) 在齐次线性方程组中常数项都为 0 , 因此求解过程中, 只需要对这个线性方程组的系数矩阵进行行初等变换.
$$
\left(\begin{array}{lll}
1 & 2 & 1 \\
0 & 1 & 1 \\
1 & 3 & 2
\end{array}\right) \xrightarrow{(-1) r_1+r_3}\left(\begin{array}{lll}
1 & 2 & 1 \\
0 & 1 & 1 \\
0 & 1 & 1
\end{array}\right) \xrightarrow{(-1) r_2+r_3}\left(\begin{array}{lll}
1 & 2 & 1 \\
0 & 1 & 1 \\
0 & 0 & 0
\end{array}\right) \xrightarrow[(-1) r_2+r_1]{1}\left(\begin{array}{lll}
1 & 1 & 0 \\
0 & 1 & 1 \\
0 & 0 & 0
\end{array}\right) .
$$

因此,
$$
\left\{\begin{array} { l } 
{ x _ { 1 } + x _ { 2 } = 0 , } \\
{ x _ { 2 } + x _ { 3 } = 0 , }
\end{array} \text { 即 } \left\{\begin{array}{l}
x_1=-x_2, \\
x_3=-x_2 .
\end{array}\right.\right.
$$

容易发现, 对 $x_2$ 的任意一个值, 可以确定这个齐次线性方程组的一个解. 我们把 $x_2$称为**自由未知量**, 令 $x_2=k(k \in \mathbf{R})$, 得到 $\boldsymbol{x}=(-k, k,-k)^{\mathrm{T}}$, 因此这个线性方程组有无穷多个解.

(2) 对系数矩阵作行初等变换.
$$
\left(\begin{array}{lll}
1 & -2 & 1 \\
1 & -1 & 0 \\
1 & -2 & 2
\end{array}\right) \xrightarrow{\substack{(-1) r_1+r_2 \\
(-1) r_1+r_3}}\left(\begin{array}{ccc}
1 & -2 & 1 \\
0 & 1 & -1 \\
0 & 0 & 1
\end{array}\right) \xrightarrow{\substack{(-1) r_3+r_1 \\
r_3+r_2}}\left(\begin{array}{ccc}
1 & -2 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1
\end{array}\right) \xrightarrow{2 r_2+r_1}\left(\begin{array}{lll}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1
\end{array}\right) .
$$

因此, 这个齐次线性方程组的解只有一个解，为 $\boldsymbol{x}=(0,0,0)^{\mathrm{T}}$.

由于齐次线性线性方程组一定有零解, 从例 1 可以发现, 齐次线性方程组可能有无穷多个解, 也可能有唯一解. 因此, 我们可以猜想, 三元齐次线性方程组只有唯一解和无穷多个解两种情形.

因为线性方程组与经过行初等变换得到的阶梯形方程组同解, 所以可以直接讨论阶梯形方程组的解的情况及其判别准则.

**情形1** 如果三元齐次线性方程组能化为阶梯形方程组
$$
\left\{\begin{aligned}
x_1+c_{12} x_2+c_{13} x_3 & =0, \\
x_2+c_{23} x_3 & =0, \\
x_3 & =0,
\end{aligned}\right.
$$

从下往上带，可以求出三元齐次线性方程组只有零解: $x_1=0, x_2=0, x_3=

免费注册查看余下70%

《高等数学》难点解析

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

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

《线性代数》难点解析

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

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

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

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

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

上一篇：线性方程组有解的几何意义

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

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