齐次线性方程组存在非零解的条件的探究

---

前言

多亏了我们的现代老师，才有了这个栏目，线代的某些理论既抽象又难懂，所以我想在此我用比较容易理解的方法来证明一些定理。今天的探究对象就是齐次线性方程组存在非零解的条件。

---

二、线性方程组

在实际问题中，我们常常需要求解一些未知的量，通常我们用$x$加上数字作为下标来表示他们，然后根据问题中的等量关系列出方程组。

其中最简单、最常见的一类方程组是一次方程组，我们通常称他们为线性方程组。下面给出线性方程组的一般模型：
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=b_1\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=b_2\\ \cdots \cdots \cdots \cdots \cdots \\ a_{s1}{x}_1+a_{s2}{x}_2+\cdots +a_{sn}{x}_n=b_s\end{array}$$
其中每个方程左端都是$x_1,x_2,\cdots ,x_n$的一次齐次式，右端是常数。与未知数相乘的是系数，其中$a_{ij}$为第$i$个方程中第$x_j$的系数（$i=1,2,\cdots ,s,j=1,2,\cdots ,n$)。

对于上述的$n$元方程组，如果未知量$x_1,x_2,\cdots ,x_n$分别用数$c_1,c_2,\cdots ,c_n$ 代入后，每个方程都变为恒等式，那么我们把数组$c_1,c_2,\cdots ,c_n$称为上述方程组的一个解，而方程组所有的解的集合就称为解集。

三、Guass消元法

那么我们应该如何解方程呢？我们先看一个具体的例子吧。
$$\{\begin{array}{l}2x_1+2x_2-3x_3=2\\ 2x_1+3x_2-x_3=3\\ 2x_1+x_2-x_3=5\end{array}\text{\hspace{1em}(1)}$$
通过高中的学习我们很清楚解方程组的基本思想就是消元，于是我们可以将上述方程组的第一个方程的$-1$倍加到第二和第三个方程上去得：
$$\{\begin{array}{l}2x_1+2x_2-3x_3=2\\ x_2+2x_3=1\\ -x_2+2x_3=3\end{array}$$
再把第二个方程加到第三个方程上去得：
$$\{\begin{array}{l}2x_1+2x_2-3x_3=2\\ x_2+2x_3=1\\ x_3=1\end{array}\text{\hspace{1em}(2)}$$
我们将像（2）一样形状的方程称为阶梯型方程组。

从解方程这么多年的经验中我们不难看出我们可以对线性方程组做出如下三种变换：
$1$把一个方程的倍数加到另一个方程上
$2$交换两个方程的位置
$3$用一个非零的数乘以某一个方程

这三种变换称为线性方程组的初等变换。经过初等变换，把原方程组变为阶梯型方程组，然后去解阶梯型方程组（从下往上），求得的解就是原方程组的解。这种解方程的方法就是高斯消元法

四、矩阵及其初等变换

在上述解方程的过程中我们只是对方程组的系数与常数项进行了运算，所以为了书写方便我们就用矩阵来表示一个方程组，将方程组的系数与常数项按照次序排成一个表，这张表就是增广矩阵，如果只列出系数，则称为系数矩阵。上述方程组的增广矩阵和系数矩阵为：

$$\left(\begin{array}{cccc}2& 2& -3& 2\\ 2& -3& -1& 3\\ 2& 1& -3& 5\end{array}\right),\left(\begin{array}{ccc}2& 2& -3\\ 2& -3& -1\\ 2& 1& -3\end{array}\right)$$
按照方程组的变换方式，我们可以同样也可以把增广矩阵进行如下三种初等变换：
$1$把一行的倍数加到另一行上
$2$交换两行的位置
$3$用一个非零的数乘以某一行

接着有阶梯型方程组所对应的矩阵被称为阶梯型矩阵，其特点是：
$1$元素全为0的行在下方（如果有零行的话）
$2$元素不全为0的行，从左边数第一个不为零的元素称为主元，而且主元的列指标随行指标的递增而不断递增

与此同时我们也将阶梯型方程组做出如下定义：阶梯型方程组中每个方程组的第一个元素称为领头未知量，领头未知量确定完毕后剩下的就是自由未知量，这对我们接下来的证明会很有帮助。

五、线性方程组的解的情况及其判别依据

对于一个线性方程组我们可以想象出其解存在三种情况。以阶梯型方程组表示则有：

1. 有无穷多解
   例如：$$\{\begin{array}{l}{x}_1+2x_2-3x_3=2\\ x_3=1\end{array}\text{\hspace{1em}(1)}$$
2. 有唯一解
   例如：$$\{\begin{array}{l}{x}_1+2x_2=2\\ x_2=1\end{array}\text{\hspace{1em}(2)}$$
3. 无解
   例如：$$\{\begin{array}{l}{x}_1+2x_2+x_3+x_4=2\\ -2x_2-8x_4=-6\\ 0=1\end{array}\text{\hspace{1em}(3)}$$

通过上述三个例子我们不难发现

1. 如果阶梯型方程组中出现了“ $0=1$ ",则该方程组必定无解。

2. 如果阶梯型方程组中出现了自由未知量但无“ $0=1$ "，则该方程组必定有无穷多解。因为我们可以通过让自由未知量取任意值来让领头未知量有不同的值，从而让方程组纯在无穷多个解的效果

3. 如果方程组中无自由未知量且没有出现“ $0=1$ "，则该方程组必定有唯一解。

我想这种判断依据应该能够比较简单的表现出线性方程组解的情况以及判断依据。

因此对于一般的线性方程组我们总可以将他化成阶梯型方程组，然后根据自由未知量和$0=1$来判断他的解的情况。

六、齐次线性方程组的解的情况及其判别依据

齐次线性方程组是一种比较特殊的线性方程组，其常数项全为零，所以我们也没有必要研究他的增广矩阵，取而代之的是研究他的系数矩阵。如：
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \cdots \cdots \cdots \cdots \cdots \\ a_{s1}{x}_1+a_{s2}{x}_2+\cdots +a_{sn}{x}_n=0\end{array}$$

另外不得不说的是齐次线性方程组总是存在解，因为大不了$x$全部取0嘛，但是这种解对于我们来说作用不大，我们更加关注的还是齐次线性方程组的非零解。

类比线性方程组，我们将无解的情况去掉既是齐次线性方程组的解的判断依据。即：

1. 如果阶梯型方程组中出现了自由未知量，则该齐次线性方程组必定有无穷多解。

2. 如果方程组中无自由未知量且没有出现，则该齐次线性方程组必定有唯一解。

因此我们就可以证明书中的定理：
若$m<n$,则齐次线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \cdots \cdots \cdots \cdots \cdots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=0\end{array}$$
存在非零解。

证明：

上述齐次线性方程组经过初等变换化为阶梯型方程组后，至多存在$m$个领头未知量，因而通解中至少会存在$n-m$个自由未知量。只要齐次线性方程组的阶梯型方程组出现自由未知量，则方程组必定存在非零解。

特别的当$m=n$时，根据克莱姆法则，如果齐次线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \cdots \cdots \cdots \cdots \cdots \\ a_{n1}{x}_1+a_{n2}{x}_2+\cdots +a_{nn}{x}_n=0\end{array}$$
的系数矩阵$A=(a_{ij}{)}_{n\times n}$的行列式$|A|\ne 0$，则上述方程组只有零解。

证明：
$$A=\left[\begin{array}{ccccc}{a}_{11}& a_{12}& a_{13}& \cdots & a_{1n}\\ a_{21}& a_{22}& a_{23}& \cdots & a_{2n}\\ a_{31}& a_{32}& a_{33}& \cdots & a_{3n}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ a_{n1}& a_{n2}& a_{n3}& \cdots & a_{nn}\end{array}\right]$$
可以通过初等变换化为阶梯型行列式B
$$B=\left[\begin{array}{ccccc}{b}_{11}& b_{12}& b_{13}& \cdots & b_{1n}\\ b_{21}& b_{22}& b_{23}& \cdots & b_{2n}\\ b_{31}& b_{32}& b_{33}& \cdots & b_{3n}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ b_{n1}& b_{n2}& b_{n3}& \cdots & b_{nn}\end{array}\right]$$
虽然我们不知道$|B|$的每个元素的值，但我们能够推断出$B$的 非零行数$r\le n$
我们分两种情况讨论。

1. $B$ 的非零行数 $r=n$
   设各非零行的首元素依次为：$b_{1j_1},b_{2j_2},b_{3,j_3},\cdots ,b_{n,j_n}$
   根据阶梯型行列式的定义可知 $1\le j_1＜j_2＜\cdots ＜j_n\le n$
   显然有：$j_1=1,j_2=2,\cdots ,j_n=n$
   根据行列式的性质：
   $$|A|=\left[\begin{array}{ccccc}{a}_{11}& a_{12}& a_{13}& \cdots & a_{1n}\\ a_{21}& a_{22}& a_{23}& \cdots & a_{2n}\\ a_{31}& a_{32}& a_{33}& \cdots & a_{3n}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ a_{n1}& a_{n2}& a_{n3}& \cdots & a_{nn}\end{array}\right]=\left[\begin{array}{ccccc}{b}_{11}& b_{12}& b_{13}& \cdots & b_{1n}\\ 0& b_{22}& b_{23}& \cdots & b_{2n}\\ 0& 0& b_{33}& \cdots & b_{3n}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& \cdots & b_{nn}\end{array}\right]=b_{11}{b}_{22}\cdots b_{nn}\ne 0$$

2.$B$ 的非零行数 $r＜n$
由$r<n$ 可知，最后的$b_{nn}$必定为0.
则$|A|=0$

综上我们就证明了为什么n个齐次线性方程组的系数行列式为0时存在非零解。