【线性代数（12）】线性方程组、方程组解的结构

手动反爬虫： 原博地址

 知识梳理不易，请尊重劳动成果，文章仅发布在CSDN网站上，在其他网站看到该博文均属于未经作者授权的恶意爬取信息

如若转载，请标明出处，谢谢！

1 线性方程组

最熟悉的鸡兔同笼的问题，假使鸡兔共八只，腿共20条，请问有多少鸡和兔子？

古人思路：
1）抬脚法：兔子抬起两只脚，那么鸡兔共16条腿，剩下4腿就是兔子的，所以兔子2只，鸡6只
2）落脚法：假使鸡有四条腿，都落下来，鸡兔共32条腿，多的12条腿就是鸡的，所以鸡6只，兔子2只

如果使用现代的方程组的思路就是：设鸡有$x$只，兔子$y$只，方程组为：$\{\begin{array}{l}x+y=8\\ 2x+4y=20\end{array}\Rightarrow \{\begin{array}{l}x=6\\ y=2\end{array}$

方程的运算（消元法）基本步骤：
1）交换两方程
2）用非零数乘其方程
3）某方程的$l$倍加到另一方程
可以发现消元法解方程就对应着三种初等行变换，因此上面的方程组形式就可以简化一下使用矩阵进行表示，比如计算过程如下
$$\left(\begin{array}{ccc}1& 1& 8\\ 2& 4& 20\end{array}\right)\Rightarrow \left(\begin{array}{ccc}1& 1& 8\\ 0& 1& 2\end{array}\right)\Rightarrow \left(\begin{array}{ccc}1& 0& 6\\ 0& 1& 2\end{array}\right)$$

2 方程组有解的判定

2.1 方程组的向量和矩阵表示

假使方程组如下，可以转化为向量的表示形式
$$\{\begin{array}{l}{x}_1+x_2+x_3=1\\ x_1-x_2-x_3=-3\\ 2x_1+9x_2+10x_3=11\end{array}\Rightarrow x_1\left(\begin{array}{c}1\\ 1\\ 2\end{array}\right)+x_2\left(\begin{array}{c}1\\ -1\\ 9\end{array}\right)+x_3\left(\begin{array}{c}1\\ -1\\ 10\end{array}\right)=\left(\begin{array}{c}1\\ -3\\ 11\end{array}\right)\Rightarrow x_1{\alpha }_1+x_2{\alpha }_2+x_3{\alpha }_3=\beta$$矩阵表示形式：系数矩阵就为方程组变量的所有系数构成的矩阵，记作$A$，增广矩阵就是在系数矩阵的基础上添加常数项，记作$\overline{\text{A}}$
$$A=\left(\begin{array}{ccc}1& 1& 1\\ 1& -1& -1\\ 2& 9& 10\end{array}\right)\overline{\text{A}}=\left(\begin{array}{cccc}1& 1& 1& 1\\ 1& -1& -1& -3\\ 2& 9& 10& 11\end{array}\right)$$使用消元法进行方程组的求解，实际上就是对增广矩阵进行初等变换

2.2 方程组解的判定

假使最后化简的增广矩阵的式子如下
$$\left(\begin{array}{cccc}1& 0& 0& 1\\ 0& 1& 0& 2\\ 0& 0& 1& 3\end{array}\right)\Rightarrow \{\begin{array}{l}{x}_1=1\\ x_2=2\\ x_3=3\end{array}\Rightarrow 方程组有唯一解，r(A)=r(\overline{\text{A}})=3=未知数个数$$
$$\left(\begin{array}{cccc}1& 0& 1& 5\\ 0& 1& 1& 9\\ 0& 0& 0& 0\end{array}\right)\Rightarrow \{\begin{array}{l}{x}_1=5-x_3\\ x_2=9-x_3\end{array}\Rightarrow 方程组无穷多解，r(A)=r(\overline{\text{A}})=2<未知数个数$$
$$\left(\begin{array}{cccc}1& 0& 1& 5\\ 0& 1& 1& 9\\ 0& 0& 0& 1\end{array}\right)\Rightarrow \{\begin{array}{l}{x}_1=5-x_3\\ x_2=9-x_3\\ 0=1\end{array}\Rightarrow 方程组无解，r(A)<r(\overline{\text{A}})$$

结论：
1）当$r(A)=r(\overline{\text{A}})$，方程组有解$\{\begin{array}{l}r(A)=r(\overline{\text{A}})=n,唯一解\\ r(A)=r(\overline{\text{A}})<n,无穷多解\end{array}$
2）当$r(A)\ne r(\overline{\text{A}})$，方程组无解

★★★★★关于方程组中的$m,n$，其中$m$是指方程的个数，$n$是指未知数的个数

解题步骤：

1）写出增广矩阵$\overline{\text{A}}$

2）只做初等行变换，化为阶梯型矩阵

3）对比$r(A),r(\overline{\text{A}})$值，阶梯型中虚线左边非零行行数与右边的非零行行数的对比

4）化为行最简阶梯型，不管零行，非零行的首非零元留在左边，其余变量挪到右边得到一般解（要变号）

例题，经过转化后的增广矩阵和求解过程如下
$$\overline{\text{A}}=\left(\begin{array}{ccccc}1& 2& 3& 1& 2\\ 0& 3& 7& -1& 3\\ 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0\end{array}\right)\Rightarrow \left(\begin{array}{ccccc}1& 0& -\frac{5}{3}& \frac{5}{3}& 0\\ 0& 1& \frac{7}{3}& \frac{1}{3}& 1\\ 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0\end{array}\right)\Rightarrow \{\begin{array}{l}{x}_1=\frac{5}{3}{x}_3-\frac{5}{3}{x}_4\\ x_2=1-\frac{7}{3}{x}_3+\frac{1}{3}{x}_4\end{array}$$