# 高等数学·知识综述 识别卡 2.0

- **层级**: L4 · 系统性前沿层（课标骨架填充，待终裁）
- **状态**: pending（骨架填充 · 待设计者终裁）
- **领域**: 数学
- **教育层级**: E4（大学）· 分布：骨架 49 知识点 / 内容 49 条

## 核心主张

高等数学（课标骨架 49 知识点填充）：现象+规律，简单词汇，规律性出现即知识……

## 条件空间

- **观测位置**: 高等数学（大学层）外部观测位
- **观测工具**: 课标骨架 + 现象规律性判定
- **时间窗口**: (0.0, 9999999999.0)
- **存在约束**: 大学学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达

## 出招

- **触发**: 涉及高等数学议题
- **行动**: 以高等数学知识点（大学层）回应
- **克制**: 越级使用高于大学层级的未学概念

## 知识点内容（按骨架填充）

### 一阶微分方程

一阶微分方程：dy除以dx等于f(x,y)。通解含一个任意常数。可分离变量方程：g(y)dy等于h(x)dx两边积分。齐次方程：dy除以dx等于φ(y除以x)令u等于y除以x。

### 一阶线性方程

一阶线性微分方程：y'加P(x)y等于Q(x)。通解公式：y等于e的负∫P dx次方乘(∫Q e的∫P dx次方dx加C)。齐次（Q等于0）和非齐次的解法。

### 三重积分

三重积分：∫∫∫f(x,y,z)dV。计算：直角坐标（先一后二或先二后一）、柱坐标（r dz dr dθ）、球坐标（r方sinφ dr dφ dθ）。选择坐标系根据积分区域对称性。

### 不定积分

不定积分：求导的逆运算，∫f(x)dx等于F(x)加C（F'等于f）。基本积分公式。不定积分的性质：线性性。原函数存在定理：连续函数存在原函数。

### 两个重要极限

两个重要极限：sinx除以x在x趋于0时等于1；x趋于无穷时(1加1/x)的x次方等于e。重要极限用于求三角和指数型极限。

### 中值定理

中值定理：罗尔定理（端点值相等则存在导数为0的点）、拉格朗日中值定理（存在点使导数等于割线斜率）、柯西中值定理。中值定理联系函数值与导数，是微分学理论基础。

### 二重积分

二重积分：∫∫f(x,y)dxdy，表示曲顶柱体体积。计算：直角坐标（先y后x或先x后y，确定积分限）、极坐标（r dr dθ，适用圆域和含x方加y方）。性质：线性、区域可加、中值定理。

### 二阶常系数线性方程

二阶常系数线性方程：y''加py'加qy等于f(x)。齐次：特征方程r方加pr加q等于0，根的情况决定通解（两个不同实根、重根、共轭复根）。非齐次：特解用待定系数法。

### 交错级数

交错级数：莱布尼茨判别法（通项单调递减趋于0则收敛）。交错级数的余项估计：余项绝对值不超过第一项。条件收敛与绝对收敛：绝对收敛必收敛。

### 偏导数

偏导数：对一个变量求导其余变量视为常数。fx(x0,y0)表示沿x方向的斜率。高阶偏导数：二阶混合偏导在连续条件下相等（fxy等于fyx）。

### 傅里叶级数

傅里叶级数：周期函数展开为正弦余弦级数。狄利克雷条件：逐段光滑周期函数可展开，间断点处收敛于左右极限平均。傅里叶系数公式。奇函数展开正弦级数，偶函数展开余弦级数。

### 全微分

全微分：dz等于fx dx加fy dy，是函数增量关于自变量的线性主部。可微的充分条件：偏导数连续。全微分用于多元近似计算。

### 凹凸性与拐点

凹凸性：f''(x)大于0曲线凹向上（下凸），小于0凹向下。拐点：凹凸性改变的点，二阶导数为0或不存在且两侧变号。渐近线：水平、垂直、斜渐近线。

### 函数极限

函数极限：x趋于x0时f(x)趋于A。左右极限存在且相等是极限存在的充要条件。极限的四则运算法则：和差积商的极限等于极限的和差积商（分母极限不为0）。

### 分部积分

分部积分：∫u dv等于uv减∫v du。适用：幂函数乘指数、幂函数乘三角、幂函数乘对数、指数乘三角（循环）。选u的原则：对易求导的选u，易积分的选dv。

### 单调性与极值

单调性判定：f'(x)大于0函数递增，小于0递减。极值判定：驻点（导数为0）或不可导点两侧导数变号。第一充分条件（变号）和第二充分条件（二阶导数符号）。

### 反常积分

反常积分：无穷限积分（上限或下限为无穷）和无界函数积分（瑕积分）。收敛性判断：比较判别法、极限比较判别法。p积分收敛性：1除以x的p次方从1到无穷，p大于1收敛。

### 可分离变量

可分离变量方程：dy除以dx等于g(x)h(y)，分离变量后两边积分得到通解。解微分方程的基本思路是分离变量和化成已知类型。

### 复合函数求导

多元复合函数求导：链式法则，z对x的偏导等于z对u偏导乘u对x偏导加z对v偏导乘v对x偏导。全导数：中间变量都是x的函数时。隐函数存在定理。

### 多元函数极限连续

多元函数极限：点(x,y)趋于(x0,y0)时f趋于A，要求沿任意路径趋于都收敛到A。多元连续：极限等于函数值。多元初等函数在定义域内连续。

### 多元极值

多元极值：无条件极值用偏导数为0找驻点，用二阶偏导判别（AC减B方）。条件极值用拉格朗日乘数法（引入乘数λ构造辅助函数）。最值在驻点和边界取得。

### 定积分应用

定积分应用：平面图形面积（上下函数差积分）、旋转体体积（π乘f(x)平方积分）、曲线弧长、旋转体侧面积、物理应用（功、压力、质心）。

### 定积分概念

定积分：∫f(x)dx从a到b，是曲边梯形的面积，分割求和取极限。定积分性质：线性性、区间可加性、保号性（非负函数积分非负）、估值定理。

### 定积分计算

定积分计算：牛顿莱布尼茨公式、换元法（换元要换限）、分部积分。对称区间上奇函数积分为0，偶函数积分为2倍半区间。周期函数积分。

### 导数概念

导数：函数在某点的变化率，f'(x0)等于lim[f(x0加Δx)减f(x0)]除以Δx。几何意义：切线斜率。可导必连续，连续不一定可导。导数是微分学的核心概念。

### 常数项级数

常数项级数：Σan。收敛：部分和数列有极限。级数收敛的必要条件：通项趋于0（不满足则发散）。调和级数发散。几何级数收敛性：公比绝对值小于1收敛。

### 幂级数

幂级数：Σan(x减x0)的n次方。收敛半径R：比值或根值法求。收敛区间：(-R加x0, R加x0)，端点单独判断。幂级数在收敛区间内可逐项求导逐项积分。函数展开成幂级数（泰勒级数）。

### 微分

微分：dy等于f'(x)dx，是函数增量的线性主部。可微与可导等价。微分用于近似计算：f(x0加Δx)约等于f(x0)加f'(x0)Δx。一阶微分形式不变性。

### 微分方程应用

微分方程应用：建模——建立方程、求解、解释。典型模型：指数增长（人口、放射性衰变）、牛顿冷却定律、弹簧振动、RL电路。应用体现了微分方程描述动态过程的威力。

### 微积分基本定理

微积分基本定理（牛顿莱布尼茨公式）：∫f(x)dx从a到b等于F(b)减F(a)。变上限积分函数：F(x)等于∫f(t)dt从a到x，F'(x)等于f(x)。基本定理连接微分与积分。

### 换元积分

换元积分：第一类换元（凑微分，∫f(φ(x))φ'(x)dx令u等于φ(x)）和第二类换元（去根号，如三角代换x等于a sin t）。换元后要回代。

### 数列极限

数列极限：当n无限增大时，数列an无限接近常数A，则lim an等于A。极限存在则唯一。收敛数列有界。保号性：极限为正则从某项起为正。

### 斯托克斯公式

斯托克斯公式：∮P dx加Q dy加R dz等于∫∫(旋度在曲面法向的投影)dS。联系曲线积分与曲面积分。旋度描述场的旋转程度。

### 方向导数与梯度

方向导数：函数沿某方向的变化率，等于梯度与方向单位向量的内积。梯度grad f等于(fx,fy)，方向是函数增长最快的方向，模是最大变化率。

### 无穷小无穷大

无穷小：极限为0的变量。无穷大：绝对值无限增大。无穷小与有界函数的乘积是无穷小。等价无穷小替换（x趋于0时sinx等价x、tanx等价x、ln(1加x)等价x）。

### 曲线积分

曲线积分：第一类（对弧长，∫f ds，与方向无关）和第二类（对坐标，∫P dx加Q dy，与方向有关）。计算：参数方程代入。格林公式联系二重积分与第二类曲线积分。

### 曲面积分

曲面积分：第一类（对面积，∫∫f dS）和第二类（对坐标，∫∫P dy dz加Q dz dx加R dx dy）。计算：投影到坐标面。高斯公式联系三重积分与第二类曲面积分。

### 条件极值拉格朗日

拉格朗日乘数法：求f在约束g等于0下的极值，构造L等于f加λg，对x、y、λ求偏导等于0解出驻点。拉格朗日乘数法是条件极值的一般方法。

### 极限运算法则

极限运算法则：lim(f±g)等于lim f±lim g，lim(fg)等于lim f乘lim g，lim(f/g)等于lim f除以lim g（lim g不为0）。复合函数极限：内层极限存在且外层连续。

### 格林公式

格林公式：∮P dx加Q dy等于∫∫(Qx减Py)dxdy（区域D）。条件：P、Q在D上有连续一阶偏导，D是单连通区域。应用：计算平面区域面积。与路径无关的条件：Qx等于Py。

### 正项级数判敛

正项级数判敛：比较判别法、极限比较判别法、比值判别法（达朗贝尔）、根值判别法（柯西）。p级数：1除以n的p次方，p大于1收敛。

### 求导法则

求导法则：和差积商求导公式、复合函数链式法则（y对x的导数等于y对u乘u对x）、反函数求导。基本初等函数导数表：幂函数、指数函数、对数函数、三角函数、反三角函数。

### 泰勒公式

泰勒公式：用多项式逼近函数，f(x)等于f(x0)加f'(x0)(x减x0)加二阶项加...加佩亚诺余项或拉格朗日余项。麦克劳林公式：x0等于0的特例。e的x次方、sinx、ln(1加x)的展开式。

### 洛必达法则

洛必达法则：0比0型或无穷比无穷型极限，分子分母分别求导后再求极限。适用条件：导数之比极限存在。洛必达法则可多次使用。

### 连续与间断

函数连续：lim f(x)等于f(x0)。连续函数图像不断开。间断点分类：第一类（左右极限存在，可去跳跃）、第二类（无穷、振荡）。初等函数在定义区间内连续。

### 闭区间连续函数性质

闭区间上连续函数的性质：有界性、最值定理（取得最大值最小值）、介值定理（函数值介于两端点值之间）、零点定理（异号则存在零点）。性质是证明方程有根的工具。

### 隐函数参数方程求导

隐函数求导：方程两边对x求导，解出y'。参数方程求导：dy除以dx等于(dy/dt)除以(dx/dt)。隐函数和参数方程是函数的两种表示方式。

### 高斯公式

高斯公式：∮∮P dy dz加Q dz dx加R dx dy等于∫∫∫(Px加Qy加Rz)dV。高斯公式联系曲面积分与三重积分，散度定理。应用：计算通量。

### 高阶导数

高阶导数：导数的导数。n阶导数表示方法f的n次导数。莱布尼茨公式求乘积的高阶导数。常用高阶导数：e的x次方的n阶导数是本身。

## 识别卡明细

- **observation_position**: 从高等数学（大学层）结构端透视
- **existence_preset**: 默认存在预设：大学学段知识按课标骨架存在
- **irreducible_start**: 不可约起点：高等数学的核心概念
- **observation_method**: 有效观测方式：课标骨架知识点 + 现象规律性格式
- **time_causality**: 时间与因果结构：按课标学段递进（大学）
- **condition_boundary**: 边界：高等数学知识点按课标骨架定位学段；具体数值/例题以教材为准
- **consistency**: 自洽性评估：知识点内容为现象+规律格式，待人工审校
- **protocol_mapping**: 可映射协议概念：高等数学与条件论知识图谱的接口
- **silent_preset**: 沉默预设：知识点内容为通用现象/规律，不声称终极解释

## 关系

- 课标骨架（similar）：高等数学与 knowledge_skeleton.json 的 大学 学段对应