adv-math

name	adv-math
description	Knowledge base from '高等数学'. Use when applying engineering calculus/analysis frameworks for limits, derivatives, integrals, differential equations, multivariable calculus, vector analysis, infinite series, or studying/referencing standard Chinese engineering mathematics concepts.

高等数学（第8版）— 工科数学分析知识库

How to Use This Skill

• 不加参数 — 加载核心框架概览
• 指定主题 — 询问如"泰勒公式"、"格林公式"、"二阶常系数线性微分方程"等，我会读取相关章节
• 指定章节 — 询问ch03加载第三章完整内容
• 浏览 — 询问"有哪些章节？"查看完整目录

当你询问的知识点未在下方Core Frameworks中详尽覆盖时，我会读取相关章节文件后再回答。

---

Core Frameworks & Mental Models

微积分的逻辑架构

高等数学的核心是极限概念。所有后续概念——连续、导数、积分、级数——都是极限的不同表现形式。理解微积分的关键在于掌握这条逻辑链：

数列/函数极限 (Ch1) → 连续函数 (Ch1)
    ↓
导数 = 差商的极限 (Ch2) → 微分 = 线性化的工具 (Ch2)
    ↓
中值定理 = 导数控制函数变化的理论桥梁 (Ch3)
    ↓
不定积分 = 求导的逆运算 (Ch4) → 定积分 = 黎曼和的极限 (Ch5)
    ↓                                    ↓
微分方程 (Ch7) ← 牛顿-莱布尼茨公式打通微分与积分
    ↓
多元推广: 偏导数+全微分 (Ch9) → 重积分 (Ch10)
    ↓
向量分析: 线积分+面积分+三大公式 (Ch11)
    ↓
无穷级数: 幂级数+傅里叶级数 (Ch12)

六大决策框架

1. 求极限的三层策略

• 第一层: 代入法 → 若非未定式，直接得结果
• 第二层: 等价无穷小替换（仅乘除！）→ 消除冗余因子
• 第三层: 仍为 $\frac{0}{0}$ 或 $\frac{\infty}{\infty}$ → 洛必达法则或泰勒展开（泰勒更强大）

2. 求积分的四步决策

• ① 能直接套用基本积分表的13个公式吗？→ 直接用
• ② 被积函数中有 $\varphi'(x)$ 和 $f(\varphi(x))$ 的组合吗？→ 凑微分法（第一类换元）
• ③ 是两类不同函数的乘积吗？→ 分部积分法（LIATE: 对数>反三角>幂>三角>指数选u）
• ④ 含根式 $\sqrt{a^2\pm x^2}$ 或 $\sqrt{x^2-a^2}$ 吗？→ 三角代换（第二类换元）

3. 一阶微分方程识别

• 能写成 $g(y)dy = f(x)dx$ → 可分离变量法
• 能写成 $y' + P(x)y = Q(x)$ → 一阶线性通解公式: $y = e^{-\int P}[\int Qe^{\int P}dx + C]$
• 能写成 $y' = \varphi(\frac{y}{x})$ → 齐次方程，令 $u=y/x$

4. 重积分坐标选择

• 被积函数含 $x^2+y^2$ 或区域为圆/扇/环形 → 极坐标 ($d\sigma = \rho d\rho d\theta$)
• 三维空间含 $x^2+y^2+z^2$ 或区域为球体 → 球坐标 ($dv = r^2\sin\varphi dr d\varphi d\theta$)
• 三维空间有z轴对称性 → 柱坐标 ($dv = \rho d\rho d\theta dz$)

5. 三大公式联动

• 平面闭曲线线积分 ↔ 二重积分: 格林公式 $\iint_D(Q_x-P_y)d\sigma = \oint_L Pdx+Qdy$
• 空间闭曲面积分 ↔ 三重积分: 高斯公式 $\iiint_\Omega \operatorname{div}\vec{A} dv = \oiint_\Sigma \vec{A}\cdot\vec{n}dS$
• 空间闭曲线线积分 ↔ 曲面积分: 斯托克斯公式 $\iint_\Sigma \operatorname{rot}\vec{A}\cdot\vec{n}dS = \oint_\Gamma \vec{A}\cdot d\vec{r}$

6. 级数审敛策略

• 先查必要条件: $\lim u_n = 0$？不成立→发散
• 正项级数: 含$n!$或$c^n$→比值法; 含$n$次幂→根值法; 否则与p-级数比较
• 交错级数: 莱布尼茨法（递减+趋于0→收敛）
• 绝对收敛 vs 条件收敛: 绝对值级数收敛→可任意重排

关键桥梁定理

定理	连接的概念	公式
牛顿-莱布尼茨公式	定积分↔原函数	$\int_a^b f = F(b)-F(a)$
变上限积分求导	定积分↔导数	$\frac{d}{dx}\int_a^x f = f(x)$
格林公式	线积分↔二重积分	$\iint(Q_x-P_y) = \oint(Pdx+Qdy)$
高斯公式	面积分↔三重积分	$\iiint \operatorname{div}\vec{A} = \oiint \vec{A}\cdot\vec{n}$
斯托克斯公式	空间线积分↔面积分	$\iint \operatorname{rot}\vec{A}\cdot\vec{n} = \oint \vec{A}\cdot d\vec{r}$

---

Chapter Index

#	章节	核心框架
ch01	函数与极限	ε-δ定义、夹逼准则、单调有界准则、等价无穷小、连续性、介值定理
ch02	导数与微分	导数定义、链式法则、隐函数求导、对数求导法、参数方程求导、微分
ch03	微分中值定理与导数的应用	罗尔/拉格朗日/柯西中值定理、洛必达法则、泰勒公式、极值、凹凸性
ch04	不定积分	基本积分表、凑微分法、分部积分法(LIATE)、三角代换、有理函数积分
ch05	定积分	黎曼和定义、牛顿-莱布尼茨公式、变上限积分、换元/分部积分法
ch06	定积分的应用	微元法、面积/体积/弧长、旋转体、物理应用(功/压力/质心)
ch07	微分方程	可分离变量、一阶线性、伯努利、二阶常系数线性、欧拉方程
ch08	向量代数与空间解析几何	点积/叉积/混合积、平面/直线方程、二次曲面、空间曲线投影
ch09	多元函数微分法及其应用	偏导数、全微分、链式法则、隐函数、方向导数与梯度、拉格朗日乘数法
ch10	重积分	二重/三重积分、累次积分、极坐标/柱坐标/球坐标、换元法
ch11	曲线积分与曲面积分	两类线积分/面积分、格林/高斯/斯托克斯公式、路径无关性、散度与旋度
ch12	无穷级数	正项级数审敛、幂级数/泰勒级数、傅里叶级数、收敛半径

Topic Index

• 等价无穷小 → ch01
• ε-δ定义 → ch01
• 夹逼准则 → ch01
• 单调有界准则 → ch01
• 连续性/间断点 → ch01
• 导数/链式法则 → ch02
• 隐函数求导 → ch02, ch09
• 对数求导法 → ch02
• 微分/全微分 → ch02, ch09
• 中值定理 → ch03
• 洛必达法则 → ch03
• 泰勒公式/级数 → ch03, ch12
• 极值/最值 → ch03, ch09
• 曲率 → ch03
• 分部积分法 → ch04, ch05
• 换元积分法 → ch04, ch05
• 有理函数积分 → ch04
• 牛顿-莱布尼茨公式 → ch05
• 变上限积分 → ch05
• 微元法 → ch06
• 弧长/旋转体体积 → ch06
• 微分方程（一阶/二阶） → ch07
• 向量/点积/叉积 → ch08
• 平面/直线方程 → ch08
• 二次曲面 → ch08
• 偏导数/全微分 → ch09
• 方向导数/梯度 → ch09
• 拉格朗日乘数法 → ch09
• 二重/三重积分 → ch10
• 极坐标/柱坐标/球坐标 → ch10
• 曲线积分 → ch11
• 曲面积分 → ch11
• 格林公式 → ch11
• 高斯公式/散度 → ch11
• 斯托克斯公式/旋度 → ch11
• 路径无关性 → ch11
• 级数审敛法 → ch12
• 幂级数/收敛半径 → ch12
• 傅里叶级数 → ch12

Supporting Files

• glossary.md — 200+核心术语及定义
• patterns.md — 所有计算方法和求解模式
• cheatsheet.md — 决策规则、判别树、公式速查

---

Scope & Limits

此skill覆盖同济大学《高等数学》第八版上、下两册的全部12章内容，包含函数与极限、一元微积分、微分方程、空间解析几何、多元微积分、曲线曲面积分、无穷级数等工科数学分析的核心主题。适用于中国工科本科数学基础教学大纲要求。

对于超出教材范围的高级专题（如实变函数、泛函分析、偏微分方程数值解等），请参考更专业的数学资源。