高等数学· 工科数学分析基础知识库

基础高等数学教材蒸馏 · 12 章结构化知识库 · 从极限到傅里叶级数

高等数学 · 工科数学分析 · 微积分 · 可溯源

国内基础高等数学教材蒸馏 —— 以定理网络为核心的工科数学分析技术参考

极限为骨 · 微积分为脉 · 公式定理全量可溯源

---

目录

• 概述
• 知识体系
• 仓库结构
• 安装与使用
• 查询路由
• 每章结构
• 数据源
• 学习路径建议
• 教材内容速览

---

概述

本仓库将 国内基础高等数学教材（主要参考同济高数第8版） + 部分补充证明资料，蒸馏为一个统一的、结构化的 工科基础高数理论的 Claude Code Skill 知识库，覆盖从函数与极限到无穷级数与傅里叶分析的完整工科数学分析课程体系 —— 共 12 章。

核心设计理念：这是一个定理驱动的技术参考技能，而非理论习题集。每章以「知识脉络」为核心，数学公式优先、定理条件列清除、反模式标注、可溯源至原始教材页码。

数据源	角色	页数	特色
上册 (Ch 1–7)	一元微积分 + 微分方程	~442	极限→导数→积分→微分方程，逻辑递进
下册 (Ch 8–12)	多元微积分 + 级数	~354	空间解析几何→多元微积分→向量分析→级数

---

知识体系

全景图

┌──────────────────────────────────────────────────────────────────────────┐
│             高等数学（第8版）· 工科数学分析知识库                           │
│                   12 章 · 可溯源的定理知识库                               │
├────────────────────┬───────────────────────┬────────────────────────────┤
│  一元微分学 (Ch1-3) │  一元积分学 (Ch4-6)    │  进阶主题 (Ch7-12)          │
├────────────────────┼───────────────────────┼────────────────────────────┤
│ Ch 1 函数与极限      │ Ch 4 不定积分          │ Ch 7  微分方程              │
│  · ε-δ 极限定义      │  · 基本积分表(13 个)    │  · 一阶方程分类求解          │
│  · 夹逼准则 / 重要极限 │  · 凑微分 / 换元       │  · 二阶常系数线性方程         │
│  · 等价无穷小        │  · 分部积分 LIATE       │  · 欧拉方程                 │
│  · 连续性 / 间断点    │  · 有理函数积分         │  · 待定系数法               │
│  · 介值 / 最值定理    │                       │                            │
├────────────────────┼───────────────────────┼────────────────────────────┤
│ Ch 2 导数与微分      │ Ch 5 定积分            │ Ch 8  向量代数与空间解析几何  │
│  · 导数定义 / 求导法则 │  · 黎曼和定义           │  · 点积 / 叉积 / 混合积      │
│  · 链式法则           │  · 牛顿-莱布尼茨公式     │  · 平面 / 直线方程            │
│  · 隐函数 / 对数求导   │  · 变上限积分           │  · 二次曲面 (9 种)           │
│  · 参数方程求导        │  · 定积分换元 / 分部    │                            │
│  · 高阶导数 / 莱布尼茨  │  · 华里士公式           │                            │
├────────────────────┼───────────────────────┼────────────────────────────┤
│ Ch 3 中值定理与应用   │ Ch 6 定积分的应用       │ Ch 9  多元函数微分法         │
│  · 罗尔 / 拉格朗日 /   │  · 微元法               │  · 偏导数 / 全微分           │
│    柯西中值定理        │  · 面积 / 旋转体体积     │  · 多元链式法则              │
│  · 洛必达法则          │  · 弧长 / 侧面积        │  · 方向导数 / 梯度           │
│  · 泰勒公式 / 麦克劳林  │  · 物理应用(功 / 压力)   │  · 拉格朗日乘数法            │
│  · 极值 / 凹凸性 / 曲率 │                       │  · 二元极值 AC-B² 判别       │
├────────────────────┼───────────────────────┼────────────────────────────┤
│                    │                       │ Ch 10 重积分                │
│                    │                       │  · 二重 / 三重积分            │
│                    │                       │  · 极 / 柱 / 球坐标          │
│                    │                       │  · 雅可比行列式              │
│                    │                       ├────────────────────────────┤
│                    │                       │ Ch 11 曲线积分与曲面积分      │
│                    │                       │  · 两类线 / 面积分            │
│                    │                       │  · 格林 / 高斯 / 斯托克斯     │
│                    │                       ├────────────────────────────┤
│                    │                       │ Ch 12 无穷级数               │
│                    │                       │  · 正项级数审敛法             │
│                    │                       │  · 幂级数 / 泰勒级数          │
│                    │                       │  · 傅里叶级数                │
└────────────────────┴───────────────────────┴────────────────────────────┘

核心定理交叉覆盖

主题	上册页码	下册页码	对应章节
极限 ε-δ 定义 / 夹逼准则	1–50	—	Ch 1
连续性 / 介值 / 零点定理	51–70	—	Ch 1
导数定义 / 基本求导公式	71–120	—	Ch 2
链式法则 / 隐函数求导	121–150	—	Ch 2
罗尔 / 拉格朗日 / 柯西中值定理	151–180	—	Ch 3
洛必达法则 / 泰勒公式	181–230	—	Ch 3
极值 / 凹凸性 / 曲率	231–270	—	Ch 3
不定积分 / 换元 / 分部积分	271–320	—	Ch 4
有理函数积分	321–340	—	Ch 4
定积分定义 / 牛顿-莱布尼茨	341–380	—	Ch 5
定积分换元 / 分部	381–420	—	Ch 5
定积分应用: 面积 / 体积 / 弧长	421–442	—	Ch 6
微分方程: 一阶 / 二阶	1–90	—	Ch 7
向量点积 / 叉积 / 混合积	—	1–50	Ch 8
平面 / 直线 / 二次曲面	—	51–120	Ch 8
偏导数 / 全微分 / 链式法则	—	121–180	Ch 9
方向导数 / 梯度	—	181–200	Ch 9
拉格朗日乘数法 / 极值	—	201–250	Ch 9
二重积分 / 三重积分	—	251–320	Ch 10
曲线积分 / 格林公式	—	321–360	Ch 11
曲面积分 / 高斯公式	—	361–390	Ch 11
常数项级数审敛	—	391–420	Ch 12
幂级数 / 傅里叶级数	—	421–450	Ch 12

---

仓库结构

.
├── README.md                           # 本文件
├── SKILL.md                            # 主索引 —— 核心框架 · 12 章索引 · 主题索引 · 可溯源性指南
│
├── chapters/                           # 核心产出 —— 12 章独立知识单元
│   ├── ch01-functions-limits.md        # 函数与极限（ε-δ 定义 · 夹逼准则 · 等价无穷小）
│   ├── ch02-derivatives-differentials.md   # 导数与微分（链式法则 · 隐函数求导 · 微分）
│   ├── ch03-mean-value-theorems.md     # 微分中值定理与导数应用（三大定理 · 洛必达 · 泰勒）
│   ├── ch04-indefinite-integrals.md    # 不定积分（凑微分 · 分部积分 · 三角代换）
│   ├── ch05-definite-integrals.md      # 定积分（牛顿-莱布尼茨 · 变上限积分 · 华里士）
│   ├── ch06-applications-of-definite-integrals.md  # 定积分应用（微元法 · 旋转体 · 弧长）
│   ├── ch07-differential-equations.md  # 微分方程（可分离 · 一阶线性 · 常系数）
│   ├── ch08-vector-algebra-spatial-geometry.md     # 向量代数与空间解析几何
│   ├── ch09-multivariable-differential-calculus.md # 多元函数微分法（梯度 · 拉格朗日乘数）
│   ├── ch10-multiple-integrals.md      # 重积分（极/柱/球坐标 · 雅可比行列式）
│   ├── ch11-curve-surface-integrals.md # 曲线积分与曲面积分（三大公式）
│   └── ch12-infinite-series.md         # 无穷级数（审敛 · 幂级数 · 傅里叶级数）
│
├── patterns.md                         # 10+ 计算方法模式（求极限 · 积分 · 微分方程 · 审敛）
├── cheatsheet.md                       # 速查：决策规则 · 判别树 · 阈值表 · 公式速查
├── glossary.md                         # 200+ 核心术语字母排序，每术语附章节引用
│
└── books/                              # 原始教材（PDF + Mineru 解析的 Markdown）

---

安装与使用

使用方式

本 skill 位于本项目根目录下，Claude Code 可自动发现。

在项目目录中启动 Claude Code 后自动加载或指定 skill 名手动触发/adv-math：

# 方式 1: 手动克隆（推荐）
# adv-math即skill名
git clone https://github.com/MaybeBio/Advanced-Mathematics-Skill ~/.claude/skills/adv-math 

# 方式 2: 使用 npx
npx skills add MaybeBio/Advanced-Mathematics-Skill -a claude-code

在 Claude Code 中调用

▸ 极限的 ε-δ 定义是什么？
▸ 牛顿-莱布尼茨公式的证明和使用条件
▸ 拉格朗日乘数法怎么用？写个例子
▸ 二重积分什么时候用极坐标？
▸ 格林公式和高斯公式的区别？
▸ 正项级数怎么判断收敛？审敛法顺序
▸ 傅里叶级数怎么算系数？
▸ 一阶线性微分方程的通解公式
▸ 泰勒展开到几阶？余项怎么判断

查询路由

查询类型	目标文件	响应特征
概念速查	cheatsheet.md	决策规则 / 判别树 / Tells & Smells
定理与条件	SKILL.md → 对应章节	精确陈述 + 条件 + 章节引用
计算方法	chapters/*.md	完整公式 + 适用场景 + 步骤(Worked Example)
解决技术问题	patterns.md	When / How / Trade-offs
溯源原始教材	books/	章节 → 教材页码 + PDF 定位
术语定义	glossary.md	精确定义 + 归属章节
系统学习主题	chapters/*.md + SKILL.md	Core Idea → Frameworks → Theorem → Takeaways

---

每章结构

每章按统一模板组织：

区域	内容
Core Idea	1–2 句概括本章核心思想
Frameworks Introduced	定义/定理 → 适用场景 → 使用方法 → 关键公式
Key Concepts	术语定义（5–10 个核心概念）
Mental Models	「当 X 时用 Y」直觉规则
Anti-patterns	常见错误做法 + 为什么出错 + 正确做法
Key Theorems	重要定理表（陈述 + 重要度 + 应用场景）
Worked Example	典型例题的完整推演（DEPTH=study 独有）
Key Takeaways	3–8 条必须记住的结论
Connects To	与其他章节的关联（形成知识网络）

---

数据源

维度	上册 (Ch 1–7)	下册 (Ch 8–12)
定位	一元微积分基础	多元微积分与级数
内容特色	函数→极限→导数→积分→微分方程	向量→多元微分→重积分→线/面积分→级数
覆盖章节	7 章 + 附录	5 章 + 附录
原始页数	~442	~354

可溯源性

每个章节文件都可追溯回原始教材来源：

ch05-definite-integrals.md → 源自上册第 341–380 页
  → 打开原始 PDF: books/同济大学 高等数学（第8版）上册（高清）.pdf
  → 或查看 Mineru 解析的 Markdown: books/..._1-250/auto/...md （前段）/ books/..._251-442/auto/...md （后段）

章节 ↔ 教材页码映射：

• Ch 1–5 大部分: books/...上册（高清）_1-250
• Ch 5 尾–Ch 7: books/...上册（高清）_251-442
• Ch 8–10: books/...下册（高清）_1-200
• Ch 11–12: books/...下册（高清）_201-354

---

使用路径建议

路径 1: 一元微积分基础

ch01-functions-limits.md (极限与连续)
    → ch02-derivatives-differentials.md (导数与微分)
        → ch03-mean-value-theorems.md (中值定理 → 泰勒公式)
            → ch04-indefinite-integrals.md (不定积分)
                → ch05-definite-integrals.md (定积分)
                    → ch06-applications-of-definite-integrals.md (应用)

路径 2: 进阶主题

ch07-differential-equations.md (微分方程)
    → ch08-vector-algebra-spatial-geometry.md (空间几何基础)
        → ch09-multivariable-differential-calculus.md (多元微分)
            → ch10-multiple-integrals.md (重积分)
                → ch11-curve-surface-integrals.md (曲线/曲面积分)
                    → ch12-infinite-series.md (无穷级数)

路径 3: 计算技能专项

cheatsheet.md (公式速查 + 判别树)
    → patterns.md (计算模式模板)
        → 对应章节的 Worked Example
            → 回到原始教材练课后习题

路径 4: 按方法类型横向串联

求极限: Ch 1 (ε-δ/夹逼) → Ch 3 (洛必达/泰勒) 求导数: Ch 2 (一元) → Ch 9 (多元/偏导/梯度) 求积分: Ch 4 (不定) → Ch 5 (定) → Ch 10 (重) → Ch 11 (线/面) 解方程: Ch 7 (ODE) → Ch 12 (级数解法) 级数: Ch 12 (幂级数+傅里叶)

路径 5: 工程应用专项

ch06-applications-of-definite-integrals.md (面积/体积/物理应用)
    → ch07-differential-equations.md (振动方程建模)
        → ch11-curve-surface-integrals.md (场论/通量/环量 — 电磁学基础)
            → ch12-infinite-series.md (傅里叶级数 — 信号处理基础)

---

参考内容速览

上册七大章节

章	标题	核心内容	关键公式
1	函数与极限	映射、ε-δ 极限定义、无穷小、连续性、间断点、介值定理	$\lim_{x\to 0}\frac{\sin x}{x}=1$, $\lim_{n\to\infty}(1+\frac1n)^n=e$
2	导数与微分	导数定义、四则运算、链式法则、隐函数、对数求导、高阶、微分	$f'(x_0)=\lim_{\Delta x\to0}\frac{\Delta y}{\Delta x}$, $dy=f'(x)dx$
3	中值定理与应用	罗尔→拉格朗日→柯西、洛必达、泰勒公式、极值、凹凸性、曲率	$f(b)-f(a)=f'(\xi)(b-a)$, $f(x)=\sum\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n$
4	不定积分	原函数、基本积分表(13)、凑微分、分部积分(LIATE)、三角代换、有理函数	$\int f(x)dx=F(x)+C$, $\int udv=uv-\int vdu$
5	定积分	黎曼和、牛顿-莱布尼茨公式、变上限积分、定积分换元/分部、反常积分	$\int_a^b f(x)dx=F(b)-F(a)$, $\frac{d}{dx}\int_a^x f(t)dt=f(x)$
6	定积分应用	微元法、面积、旋转体体积(圆盘/柱壳)、弧长、物理应用	$V=\pi\int[f(x)]^2dx$, $s=\int\sqrt{1+(y')^2}dx$
7	微分方程	可分离、齐次、一阶线性、伯努利、可降阶、二阶常系数、欧拉、待定系数	$y=e^{-\int P}[\int Qe^{\int P}+C]$, $r^2+pr+q=0$

下册五大章节

章	标题	核心内容	关键公式
8	向量代数与空间解析几何	向量运算、平面/直线方程、旋转曲面、柱面、二次曲面(9)	$\vec{a}\cdot\vec{b}=|a||b|\cos\theta,\ \vec{a}\times\vec{b}= | \begin{matrix}i&j&k\a_x&a_y&a_z\b_x&b_y&b_z\end{matrix} |$
9	多元函数微分法	偏导数、全微分、链式法则、隐函数(组)、方向导数、梯度、拉格朗日乘数	$dz=f_xdx+f_ydy$, $\nabla f=(f_x,f_y)$, $\frac{\partial f}{\partial\vec{l}}=\nabla f\cdot\vec{l}$
10	重积分	二重/三重积分、累次积分、换序、极/柱/球坐标换元、雅可比	$\iint_D f d\sigma=\int_a^b dx\int_{\varphi_1}^{\varphi_2}f dy$, $d\sigma=\rho d\rho d\theta$
11	曲线积分与曲面积分	两类线/面积分、格林、高斯、斯托克斯、路径无关、散度、旋度	$\oint_LPdx+Qdy=\iint_D(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})dxdy$
12	无穷级数	正项审敛、交错(莱布尼茨)、幂级数、泰勒级数、傅里叶级数	$\sum_{n=0}^\infty x^n=\frac1{1-x}$, $f(x)=\frac{a_0}{2}+\sum(a_n\cos nx+b_n\sin nx)$

---

与其他 skill 的联动

Skill	本 skill 的交叉点
线性代数	Ch 8 向量空间与行列式、Ch 9 雅可比矩阵、Ch 12 傅里叶级数的正交函数系
概率论与数理统计	Ch 10 重积分（二维概率密度）Ch 12 幂级数（矩母函数）
大学物理	Ch 6 积分物理应用（功/压力/引力）、Ch 7 振动方程、Ch 11 通量与散度（电磁学）
复变函数	Ch 12 幂级数（→ 洛朗级数）、Ch 11 曲线积分（→ 留数定理）

---

基于国内基础高等数学教材（主要参考同济高数第8版）蒸馏。定理优先，全文可溯源。

高等教育出版社