线性代数及应用1.5.2非齐次线性方程组

大家好，这里是37的数学屋~

在上一节中，我们讨论了线性代数中的齐次线性方程组，我们这节来讲讲非齐次线性方程组。

在步入正题之前，我们先来简单引入一个概念——参数向量。

我们在前面的章节中简单地讲解过向量方程，就是形如

的式子 。

那我们知道，在中，的展开式是一个列，而的展开式则是一个矩阵，如果我们令的列数为，的行数为，则有。

当我们将的通解写成向量形式后，我们会得到形如

的式子。这个式子就是我们所说的参数向量形式。可以看到我们的 都被定义成了这样的参数。

还是上一节的例子：的化简。

我们发现这个式子如果按照中的矩阵来展开，它的列数是大于行数的，这也就导致了会有两个自由变量和。

再来看看它的解集

对照上述讲的，是不是 都被定义成了这样的参数，而像和这样的向量则写成了和。

像的式子我们称之为平面的隐式描述，而像则被称作显示描述。

在了解完参数向量这个概念之后，我们正式开始讨论非齐次线性方程组。

我们知道，上一节中对齐次线性方程组有一个通式，类比微积分中的非齐次式，我们可以得到就是非齐次线性方程组的通式。 

而对于非齐次线性方程组有一个说法是，它的通解可以写成一个单独的向量加上它对应的齐次方程的一些向量的任意线性组合。

也就是说，当非齐次线性方程组有许多解的时候，他的通解形式可以写成参数向量。

这个怎么来理解呢？

就我们来单纯的拿一个式子来举例。比如

我们其实可以看出它的自由变量是有 和两个。我们对其进行显示展开，得到下列式子：

代入有

 

这样就会得到上述结论的证明，将通解写成参数向量的形式。

在上文我们讲到过，我们可以将齐次线性方程的通解写成，那么我们结合非齐次线性方程的解的推导则可以写成方程的通解。(和是参数)

那我们能不能试着从几何的角度来理解这个非齐次线性方程组通解的式子呢？

我们知道，和是两个向量，我们假定这两个向量是在中，那么他们就是在一个笛卡尔坐标系中的两个向量，他们的系数是和。

有了这个假设，我们就可以将两个向量加起来得到一个新向量，则有非齐次线性方程组的解集可以写成。

那我们对于则会有经过它的一条直线，加上之后，只是沿着的方向进行平移距离。

就像这样：

如果我们设直线是通过的直线，那么就是上每个点加上后的直线，而点也在上，我们也可以说是通过点并且与平行的直线。

那我们就很容易归纳出一个结论：的解集就是一条通过点并且与的解集平行的直线。

那我们如何对的解集进行一个总结呢？

首先，对于某个是相容的，且由于点在解集的直线上，所以就是的特解。

那么它的解集就是所有形如的形式，其中是的通解。

我们这里只讨论了中的情况，也就是只有一个自由变量。那当我们有两个自由变量，的时候呢？非齐次线性方程的解集又是什么样子的呢？

实际上，当自由变量多一个的时候，解集就会多一条直线，比如，当我们的自由变量有两个的时候，就会有两条线和，但是它们并不是在笛卡尔坐标系中表示，而是因为在中我们一般会在空间几何坐标系中进行思考。

向量和向量由于不平行，在空间中会相交成一个平面，再加上的平移后，实际上是整个平面的平移。

但是值得注意的是，上述定理只适用于至少有一个非零解的前提。当无解时，解集就是空集。