前置知识:

  • 【定义】线性方程组
  • 线性方程组的矩阵形式

设有 线性方程组与矩阵的秩_系数矩阵 个未知数 线性方程组与矩阵的秩_系数矩阵_02 个方程的线性方程组
线性方程组与矩阵的秩_线性方程组_03
上式可以写成以向量 线性方程组与矩阵的秩_系数矩阵_04 为未知元的向量方程
线性方程组与矩阵的秩_系数矩阵_05
定义 1 线性方程组如果有解,就称它是 相容 的;如果无解,就称它 不相容

利用系数矩阵 线性方程组与矩阵的秩_线性方程组_06 和增广矩阵 线性方程组与矩阵的秩_线性方程组_07

定理 2 线性方程组与矩阵的秩_系数矩阵_08 阶线性方程组 线性方程组与矩阵的秩_线性方程组_09

(1) 无解的充分必要条件是 线性方程组与矩阵的秩_系数矩阵_10

(2) 有唯一解的充分必要条件是 线性方程组与矩阵的秩_系数矩阵_11

(3) 有无限多解的充分必要条件是 线性方程组与矩阵的秩_线性方程组_12

证明 因为无解、有唯一解和有无限多解这 3 种情况涵盖了所有解的所有可能。所以 1 的必要性,是 2 和 3 的充分性的逆否命题;2 的必要性,是 1 和 3 的充分性的逆否命题;3 的必要性,是 1 和 2 的充分性的逆否命题。因此,只需要以此证明这 3 个条件的充分性即可。

线性方程组与矩阵的秩_系数矩阵_13。不妨设 线性方程组与矩阵的秩_系数矩阵_14 的行最简形矩阵为
线性方程组与矩阵的秩_系数矩阵_15

(1) 若 线性方程组与矩阵的秩_线性方程组_16,则 线性方程组与矩阵的秩_线性方程组_17 中的 线性方程组与矩阵的秩_系数矩阵_18,于是 线性方程组与矩阵的秩_线性方程组_17 的第 线性方程组与矩阵的秩_系数矩阵_20 行对应矛盾方程 线性方程组与矩阵的秩_系数矩阵_21,故方程 线性方程组与矩阵的秩_线性方程组_22

(2) 若 线性方程组与矩阵的秩_系数矩阵_23,则行最简形矩阵 线性方程组与矩阵的秩_线性方程组_17线性方程组与矩阵的秩_系数矩阵_08 个非零行的首非零元对应的未知数均不是自由未知数,故方程 线性方程组与矩阵的秩_线性方程组_22

(3) 若 线性方程组与矩阵的秩_系数矩阵_27,则行最简形矩阵 线性方程组与矩阵的秩_线性方程组_17线性方程组与矩阵的秩_线性方程组_29 个非零行的首非零元对应的未知数不是自由未知数,而其余 线性方程组与矩阵的秩_系数矩阵_30 个未知数均为自由未知数,故方程 线性方程组与矩阵的秩_线性方程组_22

根据定理 2,可得线性方程组理论中两个最基本的定理,分别是

定理 3 线性方程组与矩阵的秩_系数矩阵_08 元齐次线性方程组 线性方程组与矩阵的秩_线性方程组_33 有非零解的充分必要条件是 线性方程组与矩阵的秩_线性方程组_34

证明 因为 线性方程组与矩阵的秩_线性方程组_35,所以 线性方程组与矩阵的秩_系数矩阵_36

证明充分性。当 线性方程组与矩阵的秩_系数矩阵_37

证明必要性。当 线性方程组与矩阵的秩_系数矩阵_23 时,只有唯一的零解。因此,若 线性方程组与矩阵的秩_线性方程组_33 有非零解,则 线性方程组与矩阵的秩_系数矩阵_37

定理 4 线性方程组 线性方程组与矩阵的秩_线性方程组_09 有解的充分必要条件是 线性方程组与矩阵的秩_系数矩阵_42

证明 定理 4 为定理 2 (1) 的逆否命题,得证。

将定理 4 推广到矩阵方程,得到定理和证明如下:

定理 5 矩阵方程 线性方程组与矩阵的秩_系数矩阵_43 有解的充分必要条件是 线性方程组与矩阵的秩_线性方程组_44

证明 设 线性方程组与矩阵的秩_线性方程组_45线性方程组与矩阵的秩_系数矩阵_46 矩阵,线性方程组与矩阵的秩_系数矩阵_47线性方程组与矩阵的秩_系数矩阵_48 矩阵,则 线性方程组与矩阵的秩_系数矩阵_49线性方程组与矩阵的秩_线性方程组_50 矩阵。把 线性方程组与矩阵的秩_系数矩阵_49线性方程组与矩阵的秩_系数矩阵_47 按列分块,记为
线性方程组与矩阵的秩_线性方程组_53
则矩阵方程 线性方程组与矩阵的秩_系数矩阵_54 等价于 线性方程组与矩阵的秩_系数矩阵_55 个向量方程
线性方程组与矩阵的秩_系数矩阵_56
又,设 线性方程组与矩阵的秩_系数矩阵_13,且 线性方程组与矩阵的秩_线性方程组_45 的行最简形矩阵为 线性方程组与矩阵的秩_线性方程组_59,有 线性方程组与矩阵的秩_线性方程组_59线性方程组与矩阵的秩_线性方程组_29 的非零行,且 线性方程组与矩阵的秩_线性方程组_59 的后 线性方程组与矩阵的秩_系数矩阵_63 行全为零行。再设
线性方程组与矩阵的秩_系数矩阵_64
从而
线性方程组与矩阵的秩_线性方程组_65
依据上述讨论,有如下推论过程:

  • 根据上述讨论:线性方程组与矩阵的秩_线性方程组_66线性方程组与矩阵的秩_系数矩阵_67线性方程组与矩阵的秩_线性方程组_68有解(线性方程组与矩阵的秩_线性方程组_69
  • 根据定理 4:线性方程组与矩阵的秩_线性方程组_68有解线性方程组与矩阵的秩_系数矩阵_67线性方程组与矩阵的秩_线性方程组_72线性方程组与矩阵的秩_线性方程组_69
  • 线性方程组与矩阵的秩_线性方程组_72线性方程组与矩阵的秩_系数矩阵_67线性方程组与矩阵的秩_系数矩阵_76的后线性方程组与矩阵的秩_系数矩阵_77个元全为零(线性方程组与矩阵的秩_线性方程组_69
  • 线性方程组与矩阵的秩_系数矩阵_76的后线性方程组与矩阵的秩_系数矩阵_77个元全为零线性方程组与矩阵的秩_系数矩阵_67线性方程组与矩阵的秩_系数矩阵_82的后线性方程组与矩阵的秩_系数矩阵_77行全为零行(线性方程组与矩阵的秩_线性方程组_69
  • 线性方程组与矩阵的秩_系数矩阵_82的后线性方程组与矩阵的秩_系数矩阵_77行全为零行线性方程组与矩阵的秩_系数矩阵_67线性方程组与矩阵的秩_线性方程组_88线性方程组与矩阵的秩_线性方程组_69

综上所述:线性方程组与矩阵的秩_系数矩阵_43 线性方程组与矩阵的秩_系数矩阵_91 线性方程组与矩阵的秩_线性方程组_92