前置知识:
- 【定义】线性方程组
- 线性方程组的矩阵形式
设有 个未知数
个方程的线性方程组
上式可以写成以向量 为未知元的向量方程
定义 1 线性方程组如果有解,就称它是 相容 的;如果无解,就称它 不相容。
利用系数矩阵 和增广矩阵
定理 2 阶线性方程组
(1) 无解的充分必要条件是 ;
(2) 有唯一解的充分必要条件是 ;
(3) 有无限多解的充分必要条件是 。
证明 因为无解、有唯一解和有无限多解这 3 种情况涵盖了所有解的所有可能。所以 1 的必要性,是 2 和 3 的充分性的逆否命题;2 的必要性,是 1 和 3 的充分性的逆否命题;3 的必要性,是 1 和 2 的充分性的逆否命题。因此,只需要以此证明这 3 个条件的充分性即可。
设
。不妨设
的行最简形矩阵为
(1) 若
,则
中的
,于是
的第
行对应矛盾方程
,故方程
(2) 若
,则行最简形矩阵
中
个非零行的首非零元对应的未知数均不是自由未知数,故方程
(3) 若
,则行最简形矩阵
中
个非零行的首非零元对应的未知数不是自由未知数,而其余
个未知数均为自由未知数,故方程
根据定理 2,可得线性方程组理论中两个最基本的定理,分别是
定理 3 元齐次线性方程组
有非零解的充分必要条件是
。
证明 因为
,所以
。
证明充分性。当
证明必要性。当
时,只有唯一的零解。因此,若
有非零解,则
。
定理 4 线性方程组 有解的充分必要条件是
。
证明 定理 4 为定理 2 (1) 的逆否命题,得证。
将定理 4 推广到矩阵方程,得到定理和证明如下:
定理 5 矩阵方程 有解的充分必要条件是
。
证明 设
为
矩阵,
为
矩阵,则
为
矩阵。把
和
按列分块,记为
则矩阵方程等价于
个向量方程
又,设,且
的行最简形矩阵为
,有
有
的非零行,且
的后
行全为零行。再设
从而
依据上述讨论,有如下推论过程:
- 根据上述讨论:
有解(
)
- 根据定理 4:
有解
(
)
的后
个元全为零(
)
的后
个元全为零
的后
行全为零行(
)
的后
行全为零行
(
)
综上所述:
![]()
![]()
。