| 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
Scope & Limits
此skill覆盖同济大学《高等数学》第八版上、下两册的全部12章内容，包含函数与极限、一元微积分、微分方程、空间解析几何、多元微积分、曲线曲面积分、无穷级数等工科数学分析的核心主题。适用于中国工科本科数学基础教学大纲要求。
对于超出教材范围的高级专题（如实变函数、泛函分析、偏微分方程数值解等），请参考更专业的数学资源。
