夜航手记SONG ZONGYE / PERSONAL BLOG

MATHEMATICS / 知识库

从理解，到会用。

数竞知识库 · 54 个专题 · 3 个学科

先看适用条件，再选择公式。核心、进阶与拓展是本站的阅读层次，不代表统一考试范围；原题与完整证明可从条目中的链接回到讲义。

学习记录保存在当前浏览器。

资料书对应《清疏大学生数学竞赛班第十三届讲义》1911 页 · 展开查看范围

以下章节和页码用于回到讲义查阅原题、证明与练习；本站公式、概述和例题提示均重新整理。完整章节目录 →

打开完整讲义 PDF ↗

记录保存在当前浏览器，可在学习中心导出备份。

54 个知识点 · 点击标题展开

极限、微积分、级数、向量分析与微分方程 · 31 个专题

数学分析

01极限与实数完备性夹逼、单调有界、Cauchy 准则；子列与紧致性。核心
关键词上确界下确界Cauchy 列上下极限子列
xn→a  ⟺  ∀ε>0, ∃N, n>N⇒∣xn−a∣<εx_n\to a\iff\forall\varepsilon>0,\ \exists N,\ n>N\Rightarrow |x_n-a|<\varepsilon
lim⁡x→0sin⁡xx=1,lim⁡x→0ex−1x=1\lim_{x\to0}\frac{\sin x}{x}=1,\quad\lim_{x\to0}\frac{e^x-1}{x}=1
适用条件
实数列单调且有界才保证收敛；函数极限需核对左右极限。
易错提醒
等价无穷小一般用于乘除，不能在相消的加减式中直接替换。
解题切入点
递推数列：先证明有界与单调，再把极限代入递推式；不要只解极限方程。

讲义定位

02连续、紧区间与介值连续函数的有界性、最值、介值性与一致连续。核心
关键词一致连续Heine–Cantor介值定理
f∈C([a,b])⇒∃x∗,x∗∈[a,b],f(x∗)≤f(x)≤f(x∗)f\in C([a,b])\Rightarrow\exists x_*,x^*\in[a,b],\quad f(x_*)\le f(x)\le f(x^*)
f(a)f(b)<0⇒∃ξ∈(a,b),f(ξ)=0f(a)f(b)<0\Rightarrow\exists\xi\in(a,b),\quad f(\xi)=0
适用条件
介值定理需连续；闭区间连续可推出一致连续。
易错提醒
开区间上的连续函数未必有界、取得最值或一致连续。
解题切入点
证明方程有根：构造连续函数，再寻找函数值异号的两个点。

讲义定位

03微分中值定理Rolle、Lagrange、Cauchy 中值定理与辅助函数。核心
关键词RolleLagrangeCauchy 中值定理辅助函数
f(b)−f(a)=f′(ξ)(b−a),ξ∈(a,b)f(b)-f(a)=f^\prime(\xi)(b-a),\quad \xi\in(a,b)
[f(b)−f(a)]g′(ξ)=[g(b)−g(a)]f′(ξ)[f(b)-f(a)]g^\prime(\xi)=[g(b)-g(a)]f^\prime(\xi)
适用条件
f（以及 Cauchy 定理中的 g）在闭区间连续、开区间可导；Rolle 另需两端函数值相等。
易错提醒
导数存在不意味着导数连续；使用商形式时需检查分母非零。
解题切入点
含指数、积分或线性项的中值问题，常通过构造乘积或差函数应用 Rolle。

讲义定位

04Taylor 展开与余项渐近展开、极限主项、局部估计。核心
关键词Peano 余项Lagrange 余项渐近展开
f(x)=∑k=0nf(k)(a)k!(x−a)k+o((x−a)n)f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k+o((x-a)^n)
f(x)=∑k=0nf(k)(a)k!(x−a)k+f(n+1)(ξ)(n+1)!(x−a)n+1f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k+\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}
适用条件
例如 f 在 a 的邻域为 Cⁿ，可用 Peano 余项；为 Cⁿ⁺¹ 时可用 Lagrange 余项。
易错提醒
相消后必须保留到第一个不为零的阶；余项阶数也要参与除法。
解题切入点
sin x=x−x³/6+o(x³)，所以 (sin x−x)/x³ → −1/6。

讲义定位

05L’Hôpital 法则0/0、∞/∞ 型极限；增长阶比较。核心
关键词洛必达未定式函数 Stolz
lim⁡f(x)g(x)=lim⁡f′(x)g′(x)\lim\frac{f(x)}{g(x)}=\lim\frac{f^\prime(x)}{g^\prime(x)}
适用条件
先确认未定式类型、去心邻域可导、g′ 不为零，且导数商的极限存在（可为无穷）。
易错提醒
不是对所有商式都能分别求导；导数商极限不存在也不能反推原极限不存在。
解题切入点
幂指型先取对数；∞−∞ 常先通分或有理化。

讲义定位

06定积分与积分技巧换元、分部积分、对称性、积分均值与估计。核心
关键词区间再现含参积分求导分部积分
∫abuv′ dx=[uv]ab−∫abu′v dx\int_a^b u v^\prime\,dx=[uv]_a^b-\int_a^b u^\prime v\,dx
ddx∫axf(t) dt=f(x)\frac{d}{dx}\int_a^x f(t)\,dt=f(x)
适用条件
微积分基本定理的上述导数式在 f 连续处成立；换元须保持区间与微分一致。
易错提醒
变上限积分求导时注意复合上限的链式法则。
解题切入点
对称区间先判奇偶；含 x 与 a−x 的积分可尝试两式相加。

讲义定位

07反常积分与敛散无穷区间、奇点、比较判别、绝对与条件收敛。核心
关键词反常积分瑕积分Dirichlet 判别
∫1∞x−p dx<∞  ⟺  p>1\int_1^\infty x^{-p}\,dx<\infty\iff p>1
∫01x−p dx<∞  ⟺  p<1\int_0^1 x^{-p}\,dx<\infty\iff p<1
适用条件
有多个奇点时，必须拆开分别考察；积分上下限的极限独立存在。
易错提醒
Cauchy 主值存在不等于普通反常积分收敛。
解题切入点
先找主导奇性，用极限比较；振荡型可考虑 Dirichlet 判别。

讲义定位

08数项级数正项比较、比值、根值；交错级数与绝对收敛。核心
关键词正项级数交错级数绝对收敛条件收敛
∑an 收敛⇒an→0\sum a_n\text{ 收敛}\Rightarrow a_n\to0
L=lim sup⁡n→∞∣an∣n:L<1⇒绝对收敛, L>1⇒发散L=\limsup_{n\to\infty}\sqrt[n]{|a_n|}:\quad L<1\Rightarrow\text{绝对收敛},\ L>1\Rightarrow\text{发散}
适用条件
Leibniz 判别需正项幅度最终单调递减且趋于零；绝对收敛可推出收敛。
易错提醒
通项趋于零只是必要条件；比值或根值等于 1 时不能判断。
解题切入点
含阶乘常用比值，含 n 次幂常用根值，交错型先检查幅度。

讲义定位

09幂级数与一致收敛收敛半径、端点、逐项积分与逐项求导。核心
关键词函数项级数Weierstrass M 判别收敛半径
1R=lim sup⁡n→∞∣an∣1/n\frac1R=\limsup_{n\to\infty}|a_n|^{1/n}
sup⁡x∈E∣fn(x)−f(x)∣→0\sup_{x\in E}|f_n(x)-f(x)|\to0
适用条件
幂级数在收敛区间内部的紧子区间上一致收敛；各端点另判。连续函数列一致收敛时极限连续。
易错提醒
逐点收敛不能直接交换极限与积分/导数；一致收敛本身不保证导数可交换。
解题切入点
Weierstrass M 判别：|uₙ(x)|≤Mₙ 且 ΣMₙ 收敛，可证函数项级数一致绝对收敛。

讲义定位

10多元微分与极值全微分、方向导数、Hessian、约束极值。核心
关键词二重极限全微分HessianLagrange 乘子
df=∑i∂f∂xidxidf=\sum_i\frac{\partial f}{\partial x_i}dx_i
∇f(x)=λ∇g(x)\nabla f(x)=\lambda\nabla g(x)
适用条件
偏导在邻域连续是可微的充分条件；单约束 Lagrange 乘子法需约束梯度非零。
易错提醒
偏导都存在不一定可微；Hessian 半正定/半负定时二阶判别通常不能定论。
解题切入点
先找驻点，再查 Hessian；闭有界区域的全局极值还要检查边界。

讲义定位

11重积分与变量替换积分区域、换序、极坐标、Jacobian。核心
关键词二重积分三重积分Jacobian极坐标
∬Df(x,y) dxdy=∬D∗f(x(u,v),y(u,v))∣∂(x,y)∂(u,v)∣ dudv\iint_D f(x,y)\,dxdy=\iint_{D^*}f(x(u,v),y(u,v))\left|\frac{\partial(x,y)}{\partial(u,v)}\right|\,dudv
x=rcos⁡θ, y=rsin⁡θ,dxdy=r drdθx=r\cos\theta,\ y=r\sin\theta,\quad dxdy=r\,drd\theta
适用条件
换元要求足够光滑、在适当区域一一对应且 Jacobian 非零；奇异点需另处理。
易错提醒
Jacobian 取绝对值；换序必须重新描述区域。
解题切入点
遇圆域或 x²+y² 优先考虑极坐标；先画区域再计算。

讲义定位

12Stolz–Cesàro 与 Toeplitz把数列商的极限转化为差分商，并处理加权平均型极限。进阶
关键词StolzCesàroToeplitz数列洛必达加权平均
xn↑+∞,lim⁡n→∞yn+1−ynxn+1−xn=L⇒lim⁡n→∞ynxn=Lx_n\uparrow+\infty,\quad \lim_{n\to\infty}\frac{y_{n+1}-y_n}{x_{n+1}-x_n}=L\Rightarrow\lim_{n\to\infty}\frac{y_n}{x_n}=L
xk→L, ank≥0, ∑k=1nank→1, ank→0 (k 固定) ⟹ ∑k=1nankxk→Lx_k\to L,\ a_{nk}\ge0,\ \sum_{k=1}^{n}a_{nk}\to1,\ a_{nk}\to0\ (k\text{ 固定})\ \Longrightarrow\ \sum_{k=1}^{n}a_{nk}x_k\to L
适用条件
上式 Stolz 使用严格递增且趋于正无穷的分母序列。此处 Toeplitz 写的是非负三角权重版本：原序列 xₖ→L，行权重和趋于 1，每个固定列的权重趋于 0；三项条件要同时检查。
易错提醒
只看到数列之比就套 Stolz，容易遗漏分母差分为零、符号不定或差分商极限不存在的情况。
解题切入点
遇到平均值、阶乘、幂和或累加量之比，先写出相邻差分，再判断是否满足定理条件。

例子与解题线索

求和式之比先把分子、分母分别视作累加序列，相邻作差后通常只剩通项之比。

讲义定位

13递推数列与不动点单调有界、压缩映射、蛛网图与误差阶分析。核心
关键词递推数列不动点压缩映射蛛网图迭代
xn+1=f(xn), xn→α, f 在 α 连续⇒α=f(α)x_{n+1}=f(x_n),\ x_n\to\alpha,\ f\text{ 在 }\alpha\text{ 连续}\Rightarrow\alpha=f(\alpha)
∣f(x)−f(y)∣≤q∣x−y∣,0<q<1⇒∣xn−α∣≤qn∣x0−α∣|f(x)-f(y)|\le q|x-y|,\quad0<q<1\Rightarrow |x_n-\alpha|\le q^n|x_0-\alpha|
适用条件
把极限代入递推式前，要证明收敛且 f 在候选极限处连续。压缩映射应用于非空闭不变区间，压缩常数 q<1；第二式以该区间中的不动点 α 为基准。
易错提醒
解出 α=f(α) 只能得到候选极限，不能排除发散、周期振荡或跑出定义域。
解题切入点
先找不变区间，再分析单调性或压缩性；必要时研究偶子列、奇子列或误差比。

例子与解题线索

对 xₙ₊₁=f(xₙ)，先证明区间 I 满足 f(I)⊂I，再在 I 上检查 f 的单调性或 |f′| 上界。

讲义定位

14凸函数与 Jensen 不等式割线、切线、加权 Jensen 与凸性判别。核心
关键词凸函数凹函数Jensen切线法割线法
f(λx+(1−λ)y)≤λf(x)+(1−λ)f(y),0≤λ≤1f(\lambda x+(1-\lambda)y)\le\lambda f(x)+(1-\lambda)f(y),\quad0\le\lambda\le1
f ⁣(∑i=1nλixi)≤∑i=1nλif(xi),λi≥0,∑iλi=1f\!\left(\sum_{i=1}^n\lambda_i x_i\right)\le\sum_{i=1}^n\lambda_i f(x_i),\quad\lambda_i\ge0,\quad\sum_i\lambda_i=1
适用条件
函数应在凸集上凸；二阶导数判别要求相应区间内 f″≥0。严格凸时，Jensen 取等通常要求参与点相等。
易错提醒
忽略权重非负与和为 1，或在函数并非全区间凸时直接应用 Jensen。
解题切入点
先观察表达式是否是加权平均；若目标含乘积，可取对数转化为凸性或凹性问题。

例子与解题线索

遇到固定和条件下的函数和，先判断 f 的凸凹性，再决定使用 Jensen、切线或端点比较。

讲义定位

15函数性态与函数方程单调、周期、零点、迭代与 Cauchy 型函数方程。进阶
关键词函数方程Cauchy 方程函数性态周期函数零点
f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y)
f(x+y)=f(x)f(y)f(x+y)=f(x)f(y)
适用条件
从 Cauchy 方程推出线性或指数形式通常还需连续、单调、有界于正测集等正则性条件。
易错提醒
仅凭函数方程写出常见解，会漏掉无正则条件时的非常规解；周期与单调并存时也要检查定义域。
解题切入点
先代入 0、相反数和特殊点，再利用迭代、单调性、有界性或稠密集逼近扩大结论。

例子与解题线索

先代 x=y=0 获取 f(0)，再代 y=−x 研究奇偶或非零性，最后才使用连续性延拓。

讲义定位

16含参积分与一致收敛积分号下取极限、连续性、求导及一致收敛判别。进阶
关键词含参积分积分号下求导一致收敛控制收敛尾积分
F(α)=∫abf(x,α) dx,F′(α)=∫ab∂f∂α(x,α) dxF(\alpha)=\int_a^b f(x,\alpha)\,dx,\quad F^\prime(\alpha)=\int_a^b\frac{\partial f}{\partial\alpha}(x,\alpha)\,dx
sup⁡α∈A∣∫R∞f(x,α) dx∣→0(R→∞)\sup_{\alpha\in A}\left|\int_R^\infty f(x,\alpha)\,dx\right|\to0\quad(R\to\infty)
适用条件
有限区间上，若 f 与 ∂f/∂α 在 [a,b]×I 连续，可逐点对参数积分求导。反常积分求导要另查条件，例如在某 α₀ 的积分收敛，且参数邻域内导函数绝对值被同一个可积函数控制。只交换极限时可用控制收敛或适当的一致收敛条件。
易错提醒
逐点收敛或每个参数下积分存在，不能自动推出含参积分连续或可微。
解题切入点
先找与参数无关的可积上界；反常区间问题常把尾积分一致趋零作为目标。

例子与解题线索

把积分拆成有限区间和尾部：有限区间处理连续性，尾部用统一估计控制。

讲义定位

17积分不等式Cauchy–Schwarz、Jensen、Hölder 与构造辅助积分。核心
关键词积分不等式Cauchy–SchwarzHölderJensen 积分型Wirtinger
∣∫abf(x)g(x) dx∣2≤∫ab∣f∣2 dx∫ab∣g∣2 dx\left|\int_a^b f(x)g(x)\,dx\right|^2\le\int_a^b|f|^2\,dx\int_a^b|g|^2\,dx
φ ⁣(1b−a∫abf)≤1b−a∫abφ(f)\varphi\!\left(\frac1{b-a}\int_a^b f\right)\le\frac1{b-a}\int_a^b\varphi(f)
适用条件
Cauchy–Schwarz 需平方可积；Jensen 的 φ 在 f 的值域上凸，积分权重应非负并归一。
易错提醒
只套不等式却不检查取等条件，或选择权函数后引入不可积项。
解题切入点
先判断目标是乘积、平均还是导数关系，再选择平方展开、凸性或分部积分。

例子与解题线索

含 ∫fg 时先试 Cauchy；含 φ(平均值) 时试 Jensen；含 f 与 f′ 时考虑分部积分或平方非负。

讲义定位

18级数求和与生成函数裂项、Abel 变换、幂级数生成函数与 Cauchy 乘积。进阶
关键词级数求和生成函数Abel 变换Cauchy 乘积裂项
A(x)=∑n=0∞anxn,B(x)=∑n=0∞bnxn⇒A(x)B(x)=∑n=0∞(∑k=0nakbn−k)xnA(x)=\sum_{n=0}^{\infty}a_nx^n,\quad B(x)=\sum_{n=0}^{\infty}b_nx^n\Rightarrow A(x)B(x)=\sum_{n=0}^{\infty}\left(\sum_{k=0}^na_kb_{n-k}\right)x^n
∑k=1nakbk=Anbn+∑k=1n−1Ak(bk−bk+1),Ak=∑j=1kaj\sum_{k=1}^n a_kb_k=A_nb_n+\sum_{k=1}^{n-1}A_k(b_k-b_{k+1}),\quad A_k=\sum_{j=1}^ka_j
适用条件
幂级数运算先在共同收敛圆内进行；Cauchy 乘积的收敛结论需满足相应绝对收敛等条件。
易错提醒
形式运算后直接把 x 取到收敛端点，或重排条件收敛级数。
解题切入点
有递推系数时构造生成函数；乘积型系数识别卷积；带差分的和式优先 Abel 变换。

例子与解题线索

先在 |x|<R 内求出生成函数闭式，再单独检查端点或目标代入值是否合法。

讲义定位

19Fourier 级数Fourier 系数、Parseval 等式与点态收敛。进阶
关键词Fourier傅立叶级数Parseval三角级数正交展开
an=1π∫−ππf(x)cos⁡(nx) dx,bn=1π∫−ππf(x)sin⁡(nx) dxa_n=\frac1\pi\int_{-\pi}^{\pi}f(x)\cos(nx)\,dx,\quad b_n=\frac1\pi\int_{-\pi}^{\pi}f(x)\sin(nx)\,dx
a022+∑n=1∞(an2+bn2)=1π∫−ππ∣f(x)∣2 dx\frac{a_0^2}{2}+\sum_{n=1}^{\infty}(a_n^2+b_n^2)=\frac1\pi\int_{-\pi}^{\pi}|f(x)|^2\,dx
适用条件
系数按 2π 周期归一。这里对实值 f∈L²(−π,π) 使用 Parseval；若 f 的周期延拓分段 C¹，则 Fourier 级数在每点收敛到左右极限的平均。
易错提醒
跳跃点处级数一般不收敛到指定单侧值；不同周期与区间的归一系数不能混用。
解题切入点
先用奇偶性消去一半系数，再用已知级数或 Parseval 求特殊数项和。

例子与解题线索

偶函数只计算余弦系数；若目标是平方倒数和，尝试把简单分段函数代入 Parseval。

讲义定位

20曲线曲面积分与三大公式Green、Gauss、Stokes 及路径无关判别。核心
关键词曲线积分曲面积分GreenGaussStokes路径无关
∮∂DP dx+Q dy=∬D(∂Q∂x−∂P∂y)dxdy\oint_{\partial D}P\,dx+Q\,dy=\iint_D\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dxdy
∬∂ΩF⋅n dS=∭Ω∇⋅F dV\iint_{\partial\Omega}\mathbf F\cdot\mathbf n\,dS=\iiint_{\Omega}\nabla\cdot\mathbf F\,dV
∮∂SF⋅dr=∬S(∇×F)⋅n dS\oint_{\partial S}\mathbf F\cdot d\mathbf r=\iint_S(\nabla\times\mathbf F)\cdot\mathbf n\,dS
适用条件
经典充分条件：P、Q 或 F 在相关区域或曲面邻域为 C¹，边界和曲面分片光滑且定向一致。Gauss 取外法向；Stokes 的边界方向与法向服从右手规则。有奇点时应先移除并补上相应边界。
易错提醒
边界正向、曲面法向与投影符号不一致，会使结果整体变号；有孔区域还要加入内边界。
解题切入点
封闭边界优先尝试三大公式降维或升维；开曲线积分先检查旋度为零和定义域单连通。

例子与解题线索

看见闭合曲线或闭曲面，先检查被积式能否写成环流、通量、散度或旋度。

讲义定位

21常微分方程常用模型一阶线性、Bernoulli、Riccati、Clairaut 与二阶常系数方程。核心
关键词微分方程ODE积分因子RiccatiClairaut特征方程
y′+p(x)y=q(x)⇒y=e−∫p(C+∫q(x)e∫pdx)y^\prime+p(x)y=q(x)\Rightarrow y=e^{-\int p}\left(C+\int q(x)e^{\int p}dx\right)
y=erx 是 ay′′+by′+cy=0 的解  ⟺  ar2+br+c=0y=e^{rx}\text{ 是 }ay^{\prime\prime}+by^\prime+cy=0\text{ 的解}\iff ar^2+br+c=0
适用条件
一阶积分因子公式取系数在所讨论区间连续。第二式中 a、b、c 为常数且 a≠0，是代入指数试解得到的特征方程。降阶或变量代换时，另查被除量为零的特殊解。
易错提醒
把通解代换中的分母设为非零后忘记补回被排除的常数解或奇解。
解题切入点
先识别可分离、齐次、一阶线性或恰当方程；二阶方程再看常系数、降阶或已知特解。

例子与解题线索

做变量代换前先列出会被除掉的因子，求出一般分支后逐一检查这些特殊分支。

讲义定位

22上下极限与聚点用尾部上、下确界描述振荡数列，并把收敛转化为两个边界相等。核心
关键词上极限下极限limsupliminf聚点尾部确界
lim sup⁡n→∞an=lim⁡N→∞sup⁡n≥Nan,lim inf⁡n→∞an=lim⁡N→∞inf⁡n≥Nan\limsup_{n\to\infty}a_n=\lim_{N\to\infty}\sup_{n\ge N}a_n,\qquad \liminf_{n\to\infty}a_n=\lim_{N\to\infty}\inf_{n\ge N}a_n
an→L∈R  ⟺  lim inf⁡an=lim sup⁡an=La_n\to L\in\mathbb R\iff\liminf a_n=\limsup a_n=L
适用条件
上下极限允许取扩充实数值；有界实数列的上下极限分别是最大、最小子列极限。写成有限实极限的判据时，两者必须相等且有限。
易错提醒
上下极限一般不能像普通极限一样随意拆和、拆积；一个子列收敛，也不能推出原数列收敛。
解题切入点
遇到奇偶振荡先分别求子列极限；没有显式通项时，先寻找所有充分靠后的项共同满足的上下界。

例子与解题线索

对 aₙ=(−1)ⁿ+2/n，偶子列趋于 1，奇子列趋于 −1，因此上极限是 1、下极限是 −1，原数列不收敛。

讲义定位

23Riemann 和与和式极限识别网格宽度与取样点，把大量小项的求和转成定积分。核心
关键词Riemann黎曼和定积分定义和式极限积分和
lim⁡n→∞b−an∑k=1nf ⁣(a+k(b−a)n)=∫abf(x) dx\lim_{n\to\infty}\frac{b-a}{n}\sum_{k=1}^{n}f\!\left(a+\frac{k(b-a)}n\right)=\int_a^b f(x)\,dx
lim⁡n→∞∑k=1nkn2+k2=∫01x1+x2 dx=log⁡22\lim_{n\to\infty}\sum_{k=1}^n\frac{k}{n^2+k^2}=\int_0^1\frac{x}{1+x^2}\,dx=\frac{\log 2}{2}
适用条件
第一式要求 f 在闭区间上 Riemann 可积；连续是常用的充分条件。一般分割还需最大子区间长度趋于零。
易错提醒
不能遗漏网格宽度；若端点有无界奇性，不能直接套用有界函数的 Riemann 和结论。被加函数还随 n 改变时，也需额外估计误差。
解题切入点
先把分母、分子中的 n 提取出来，整理成“1/n × f(k/n)”；再检查端点是否有奇性。

例子与解题线索

将 k/(n²+k²) 改写为 (1/n)·(k/n)/(1+(k/n)²)，就能读出区间 [0,1] 与被积函数。

讲义定位

24Laplace 方法与积分主项大参数积分的主要贡献来自指数函数的最大值附近。拓展
关键词Laplace拉普拉斯方法积分渐近大参数积分主导贡献
∫abg(x)enϕ(x) dx∼g(x0)enϕ(x0)2πn∣ϕ′′(x0)∣\int_a^b g(x)e^{n\phi(x)}\,dx\sim g(x_0)e^{n\phi(x_0)}\sqrt{\frac{2\pi}{n|\phi^{\prime\prime}(x_0)|}}
∫−11e−nx2 dx∼πn\int_{-1}^{1}e^{-nx^2}\,dx\sim\sqrt{\frac\pi n}
适用条件
这里取有限闭区间：φ 为 C²，在唯一内点 x₀ 取得全局最大值，φ″(x₀)<0；g 连续且 g(x₀)≠0，n 趋于正无穷。
易错提醒
最大值在端点、存在多个最大点、二阶导数为零，或 g 在最大点为零时，上述系数和 n 的幂次都可能改变。
解题切入点
先找 φ 的全部最大点，再在主导点处作二阶展开；用 x−x₀=t/√n 看清峰宽与积分量级。

例子与解题线索

在 ∫₋₁¹ exp(−nx²)dx 中，最大点是 0，φ″(0)=−2；有效积分宽度约为 1/√n，所以主项是 √(π/n)。

讲义定位

25Euler–Maclaurin 与求和误差在积分近似之外保留端点修正，判断和式与积分相差多少。拓展
关键词Euler–Maclaurin欧拉麦克劳林求和公式端点修正梯形公式
∑k=abf(k)=∫abf(x) dx+f(a)+f(b)2+∫ab ⁣(x−⌊x⌋−12)f′(x) dx\sum_{k=a}^{b}f(k)=\int_a^b f(x)\,dx+\frac{f(a)+f(b)}2+\int_a^b\!\left(x-\lfloor x\rfloor-\frac12\right)f^\prime(x)\,dx
1n∑k=1nf ⁣(kn)=∫01f(x) dx+f(1)−f(0)2n+O(n−2)\frac1n\sum_{k=1}^{n}f\!\left(\frac kn\right)=\int_0^1 f(x)\,dx+\frac{f(1)-f(0)}{2n}+O(n^{-2})
适用条件
第一式取整数 a<b，且 f 在 [a,b] 上为 C¹；第二式取 f∈C²([0,1])。余项阶数需要与所假定的光滑程度配套。
易错提醒
左端点和、右端点和与梯形和的端点修正不同；函数或积分区间依赖 n 时，不能未经检查就把余项常数视为统一常数。
解题切入点
先写出积分主项，再检查求和是否包括两个端点；只需一阶误差时，端点修正通常已经足够。

例子与解题线索

对 f(x)=x²，右端点平均和恰为 1/3+1/(2n)+1/(6n²)。积分给出 1/3，端点修正解释了 1/(2n)。

讲义定位

26Dini 定理与单调函数列连续函数列在紧集上单调收敛到连续函数时，可升级为一致收敛。进阶
关键词Dini迪尼定理单调函数列紧集一致收敛
fn,f∈C(K),fn(x)↓f(x)⟹∥fn−f∥∞,K→0f_n,f\in C(K),\quad f_n(x)\downarrow f(x)\quad\Longrightarrow\quad \|f_n-f\|_{\infty,K}\to0
sup⁡x∈[0,r]xn=rn→0,0<r<1\sup_{x\in[0,r]}x^n=r^n\to0,\qquad0<r<1
适用条件
K 为紧集；每个 fₙ 与极限函数 f 连续；对每个固定 x，fₙ(x) 随 n 同向单调。单调递增也有相同结论。
易错提醒
这里的单调性针对序号 n，并非针对变量 x。极限函数连续与集合紧致都不可随意删除。
解题切入点
先算逐点极限并检查它是否连续，再检查函数列随 n 的单调性，最后使用紧性。

例子与解题线索

xⁿ 在 [0,0.8] 上一致趋于 0；在 [0,1] 上的逐点极限在 1 处跳跃，因此不能使用 Dini，也确实不一致收敛。

讲义定位

27极限与积分、导数的换序分别检查积分与求导的换序条件，避免用一个条件替代所有换序论证。进阶
关键词极限换序逐项积分逐项求导一致收敛导数列
∣∫abfn−∫abf∣≤(b−a)∥fn−f∥∞,[a,b]\left|\int_a^b f_n-\int_a^b f\right|\le (b-a)\|f_n-f\|_{\infty,[a,b]}
fn(x0)→c,fn′⇉g⟹fn⇉f,f′=gf_n(x_0)\to c,\quad f_n^\prime\rightrightarrows g\quad\Longrightarrow\quad f_n\rightrightarrows f,\quad f^\prime=g
适用条件
第一式用于闭区间上 Riemann 可积函数的一致收敛。第二式假定 fₙ∈C¹([a,b])、x₀∈[a,b]，且导数列在整个区间上一致收敛。
易错提醒
函数列一致收敛本身并不足以交换求导；无穷区间积分还要控制远端，不能直接套用有限区间的长度估计。
解题切入点
先明确要交换的是哪两个操作，再寻找统一误差估计；求导换序时，优先检查导数列和一个基点的函数值。

例子与解题线索

fₙ(x)=x+sin(nx)/n 在 [0,1] 上一致趋于 x，但 fₙ′(0)=2，而极限函数在 0 的导数为 1。

讲义定位

28Bernstein 多项式逼近以二项式权重构造多项式，在闭区间上一致逼近连续函数。拓展
关键词Bernstein伯恩斯坦多项式逼近Weierstrass二项分布权重
Bnf(x)=∑k=0nf ⁣(kn)(nk)xk(1−x)n−kB_n f(x)=\sum_{k=0}^{n}f\!\left(\frac kn\right)\binom nk x^k(1-x)^{n-k}
f∈C([0,1])⟹∥Bnf−f∥∞→0,Bn(x2)=x2+x(1−x)nf\in C([0,1])\Longrightarrow\|B_n f-f\|_\infty\to0,\qquad B_n(x^2)=x^2+\frac{x(1-x)}n
适用条件
上述一致逼近结论要求 f 在 [0,1] 连续；一般有限闭区间可先作线性变量替换。n≥1。
易错提醒
Bernstein 逼近通常不在每个取样节点处插值；仅有连续性也不能统一声称误差总是 O(1/n)。
解题切入点
把系数看作二项分布的概率权重，先算常数、一次和二次函数的像，再用一致连续性控制一般函数误差。

例子与解题线索

对 f(x)=x²，误差就是 x(1−x)/n，其最大值为 1/(4n)。这同时说明逼近多项式通常不等于原函数。

讲义定位

29Lagrange 插值与余项通过函数值构造低次多项式，并用高阶导数控制插值误差。进阶
关键词Lagrange 插值拉格朗日插值插值余项节点插值基函数
Pn(x)=∑j=0nf(xj)∏0≤k≤nk≠jx−xkxj−xkP_n(x)=\sum_{j=0}^{n}f(x_j)\prod_{\substack{0\le k\le n\\k\ne j}}\frac{x-x_k}{x_j-x_k}
f(x)−Pn(x)=f(n+1)(ξ)(n+1)!∏j=0n(x−xj)f(x)-P_n(x)=\frac{f^{(n+1)}(\xi)}{(n+1)!}\prod_{j=0}^{n}(x-x_j)
适用条件
n+1 个实节点两两不同。余项式可在 f 于包含节点与 x 的闭区间上为 Cⁿ⁺¹ 时使用，ξ 位于这些点的最小包络区间内。
易错提醒
ξ 依赖所求的 x，不能当作固定常数后再随意求导；增加等距节点并不保证全区间误差单调减小。
解题切入点
看到多个函数值与某阶导数的联系，可构造插值多项式，再让差函数在各节点消失并反复使用 Rolle 定理。

例子与解题线索

三个节点 0、1、2 的函数值分别是 1、2、5，唯一的二次以下插值多项式是 x²+1；它只描述这三个数据，不能据此断言原函数处处等于 x²+1。

讲义定位

30Dirichlet、Abel 判别与分部求和把振荡抵消与幅度衰减分开，处理不易直接比较的级数。进阶
关键词DirichletAbel狄利克雷判别阿贝尔判别分部求和振荡级数
Ak=∑j=1kaj,∑k=1nakbk=Anbn+∑k=1n−1Ak(bk−bk+1)A_k=\sum_{j=1}^{k}a_j,\qquad\sum_{k=1}^{n}a_kb_k=A_nb_n+\sum_{k=1}^{n-1}A_k(b_k-b_{k+1})
sup⁡n∣An∣<∞,bn↓0⟹∑n=1∞anbn 收敛\sup_n|A_n|<\infty,\quad b_n\downarrow0\quad\Longrightarrow\quad\sum_{n=1}^{\infty}a_nb_n\text{ 收敛}
适用条件
Dirichlet 判别要求 aₙ 的部分和有界，bₙ 为单调趋零的实数列；Abel 判别则要求 Σaₙ 收敛、bₙ 单调且有界。
易错提醒
aₙ 本身有界不代表其部分和有界；bₙ 只趋于零而没有单调性，也不足以直接套用这两个判别。
解题切入点
把三角函数、交错符号等放入 aₙ，把慢慢衰减的部分放入 bₙ；先用有限和公式控制 aₙ 的部分和。

例子与解题线索

Σ sin(nπ/2)/√n 的振荡部分按 1、0、−1、0 循环，部分和有界，因此级数收敛；绝对值只剩奇数项的 1/√n，故不绝对收敛。

讲义定位

31隐函数定理与局部求导判断方程能否在某点附近唯一确定一个可微函数。进阶
关键词隐函数定理局部唯一隐式求导Jacobian隐函数组
F(x0,y0)=0,Fy(x0,y0)≠0⟹y=φ(x),φ′(x)=−Fx(x,φ(x))Fy(x,φ(x))F(x_0,y_0)=0,\quad F_y(x_0,y_0)\ne0\quad\Longrightarrow\quad y=\varphi(x),\qquad\varphi^\prime(x)=-\frac{F_x(x,\varphi(x))}{F_y(x,\varphi(x))}
F(x,y)=0,det⁡DyF≠0⟹Dφ=−(DyF)−1DxFF(x,y)=0,\quad\det D_yF\ne0\quad\Longrightarrow\quad D\varphi=-(D_yF)^{-1}D_xF
适用条件
F 在相应点的邻域为 C¹。标量情形检查对被解变量的偏导非零；向量情形 F 有 m 个分量，y∈Rᵐ，检查对应 Jacobian 可逆。结论仅在充分小邻域内成立。
易错提醒
局部唯一不能推出全局只有一个分支；偏导或 Jacobian 为零意味着该定理不能判断，并不自动意味着隐函数不存在。
解题切入点
先确定想把哪个变量写成其余变量的函数，再检查与该变量对应的偏导；求导时保留所有复合项。

例子与解题线索

x²+y²=4 在 (0,2) 附近给出 y=√(4−x²)，且 y′(0)=0。在 (2,0) 处 Fᵧ=0，不能用同一条件把 y 写成可微的 x 函数。

讲义定位

多项式、线性空间、矩阵标准形与分解 · 17 个专题

高等代数

01多项式、重根与整除带余除法、最大公因式、因式分解、重根。核心
关键词重根整除分圆多项式Gauss–Lucas
(x−a)m∣f(x)  ⟺  f(a)=f′(a)=⋯=f(m−1)(a)=0(x-a)^m\mid f(x)\iff f(a)=f^\prime(a)=\cdots=f^{(m-1)}(a)=0
f 有重根  ⟺  gcd⁡(f,f′)≠1f\text{ 有重根}\iff\gcd(f,f^\prime)\ne1
适用条件
上述导数判据取特征为零的数域；重根指在相应分裂域中讨论。
易错提醒
在实数域不可约的二次式，在复数域可能分裂；先说清数域。
解题切入点
用带余除法求余式，再用根值或导数条件确定系数。

讲义定位

02行列式与矩阵运算初等变换、分块矩阵、秩与可逆性。核心
关键词行列式分块矩阵初等变换
det⁡(AB)=det⁡Adet⁡B,det⁡AT=det⁡A\det(AB)=\det A\det B,\quad \det A^T=\det A
det⁡(AB0D)=det⁡Adet⁡D\det\begin{pmatrix}A&B\\0&D\end{pmatrix}=\det A\det D
适用条件
乘法公式要求同阶方阵；分块三角式中 A、D 为方阵。
易错提醒
一般 det(A+B)≠det A+det B；AB 通常不等于 BA。
解题切入点
低秩扰动、特殊行列结构优先做保持结构的初等变换。

讲义定位

03矩阵秩与线性方程组解的存在性、自由变量、基础解系。核心
关键词秩线性方程组基础解系
Ax=b 有解  ⟺  r(A)=r([A∣b])Ax=b\text{ 有解}\iff r(A)=r([A\mid b])
dim⁡ker⁡A=n−r(A),x=x0+z, z∈ker⁡A\dim\ker A=n-r(A),\qquad x=x_0+z,\ z\in\ker A
适用条件
A 有 n 列；非齐次通解公式要求先存在一个特解 x₀。
易错提醒
有解不代表唯一；唯一解还需秩等于未知量个数。
解题切入点
先行化简增广矩阵，再分参数讨论主元是否消失。

讲义定位

04线性空间、基与维数线性无关、生成、子空间、直和与维数。核心
关键词基维数直和子空间
dim⁡(U+V)=dim⁡U+dim⁡V−dim⁡(U∩V)\dim(U+V)=\dim U+\dim V-\dim(U\cap V)
V=U⊕W  ⟺  V=U+W 且 U∩W={0}V=U\oplus W\iff V=U+W\text{ 且 }U\cap W=\{0\}
适用条件
维数公式用于有限维空间；换基矩阵须由两组基的坐标关系确定。
易错提醒
两组基拼接不一定仍线性无关；子空间的并集通常不是子空间。
解题切入点
求交空间：把同一向量写成两组基的线性组合，转化成齐次方程。

讲义定位

05线性映射与相似核、像、换基矩阵与不变量。核心
关键词核像相似不变子空间
dim⁡ker⁡T+dim⁡im⁡T=dim⁡V\dim\ker T+\dim\operatorname{im}T=\dim V
B=P−1APB=P^{-1}AP
适用条件
相似描述同一线性算子在不同基下的矩阵。P 的列取新基在旧基中的坐标。
易错提醒
矩阵等价、相似和合同是不同关系，不能混用。
解题切入点
相似保持迹、行列式、特征多项式、最小多项式和各次幂的秩。

讲义定位

06特征值与对角化特征空间、代数重数、几何重数、谱分解。核心
关键词特征值特征向量谱分解
χA(λ)=det⁡(λI−A)\chi_A(\lambda)=\det(\lambda I-A)
A 可对角化  ⟺  存在 n 个线性无关特征向量A\text{ 可对角化}\iff\text{存在 }n\text{ 个线性无关特征向量}
适用条件
在所选数域上对角化；不同特征值对应的特征向量线性无关。
易错提醒
有 n 个特征值（计重数）不等于可对角化；重根处要算特征空间维数。
解题切入点
实对称矩阵总可被实正交矩阵对角化，可用于二次型与最值。

讲义定位

07Cayley–Hamilton 与最小多项式矩阵多项式、高次幂与可对角化判据。核心
关键词Cayley–Hamilton最小多项式矩阵幂
χA(A)=0,mA(x)∣χA(x)\chi_A(A)=0,\quad m_A(x)\mid\chi_A(x)
A 可对角化  ⟺  mA 在该域分裂且无重根A\text{ 可对角化}\iff m_A\text{ 在该域分裂且无重根}
适用条件
最小多项式是使 m(A)=0 的最低次数首一多项式。
易错提醒
矩阵代入多项式合法，但不能随意把行列式中的标量变量换成矩阵后按普通块运算推导。
解题切入点
计算 Aⁿ 时可先将 xⁿ 对最小多项式取余。

讲义定位

08二次型与正定性合同变换、配方法、惯性指数与 Sylvester 判据。核心
关键词二次型合同惯性指数Sylvester
q(x)=xTAx,A=ATq(x)=x^TAx,\quad A=A^T
A≻0  ⟺  Δ1>0,…,Δn>0A\succ0\iff \Delta_1>0,\ldots,\Delta_n>0
适用条件
此处 A 为实对称矩阵，Δₖ 为前 k 阶顺序主子式。
易错提醒
正半定不能只检查顺序主子式非负；需所有主子式非负或使用特征值等判据。
解题切入点
先对称化二次型矩阵，再选配方法或正交变换；最值问题优先用谱。

讲义定位

09内积、正交与投影Gram–Schmidt、Cauchy–Schwarz、最小二乘。核心
关键词Gram–Schmidt正交投影最小二乘
∣⟨u,v⟩∣2≤⟨u,u⟩⟨v,v⟩|\langle u,v\rangle|^2\le\langle u,u\rangle\langle v,v\rangle
proj⁡Ux=∑i=1k⟨x,ei⟩ei\operatorname{proj}_U x=\sum_{i=1}^k\langle x,e_i\rangle e_i
适用条件
投影式中 eᵢ 是 U 的标准正交基；这里使用实内积约定。
易错提醒
Gram–Schmidt 需要输入线性无关；最小二乘正规方程 AᵀAx=Aᵀb 的唯一解要求 A 列满秩。
解题切入点
距离最小常转化成残差与目标子空间正交。

讲义定位

10Jordan 标准形广义特征向量、Jordan 块与矩阵函数。进阶
关键词Jordan广义特征向量幂零矩阵标准形
A=PJP−1,J=diag⁡(Jm1(λ1),…,Jms(λs))A=PJP^{-1},\quad J=\operatorname{diag}(J_{m_1}(\lambda_1),\ldots,J_{m_s}(\lambda_s))
dk=dim⁡ker⁡(A−λI)k,d0=0,dk−dk−1=#{λ 的块大小≥k}d_k=\dim\ker(A-\lambda I)^k,\quad d_0=0,\quad d_k-d_{k-1}=\#\{\lambda\text{ 的块大小}\ge k\}
#{λ 的块大小=k}=2dk−dk−1−dk+1\#\{\lambda\text{ 的块大小}=k\}=2d_k-d_{k-1}-d_{k+1}
适用条件
Jordan 标准形通常在代数闭域上讨论；实矩阵有非实特征值时需复化或改用实标准形。
易错提醒
只凭特征值的代数重数猜 Jordan 块；必须结合各阶核空间维数。
解题切入点
对每个特征值依次计算 ker(A−λI)^k 的维数增长，再恢复块的个数和大小。

例子与解题线索

若零特征值的核维数依次为 2、3、4、4，增量是 2、1、1、0：有两块至少 1 阶、一块至少 2 阶、一块至少 3 阶，没有 4 阶块。因此 Jordan 形为 J₃(0)⊕J₁(0)。

讲义定位

11矩阵分解LU、QR、Schur、奇异值分解及其适用场景。进阶
关键词LUQRSchurSVD奇异值分解
A=QR,Q∗Q=IA=QR,\quad Q^*Q=I
A=UΣV∗,σi2 是 A∗A 的特征值A=U\Sigma V^*,\quad\sigma_i^2\text{ 是 }A^*A\text{ 的特征值}
适用条件
对可逆方阵，全部顺序主子式非零时存在唯一的单位下三角 LU 分解；一般情形可引入行置换。这里经济型 QR 取列满秩矩阵，SVD 对任意实或复矩阵都存在。
易错提醒
相似分解、合同分解和左右酉变换表达的等价关系不同，保留的量也不同。
解题切入点
解方程看 LU，最小二乘看 QR，秩与最佳低秩逼近看 SVD，矩阵函数与谱问题看 Schur/Jordan。

例子与解题线索

对列满秩最小二乘问题，用 QR 把 ‖Ax−b‖ 转化成上三角方程，避免直接形成 AᵀA。

讲义定位

12同时对角化与正规矩阵交换条件、同时相似/合同对角化与谱定理。进阶
关键词同时对角化正规矩阵Hermitian酉对角化交换矩阵
AA∗=A∗A⇒A=UΛU∗AA^*=A^*A\Rightarrow A=U\Lambda U^*
AB=BA,A,B 可对角化⇒A,B 可同时相似对角化AB=BA,\quad A,B\text{ 可对角化}\Rightarrow A,B\text{ 可同时相似对角化}
适用条件
复正规矩阵可酉对角化；一族可对角化矩阵在两两交换时可同时相似对角化。合同对角化条件另论。
易错提醒
把“AB=BA”单独当成同时对角化的充分条件，忽略各矩阵自身可对角化。
解题切入点
先判断矩阵类别与所需变换；实对称/复 Hermitian 用正交/酉谱定理，矩阵族再检查交换性。

例子与解题线索

两个实对称矩阵若交换，可在其中一个的特征空间内继续对角化另一个，从而得到共同正交基。

讲义定位

13特殊行列式技巧三对角递推、Vandermonde、循环行列式与参数法。核心
关键词Vandermonde范德蒙德三对角行列式循环行列式
V(x1,…,xn)=det⁡(xij−1)i,j=1n=∏1≤i<j≤n(xj−xi)V(x_1,\ldots,x_n)=\det(x_i^{j-1})_{i,j=1}^n=\prod_{1\le i<j\le n}(x_j-x_i)
Dn=aDn−1−bcDn−2（常系数三对角情形）D_n=aD_{n-1}-bcD_{n-2}\quad\text{（常系数三对角情形）}
适用条件
Vandermonde 公式的行列顺序决定乘积符号；三对角递推系数要与矩阵主、上下对角线一致。
易错提醒
初等变换后漏乘倍数或变号；直接展开高阶行列式而丢失递推、对称或多项式结构。
解题切入点
先辨认差因子、循环性或带状结构；把行列式视作参数多项式时，可用次数和零点确定。

例子与解题线索

当两行在 xᵢ=xⱼ 时相同时，行列式必含因子 xⱼ−xᵢ；结合总次数可识别 Vandermonde 结构。

讲义定位

14非负矩阵与 Perron–Frobenius谱半径、正特征向量与不可约性。拓展
关键词非负矩阵PerronFrobenius谱半径不可约矩阵
A≥0⇒ρ(A)∈σ(A),∃x≥0, x≠0, Ax=ρ(A)xA\ge0\Rightarrow\rho(A)\in\sigma(A),\quad\exists x\ge0,\ x\ne0,\ Ax=\rho(A)x
min⁡i(Ax)ixi≤ρ(A)≤max⁡i(Ax)ixi,x>0\min_i\frac{(Ax)_i}{x_i}\le\rho(A)\le\max_i\frac{(Ax)_i}{x_i},\quad x>0
适用条件
严格正特征向量与谱半径的简单性通常需要不可约或本原等附加条件。
易错提醒
把一般非负矩阵都当成正矩阵，进而错误声称谱半径严格占优或特征向量唯一。
解题切入点
先画有向图检查不可约性；再用行和、列和或正试探向量夹逼谱半径。

例子与解题线索

取全 1 向量即可用最小行和与最大行和夹住谱半径；相同行和时立刻得到一个特征值。

讲义定位

15矩阵指数与线性微分方程组用收敛的矩阵幂级数描述常系数线性系统，并处理幂零部分。进阶
关键词矩阵指数matrix exponential矩阵函数线性微分方程组幂零截断
etA=∑k=0∞tkAkk!,x′=Ax, x(0)=x0⟹x(t)=etAx0e^{tA}=\sum_{k=0}^{\infty}\frac{t^kA^k}{k!},\qquad x^\prime=Ax,\ x(0)=x_0\Longrightarrow x(t)=e^{tA}x_0
A=λI+N,Nm=0⟹etA=eλt∑k=0m−1tkNkk!A=\lambda I+N,\quad N^m=0\Longrightarrow e^{tA}=e^{\lambda t}\sum_{k=0}^{m-1}\frac{t^kN^k}{k!}
适用条件
A 为有限阶实或复常矩阵，t 为实数。矩阵指数对所有 A 都收敛；指数拆分 e^(A+B)=e^A e^B 可在 AB=BA 时使用。
易错提醒
矩阵指数不是对每个元素分别取指数；不交换的两个矩阵不能套用标量的指数加法公式。
解题切入点
对角化或化为 Jordan 块后分别计算；若幂零指数很低，幂级数会在有限项处截断。

例子与解题线索

对 A=[[0,3],[0,0]]，有 A²=0，故 e^(tA)=[[1,3t],[0,1]]；初值 (0,1) 对应解 (3t,1)。

讲义定位

16Kronecker 积与 Hadamard 积区分分块扩维乘积与逐元素乘积，检查维数和相应运算规则。拓展
关键词KroneckerHadamard克罗内克积哈达马积张量积逐元素乘积
A⊗B=(aijB)i,j,(A∘B)ij=aijbijA\otimes B=(a_{ij}B)_{i,j},\qquad(A\circ B)_{ij}=a_{ij}b_{ij}
(A⊗B)(C⊗D)=(AC)⊗(BD)(A\otimes B)(C\otimes D)=(AC)\otimes(BD)
rank⁡(A⊗B)=rank⁡(A)rank⁡(B)\operatorname{rank}(A\otimes B)=\operatorname{rank}(A)\operatorname{rank}(B)
适用条件
若 A 为 m×n、B 为 p×q，则 A⊗B 为 mp×nq；Hadamard 积要求两个矩阵同型。混合乘积公式要求 AC、BD 等各处维数可乘。
易错提醒
Hadamard 积、Kronecker 积与普通矩阵乘法是三种不同运算。Hadamard 积的秩不满足这里的 Kronecker 秩乘法公式。
解题切入点
先写出结果的维数，再决定按块计算还是逐项计算；带两个独立索引的线性系统常可试用 Kronecker 结构。

例子与解题线索

A=diag(1,2)，B=[[1,1],[0,1]]。A⊗B 是以 B、2B 为对角块的 4×4 矩阵；A∘B 则是 diag(1,2)，仍为 2×2。

讲义定位

17Schur 补与分块消元消去一组变量后，把行列式、可逆性与正定性问题转到更小的矩阵。进阶
关键词Schur 补舒尔补分块消元分块正定块行列式
M=(ABCD),S=D−CA−1B,det⁡M=det⁡Adet⁡SM=\begin{pmatrix}A&B\\C&D\end{pmatrix},\qquad S=D-CA^{-1}B,\qquad\det M=\det A\det S
(ABBTD)≻0  ⟺  A≻0 且 D−BTA−1B≻0\begin{pmatrix}A&B\\B^T&D\end{pmatrix}\succ0\iff A\succ0\text{ 且 }D-B^TA^{-1}B\succ0
适用条件
第一式要求 A 可逆，A、D 均为方阵且分块大小相容。正定判据在整个块矩阵为实对称矩阵时使用。
易错提醒
A 奇异时不能继续书写 A⁻¹；分块矩阵乘法不交换，CA⁻¹B 的因子顺序不能更换。
解题切入点
从 Ax+By=u 解出 x=A⁻¹(u−By)，代入第二组方程，剩下的 y 系数就是 Schur 补。

例子与解题线索

M=[[2,1],[1,3]] 对左上角 2 的 Schur 补为 3−1/2=5/2，所以 det M=5；两个正定条件也同时满足。

讲义定位

向量、直线平面、二次曲线与空间曲面 · 6 个专题

解析几何

01空间向量与混合积点积、叉积、共线共面、体积与方向。核心
关键词点积叉积混合积共面
u⋅v=∣u∣∣v∣cos⁡θu\cdot v=|u||v|\cos\theta
Vtetra=16∣u⋅(v×w)∣V_{\mathrm{tetra}}=\frac16|u\cdot(v\times w)|
适用条件
叉积与混合积在三维欧氏空间使用；夹角式中两向量非零。
易错提醒
混合积符号依赖向量顺序；体积须取绝对值。
解题切入点
共面判据 u·(v×w)=0；平行关系可用叉积为零判断。

讲义定位

02直线、平面与距离参数方程、法向量、夹角与异面直线。核心
关键词法向量异面直线点到平面距离
d(P,π)=∣n⋅(P−P0)∣∥n∥d(P,\pi)=\frac{|n\cdot(P-P_0)|}{\|n\|}
d(l1,l2)=∣(P2−P1)⋅(u×v)∣∥u×v∥d(l_1,l_2)=\frac{|(P_2-P_1)\cdot(u\times v)|}{\|u\times v\|}
适用条件
平面法向量 n≠0；第二式用于方向 u、v 不平行的两直线。
易错提醒
平行直线不能用第二式；此时用点到直线距离。
解题切入点
直线夹角看方向向量，平面夹角看法向量，直线与平面角要取余角。

讲义定位

03二次曲线与坐标变换平移、旋转、中心、主轴与退化判别。核心
关键词二次曲线主轴坐标变换
q(x)=xTAx+2bTx+c,A=ATq(x)=x^TAx+2b^Tx+c,\quad A=A^T
Ax0=−b⇒q(x0+y)=yTAy+c+bTx0Ax_0=-b\Rightarrow q(x_0+y)=y^TAy+c+b^Tx_0
适用条件
平移消去一次项的前提是中心方程可解；随后用正交变换对角化实对称 A。
易错提醒
仅看二次项判别式不足以区分空集、点、直线等退化情形。
解题切入点
整理成矩阵形式，先求中心，再看特征值符号及常数项。

讲义定位

04二次曲面与截面椭球面、双曲面、抛物面；截面法与标准化。核心
关键词二次曲面截面法渐近锥
x2a2+y2b2+z2c2=1\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1
x2a2+y2b2−z2c2=1\frac{x^2}{a^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=1
适用条件
a、b、c 均为正数；上两式分别为椭球面与单叶双曲面。
易错提醒
右端号与负项位置影响曲面类型；标准化时必须保留全部项。
解题切入点
固定一个坐标观察截线，并检查中心、对称轴、渐近锥与退化情况。

讲义定位

05柱面、锥面与旋转曲面母线、准线、截面和参数方程。核心
关键词柱面锥面旋转曲面母线准线参数曲面
r(u,v)=c(u)+vd(u)（直纹面）\mathbf r(u,v)=\mathbf c(u)+v\mathbf d(u)\quad\text{（直纹面）}
(x,y,z)=(r(u)cos⁡v,r(u)sin⁡v,z(u))（绕 z 轴旋转）(x,y,z)=(r(u)\cos v,r(u)\sin v,z(u))\quad\text{（绕 }z\text{ 轴旋转）}
适用条件
参数化需说明参数范围和正则性；旋转轴若不在标准位置，应先做平移与正交变换。
易错提醒
只写隐式方程却不检查是否包含多余分支，或把锥面顶点附近的奇异参数化当作正则。
解题切入点
先找生成方式：方向 d 为固定非零向量时得到柱面，所有母线通过一个定点时得到锥面，平面曲线绕轴旋转得到旋转面。

例子与解题线索

旋转前先把母线写成 (r(u),z(u))；绕 z 轴后直接加入角参数 v。

讲义定位

06斜平面截二次曲面在截平面内建立坐标，把三维交线化为二维二次曲线。进阶
关键词斜截面平面截曲面截线退化截线平面内坐标
q(x)=xTAx+2bTx+c,x=p+Uu⟹q(p+Uu)=uT(UTAU)u+2[UT(Ap+b)]Tu+q(p)q(x)=x^TAx+2b^Tx+c,\quad x=p+Uu\quad\Longrightarrow\quad q(p+Uu)=u^T(U^TAU)u+2[U^T(Ap+b)]^Tu+q(p)
x2+y2+z2=R2,z=h⟹x2+y2=R2−h2x^2+y^2+z^2=R^2,\quad z=h\quad\Longrightarrow\quad x^2+y^2=R^2-h^2
适用条件
第一式 A 为实对称 3×3 矩阵，p 在截平面上，U 的两列为截平面方向空间的一组标准正交基，u∈R²。第二式取 R>0。
易错提醒
只看二次项的正负还不够，常数项与一次项也会决定截线是椭圆、点、空集或其他退化情形；平面内两坐标需线性独立。
解题切入点
先参数化截平面，再代入曲面方程；对得到的 2×2 对称矩阵作正交对角化，并保留平移后的常数。

例子与解题线索

半径为 2 的球被 z=1 截得半径 √3 的圆；z=2 时只剩一个点；z=3 时没有实交点。

讲义定位