同解方程组与解集包含
方法模板
核心判据(齐次情形)
对齐次方程组
摞起来的矩阵
三条实战捷径
- “加方程”只会缩小解集。 在
上添一个方程得 ,则 自动成立。要它们同解,只需验 的基础解系满足新方程——一步到位,不必算秩。 - “包含 + 维数相等
相等”。 已经证出 时,再比一次 :相等就同解, 那边更大就是真包含(即”不同解”)。这把”不同解”的判定化成了一个秩条件。 - 非齐次版本:
的解都是 的解,只需验 的通解(一个特解 + 全部基础解系)逐个满足 ——特解那次右端是 ,基础解系那几次右端是 。
同解
系数矩阵行等价 两个方程组同解只要求解集相同,
与 的行数可以不同、形状可以不同。它们只保证行空间相同(从而 ),不保证能互相行变换得到(行数不同时根本谈不上)。
"不同解"该怎么卡
考场上”证包含 + 求参数使不同解”是标准双问结构。第二问几乎总是转化为:让
那边的秩掉下来,使 。所以直接对 消元、令某个主元为零即可。
必考
880 第十三章基础解答 5
原题 设有方程组
(Ⅰ) 求方程组 ① 的通解;(Ⅱ) 当
解析
(Ⅰ) 解 ①。
由第三行
(Ⅱ) 同解条件。
两个方程组的系数矩阵都是
把
② 的第一式
② 的第二式
② 的第三式
收尾:验维数。 取
是行阶梯形,三个主元,
"特解代一次、基础解系代一次" 是白送的双重验算
每个方程都被代了两遍,而两遍给出的
(或 )必须一致。这里 从 得 2、从 也得 2,自动确认没算错。如果两遍结果打架,说明 (Ⅰ) 的通解算错了,回头查,别硬凑。
光有"① 的解都是 ② 的解"还不够
那只给出
。若 ② 的秩掉到 2,解集就是 2 维,严格包含 ①,不是同解。所以最后那步" ① ② "的检查不能省——本题恰好正常,但出题人完全可以在这里埋雷。 ②
1000题基础篇 第4章 14
原题
设齐次线性方程组 (I)
解析
答案
关键的一步是先想清楚”加方程”意味着什么: (Ⅱ) 比 (I) 多一个约束,所以
第一步:解 (I)。
第二步:让
通解: 此时 (Ⅱ) 与 (I) 同解,
"加方程"型同解题一律走这条捷径
不必去算
那种秩条件(虽然它也对),直接”求基础解系 → 代入新方程”最快,而且答案自然写成 的线性关系。
自由的几何解释 同解条件说的是”新方程对应的行向量
落在 的行空间里”。 的行空间是 中的 3 维子空间,恰好由 刻画,即 ——这确实是个 3 维子空间, 自由、 被定死。“行空间 = 解空间的正交补” 这条对偶在第12章正交那里埋过伏笔,这里第一次真正用上。
880 第十三章综合解答 9
原题
设
(Ⅰ) 证明:方程组
解析
(Ⅰ) 先把
代入
第三个分量里
(Ⅱ) 何时”不同解”。
由 (Ⅰ) 已有包含关系,两者不同解
对
第三行为
此时
第 (Ⅰ) 问不要去比秩
有人想证
——对齐次可以,但这里是非齐次,还要处理右端。老老实实”求出通解 → 代 “,两次矩阵乘法就完事,而且第 (Ⅱ) 问要用的 也顺手拿到了。
参数
为什么在 (Ⅰ) 里消失了 因为
的第 3、4 分量是 和 ,而 的第三行在这两列上是 和 ,乘出来 ,再加上前面的 恰好归零。这是出题人配好的:第 (Ⅰ) 问必须对一切 成立,第 (Ⅱ) 问的 才由别处(秩)决定。看到”证明题里参数自动消掉”就该意识到:参数的作用留在了下一问。
拓展
880 第十三章综合解答 8
原题
设
(Ⅰ) 若方程组
解析
先把两边的解空间都摸清楚。
由
:此时 且 ,解空间 ; :仅一个方程 ,解空间 。
(Ⅰ) 要
再要
(Ⅱ) 要存在非零公共解。
- 若
: ,其中所有向量第 3 分量为 0,而 的第 3 分量是 ,不可能; - 故必有
,再由 满足 得 (同 (Ⅰ))。
此时
两问答案相同,这不是巧合
因为
,“有非零公共解”就等于" ",也就等于" ";而 在 能被容纳时必定是 2 维的(1 维那种容不下 ),自动就”不同解”了。当一方的解空间只有 1 维时,“有公共解""被包含""真包含”三件事会塌缩成同一件。 遇到答案重复不要怀疑自己,先数一下维数。
不是 题目给的是
( ),方程组用的是 ( )。转置这一下最容易看漏,一旦漏了列数就对不上( 的 是 2 维,和 的 3 维根本不能比较)。读题先对列数:能谈公共解的前提是未知数个数相同。
880 第十三章综合解答 10
原题
设矩阵
(Ⅰ) 求
解析
(Ⅰ) 先用”不可逆”缩小
(Ⅱ) 对角化。
特征值: 按第二行展开,
故
验算:
这题是第13章通向第14章的桥
第 (Ⅰ) 问是纯粹的方程组语言(解集包含),第 (Ⅱ) 问已经完全是第14章的活。桥就是那句”特征向量 =
的非零解”:求特征向量的动作和本章求基础解系一模一样,只不过系数矩阵换成了 。所以第14章的计算量其实早在这一章就练熟了。
别忘了验"几何重数 = 代数重数"
是二重根,能不能对角化取决于 的解空间是不是真有 2 维。这里 给出 2 维,恰好够。如果只有 1 维, 就不可对角化,第 (Ⅱ) 问无解。 这一步的检查手段还是”数秩”,完全是本章的技能。
"
的解都是 的解" 的另一种读法 这句话等价于
,即 落在 的行空间里,也就是 落在 的列空间里,即 有解。本题若从这个角度出发, 时 的列空间是 ,而 的第二分量是 1,永远进不去,同样一眼排除。两条路都熟,考场上挑顺手的。
链接
- 方法总纲:同解方程组与行空间 · 方程组相容性的秩判据
- 同章:两个方程组的公共解 · $A^{\mathrm T}A$ 型方程组与同解判定 · 抽象方程组:秩、伴随与 AB=O
- 上一章:第12章 向量组等价与秩(同解
行向量组等价)· 矩阵的行与列作为向量组 - 往后:第14章相似矩阵(本节最后一题的第 (Ⅱ) 问就是第14章的标准流程)
- 易错清单:第13章易错点