Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

解题工具箱:题型流程 · 二级结论 · 反例弹药

前三章的方法已经散落在正文、例题与习题里;这一页把它们按「做题时怎么用」重新编排:看到题目先对号入座找到流程,算完用验算清单核账,判断正误时从反例弹药库抽一颗,所有二级结论(可以直接引用的中间结论)集中在第二节。

本页在复习体系里的位置(五件工具,各司其职)
工具 管什么 什么时候用
速查背记卡 压缩层:每个定义、定理压成一句「最小可背诵单元」 背之前先把要背的压到最短
闭卷回忆卡(一/二/三) 检索层:从空白纸上把定义、定理、第一行叫出来 当天 / 1 / 3 / 7 天间隔复习(可导出 Anki)
本页 操作层:题型流程、二级结论、反例弹药、验算清单 做题时、考试前查漏
证明怎么下笔 证明专用:六种证明骨架 拿到证明题、不知第一行写什么时
考场竞技场(第三章) 考试特化:必考点、限时赛制、步骤分引擎 考前限时训练、把「会做」练成「拿分」

一、题型 → 标准流程

每一张流程卡:入口(题目长什么样)→ 步骤(照做即可)→ 验算(最短的一行)→ 易错(一句话 + 出处)。流程之外的慢工细活(如推导)仍回正文;这里只管「会了之后怎么做快、做对」。

流程 1 · 相抵分解(求 PP、QQ)

入口:给任意矩阵 AA,要求「相抵分解式 A=P−1ΓQA=P^{-1}\Gamma Q」或「化成相抵标准形」。

步骤:① 消元求秩 rr(或直接进第 ② 步,消元过程给出);② 用分块矩阵 [AII∗]\begin{bmatrix}A&I\\ I&*\end{bmatrix} 只对前块做行、列变换,直到前块变成 Γ=[Ir000]\Gamma=\begin{bmatrix}I_r&0\\0&0\end{bmatrix};③ 读块:分块矩阵右上角是 E=PE=P、左下角是 F=Q−1F=Q^{-1};④ 写答案 A=E−1ΓF−1A=E^{-1}\Gamma F^{-1}。

验算:EAF=ΓEAF=\Gamma(一代就穿帮,别凭感觉)。易错:把读出的 EE 直接当 P−1P^{-1} 代入(勘误 E3.1);对未知元做了列变换忘记「乘回」(相抵变换求 PP 与 Q−1Q^{-1})。

流程 2 · 用相抵标准形解方程组

入口:「解 Ax=bA\boldsymbol x=\boldsymbol b」或「判断有无解、有几个自由度」。

步骤:① 先有相抵分解(流程 1);② 换元 x=Fy\boldsymbol x=F\boldsymbol y,方程化为 Γy=Eb\Gamma\boldsymbol y=E\boldsymbol b;③ 看 EbE\boldsymbol b 的后 m−rm-r 个分量:不全为零 ⇒ 无解,结束;④ 有解时,y\boldsymbol y 的前 rr 个分量由 EbE\boldsymbol b 前 rr 个分量直接读出,后 n−rn-r 个自由;⑤ 通解 x=Fy\boldsymbol x=F\boldsymbol y。

验算:把通解代回原方程抽查一个参数值;自由度数目 =n−r=n-r。易错:用 b\boldsymbol b 而不是 EbE\boldsymbol b 判可解(判据要看变换后的后 m−rm-r 个分量);读出 y\boldsymbol y 后忘乘 FF(例 3.1.1、例 3.1.B(新增)。

流程 3 · 单侧逆:判断与构造

入口:「AA 是否有左 / 右逆」「构造一个右逆」「写出全部右逆」。

步骤:① 算秩判方向——行满秩(rank⁡A=m\operatorname{rank}A=m)  ⟺  \iff 有右逆;列满秩(rank⁡A=n\operatorname{rank}A=n)  ⟺  \iff 有左逆(定理 3.1.1);② 用闭式公式构造:右逆 B0=AH(AAH)−1B_0=A^{\mathrm H}(AA^{\mathrm H})^{-1}、左逆 B0=(AHA)−1AHB_0=(A^{\mathrm H}A)^{-1}A^{\mathrm H}(可逆性由 命题 3.1.1 保证);③ 「全部右逆」:B=B0+ZB=B_0+Z,其中 ZZ 的每一列都属于 N(A)N(A)(参数形式按 N(A)N(A) 的基写出)。

验算:AB0=IAB_0=I(或 B0A=IB_0A=I)逐元素一战。易错:左右方向写反;忘记前提是「行满秩 / 列满秩」而不是「满秩」(长方阵两边不可能同时满);方阵才有「单侧即双侧,称为逆」。

流程 4 · 满秩分解

入口:「求 AA 的满秩分解 A=BCA=BC」。

步骤(RREF 法最快,用 RREF 批量求满秩分解):① 消元化为行简化阶梯形 RR,记秩 rr 与主元列号;② B=AB=A 的第 p1,⋯ ,prp_1,\cdots,p_r 列(取 AA 的列,不是 RR 的);③ C=RC=R 的前 rr 行;④ 写 A=BCA=BC。备选:从相抵分解读(取 P−1P^{-1} 前 rr 列、QQ 前 rr 行)或任取 R(A)R(A) 的基拼坐标。

验算:BC=ABC=A。易错:主元列取成 RREF 里的单位列(必须回到 AA 里取);CC 取 RREF 的非零行(不是前 rr 行——除非恰好没有零行夹在中间,标准做法就是非零行);忘记前提 r>0r>0。另一种分解的换算:若给出两种分解,D=B2LB1=(B2HB2)−1B2HB1D=B_2^{\mathrm L}B_1=(B_2^{\mathrm H}B_2)^{-1}B_2^{\mathrm H}B_1(定理 3.2.2)。

流程 5 · QR 分解(手算)

入口:「求 QR 分解」「求正交三角分解」;方阵需满秩,长方阵需列满秩。

步骤(GS 法):① 验满秩;② 逐列 Gram–Schmidt:yk=ak−∑i<k(ak,zi)zi\boldsymbol y_k=\boldsymbol a_k-\sum_{i&lt;k}(\boldsymbol a_k,\boldsymbol z_i)\boldsymbol z_i,zk=yk/∥yk∥\boldsymbol z_k=\boldsymbol y_k/\|\boldsymbol y_k\|;③ 填 RR:对角元 rkk=∥yk∥r_{kk}=\|\boldsymbol y_k\|(残差的范数!)、上三角元 rik=(ak,zi)r_{ik}=(\boldsymbol a_k,\boldsymbol z_i)(i<ki&lt;k);④ Q=[z1,⋯ ,zn]Q=[\boldsymbol z_1,\cdots,\boldsymbol z_n]。长方阵(推论 3.4.1):把 QQ 补成 mm 阶酉阵、RR 底下垫零块(补齐列取正交补方向)。

验算:QR=AQR=A(必做);RR 对角全正(正线);QTQ=IQ^{\mathrm T}Q=I。易错:rkkr_{kk} 写成 ∥ak∥\|\boldsymbol a_k\|(先减成分、再量长度);符号 / 正线未规约(勘误 E3.7);长方阵把 RR 写成 n×nn\times n(要 [R1O]\begin{bmatrix}R_1\\O\end{bmatrix},例 3.4.3)。

流程 6 · QR 算法求特征值

入口:「用 QR 算法求特征值」,或矩阵较大不便手算特征多项式。

步骤:① A1=AA_1=A;② 对 AkA_k 作 QR 分解 Ak=QkRkA_k=Q_kR_k;③ Ak+1=RkQkA_{k+1}=R_kQ_k(交换左右再乘回);④ 反复迭代(题目常指定 k=10k=10、2020);⑤ 对角元即特征值(收敛条件:模互异;顺序为模从大到小)。

验算:任取一步检查 tr⁡(Ak+1)=tr⁡(A)\operatorname{tr}(A_{k+1})=\operatorname{tr}(A)(相似不变量);收敛后对角元和应等于 tr⁡A\operatorname{tr}A。易错:迭代式写成 QkAkQkHQ_kA_kQ_k^{\mathrm H}(方向错,应为 RkQk=QkHAkQkR_kQ_k=Q_k^{\mathrm H}A_kQ_k);忘记「模互异」才保证收敛——等模时可能卡死(旋转阵反例,例 3.4.4 的本编注)。

流程 7 · 最小多项式

入口:「求 AA 的最小多项式」,或需要它来化简 g(A)g(A)、AmA^m。

步骤(候选法,求最小多项式:候选法):① 求 fA(λ)f_A(\lambda) 并因式分解;② 列全部候选:每个根 λj\lambda_j(重数 djd_j)在候选里取幂 11 到 djd_j,组合共 ∏dj\prod d_j 个(一般 2s2^s 个);③ 从低次到高次逐个试算 g(A)=?Og(A)\stackrel{?}{=}O;④ 第一个通过的即 mAm_A。

验算:mA∣fAm_A\mid f_A(次数分配对不对);mAm_A 与 fAf_A 根相同(不漏根)。易错:次序不能反——从高次试,第一个通过的是 fAf_A 而不是 mAm_A;低次候选的「淘汰」要写出乘积式子(I2I_2 型反例:几何重数不足时低次必被淘汰,例 3.5.B)。

流程 8 · 矩阵多项式三件套:g(A)g(A)、AmA^m、A−1A^{-1}

入口:「计算 A4−2A2+IA^4-2A^2+I」「求 A100A^{100}」「用 H–C 公式求 A−1A^{-1}」。

步骤(三件套,先求 fAf_A 或 mAm_A 作燃料):① g(A)g(A):带余除法 g=qmA+rg=qm_A+r(本编注:除以 mAm_A 比除以 fAf_A 更省——例 3.5.2 续),代入 g(A)=r(A)g(A)=r(A);② AmA^m:由 fAf_A 得递推(如 A2=αA+βIA^2=\alpha A+\beta I)后迭代,或在特征值处定系数:解 λim=αλi+β\lambda_i^m=\alpha\lambda_i+\beta 得 Am=αA+βIA^m=\alpha A+\beta I;③ A−1A^{-1}:A−1=−1a0(An−1+an−1An−2+⋯+a1I)A^{-1}=-\frac{1}{a_0}(A^{n-1}+a_{n-1}A^{n-2}+\cdots+a_1I),a0=fA(0)=(−1)ndet⁡A≠0a_0=f_A(0)=(-1)^n\det A\ne0(推论 3.5.2)。

验算:AA−1=IAA^{-1}=I;AmA^m 的对角元 / 迹与 ∑λim\sum\lambda_i^m 对照;对称阵的 AmA^m 必对称。易错:gg、mAm_A、fAf_A 三者的角色混用(g=qmA+rg=qm_A+r 才是标准式);逆公式的负号与 aia_i 的配对(勘误 E3.5 的三连错就是这个雷)。

流程 9 · 特征值、特征向量与可对角化

入口:「求特征值 / 特征向量」「判断能否对角化」「求过渡矩阵 PP」。

步骤:① fA(λ)=det⁡(λI−A)f_A(\lambda)=\det(\lambda I-A);用 tr⁡A=∑λi\operatorname{tr}A=\sum\lambda_i、det⁡A=∏λi\det A=\prod\lambda_i 验根(迹、行列式与特征值 2.4.2);② 对每个 λ\lambda 解 (A−λI)x=0(A-\lambda I)\boldsymbol x=\boldsymbol 0 得特征向量(变换问题要乘回基坐标/基向量,求线性变换特征对的流程);③ 逐个比对几何重数(=n−rank⁡(A−λI)=n-\operatorname{rank}(A-\lambda I))与代数重数(几何重数的计算 2.4.6、重数不等式 2.4.7);④ 全部取等才可对角化,PP 由特征向量拼成,验 P−1AP=ΛP^{-1}AP=\Lambda。

验算:迹、行列式的两个对照式;P−1APP^{-1}AP 一代。易错:特征向量必须非零;忘掉重数的比较直接下结论;2.5 的「设计基」反向题要按 设计基使矩阵为指定形式 流程反推。

流程 10 · 正交化与投影(第一章工具链)

入口:Gram–Schmidt 正交化、求投影 / 最近点、把向量对准坐标轴。

步骤:① 正交化(Gram–Schmidt 正交化):先查要用的基是否已经正交,正交 → 直接套投影公式;不正交 → 先 GS;② 投影(正交基版本):Proj⁡Wy=∑(y,xi)(xi,xi)xi\operatorname{Proj}_W\boldsymbol y=\sum\frac{(\boldsymbol y,\boldsymbol x_i)}{(\boldsymbol x_i,\boldsymbol x_i)}\boldsymbol x_i;标准正交基版本去掉分母;③ 「对准轴」用 Householder 或 Givens(用 Givens 把任意向量对准 e1\boldsymbol{e}_1)。

验算:残差与基向量逐个内积为零;投影的幂等性 P2=PP^2=P。易错:对非正交基直接套投影公式(勘误 E12);Householder 是镜像不是投影。

二、二级结论速查(可直接引用)

「二级结论」= 正文已证结论的一次性推论,做题时可以直接引用(引用请写出它来自哪条正定理,或现场一行验证——本表列出两样都给你)。每条都标前提:前提不满足时结论作废,这是判断题最爱设的坑。

2.1 秩与可逆

#结论前提典型用途
1方阵 AA 可逆   ⟺  \iff det⁡A≠0\det A\ne0   ⟺  \iff rank⁡A=n\operatorname{rank}A=n   ⟺  \iff 列(行)满秩   ⟺  \iff N(A)={0}N(A)={\boldsymbol 0}   ⟺  \iff 有单侧逆   ⟺  \iff AHAA^{\mathrm H}A 可逆   ⟺  \iff 特征值全非零方阵概念判断题的万能替换链;本编汇总,各环出处见 定理 2.1.2、定理 3.1.1、命题 3.1.1
2rank⁡(A)=rank⁡(AHA)=rank⁡(AAH)=rank⁡(AH)\operatorname{rank}(A)=\operatorname{rank}(A^{\mathrm H}A)=\operatorname{rank}(AA^{\mathrm H})=\operatorname{rank}(A^{\mathrm H})实 / 复内积空间长方阵满秩 ↔\leftrightarrow 方阵可逆的桥梁(命题 3.1.1)
3左右乘可逆矩阵不改变秩;相抵   ⟺  \iff 同秩任意秩的计算与判定(本编补注)
4行满秩   ⟺  \iff 有右逆;列满秩   ⟺  \iff 有左逆;通式 B=B0+ZB=B_0+Z,ZZ 各列 ∈N(A)\in N(A)长方阵单侧逆的构造与「全部右逆」(定理 3.1.1)
5N(C)⊆N(A)N(C)\subseteq N(A) 时 rank⁡C≥rank⁡A\operatorname{rank}C\ge\operatorname{rank}A任意由解集包含关系夹逼秩(定理 3.2.1 方法 2 的引擎)
6R(B)=R(A)R(B)=R(A)(当 A=BCA=BC 且 CC 行满秩)行满秩 CC满秩分解把列空间收进 BB(定理 3.2.2 证明第一步)

2.2 特征值、迹与相似

#结论前提典型用途
7tr⁡A=∑λi\operatorname{tr}A=\sum\lambda_i,det⁡A=∏λi\det A=\prod\lambda_i(含重数)任意方阵求根后的第一步验算(迹、行列式与特征值 2.4.2)
8相似不变量:特征多项式、特征值(含重数)、迹、行列式、秩相似换基 / 相似变换后的账本(相似不变量 2.4.4)
9φ(A)\varphi(A) 的特征值为 φ(λi)\varphi(\lambda_i);特款:Am→λimA^m\to\lambda_i^m、可逆时 A−1→λi−1A^{-1}\to\lambda_i^{-1}任意多项式 φ\varphi谱映射;幂、逆、多项式的特征值一步到位(推论 3.5.1、幂与逆的特征值 2.4.3)
10几何重数 ≤\le 代数重数;处处取等   ⟺  \iff 可对角化任意方阵可对角化判据(重数不等式 2.4.7、几何重数的计算 2.4.6)
11nn 个互异特征值 ⇒\Rightarrow 可对角化(充分不必要)方阵快速判定(不同特征值的特征向量线性无关 2.4.5)
12上三角(下三角)阵的特征值 == 对角元;可逆   ⟺  \iff 对角全非零三角阵三角化之后一切从简(多处使用,如 定理 3.5.4 证明)
13正交阵特征值 ∣λ∣=1|\lambda|=1、det⁡=±1\det=\pm1(酉:∣det⁡∣=1|\det|=1);实特征值才是 ±1\pm1正交 / 酉高频陷阱题(正交矩阵特征值的模 2.5.3、正交 / 酉矩阵的运算性质 2.5.2)

2.3 分解专线(只列最常引用的一行版)

#结论前提典型用途
14相抵:标准形 Γ\Gamma 唯一(由秩定);分解式不唯一(差吸收矩阵)任意「不唯一」与「唯一」的对号(分解唯一性问题、本编补注)
15满秩分解:R(B)=R(A)R(B)=R(A);两种分解差可逆 DD:B1=B2DB_1=B_2D、C1=D−1C2C_1=D^{-1}C_2;任取可逆 DD 生成新分解r>0r&gt;0「一个生成全部」(定理 3.2.2、注 3)
16QR 唯一性:正线下唯一;去正线后两种分解差对角酉阵(实:2n2^n 种)满秩方阵唯一性的精确刻度(定理 3.4.1、例 3.4.B(新增)
17上三角 ∧\wedge 酉 ⇒\Rightarrow 对角、∣wii∣=1\lvert w_{ii}\rvert=1;再正对角 ⇒I\Rightarrow I—QR 唯一性证明的引擎(习题 B12)
18列满秩长方阵:A=U[R1O]A=U\begin{bmatrix}R_1\O\end{bmatrix},UU 酉n≤mn\le m完全分解、最小二乘的入口(推论 3.4.1)
19QR 迭代保相似:Ak+1=QkHAkQkA_{k+1}=Q_k^{\mathrm H}A_kQ_k;模互异 ⇒\Rightarrow 对角元 →\to 特征值可逆QR 算法的全部算术意义(QR 算法)
20Schur:复方阵总酉相似于上三角;实方阵需特征值全实才有正交三角化复数 / 实+全实「能不能三角化」的判据与实数域边界(定理 3.5.2、定理 3.5.3)
21H–C:fA(A)=Of_A(A)=O;g(A)=r(A)g(A)=r(A)(g=qmA+rg=qm_A+r 或 =qfA+r=qf_A+r)任意一切高次多项式降次(定理 3.5.4)
22mAm_A 唯一、整除一切零化多项式(⇒mA∣fA\Rightarrow m_A\mid f_A)、与 fAf_A 同根(不计重数)任意候选法的全部依据(定理 3.5.5)
23A−1=±1⋅A^{-1}=\pm\frac{1}{\cdot} 公式:A−1=−1a0(An−1+an−1An−2+⋯+a1I)A^{-1}=-\frac{1}{a_0}(A^{n-1}+a_{n-1}A^{n-2}+\cdots+a_1I)AA 可逆(a0≠0a_0\ne0)「求逆」与「特征多项式」互相翻译(推论 3.5.2)

2.4 常用小事实(一行可验,背下来省事)

  • 二阶矩阵速算:fA(λ)=λ2−(tr⁡A)λ+det⁡Af_A(\lambda)=\lambda^2-(\operatorname{tr}A)\lambda+\det A——二阶题先在草稿角上写下 (tr⁡,det⁡)(\operatorname{tr},\det),特征值即刻可试凑整数根。
  • 严格三角阵幂零:nn 阶严格上(下)三角阵 NN 满足 Nn=ON^n=O(例 3.5.3 的 33 阶情形用了 N3=ON^3=O);它的多项式 / 几何级数可截断。
  • 分块三角的行列式:det⁡[BCOD]=det⁡B⋅det⁡D\det\begin{bmatrix}B&amp;C\O&amp;D\end{bmatrix}=\det B\cdot\det D(定理 3.5.1 证明用过)。
  • AA 与 ATA^{\mathrm T} 同特征多项式:det⁡(λI−AT)=det⁡((λI−A)T)=det⁡(λI−A)\det(\lambda I-A^{\mathrm T})=\det\big((\lambda I-A)^{\mathrm T}\big)=\det(\lambda I-A)——一行验证,转置不改变特征值的常用依据。
  • 幂等 / 对合:A2=A⇒A^2=A\Rightarrow 特征值 ∈{0,1}\in{0,1};A2=I⇒A^2=I\Rightarrow 特征值 ∈{±1}\in{\pm1}——由 A2x=λ2xA^2\boldsymbol x=\lambda^2\boldsymbol x 一行即得。
  • 正交阵的逆:A−1=AHA^{-1}=A^{\mathrm H},且 AHA=IA^{\mathrm H}A=I 逐列读就是「标准正交基」(列向量刻画 2.5.1)。

三、反例弹药库(判断题专用)

判断题的通行策略:先找反例,再考虑证明。下表是最短反例(多数一行可验),靠前的是出现频率最高的坑。

错误主张一颗就够了出处
「实矩阵总能正交(三角)化」旋转阵 [0−110]\begin{bmatrix}0&amp;-1\1&amp;0\end{bmatrix},特征值 ±i\pm\mathrm i定理 3.5.3 反例
「QR 分解唯一」I2I_2 有两种分解(正线才唯一;[−1001]\begin{bmatrix}-1&amp;0\0&amp;1\end{bmatrix} 作 QQ)例 3.4.1
「正交阵特征值是 ±1\pm1」旋转阵(±i\pm\mathrm i,模 1 而非实)正交矩阵特征值的模 2.5.3 后的勘误注
「rkk=∥ak∥r_{kk}=&#124;\boldsymbol a_k&#124;」例 3.4.A 中 r22=25r_{22}=\tfrac25,而 ∥a2∥=5&#124;\boldsymbol a_2&#124;=\sqrt5例 3.4.A
「不满秩不能 QR 分解」[1100]=I2[1100]\begin{bmatrix}1&amp;1\0&amp;0\end{bmatrix}=I_2\begin{bmatrix}1&amp;1\0&amp;0\end{bmatrix}例 3.4.2
「对角元全零 ⇒\Rightarrow 零矩阵」(「特征值全零 ⇒\Rightarrow A=OA=O」)[0100]\begin{bmatrix}0&amp;1\0&amp;0\end{bmatrix}定理 3.5.4 证明前的提醒
「最小多项式 =fA=f_A」I2I_2:fA=(λ−1)2f_A=(\lambda-1)^2,mA=λ−1m_A=\lambda-1例 3.5.1 后
「AB=IAB=I(长方阵)可推出 BA=IBA=I」A=[100010]A=\begin{bmatrix}1&amp;0&amp;0\0&amp;1&amp;0\end{bmatrix}、B=ATB=A^{\mathrm T}定理 3.1.1 注
「满秩分解唯一」A=I2AA=I_2A 与从 AA 的列取基的分解注 2
「相抵分解可唯一」吸收矩阵一乘就出新分解分解唯一性问题
「行满秩有左逆」方向反了:2×32\times3 矩阵只有右逆定理 3.1.1
「复空间内积用转置」C1\mathbb C^1,x=1x=1、y=iy=\mathrm i:yTx=iy^{\mathrm T}x=\mathrm i 但不是实数长度第一章勘误注
「φ(A)\varphi(A) 的特征向量都是 AA 的特征向量」A=diag⁡(1,−1)A=\operatorname{diag}(1,-1)、φ=λ2\varphi=\lambda^2:φ(A)=I\varphi(A)=I注 4

四、验算清单(每道题的最后 30 秒)

题型最短验算不过先查
相抵分解EAF=ΓEAF=\GammaEE、FF 的身份(读块)没弄反?
解方程组通解代回;自由数 n−rn-r判可解用的是 EbE\boldsymbol b?x=Fy\boldsymbol x=F\boldsymbol y 乘回了?
单侧逆AB=IAB=I / BA=IBA=I方向(行满秩配右逆)?
满秩分解BC=ABC=ABB 是 AA 的主元列?CC 是非零行?
QR 分解QR=AQR=A;对角全正对角元取了残差范数?长方阵 RR 垫零块?
QR 算法每步 tr⁡\operatorname{tr} 不变;终值验特征值迭代方向 QH(⋅)QQ^{\mathrm H}(\cdot)Q?
最小多项式mA∣fAm_A\mid f_A;同根;mA(A)=Om_A(A)=O候选从低往高试了?
g(A)g(A)g=qmA+rg=qm_A+r 的除法回乘;r(A)r(A) 代回除以 fAf_A 还是 mAm_A?余式度数 <deg⁡mA&lt;\deg m_A?
AmA^m迹 / 对角元与 ∑λm\sum\lambda^m;对称形系数在特征值处兑现了?
A−1A^{-1}AA−1=IAA^{-1}=I−1a0-\frac{1}{a_0} 的负号?
特征值∑λ=tr⁡\sum\lambda=\operatorname{tr}、∏λ=det⁡\prod\lambda=\det因式分解漏根 / 丢重数?
GS / 投影残差与基名内积为零基真的正交吗?
Givens / HouseholderTTT=IT^{\mathrm T}T=I、TxT\boldsymbol x 的目标分量为零用更新后的向量取角?
把验算变成习惯的三句话
  1. 先写下验算式再写答案——验算式是免费的保险,写完整答案再验是赌运气的重建;
  2. 数字丑不是错,结构错才是错——205\sqrt{205} 之类的丑数照样对(习题 C22 就是),但「对称阵的幂不对称」「三角阵的平方不三角」一定是错;
  3. 每张流程卡的「易错」一句话,考前一晚过一遍——它们基本就是本教程全部勘误与错题的死因汇总。

五、做题前 10 秒:前提雷达

任何结论之前,先把题目里的关键词扫一遍,对照下表——每个箭头都是「前提 → 前提不满足时会发生什么」。

雷达词要问的反例警告
方阵还是长方阵?相抵 / 相似 / 特征值 / 单侧逆的适用面不同长方阵谈「相似」「可逆」都无定义;AB=IAB=I 不等于 BA=IBA=I
满秩还是不满?QR 唯一性、RR 正线、单侧逆的存在都要满秩不满秩 QR 仍存在但不唯一;满秩分解要求 r>0r&gt;0
实还是复?内积用 H\mathrm H;正交 vs 酉;Schur 是否需要实数前提实旋转阵不能正交三角化;复空间少共轭就出错
特征值全实吗?实方阵 Schur 引理(定理 3.5.3)的硬前提旋转阵就是反例
对角元为正吗?QR 的「正线」约定是唯一性的开关去正线差一个对角酉阵
多项式是 fAf_A 还是 mAm_A 还是随便 gg?降次除谁:除以 mAm_A 最省三者角色混用是连锁错之源(勘误 E3.5)
特征值模互异吗?QR 算法收敛条件等模卡死(旋转阵)
基是正交的吗?投影公式、GS 简化都要先验正交非正交基直接套公式必错(勘误 E12)

依据第一至三章正文的全部定理、推论与勘误汇总整理 · 二级结论均给出前提与出处,可逐条回正文核对 · 流程卡的算例链接指向各章例题与习题 · 与考场竞技场的分工:本页管「怎么算对」,竞技场管「限时怎么拿分」 · 整理日期 2026-10-15。