大一高数公式定理总结-高数公式定理精要

一、 函数

理解函数的概念、性质及常见类型是基础中的基础。

• 核心概念：定义域、值域、反函数、复合函数。基本初等函数（幂函数、指数函数、对数函数、三角函数、反三角函数）的图像与性质必须熟练掌握。
• 函数的特性：奇偶性、单调性、周期性、有界性。

二、 极限

极限思想是微积分的灵魂，它描述了变量的变化趋势。

• 极限定义：理解数列极限（ε-N语言）和函数极限（ε-δ语言）的定性描述，虽不要求总能用于证明，但需领会其精确化思想。
• 极限性质：唯一性、有界性、保号性、四则运算法则。
• 极限存在准则：
  • 夹逼准则：常用于求数列和或含有振荡因子的极限。
  • 单调有界准则：证明数列极限存在的有力工具。
• 两个重要极限：
  • lim(x→0) sinx/x = 1。其衍生形式需要灵活掌握。
  • lim(x→∞) (1+1/x)^x = e。以及更一般的形式 lim(□→0) (1+□)^(1/□) = e。
• 无穷小与无穷大：
  • 无穷小的比较（高阶、低阶、同阶、等价）：等价无穷小替换是简化极限计算的强大工具，但必须注意替换条件（仅适用于乘积因子）。常用等价无穷小如：x~sinx~tanx~arcsinx~arctanx~ln(1+x)~e^x-1 (当x→0时)；1-cosx ~ (1/2)x²。
  • 无穷大与无界变量的区别。

三、 连续性

连续性是函数“连绵不断”的数学刻画。

• 连续定义：lim(Δx→0) Δy = 0，或函数在某点的极限值等于函数值。
• 间断点类型：第一类（可去、跳跃）与第二类（无穷、振荡）。
• 连续函数性质：最值定理、有界性定理、介值定理（零点定理是其特例）。这些定理在证明题中应用广泛。
• 初等函数连续性：一切初等函数在其定义区间内连续。

一、 导数与微分

• 导数定义：f'(x₀) = lim(Δx→0) Δy/Δx。导数的几何意义是曲线切线的斜率，物理意义是瞬时速度。
• 微分定义：dy = f'(x)dx。微分是函数增量的线性主部，几何意义是切线纵坐标的增量。
• 关系：可导必可微，可微必可导，且dy = f'(x)dx。
• 求导法则：
  • 四则运算法则。
  • 复合函数求导链式法则。
  • 反函数求导法则：若y=f(x)可导且f'(x)≠0，则其反函数x=φ(y)也可导，且φ'(y)=1/f'(x)。
  • 隐函数求导法：方程两边对x求导，注意y是x的函数。
  • 参数方程求导：若{x=φ(t), y=ψ(t)}，则 dy/dx = (dy/dt) / (dx/dt)。二阶导 d²y/dx² = d(dy/dx)/dt / (dx/dt)。
  • 对数求导法：适用于幂指函数或连乘连除形式的函数。
• 高阶导数：常见函数（如e^x, sinx, cosx, 1/(ax+b)）的n阶导数公式需记忆。莱布尼茨公式用于求两个函数乘积的高阶导数。

二、 微分中值定理及其应用

这是微分学的理论核心，沟通了函数整体性质与局部导数之间的联系。

• 费马引理：可导函数在极值点处的导数为零。是证明罗尔定理的基础。
• 罗尔定理：条件：闭区间连续、开区间可导、区间端点函数值相等。结论：存在一点导数为零。主要用于证明根的存在性。
• 拉格朗日中值定理：条件：闭区间连续、开区间可导。结论：f(b)-f(a)=f'(ξ)(b-a)。它建立了函数增量与导数之间的等式关系，是微分学最重要的定理之一，广泛应用于证明不等式、分析函数性质。
• 柯西中值定理：拉格朗日中值定理的推广，涉及两个函数。是推导洛必达法则的理论基础。
• 泰勒公式（泰勒中值定理）：用多项式逼近函数。麦克劳林公式是其在x₀=0处的特例。几个常见函数的麦克劳林展开式（如e^x, sinx, cosx, ln(1+x), (1+x)^α）必须熟记，它们在求极限、近似计算和后续级数学习中至关重要。

三、 导数的应用

• 洛必达法则：求解0/0或∞/∞型未定式极限的利器。使用时必须反复检查条件，并注意结合等价无穷小简化过程。
• 函数单调性：利用一阶导数的正负判断。
• 函数极值与最值：
  • 极值的第一充分条件（导数变号）、第二充分条件（二阶导非零）。
  • 求闭区间上连续函数最值的步骤：求驻点与不可导点，比较这些点及端点的函数值。
• 曲线的凹凸性与拐点：利用二阶导数的正负判断凹凸性，拐点是凹凸性改变的点。
• 函数作图：综合运用单调性、极值、凹凸性、渐近线（水平、垂直、斜渐近线）描绘函数图形。

一、 不定积分

• 原函数与不定积分概念：F'(x)=f(x)，则∫f(x)dx = F(x)+C。
• 基本积分公式表：由基本求导公式反推得到，必须像乘法口诀一样熟练背诵。
• 积分法：
  • 第一类换元法（凑微分法）：最关键、最常用的方法，需要敏锐地观察被积函数与微分之间的关系。
  • 第二类换元法：常用于含根式（√a²-x², √x²+a², √x²-a²）的积分，通过三角代换或倒代换等消除根号。
  • 分部积分法：∫udv = uv - ∫vdu。适用于被积函数为两类不同函数乘积的情况，选取u的顺序可参考“反（反三角函数）对（对数函数）幂（幂函数）指（指数函数）三（三角函数）”的口诀。
  • 有理函数积分：通过部分分式分解，化为简单有理式积分。

二、 定积分

• 定积分定义：∫_a^b f(x)dx = lim(λ→0) Σ f(ξ_i)Δx_i。理解其“分割、近似、求和、取极限”的思想，几何意义是曲边梯形的面积。
• 定积分性质：线性性、区间可加性、保号性、积分中值定理。
• 微积分基本公式：
  • 积分上限函数及其导数：若Φ(x)=∫_a^x f(t)dt，则Φ'(x)=f(x)。这一结论连接了微分与积分。
  • 牛顿-莱布尼茨公式：∫_a^b f(x)dx = F(b)-F(a)，其中F(x)是f(x)的一个原函数。这是计算定积分的核心公式，将定积分的计算归结为求原函数。
• 定积分的计算法：除了直接使用N-L公式，换元积分法和分部积分法在定积分中同样适用。定积分换元时，积分限要随之改变。
• 反常积分（广义积分）：
  • 无穷区间上的反常积分：通过取极限定义，如∫_a^(+∞) f(x)dx = lim_(t→+∞) ∫_a^t f(x)dx。
  • 无界函数的反常积分（瑕积分）：处理被积函数在积分区间内有无穷间断点的情况。
  • 判断反常积分的敛散性是重点。

三、 定积分的应用

• 几何应用：
  • 平面图形面积：直角坐标、参数方程、极坐标形式。
  • 体积：平行截面面积已知的立体体积、旋转体体积（绕x轴或y轴旋转）。
  • 平面曲线弧长：直角坐标、参数方程、极坐标公式。
• 物理应用：变力做功、液体静压力、引力等。关键在于建立正确的微元模型。

一、 空间解析几何基础

• 向量代数：向量的运算（线性运算、数量积、向量积、混合积）及其几何意义。
• 平面与直线方程：各种形式（点法式、一般式、参数式等）的方程及相互位置关系。
• 常见曲面：柱面、旋转曲面（如旋转抛物面）、二次曲面（椭球面、双曲面、抛物面）的方程与图形特点。

二、 多元函数基本概念

• 多元函数定义、二元函数的几何表示（曲面）、极限与连续性（概念比一元复杂，要求路径无关）。

三、 偏导数与全微分

• 偏导数：对某一个自变量求导，视其他自变量为常数。高阶偏导数、混合偏导数（在连续的条件下与求导次序无关）。
• 全微分：若Δz = AΔx + BΔy + o(ρ)，则称函数可微，dz = AΔx + BΔy。可微的必要条件是偏导数存在，充分条件是偏导数连续。
• 复合函数求导（链式法则）：多元复合函数求导是重点和难点，需分清变量间的复合关系，画出变量关系图有助于准确求导。
• 隐函数求导：由一个（或方程组）确定的隐函数，利用公式法或直接对方程两边求偏导求解。

四、 多元函数微分学的应用

• 几何应用：
  • 空间曲线的切线与法平面。
  • 曲面的切平面与法线。
• 方向导数与梯度：方向导数表示函数沿某一方向的变化率；梯度是一个向量，方向是方向导数最大的方向，模是最大方向导数的值。梯度指向函数值增长最快的方向。
• 多元函数的极值：
  • 无条件极值：利用极值的必要条件（驻点）和充分条件（黑塞矩阵正定/负定）判断。
  • 条件极值：拉格朗日乘数法，引入辅助函数F = f + λφ，求解方程组。

一、 基本概念

微分方程、阶、解（通解、特解）、初始条件。

二、 一阶微分方程

• 可分离变量的方程：最基本类型，通过分离变量两边积分求解。
• 齐次方程：通过变量代换u=y/x化为可分离变量方程。
• 一阶线性微分方程：y' + P(x)y = Q(x)。其通解公式 y = e^(-∫Pdx) [∫Qe^(∫Pdx)dx + C] 必须牢记，并熟练掌握推导过程（常数变易法）。
• 伯努利方程：通过变量代换化为一阶线性方程。

三、 可降阶的高阶微分方程

• y^(n) = f(x) 型：逐次积分。
• y'' = f(x, y') 型（不显含y）：令p=y'，化为一阶方程。
• y'' = f(y, y') 型（不显含x）：令p=y'，利用p dp/dy = y''化为一阶方程。

四、 高阶线性微分方程

• 解的结构理论：齐次方程解的叠加性、非齐次方程解的结构（齐次通解+非齐次特解）。线性无关与朗斯基行列式。
• 常系数齐次线性微分方程：利用特征方程求通解。根据特征根（实单根、重根、共轭复根）的不同情况，写出对应的通解形式。
• 常系数非齐次线性微分方程：针对两种常见类型的自由项f(x)：e^(λx)P_m(x) 和 e^(αx)[P_l(x)cosβx + P_n(x)sinβx]，使用待定系数法设定特解形式并求解。