题目
设 , 为三阶单位矩阵.
求方程组 的一个基础解系.
求满足 的所有矩阵 .
解析
对于第 问,我们可以利用初等行变换,单独将矩阵 化简为行最简型矩阵,之后即可按照常规步骤求出 的一个基础解系。但是,为了更方便在第 问中求解,我们这里可以构造组合矩阵 , 之后,在组合矩阵 中,通过初等行变换,将属于矩阵 的部分化简成行最简型矩阵(至于为什么要这样做,我们在后面会有讨论),化简过程如下:
第 问
观察可知,上面 式中的第三列,即 ” ” 这一列为自由项,在求齐次通解时应设为 ” “, 于是,由矩阵 的行最简形式 可以求出齐次线性方程组 的一个基础解系为:
第 问
观察可知,题目中所给的矩阵 并不是一个方阵,因此,矩阵 是不可逆的。也就是说,我们【不可以】按照如下方式求出矩阵 , 因为矩阵 并不存在:
对于求解形如 “” 这样的式子,且矩阵 不是方阵或者不可逆的情况,我们可以将矩阵 和矩阵 分别按列拆分成单列,之后分别代入求通解,最后将通解拼合起来就能得到矩阵 .
由“非齐通=齐通+非齐特”定理可知,要求出“非齐通”,就要先求出“齐通”和“非齐特”。
注:
[1]. 非齐通:即“非齐次线性方程组的通解”;
[2]. 齐通:即“齐次线性方程组的通解”;
[3]. 非齐特:即“非齐次线性方程组的特解”。
第一步:求出非其次线性方程组 对应的齐次线性方程组 的通解(齐通)
由第 问可知,齐次线性方程组 的基础解系为:
因此,齐次线性方程组 的通解为:
其中 为任意常数。
第二步:求出非其次线性方程组 的特解(非齐特)
接着分析,虽然矩阵 不可逆,但我们仍然可以在“变通”之后,继续使用逆矩阵的性质,过程如下:
我们先把上面经过初等行变换得到的 式拿过来写在下面:
如前面所述, 式中的第三列是自由列,在求“非齐特”的时候,为了简化计算过程,我们可以将对应于自由列的自由未知数设为 . 也就是说, 式中的第三列在我们计算 这个非齐次线性方程组的特解的时候,相当于不存在,因此,我们可以将该列单独分隔开:
观察 式可知,第三列前面的三列(即前三列)可以组成一个单位矩阵。如果我们将进行初等行变换化简前的前三列视作矩阵 , 即将原来的矩阵 的前三列看作一个矩阵 , 则:
进而,由 式可知,在经过初等行变换后,矩阵 的逆矩阵就是:
于是可知,下式成立:
接着,我们只需要给矩阵 的最左侧加上一列 , 即可将其变成化简后的矩阵 . 同时,我们只需要在矩阵 的最下面加上一行 即可在 的运算过程中使刚才在矩阵 的最左侧加上的 这一列失效,进而可知, 与 是等效的,而且,这里的矩阵 就是通过在矩阵 的最下面加上一行后得到的,即:
进而可知,矩阵 就是 的一个特解。
注:
[1]. 对于上文中用到的矩阵 而言,将原来的 式转化成化简得到的 式的过程其实就是 这一过程:
第三步:拼合“齐通”和“非齐特”得“非齐通”
如果令 , , 则:
的通解为:
的通解为:
的通解为:
注:
[1]. 这里使用 , , 是为了体现变量 是一个任意常数的属性。
于是, 中的矩阵 就是:
其中,, , 为任意常数。
当然,除了按照上述方法求出“非齐特”之外,我们还可以仅仅利用矩阵 计算“非齐特”。不过,这里需要注意的是,我们只能用化简成行最简形式的矩阵 确定自由未知数的位置,但不能将化简后的矩阵 代入到 中求“非齐特”,因为此时矩阵 与 矩阵 之间的比例关系已经被破坏了,我们必须用原来未经修改的矩阵 代入到 中求出的“非齐特”才是正确的“非齐特”。