【求解AX=b】

可解性

我们还是以上一节的矩阵$A$为例：

$$A=\left[\begin{array}{c}1222\\ 2468\\ 36810\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\\ x_4\end{array}\right]=\left[\begin{array}{c}{b}_1\\ b_2\\ b_3\end{array}\right]$$

• 这个矩阵第三行是由第一行和第二行相加而得到的
• 如果这个方程组有解，必须满足：$b_3=b_1+b_2$，即左侧各行的线性组合得到0，那么右侧常数的相同组合必然为0
• 同样按照上节课的知识，$b$必须位于$A$的列空间内，即$b$必须是$A$各列线性组合得到的

​ 下面我们进行消元，由于这里$b$不一定等于0，因此我们看$A$的增广矩阵：

$$\left[\begin{array}{c}1222|b_1\\ 2468|b_2\\ 36810|b_3\end{array}\right]$$

经过初等变换消元我们可以得到：

$$\left[\begin{array}{cc}1222|& b_1\\ 0024|& b_2-2b_1\\ 0000|& b_3-b_2-b_1\end{array}\right]$$

因此我们经过回代就可以得到$b_3-b_2-b_1=0$

解的结构

​ 上面已经证明了$AX=b$有解的条件，下面再来看一下应该如何进行求解

下面讲求一种特解的简单方式：令所有自由变量都等于0，再求解主变量

• 对于这个题，即令$x_2=x_4=0$，进而我们可以得到线性方程组如下：

​ $$x_1+&2x_3 =b_1\&2x_3 =b_2\$$

• 进而求得：

  KaTeX parse error: Expected 'EOF', got '&' at position 5: x_1=&̲b_1-b_2\\x_3=&\…

那么我们应该如何求得所有的解呢？

• 答案是对于任意一个特解$x_p$，我们令其与$A$的令空间内的任意向量$x_n$相加，得到的结果的集合就是所有的解

• 证明：$A{x}_p=b$，$A{x}_n=0$，因此$A(x_p+x_n)=b$

• 换句话说，-对于方程组某解，其与令空间内任意向量之和仍为解

下面我们再来看更加泛化的情况：

• 设$A$是一个$m\times n$并且秩为$r$的矩阵（隐含条件$r\le m，$$r\le n$）

第一种情况，列满秩，即$r=n（默认n\le m）$

• 此时每列都有主元，因此所有变量都是主变量，没有自由变量，所以此时零空间只有零向量
• 我们再来看$AX=b$的特解，如果此时有解的话，那么只能有一个特解$x=x_p$，即此时只能有一个或零个解

第二种情况，行满秩，即$r=m(默认m\le n)$

• 此时每行都有主元，因此方程的个数小于等于未知数的个数，此时一定有解

• 此时一共有$n-m$个自由变量

第三种情况，$r=m=n$

• 对于这种可逆方阵来说其最终一定可以化简成单位矩阵$I$
• 其零空间同样只包含零向量
• 这种情况下有唯一解