第13章 线性方程组 概念导航
主线
前三章一路在问”矩阵退化了没有、退化到几维、退化背后的几何对象是什么”。本章问的是最后一个也是最实用的问题:退化了之后,方程还有没有解、解集长什么样。
一句话串起全章:
两个秩,一个维数,三件事全定。 本章所有题型——含参讨论、公共解、同解、抽象秩、几何——都是这条链条在不同外壳下的重复。
常用对照表
| 看到什么 | 用哪个数 |
|---|---|
| 有没有解 | |
| 解唯不唯一 | |
| 基础解系几个向量 | |
| 两组的公共解 |
核心概念
- 方程组解的结构 — 解集 = 一个特解 + 整个零空间;系数和为 1 给特解、为 0 给齐次解
- 相容性的秩判据 — 三档判别 + 含参讨论的两条路线
- 消元、自由变量与基础解系 — 行变换 = 左乘可逆阵;自由变量认列不认位置;标准流程做出的基础解系自动无关
- 解空间的维数与交 — 公共解就是交;维数和
必有非零公共解 - 同解、行空间与正交补 — 同解
行空间相同; - 抽象方程组的秩词典 — 把每句话翻译成秩的不等式,夹出确切的秩
- $A^{\mathrm T}A$ 同解定理与法方程 —
是唯一能”脱一层”的机制;法方程恒有解 - 方程组的几何意义 —
数朝向, 判打不打架
典型题型
计算线(先练熟)
- 消元法、基础解系与矩阵右端(5 题) — 标准五步;
每列一套参数 - 解的结构与通解构造(8 题) — 系数和配平;验特解、验无关、数个数；先线性表示再左乘
（1000题基础篇 第4章 11） - 含参方程组的解的讨论(8 题) — 算
因式分解 → 逐根代回增广矩阵
关系线(两个方程组之间)
- 两个方程组的公共解(4 题) — 联立法 / 代入法 / 双解系待定系数
- 同解方程组与解集包含(5 题) — 代通解定参数;“包含 + 维数相等 ⟹ 相等”
- 列向量重组与新方程组(5 题) — 抄下表示式与关系式,用它们凑一切；由通解反求
并代回核对（880 综合填空 3）
抽象线(分差距的地方)
- 抽象方程组:秩、伴随与 AB=O(13 题) — 秩词典;伴随三分法;
白捡解 - $A^{\mathrm T}A$ 型方程组与法方程(5 题) — 左乘
凑范数;识别废话条件 - 抽象分块方程组的同解判定(6 题) — 拆分块、删废话方程、左乘可逆不改解集；用纵向拼接的秩判同解（1000题基础篇 第4章 12）
几何线
- 方程组的几何:直线与平面的位置关系(8 题) — 两句翻译:有无公共点 + 交集几维
方法模板
「看到什么 → 用哪招 → 结论」总表:
| 看到什么 | 用哪招 | 结论 |
|---|---|---|
| 含参方阵方程组,问何时无解/唯一/无穷多 | 算 | 不同根结论常常相反,一个都不能漏 |
| 参数在右端 | 换掉的必须是冗余列 | |
| 四个选项都是通解表达式 | 先扫尾项系数和是否恒为 1,再验齐次部分无关 | 通常一步砍掉三个 |
| 已知若干解的线性组合 | 系数和 | 全程整数,不必解出 |
| “有 | 翻译成 | 再用”某两行不成比例”给下界,夹出秩 |
| 两组方程都给全 | 联立法:摞成大方程组 | 交 |
| 一方给基础解系 | 代入法:解系那方代进方程那方 | 方向不能反 |
| 双方都给基础解系 | 解 | 两边各算一遍互相验算 |
| 在原方程组上加一个方程问同解 | 求原基础解系,代入新方程 | 反向包含自动成立,不必算秩 |
| 证” | 求出通解,验 | 别去比秩(非齐次比不了) |
| 问何时”不同解” | 让 | 转化为一个秩条件 |
| 取 | ||
| 求 | ||
| 题目给了 | 绝不反解 | |
| 正交矩阵 | ||
| 行满秩 ⟹ 恒有解;列满秩 ⟹ 至多一解 | ||
| 左乘 | 与 | |
| 恒成立 | 废话条件,当它不存在 | |
| 常把”求解集”化成”只有零解” | ||
| 分块方程组两块能提公因子 | 该方程是废话,可删 | 系统实际只剩一个约束 |
| 转置成 | 左乘可逆不改解集 | |
| 列被打乱重排成新矩阵 | 抄下表示式与关系式,先把含 | 新列数 |
| 三平面/三直线位置关系 | 两句翻译 | 有无公共点 + 交集几维 |
| 常数项全为零 | 齐次, | 判据只剩 |
易错点
完整 18 条见 第13章易错清单。最高频的六条:
- 算出
就下结论,不代回增广矩阵 的根漏掉一个(上三角对角线上每个含参因子都是候选) - 基础解系”是解”就算完,不验无关、不数个数
里的 写成行数 - 把齐次解当特解(系数和不是 1)
- 自由变量认错(认列不认位置)
复习顺序
见题库页的三遍安排。一句话版本:先把三、一、二练成手上功夫,再攻四、五、九、十,最后啃六、七、八这三节抽象题。
与前后章的接口
来自第10章 行列式
- Cramer 法则的判别版:
⟺ 唯一解; ⟺ 非零解存在。本章路线甲的第一步永远是算含参行列式。 - 结构型行列式技巧直接复用:对称型”三行相加”提出行和因子(1000 基础 1)、循环行列式
(880 综合解答 4)。 - 伴随恒等式
: 时它就是 ,成为求 基础解系的唯一入口。 用来由 反推 (1000 强化 2)。
来自第11章 矩阵
- 秩三分法
是本章抽象题的常客。 的三句话(列是解 / 秩不等式 / 行列正交)在本章换成方程组语言复述。 在这里被加强成”解集完全相同”。 - 初等矩阵:行变换 = 左乘可逆阵,这是”用行变换解方程组不改变解集”的根本理由。
- 凑因式求逆:
,在 1000 强化 9 里把整个方程组压成只有零解。 - 分块矩阵的秩:
直接控制公共解空间的维数。
来自第12章 向量
有解 能由列组表示——本章相容性的全部实质。 - 行最简形直接读系数:第12章用它求极大无关组,本章用同一个动作写基础解系。
- 行变换保列关系:解释了为什么解方程只能用行变换。
- 向量组等价:同解
行向量组等价;但要小心”等价只管列空间,不管零空间”(1000 基础 12 的四个结论里只有带转置的两个对)。 - 正交补:
、 ,本章在”新方程能否加进去"" 有解意味着什么”两处直接兑现。
通向第14章 相似矩阵(第14章:相似矩阵)
- 特征向量 =
的非零解。 求特征向量的动作和本章求基础解系一模一样,只是系数矩阵换成了 。第14章的全部计算量在本章已经练熟,见 特征值与特征向量:定义、谱与三条恒等式。 - 特征子空间的维数(几何重数)
。 判断能否对角化,靠的就是本章”数秩定维数”这一步,见 可对角化判据与几何重数。 - ”
特征值是 的根” 在本章(1000 强化 9)已经用它判可逆,第14章把它升格为主线定理,并补上”无重根 必可对角化”,见 多项式、逆与伴随的特征值转移。 的行和为常数 ,即 是特征值、 是特征向量。本章 1000 基础 11 已用过这个翻译;第14章至少五道题靠它开局。 - “已知
在一组基上的作用即已知 “(1000 基础 11、880 综合填空 3)正是 的思想,第14章整整一节都是它,见 已知基上的作用 = 已知矩阵。 - “通解 = 特解 + 齐次解” 与**“两解之差是齐次解”** 在第14章被反复借用:前者见 1000 强化 7-3(把
的通解写成特征向量组合),后者见 1000 强化 8-19(两解作差白捡一个特征对)。 - 逐根代回的纪律:含参题算出
的每个根都要验回去。第14章 880 综合解答 14 里 就是这样被舍掉的 —— 这条纪律在两章之间完全通用。 - 正交补
:实对称时它变成”不同特征值的特征子空间互相正交”,支撑起第14章”给部分特征向量、补全其余”的一整类题,见 实对称矩阵的谱定理与谱分解。 - 880 综合解答 10 是现成的过渡题:第 (Ⅰ) 问纯方程组语言(解集包含),第 (Ⅱ) 问直接就是求
使 。
通向第15章 二次型(八条具体的承接)
半正定: ,是构造半正定矩阵的标准手法;升级为正定的条件恰是本章的列满秩。见 正定矩阵的等价刻画。 (本章第十节)是第15章”平方和型的秩 “的唯一依据 —— 那里几乎每道平方和型的题都在用它。 - ”
有唯一解"" 只有零解”是列满秩的伪装:第15章把这句话直接翻译成” 正定”,见 正定的判定。 - 平方和为零
每项为零 :第15章求” 的全部解”时,答案就是本章的基础解系。 与 同解 (本章第五节)在第15章 880 综合解答 10 里用来定参数。 的两条读法(秩不等式 + 的列落在 里)是第15章”由 反求 “的入口,见 由谱反求二次型。 - 伴随秩三分法在第15章用于
的通解与 的谱(880 基础解答 6、880 拓展解答 4)。 - 正交矩阵
(880 综合填空 2 / 综合解答 5)到第15章成为正交变换化标准形的主角; 这类”配方成平方和”的论证(1000 基础 2)则是正定二次型的雏形。
与高数的联动
空间解析几何(880 第四章)研究的平面、直线,与本章第十节是同一批对象的两套语言:那边用法向量、方向向量、点到平面距离;这边用秩。两套语言互为验算——判断三平面位置关系时,可以先用秩定性,再用法向量叉乘定量。
链接
- 题库:第13章 线性方程组 题库
- 下一章:第14章 相似矩阵 · 第14章题库
- 上一章:第12章 向量 · 第12章题库
- 更早:第11章 矩阵 · 第10章 行列式
- 几何入口:3b1b:逆、列空间与零空间 · 3b1b:非方阵与维度映射
- 易错清单:第13章易错点