线性代数（第四章）线性方程组

第四章 线性方程组

4.1 线性方程组

● 由二元一次方程的消元法，交换两个方程，用非零数乘以某个方程，某方程乘以k倍加到另一方程。这个与矩阵的初等行变换相似。
● 将上面方程组的未知数去掉，将系数写在一个矩阵中。就可以表示该方程组。并可以通过矩阵的初等行变换求解。

4.2 线性方程组有解的判定

● 系数矩阵，将方程组所以方程等号左边的系数写成一个矩阵。
● 增广系数矩阵(记作 $\bar{A}$)，在系数矩阵的右侧加方程组等号右侧的数字（只有一列）。
● 向量表达式，每个未知数与该未知数的系数组成的向量的乘积之和等于方程组等号右侧数字组成的矩阵。
● 判断方程组的系数矩阵和增广型系数矩阵的秩的关系便可以判断方程组有解与否。

● 判断方程组系数矩阵和增广型系数矩阵的秩是否相等的步骤
1.写出增广型系数矩阵
2.只做初等行变换，将矩阵转换成阶梯型
3.阶梯型中虚线左右非零行行数是否等于
4.不管全为0的行，左边首非零元留在左边，其他变量挪到右边。得到一般解
5.如果是无穷型，那么为零的未知数就是自由未知量。
● 在矩阵中出现参数的时候，一定注意参数不能放在分母。

4.3 齐次线性方程组

● 齐次方程组指的是方程组的等号右边都是0.
● 齐次线性方程组一定有解，至少有0解。
● $r(A)=r(\bar{A})$ 有唯一的零解$\iff$ r(A)=n
有非零解$\iff r(A)<n$
方程个数小于未知数个数，有非零解。$r(A)<min(m,n)<n$
方程个数等于未知数个数，有非零解$\iff \left|\begin{array}{c}A\end{array}\right|=0\iff r(A)<n\iff A不可逆$

4.4.1 齐次方程组解的结构

● 对于 齐次方程组
1.$$\begin{gathered} {\eta }_1和{\eta }_2是Ax=0的解，那么{\eta }_1+{\eta }_2也是它的解 \\ A({\eta }_1+{\eta }_2)=A{\eta }_1+A{\eta }_2=0+0=0 \end{gathered}$$
2.$\eta 是Ax=0的解，c\eta 也是解，那么A(c\eta )=cA\eta =c\cdot 0=0$

● 基础解系：1.${\eta }_1\cdots {\eta }_s线性无关$ 2.任意一个解都可以由${\eta }_1\cdots {\eta }_s$来表示

● 基础解系就是极大线性无关组。
● 将矩阵进行初等行变换，然后化简成行简化阶梯型。
自由未知量取最大线性无关组
● 基础解系中解的个数是$n-r(A)$个。
● 结论：$A_{m\times n}、B_{n\times s}AB=0_{n\times s}那么：r(A)+r(B)\le n$证明过程，将矩阵B分为s个向量，这个地方之所以要分块是因为要凑出矩阵乘以向量等于零（齐次线性方程组）；然后如第二、三行所示，$A{B}_i=0$ 这个就是齐次线性方程组。 之后分类讨论。

4.4.2 非齐次方程组解的结构

● 矩阵乘以向量等于一个 常数 ，就是非齐次方程组 。即Ax=b 令b=0,那么Ax=0就是导出组。
${\alpha }_1、{\alpha }_2是Ax=b的解,{\alpha }_1-{\alpha }_2是Ax=0的解。A({\alpha }_1-{\alpha }_2)=A{\alpha }_1-A{\alpha }_2=b-b=0$
${\alpha }_0是Ax=b的解，\eta 是Ax=0的解，{\alpha }_0+\eta 是Ax=b的解,A({\alpha }_0+\eta )=A{\alpha }_0+A\eta =b+0=b$

● 定理：${\alpha }_0是Ax=b的一个解,\eta 是Ax=0的通解\eta =C_1{\eta }_1+C_2{\eta }_2+cdots+Cn-r\eta n-r,{\eta }_{n-r}是Ax=0的基础解系{\alpha }_0+C_1{\eta }_1+C_2{\eta }_2+cdots+Cn-r\eta n-r就是Ax=b的全解(通解)$
● 例题：

所以通解为：$\left(\begin{array}{c}\frac{13}{7}\\ -\frac{4}{7}\\ 0\\ 0\end{array}\right)+C_1\left(\begin{array}{c}-\frac{3}{7}\\ -\frac{2}{7}\\ 0\\ 0\end{array}\right)+C_2\left(\begin{array}{c}-\frac{13}{7}\\ -\frac{4}{7}\\ 0\\ 0\end{array}\right)$
● 步骤：
1.写出增广型系数矩阵，只做初等行变换，化为行简化阶梯型
2.非零行的首非零元的1留在左边，其余的移到右边，写出非齐次方程组的通解方程组，指出谁是自由未知量(不在左边是自由未知量)
3.令自由未知量均取0，得到Ax=b的一个特解。
4.令通解方程组右边常数项均为0，得到Ax=0的通解方程组。指出谁是自由未知量，令自由未知量取最大线性无关组，得到Ax=0的基础解系
5.按${\alpha }_0+C_1{\eta }_1+C_2{\eta }_2+\cdots +C_{n-r}{\eta }_{n-r}$ 得出非齐次方程组的通解
● 例题：
四元非齐次方程组的系数矩阵的秩为3，$$\begin{gathered} {\alpha }_1、{\alpha }_2、{\alpha }_3是方程组的三个解 \\ 其中{\alpha }_1=(2,3,4,5{)}^T,{\alpha }_2+{\alpha }_3=(1,2,3,4{)}^T \end{gathered}$$
求：通解
解：通解=Ax=b的一个特解+导出组基础解系的线性组合
其中${\alpha }_1,{\alpha }_2,{\alpha }_3都是特解，但是只有{\alpha }_1给出，所以把{\alpha }_1做特解$
导出组的基础解系的解的个数=n-r 在本题中=4-3=1。
由${\alpha }_1、{\alpha }_2是Ax=b的解,{\alpha }_1-{\alpha }_2是Ax=0的解。A({\alpha }_1-{\alpha }_2)=A{\alpha }_1-A{\alpha }_2=b-b=0$
所以$2{\alpha }_1-{\alpha }_2-{\alpha }_3就是导出组的基础解系$