感觉数学难度比算法难度比较显得太简单了，相当套路，内容也少
复合极限定理：若 g(x)→b，limu→bf(u)=L，一般还要求 g(x) 在充分靠近趋近点时不等于 b。若 f 在 b 连续，则不需要这个限制，可直接得到 f(g(x))→f(b)。
极限定理与求解方法的 DAG#
极限的定义入口是 ε–N（数列）或 ε–δ（函数）。证明极限存在不必先猜出极限值：单调有界定理、柯西准则可以直接证明存在性；求具体值则常用四则运算、夹逼、等价无穷小、洛必达或泰勒公式。
下面选取一套常见的证明路线。箭头 A→B 表示“证明 B 时使用 A”，不是“满足 A 就无条件满足 B”；多个入箭头表示组合使用，图中省略一般代数运算等辅助步骤。不同教材可以选择不同证明，所以依赖图并不唯一。等价定理只选一个证明方向展开，避免把逻辑等价画成环。
基础层：定义、完备性与存在性#
flowchart TD
D["极限定义：ε–N / ε–δ"] --> B["唯一性、局部有界性、保号性"]
D --> O["极限四则运算法则"]
D --> Q["夹逼准则"]
D --> H["海涅定理：函数极限与数列极限的联系"]
D --> V["复合极限定理"]
D --> C["连续性的定义与基本性质"]
R["实数完备性：确界原理"] --> M["单调有界定理"]
D --> M
M --> W["有界数列存在收敛子列"]
W --> K["数列柯西收敛准则"]
D --> K
W --> E["闭区间连续函数的最值定理"]
C --> E
H --> E
| 工具 | 真正需要控制的量 | 用法与限制 |
|---|
| 定义法 | $ | a_n-L |
| 单调有界 | 单调性和同方向的界 | 递增有上界、递减有下界；先保证有限极限存在，再求值 |
| 柯西准则 | 任意两个足够靠后项的差 $ | a_m-a_n |
| 夹逼准则 | 上下界与它们共同的极限 | 上下界必须趋于同一个值 |
| 海涅定理 | 所有趋向目标点的合法数列 | 找到两条路径极限不同即可否定极限；验证几条路径不能证明极限存在 |
| 四则运算 | 各部分已有的有限极限 | 商法则要求分母极限非零；0/0、∞−∞ 等不能直接代入 |
| 复合极限 | 内函数的趋向及外函数的极限或连续性 | 外函数仅有去心极限时，要检查内函数最终不取该极限点 |
递推数列中，从 an+1=f(an) 写出 L=f(L) 只能确定候选值，不能代替收敛证明。应先证明收敛，再在 f 连续等条件下取极限。
计算层：重要极限、导数、中值定理#
flowchart TD
Q["夹逼准则＋几何不等式"] --> S["第一重要极限：sin x / x → 1"]
M["单调有界＋二项式估计"] --> EN["数列极限：定义 e"]
EN --> EF["第二重要极限：函数形式"]
F["基础极限工具＋实指数的构造与性质"] --> EF
S --> T["三角函数的基本等价无穷小"]
EF --> X["指数、对数的基本等价无穷小"]
O["四则运算＋复合极限"] --> T
O --> X
D["导数定义＋基础极限工具"] --> DER["基本初等函数的导数公式"]
T --> DER
X --> DER
E["闭区间最值定理"] --> R["罗尔定理"]
FT["导数定义 → 费马引理"] --> R
R --> L["拉格朗日中值定理"]
R --> C["柯西中值定理"]
C --> LH["洛必达法则"]
R --> TL["泰勒公式：拉格朗日余项"]
LH --> TP["泰勒公式：佩亚诺余项的一条证明路线"]
DER --> CAL["具体极限计算"]
LH --> CAL
TL --> CAL
TP --> CAL
T --> CAL
X --> CAL
图中第一重要极限是 limx→0sinx/x=1（弧度制）。第二重要极限可先从数列 limn→∞(1+1/n)n=e 出发，再借助夹逼与实指数性质推广到 limx→0(1+x)1/x=e。指数、对数若采用其他定义方式，相应的证明路线也会改变。
洛必达是“导数和中值定理建立之后”的工具。因此，在先用重要极限建立导数公式的体系里，不能再用这些导数公式配合洛必达来首次证明同一个重要极限，否则会循环论证。定理已经建立后，做题时这样计算则没有问题。
各种方法最后如何落到极限存在#
等价无穷小：本质是比值趋于 1，再用乘法法则。
若 f∼F、g∼G，且相关比值在去心邻域内有定义，则
gf=Ff⋅GF⋅gG.第一、三项趋于 1，因此可把乘除中的 f,g 换成 F,G。加减时可能抵消主项，不能逐项随意替换。例如 sinx∼x，却不能把 sinx−x 换成 x−x；此时需要更高阶展开。
洛必达：用柯西中值定理把函数比值联系到导数比值。
在 0/0 型且可补充定义 f(a)=g(a)=0 的基本情形，中值定理给出
g(x)f(x)=g′(ξx)f′(ξx),ξx 位于 a 与 x 之间.由 x→a 得 ξx→a，再由导数比值的极限控制原比值。使用时仍需检查相应版本的可导性、g′=0、未定式类型和导数比值极限条件；∞/∞ 型需要额外的估计，不能直接套上面这个等式。导数比值没有极限，并不能反推原比值没有极限。
泰勒：把函数换成“多项式主项＋可控余项”。
例如
sinx=x−6x3+o(x3)⟹x3sinx−x=−61+o(1)⟶−61.真正保证结论的是余项除以分母后仍趋于 0，所以展开阶数必须足以处理抵消。泰勒要求相应的光滑性，并非所有极限都能用有限阶泰勒展开解决。
带求和的极限：先识别求和结构，再选择入口。
- 裂项：有限和先精确化简，再用普通极限法则。
- 黎曼和：如 f 在 [0,1] 上连续，则 n1∑k=1nf(k/n)→∫01f(x)dx；这是建立定积分后的工具。
- 级数部分和：使用级数收敛定理，本质仍是部分和数列的极限。
- 斯托尔茨定理：数列商的工具；常用版本要求分母严格递增且趋于 +∞，再由差分比值的极限推出原商的极限，其证明核心是差分求和后的夹逼。
记忆主线：定义管误差，完备性管存在；夹逼与运算管基础计算，中值定理支撑洛必达和泰勒。
等价无穷小#
等价无穷小要求作分母的那个函数在充分靠近极限点时不能反复取 0
三角裂项#
cosβcosαsin(β−α)=tanβ−tanα故有
cosαcosβ1=sin(β−α)tanβ−tanα若是tanβ−tanα=常数C, αk=f(k−1),βk=f(k)则可以进行裂项
cos2βcos2αsin(β+α)=cosβcosαtanβ+tanα=sin(β−α)tan2β−tan2α定积分#
转化为了定积分
n→∞limn1k=1∑nf(nk)=∫01f(x)dx不带有求和的极限#
一般只需要用以下三个即可进行秒杀，十分简单
泰勒公式#
泰勒公式适合具有足够光滑性的函数，尤其适配于主项抵消的函数之差 0/0 型；也可用于指数复合。使用时须展开到足够阶数，并检查余项除以分母后趋于 0，不能认为它可以处理任何极限。
反例
f(x)={x2sinx1,0,x=0x=0
-
原函数处处可导，其导函数不一定连续，导函数不可能有第一类间断点
-
若原函数连续，并∃U˚(x0) s.t.∀x∈U˚(x0)有∃f′(x)，则假如导函数极限收敛，那么导数存在且数值等于导函数极限，导函数是没有第一类间断点的，所以左右极限只可能都收敛于同一个值；假如导函数极限发散，则导数可能存在也可能不存在。总体来说导函数的极限和导数的关系类似于洛必达，收敛必定是，发散不一定。
以导函数右极限=右导数为例
ξ→x0+limf′(ξ) 收敛，[x0,x] 连续，(x0,x) 可导⇒∃ξ∈(x0,x) s.t.f′(ξ)=x−x0f(x)−f(x0)x→x0+ 时，有 ξ→x0+（总存在 θ(x) s.t.ξ(x)=x0+θ(x)⋅∣x−x0∣,0<θ(x)<1），故有x→x0+limx−x0f(x)−f(x0)=x→x0+limf′(ξ)=limξ→x0+f′(ξ) 收敛ξ→x0+limf′(ξ)□
假如 ξ→x0+limf′(ξ) 发散，则右导数可能存在也可能不存在，可由经典函数 xαsinxβ1 进行反例构造
注意：第一类间断点要求函数在该点有定义，因此对于一般函数而言，“左右极限存在但函数未定义”并不属于第一类间断。但导函数还满足达布性质，因此这种情形实际上也不会发生：若导函数左右极限都存在，则必相等，从而导数存在。
