前三章的方法已经散落在正文、例题与习题里;这一页把它们按「做题时怎么用」重新编排:看到题目先对号入座找到流程,算完用验算清单核账,判断正误时从反例弹药库抽一颗,所有二级结论(可以直接引用的中间结论)集中在第二节。
本页在复习体系里的位置(五件工具,各司其职)
| 工具 |
管什么 |
什么时候用 |
| 速查背记卡 |
压缩层:每个定义、定理压成一句「最小可背诵单元」 |
背之前先把要背的压到最短 |
| 闭卷回忆卡(一/二/三) |
检索层:从空白纸上把定义、定理、第一行叫出来 |
当天 / 1 / 3 / 7 天间隔复习(可导出 Anki) |
| 本页 |
操作层:题型流程、二级结论、反例弹药、验算清单 |
做题时、考试前查漏 |
| 证明怎么下笔 |
证明专用:六种证明骨架 |
拿到证明题、不知第一行写什么时 |
| 考场竞技场(第三章) |
考试特化:必考点、限时赛制、步骤分引擎 |
考前限时训练、把「会做」练成「拿分」 |
每一张流程卡:入口(题目长什么样)→ 步骤(照做即可)→ 验算(最短的一行)→ 易错(一句话 + 出处)。流程之外的慢工细活(如推导)仍回正文;这里只管「会了之后怎么做快、做对」。
流程 1 · 相抵分解(求 P、Q)
入口:给任意矩阵 A,要求「相抵分解式 A=P−1ΓQ」或「化成相抵标准形」。
步骤:① 消元求秩 r(或直接进第 ② 步,消元过程给出);② 用分块矩阵 [AII∗] 只对前块做行、列变换,直到前块变成 Γ=[Ir000];③ 读块:分块矩阵右上角是 E=P、左下角是 F=Q−1;④ 写答案 A=E−1ΓF−1。
验算:EAF=Γ(一代就穿帮,别凭感觉)。易错:把读出的 E 直接当 P−1 代入(勘误 E3.1);对未知元做了列变换忘记「乘回」(相抵变换求 P 与 Q−1)。
流程 2 · 用相抵标准形解方程组
入口:「解 Ax=b」或「判断有无解、有几个自由度」。
步骤:① 先有相抵分解(流程 1);② 换元 x=Fy,方程化为 Γy=Eb;③ 看 Eb 的后 m−r 个分量:不全为零 ⇒ 无解,结束;④ 有解时,y 的前 r 个分量由 Eb 前 r 个分量直接读出,后 n−r 个自由;⑤ 通解 x=Fy。
验算:把通解代回原方程抽查一个参数值;自由度数目 =n−r。易错:用 b 而不是 Eb 判可解(判据要看变换后的后 m−r 个分量);读出 y 后忘乘 F(例 3.1.1、例 3.1.B(新增)。
流程 3 · 单侧逆:判断与构造
入口:「A 是否有左 / 右逆」「构造一个右逆」「写出全部右逆」。
步骤:① 算秩判方向——行满秩(rankA=m)⟺ 有右逆;列满秩(rankA=n)⟺ 有左逆(定理 3.1.1);② 用闭式公式构造:右逆 B0=AH(AAH)−1、左逆 B0=(AHA)−1AH(可逆性由 命题 3.1.1 保证);③ 「全部右逆」:B=B0+Z,其中 Z 的每一列都属于 N(A)(参数形式按 N(A) 的基写出)。
验算:AB0=I(或 B0A=I)逐元素一战。易错:左右方向写反;忘记前提是「行满秩 / 列满秩」而不是「满秩」(长方阵两边不可能同时满);方阵才有「单侧即双侧,称为逆」。
流程 4 · 满秩分解
入口:「求 A 的满秩分解 A=BC」。
步骤(RREF 法最快,用 RREF 批量求满秩分解):① 消元化为行简化阶梯形 R,记秩 r 与主元列号;② B=A 的第 p1,⋯,pr 列(取 A 的列,不是 R 的);③ C=R 的前 r 行;④ 写 A=BC。备选:从相抵分解读(取 P−1 前 r 列、Q 前 r 行)或任取 R(A) 的基拼坐标。
验算:BC=A。易错:主元列取成 RREF 里的单位列(必须回到 A 里取);C 取 RREF 的非零行(不是前 r 行——除非恰好没有零行夹在中间,标准做法就是非零行);忘记前提 r>0。另一种分解的换算:若给出两种分解,D=B2LB1=(B2HB2)−1B2HB1(定理 3.2.2)。
流程 5 · QR 分解(手算)
入口:「求 QR 分解」「求正交三角分解」;方阵需满秩,长方阵需列满秩。
步骤(GS 法):① 验满秩;② 逐列 Gram–Schmidt:yk=ak−∑i<k(ak,zi)zi,zk=yk/∥yk∥;③ 填 R:对角元 rkk=∥yk∥(残差的范数!)、上三角元 rik=(ak,zi)(i<k);④ Q=[z1,⋯,zn]。长方阵(推论 3.4.1):把 Q 补成 m 阶酉阵、R 底下垫零块(补齐列取正交补方向)。
验算:QR=A(必做);R 对角全正(正线);QTQ=I。易错:rkk 写成 ∥ak∥(先减成分、再量长度);符号 / 正线未规约(勘误 E3.7);长方阵把 R 写成 n×n(要 [R1O],例 3.4.3)。
流程 6 · QR 算法求特征值
入口:「用 QR 算法求特征值」,或矩阵较大不便手算特征多项式。
步骤:① A1=A;② 对 Ak 作 QR 分解 Ak=QkRk;③ Ak+1=RkQk(交换左右再乘回);④ 反复迭代(题目常指定 k=10、20);⑤ 对角元即特征值(收敛条件:模互异;顺序为模从大到小)。
验算:任取一步检查 tr(Ak+1)=tr(A)(相似不变量);收敛后对角元和应等于 trA。易错:迭代式写成 QkAkQkH(方向错,应为 RkQk=QkHAkQk);忘记「模互异」才保证收敛——等模时可能卡死(旋转阵反例,例 3.4.4 的本编注)。
流程 7 · 最小多项式
入口:「求 A 的最小多项式」,或需要它来化简 g(A)、Am。
步骤(候选法,求最小多项式:候选法):① 求 fA(λ) 并因式分解;② 列全部候选:每个根 λj(重数 dj)在候选里取幂 1 到 dj,组合共 ∏dj 个(一般 2s 个);③ 从低次到高次逐个试算 g(A)=?O;④ 第一个通过的即 mA。
验算:mA∣fA(次数分配对不对);mA 与 fA 根相同(不漏根)。易错:次序不能反——从高次试,第一个通过的是 fA 而不是 mA;低次候选的「淘汰」要写出乘积式子(I2 型反例:几何重数不足时低次必被淘汰,例 3.5.B)。
流程 8 · 矩阵多项式三件套:g(A)、Am、A−1
入口:「计算 A4−2A2+I」「求 A100」「用 H–C 公式求 A−1」。
步骤(三件套,先求 fA 或 mA 作燃料):① g(A):带余除法 g=qmA+r(本编注:除以 mA 比除以 fA 更省——例 3.5.2 续),代入 g(A)=r(A);② Am:由 fA 得递推(如 A2=αA+βI)后迭代,或在特征值处定系数:解 λim=αλi+β 得 Am=αA+βI;③ A−1:A−1=−a01(An−1+an−1An−2+⋯+a1I),a0=fA(0)=(−1)ndetA=0(推论 3.5.2)。
验算:AA−1=I;Am 的对角元 / 迹与 ∑λim 对照;对称阵的 Am 必对称。易错:g、mA、fA 三者的角色混用(g=qmA+r 才是标准式);逆公式的负号与 ai 的配对(勘误 E3.5 的三连错就是这个雷)。
流程 9 · 特征值、特征向量与可对角化
入口:「求特征值 / 特征向量」「判断能否对角化」「求过渡矩阵 P」。
步骤:① fA(λ)=det(λI−A);用 trA=∑λi、detA=∏λi 验根(迹、行列式与特征值 2.4.2);② 对每个 λ 解 (A−λI)x=0 得特征向量(变换问题要乘回基坐标/基向量,求线性变换特征对的流程);③ 逐个比对几何重数(=n−rank(A−λI))与代数重数(几何重数的计算 2.4.6、重数不等式 2.4.7);④ 全部取等才可对角化,P 由特征向量拼成,验 P−1AP=Λ。
验算:迹、行列式的两个对照式;P−1AP 一代。易错:特征向量必须非零;忘掉重数的比较直接下结论;2.5 的「设计基」反向题要按 设计基使矩阵为指定形式 流程反推。
流程 10 · 正交化与投影(第一章工具链)
入口:Gram–Schmidt 正交化、求投影 / 最近点、把向量对准坐标轴。
步骤:① 正交化(Gram–Schmidt 正交化):先查要用的基是否已经正交,正交 → 直接套投影公式;不正交 → 先 GS;② 投影(正交基版本):ProjWy=∑(xi,xi)(y,xi)xi;标准正交基版本去掉分母;③ 「对准轴」用 Householder 或 Givens(用 Givens 把任意向量对准 e1)。
验算:残差与基向量逐个内积为零;投影的幂等性 P2=P。易错:对非正交基直接套投影公式(勘误 E12);Householder 是镜像不是投影。
「二级结论」= 正文已证结论的一次性推论,做题时可以直接引用(引用请写出它来自哪条正定理,或现场一行验证——本表列出两样都给你)。每条都标前提:前提不满足时结论作废,这是判断题最爱设的坑。
| # | 结论 | 前提 | 典型用途 |
| 1 | 方阵 A 可逆 ⟺ detA=0 ⟺ rankA=n ⟺ 列(行)满秩 ⟺ N(A)={0} ⟺ 有单侧逆 ⟺ AHA 可逆 ⟺ 特征值全非零 | 方阵 | 概念判断题的万能替换链;本编汇总,各环出处见 定理 2.1.2、定理 3.1.1、命题 3.1.1 |
| 2 | rank(A)=rank(AHA)=rank(AAH)=rank(AH) | 实 / 复内积空间 | 长方阵满秩 ↔ 方阵可逆的桥梁(命题 3.1.1) |
| 3 | 左右乘可逆矩阵不改变秩;相抵 ⟺ 同秩 | 任意 | 秩的计算与判定(本编补注) |
| 4 | 行满秩 ⟺ 有右逆;列满秩 ⟺ 有左逆;通式 B=B0+Z,Z 各列 ∈N(A) | 长方阵 | 单侧逆的构造与「全部右逆」(定理 3.1.1) |
| 5 | N(C)⊆N(A) 时 rankC≥rankA | 任意 | 由解集包含关系夹逼秩(定理 3.2.1 方法 2 的引擎) |
| 6 | R(B)=R(A)(当 A=BC 且 C 行满秩) | 行满秩 C | 满秩分解把列空间收进 B(定理 3.2.2 证明第一步) |
| # | 结论 | 前提 | 典型用途 |
| 7 | trA=∑λi,detA=∏λi(含重数) | 任意方阵 | 求根后的第一步验算(迹、行列式与特征值 2.4.2) |
| 8 | 相似不变量:特征多项式、特征值(含重数)、迹、行列式、秩 | 相似 | 换基 / 相似变换后的账本(相似不变量 2.4.4) |
| 9 | φ(A) 的特征值为 φ(λi);特款:Am→λim、可逆时 A−1→λi−1 | 任意多项式 φ | 谱映射;幂、逆、多项式的特征值一步到位(推论 3.5.1、幂与逆的特征值 2.4.3) |
| 10 | 几何重数 ≤ 代数重数;处处取等 ⟺ 可对角化 | 任意方阵 | 可对角化判据(重数不等式 2.4.7、几何重数的计算 2.4.6) |
| 11 | n 个互异特征值 ⇒ 可对角化(充分不必要) | 方阵 | 快速判定(不同特征值的特征向量线性无关 2.4.5) |
| 12 | 上三角(下三角)阵的特征值 = 对角元;可逆 ⟺ 对角全非零 | 三角阵 | 三角化之后一切从简(多处使用,如 定理 3.5.4 证明) |
| 13 | 正交阵特征值 ∣λ∣=1、det=±1(酉:∣det∣=1);实特征值才是 ±1 | 正交 / 酉 | 高频陷阱题(正交矩阵特征值的模 2.5.3、正交 / 酉矩阵的运算性质 2.5.2) |
| # | 结论 | 前提 | 典型用途 |
| 14 | 相抵:标准形 Γ 唯一(由秩定);分解式不唯一(差吸收矩阵) | 任意 | 「不唯一」与「唯一」的对号(分解唯一性问题、本编补注) |
| 15 | 满秩分解:R(B)=R(A);两种分解差可逆 D:B1=B2D、C1=D−1C2;任取可逆 D 生成新分解 | r>0 | 「一个生成全部」(定理 3.2.2、注 3) |
| 16 | QR 唯一性:正线下唯一;去正线后两种分解差对角酉阵(实:2n 种) | 满秩方阵 | 唯一性的精确刻度(定理 3.4.1、例 3.4.B(新增) |
| 17 | 上三角 ∧ 酉 ⇒ 对角、∣wii∣=1;再正对角 ⇒I | — | QR 唯一性证明的引擎(习题 B12) |
| 18 | 列满秩长方阵:A=U[R1O],U 酉 | n≤m | 完全分解、最小二乘的入口(推论 3.4.1) |
| 19 | QR 迭代保相似:Ak+1=QkHAkQk;模互异 ⇒ 对角元 → 特征值 | 可逆 | QR 算法的全部算术意义(QR 算法) |
| 20 | Schur:复方阵总酉相似于上三角;实方阵需特征值全实才有正交三角化 | 复数 / 实+全实 | 「能不能三角化」的判据与实数域边界(定理 3.5.2、定理 3.5.3) |
| 21 | H–C:fA(A)=O;g(A)=r(A)(g=qmA+r 或 =qfA+r) | 任意 | 一切高次多项式降次(定理 3.5.4) |
| 22 | mA 唯一、整除一切零化多项式(⇒mA∣fA)、与 fA 同根(不计重数) | 任意 | 候选法的全部依据(定理 3.5.5) |
| 23 | A−1=±⋅1 公式:A−1=−a01(An−1+an−1An−2+⋯+a1I) | A 可逆(a0=0) | 「求逆」与「特征多项式」互相翻译(推论 3.5.2) |
- 二阶矩阵速算:fA(λ)=λ2−(trA)λ+detA——二阶题先在草稿角上写下 (tr,det),特征值即刻可试凑整数根。
- 严格三角阵幂零:n 阶严格上(下)三角阵 N 满足 Nn=O(例 3.5.3 的 3 阶情形用了 N3=O);它的多项式 / 几何级数可截断。
- 分块三角的行列式:det[BOCD]=detB⋅detD(定理 3.5.1 证明用过)。
- A 与 AT 同特征多项式:det(λI−AT)=det((λI−A)T)=det(λI−A)——一行验证,转置不改变特征值的常用依据。
- 幂等 / 对合:A2=A⇒ 特征值 ∈{0,1};A2=I⇒ 特征值 ∈{±1}——由 A2x=λ2x 一行即得。
- 正交阵的逆:A−1=AH,且 AHA=I 逐列读就是「标准正交基」(列向量刻画 2.5.1)。
判断题的通行策略:先找反例,再考虑证明。下表是最短反例(多数一行可验),靠前的是出现频率最高的坑。
| 错误主张 | 一颗就够了 | 出处 |
| 「实矩阵总能正交(三角)化」 | 旋转阵 [01−10],特征值 ±i | 定理 3.5.3 反例 |
| 「QR 分解唯一」 | I2 有两种分解(正线才唯一;[−1001] 作 Q) | 例 3.4.1 |
| 「正交阵特征值是 ±1」 | 旋转阵(±i,模 1 而非实) | 正交矩阵特征值的模 2.5.3 后的勘误注 |
| 「rkk=∥ak∥」 | 例 3.4.A 中 r22=52,而 ∥a2∥=5 | 例 3.4.A |
| 「不满秩不能 QR 分解」 | [1010]=I2[1010] | 例 3.4.2 |
| 「对角元全零 ⇒ 零矩阵」(「特征值全零 ⇒ A=O」) | [0010] | 定理 3.5.4 证明前的提醒 |
| 「最小多项式 =fA」 | I2:fA=(λ−1)2,mA=λ−1 | 例 3.5.1 后 |
| 「AB=I(长方阵)可推出 BA=I」 | A=[100100]、B=AT | 定理 3.1.1 注 |
| 「满秩分解唯一」 | A=I2A 与从 A 的列取基的分解 | 注 2 |
| 「相抵分解可唯一」 | 吸收矩阵一乘就出新分解 | 分解唯一性问题 |
| 「行满秩有左逆」 | 方向反了:2×3 矩阵只有右逆 | 定理 3.1.1 |
| 「复空间内积用转置」 | C1,x=1、y=i:yTx=i 但不是实数长度 | 第一章勘误注 |
| 「φ(A) 的特征向量都是 A 的特征向量」 | A=diag(1,−1)、φ=λ2:φ(A)=I | 注 4 |
| 题型 | 最短验算 | 不过先查 |
| 相抵分解 | EAF=Γ | E、F 的身份(读块)没弄反? |
| 解方程组 | 通解代回;自由数 n−r | 判可解用的是 Eb?x=Fy 乘回了? |
| 单侧逆 | AB=I / BA=I | 方向(行满秩配右逆)? |
| 满秩分解 | BC=A | B 是 A 的主元列?C 是非零行? |
| QR 分解 | QR=A;对角全正 | 对角元取了残差范数?长方阵 R 垫零块? |
| QR 算法 | 每步 tr 不变;终值验特征值 | 迭代方向 QH(⋅)Q? |
| 最小多项式 | mA∣fA;同根;mA(A)=O | 候选从低往高试了? |
| g(A) | g=qmA+r 的除法回乘;r(A) 代回 | 除以 fA 还是 mA?余式度数 <degmA? |
| Am | 迹 / 对角元与 ∑λm;对称形 | 系数在特征值处兑现了? |
| A−1 | AA−1=I | −a01 的负号? |
| 特征值 | ∑λ=tr、∏λ=det | 因式分解漏根 / 丢重数? |
| GS / 投影 | 残差与基名内积为零 | 基真的正交吗? |
| Givens / Householder | TTT=I、Tx 的目标分量为零 | 用更新后的向量取角? |
把验算变成习惯的三句话
- 先写下验算式再写答案——验算式是免费的保险,写完整答案再验是赌运气的重建;
- 数字丑不是错,结构错才是错——205 之类的丑数照样对(习题 C22 就是),但「对称阵的幂不对称」「三角阵的平方不三角」一定是错;
- 每张流程卡的「易错」一句话,考前一晚过一遍——它们基本就是本教程全部勘误与错题的死因汇总。
任何结论之前,先把题目里的关键词扫一遍,对照下表——每个箭头都是「前提 → 前提不满足时会发生什么」。
| 雷达词 | 要问的 | 反例警告 |
| 方阵还是长方阵? | 相抵 / 相似 / 特征值 / 单侧逆的适用面不同 | 长方阵谈「相似」「可逆」都无定义;AB=I 不等于 BA=I |
| 满秩还是不满? | QR 唯一性、R 正线、单侧逆的存在都要满秩 | 不满秩 QR 仍存在但不唯一;满秩分解要求 r>0 |
| 实还是复? | 内积用 H;正交 vs 酉;Schur 是否需要实数前提 | 实旋转阵不能正交三角化;复空间少共轭就出错 |
| 特征值全实吗? | 实方阵 Schur 引理(定理 3.5.3)的硬前提 | 旋转阵就是反例 |
| 对角元为正吗? | QR 的「正线」约定是唯一性的开关 | 去正线差一个对角酉阵 |
| 多项式是 fA 还是 mA 还是随便 g? | 降次除谁:除以 mA 最省 | 三者角色混用是连锁错之源(勘误 E3.5) |
| 特征值模互异吗? | QR 算法收敛条件 | 等模卡死(旋转阵) |
| 基是正交的吗? | 投影公式、GS 简化都要先验正交 | 非正交基直接套公式必错(勘误 E12) |
依据第一至三章正文的全部定理、推论与勘误汇总整理 · 二级结论均给出前提与出处,可逐条回正文核对 · 流程卡的算例链接指向各章例题与习题 · 与考场竞技场的分工:本页管「怎么算对」,竞技场管「限时怎么拿分」 · 整理日期 2026-10-15。