§5.2 微积分基本公式

§5.2微积分基本公式高等数学·定积分的核心理论与计算方法Contents本节内容概览定积分的核心理论框架与计算方法01积分可变上限函数及其导数02微积分基本公式：牛顿-莱布尼茨公式03定积分的计算方法与应用CHAPTER01积分可变上限函数及其导数从物理模型出发，建立定积分与原函数的联系Calculus问题的提出：定积分计算的困境用定义计算定积分涉及分割、近似、求和、取极限四个步骤，过程繁琐且有时无法得出精确结果。我们需要寻找一种简便的计算方法，这就引出了对原函数与定积分关系的探索。变速直线运动—积分与运动的物理关联01定义计算的四个步骤分割、近似代替、求和、取极限——过程复杂且有时无法得出精确结果02物理模型的启发变速直线运动路程既可用定积分表示，也可用位移函数的差值来计算03核心问题的提炼是否存在原函数F(x)，使得定积分等于F(b)−F(a)，从而简化计算CALCULUS·微积分基本公式物理模型的双重表达变速直线运动的路程可以用两种方式表达：定积分形式和原函数差值形式。这两种表达的等价性暗示了定积分与原函数之间存在深刻的内在联系，为微积分基本公式的发现提供了直观依据。EXPRESSION01定积分表达S=∫t₁t₂v(t)dt01物体做变速直线运动，速度函数为v=v(t)，描述瞬时速度随时间变化规律02从t₁时刻到t₂时刻的路程用定积分表示，积分区间对应运动的时间跨度03路程等于速度函数在时间区间上的定积分值，反映累积效应的几何意义EXPRESSION02原函数表达S=s(t₂)−s(t₁)01若已知运动规律s=s(t)，路程为位移差，直接利用位置函数计算02路程等于末时刻位移减去初时刻位移，体现位置变化的净效果03关键关系：s′(t)=v(t)，即s(t)是v(t)的原函数，揭示微分与积分的互逆CALCULUS·DEFINITION积分可变上限函数的定义积分可变上限函数将定积分的上限视为变量，从而构造出一个新的函数。这个函数的定义域是[a,b]，函数值等于从固定下限a到可变上限x的定积分，其几何意义是曲边梯形面积随右边界移动而变化。曲边梯形面积随右边界x移动的几何示意前提条件函数f(x)在闭区间[a,b]上连续，保证定积分存在。连续性是可积的充分条件，确保积分值唯一确定。函数定义Φ(x)=∫axf(t)dt，其中x∈[a,b]为自变量，t为积分变量。注意区分积分变量与上限变量，避免混淆。几何意义Φ(x)表示从a到x的曲边梯形面积，右侧边界可平行移动。面积随上限位置连续变化，直观展示积分与函数的对应关系。Calculus·IntegralTheory积分可变上限函数的几何意义积分可变上限函数的几何意义是动态变化的曲边梯形面积。随着上限x在[a,b]内移动，阴影区域的面积连续变化，形成一个新的函数。这种几何直观帮助理解为什么积分可变上限函数是可导的。01曲边梯形的边界左边界固定在x=a，右边界在x处，上边界为y=f(x)曲线，下边界为x轴。x=a→x02面积的连续变化当x从a向b移动时，阴影区域面积连续增大或减小，Φ(x)随之变化。Φ(x)Continuous03变化率与曲线高度面积变化率等于该点处曲线的高度f(x)，为后续求导定理提供几何直觉。Φ′(x)=f(x)CALCULUS·THEOREM定理5.2.1：积分可变上限函数的导数连续函数的积分可变上限函数是可导的，且其导数恰好等于被积函数本身。这一定理不仅给出了求导法则，更重要的是证明了连续函数一定存在原函数，为微积分基本公式奠定了基础。定理内容若f(x)在[a,b]上连续，则Φ(x)=∫axf(t)dt在[a,b]上可导，且Φ'(x)=f(x)Φ'(x)=f(x)证明思路利用导数定义和积分中值定理，计算增量比的极限即可得证极限法重要推论连续函数一定存在原函数，且积分可变上限函数就是它的一个原函数原函数存在ProofStrategy定理5.2.1的证明思路定理证明的核心是运用导数定义结合积分中值定理。通过将积分增量转化为函数值与区间长度的乘积，再利用函数的连续性取极限，最终证明导数等于被积函数。01根据导数定义，计算增量：Φ(x+Δx)−Φ(x)=∫[x,x+Δx]f(t)dt02应用积分中值定理，存在ξ∈[x,x+Δx]，使得：∫[x,x+Δx]f(t)dt=f(ξ)·Δx03当Δx→0时，ξ→x，由f(x)连续性得：Φ'(x)=limf(ξ)=f(x)CALCULUS·FUNDAMENTALTHEOREM求导公式的推广形式当积分上下限都是自变量的函数时，求导需要同时考虑上下限的变化对积分值的贡献。推广公式综合运用了链式法则和积分可变上限函数的基本求导法则，是解决复杂求导问题的有力工具。推广公式d/dx∫ψ(x)φ(x)f(t)dt=f[φ(x)]·φ'(x)−f[ψ(x)]·ψ'(x)01基本形式d/dx∫axf(t)dt=f(x)适用于常下限、变上限的情形02变下限情形d/dx∫xbf(t)dt=−f(x)利用积分性质交换上下限后求导03推广形式d/dx∫ψ(x)φ(x)f(t)dt=f[φ(x)]·φ'(x)−f[ψ(x)]·ψ'(x)综合运用链式法则与可变上限求导CALCULUS·INTEGRAL例5.2.1：基本求导本例直接应用定理5.2.1，是最简单的积分可变上限函数求导情形。积分下限为常数，上限为自变量x，导数等于被积函数将积分变量t替换为x。以下按"审题→分析结构→套用定理"三步完成求解。01题目求d/dx∫₀ˣcos(t)dt的导数。02分析积分下限0为常数，上限为自变量x，完全符合定理5.2.1的标准形式F(x)=∫ₐˣf(t)dt，其中f(t)=cos(t)。03解答由定理5.2.1直接可得：d/dx∫₀ˣcos(t)dt=cos(x)第五章·定积分·例题精讲例5.2.2：变下限求导当积分下限是变量、上限是常数时，需要利用定积分的性质交换上下限（添加负号），转化为标准的积分可变上限函数形式后再求导。01题目求d/dx∫x1et²dt02分析积分下限x是变量，上限1是常数——与标准的"变上限积分"形式相反，需先交换上下限。下限=x03转化∫x1et²dt=−∫1xet²dt04解答d/dx(−∫1xet²dt)=−ex²Chapter5·Example5.2.3例5.2.3：复合函数求导当积分上限是自变量的函数时，求导需要运用链式法则。先按定理5.2.1对上限求导，再乘以上限对自变量的导数，这是复合函数求导与积分可变上限函数求导的综合应用。01题目：求d/dx∫[1,x²]ln(t)dt02分析：积分上限x²是x的函数，需用复合函数求导法则03步骤：令u=x²，则d/du∫[1,u]ln(t)dt=ln(u)=ln(x²)04解答：由链式法则，导数=ln(x²)·2x=2x·ln(x²)Chapter5·Theorem5.2.2定理5.2.2：原函数的存在性连续函数的积分可变上限函数就是它的一个原函数。这一定理从理论上保证了原函数的存在性，同时为建立定积分与不定积分的联系提供了桥梁，是导出牛顿-莱布尼茨公式的关键步骤。定理内容若f(x)在[a,b]上连续，则变上限积分函数Φ(x)=∫[a→x]f(t)dt是f(x)在[a,b]上的一个原函数。该构造性证明直接给出了原函数的具体形式。Φ(x)=∫ₐˣf(t)dt理论意义该定理从理论上彻底解决了连续函数原函数的存在性问题，证明了只要函数连续，其原函数必定存在。这一结论为微积分理论的严格化奠定了重要基础。存在性保证桥梁作用揭示了定积分与原函数之间的深刻内在联系，建立了不定积分与定积分之间的理论通道，为牛顿-莱布尼茨公式的严格证明提供了关键的理论支撑。N-L公式基础Chapter02微积分基本公式牛顿-莱布尼茨公式：连接微分与积分的桥梁CALCULUS·微积分基本定理牛顿-莱布尼茨公式牛顿-莱布尼茨公式是微积分学中最核心的公式，它将定积分的计算转化为求原函数在积分上下限的函数值之差。这个公式建立了微分与积分的深刻联系，标志着微积分学作为统一学科的诞生。定理内容若F(x)是f(x)在[a,b]上的一个原函数，则定积分∫ₐᵇf(x)dx等于F(b)−F(a)，将积分运算转化为函数值之差。这一突破性的发现彻底改变了人们对积分运算的认知方式。F(b)−F(a)计算方法先用不定积分求出被积函数的一个原函数，再将积分上限与下限分别代入原函数，取二者之差即得定积分值。这种方法避免了复杂的极限求和过程。原函数记号简化引入F(x)|[a,b]的竖线记号表示F(b)−F(a)，使公式书写更加简洁，便于在复杂运算中快速记录中间步骤。这一记号在工程计算和理论推导中被广泛采用。F(x)|abTHEOREM·PROOF牛顿-莱布尼茨公式的证明证明的关键在于利用原函数的性质：同一函数的任意两个原函数相差一个常数。通过比较积分可变上限函数与已知原函数的关系，建立等式并代入边界条件，最终导出公式。01Step确定可变上限积分的原函数身份由定理5.2.1，Φ(x)=∫ₐˣf(t)dt是f(x)的一个原函数。Φ(x)02Step建立两个原函数的等式关系已知F(x)也是f(x)的原函数，故Φ(x)=F(x)+C，两原函数相差常数C。F(x)+C03Step代入边界条件导出公式令x=a，由Φ(a)=0得C=−F(a)，代入x=b即得Φ(b)=F(b)−F(a)。F(b)−F(a)CALCULUS·FUNDAMENTALTHEOREM公式的历史地位与意义牛顿-莱布尼茨公式统一了微分与积分两大运算，揭示了它们互为逆运算的本质关系。在牛顿和莱布尼茨之前，求切线与求面积被视为独立问题，这个公式的发现标志着微积分学的真正诞生。历史背景独立发现的殊途同归牛顿从运动学角度、莱布尼茨从几何学角度独立发现此公式，两条截然不同的思维路径最终抵达同一结论。核心贡献两大问题的统一公式统一了求切线（微分）与求面积（积分）两大问题，将看似无关的数学操作纳入同一框架。数学意义互为逆运算的揭示揭示微分与积分互为逆运算的深刻关系，为分析学后续发展奠定了坚实的理论基础。计算价值定积分计算的简化建立了定积分与不定积分的联系，将繁琐的极限求和转化为原函数求值，极大简化了计算过程。Newton–LeibnizFormula公式的使用方法与条件牛顿-莱布尼茨公式的使用分为求原函数和代入边界值两步。但必须注意公式的适用条件：被积函数在积分区间上必须连续，否则公式可能失效或产生错误结果。Step01求原函数利用不定积分的方法，求出被积函数f(x)的一个原函数F(x)，使得F'(x)=f(x)。F(x)Step02代入边界值计算F(b)−F(a)，即原函数在积分上限与下限处的函数值之差，得到定积分的精确值。F(b)−F(a)适用条件被积函数f(x)在[a,b]上必须连续，否则不能直接套用公式，需分段处理或改用其他方法。RequiredChapter03定积分的计算方法与应用通过典型例题掌握牛顿-莱布尼茨公式的应用定积分·基础应用例5.2.4：多项式积分多项式函数的定积分是最基础的积分类型，直接应用幂函数积分公式求出原函数后，代入上下限计算即可。01题目：计算定积分∫₀¹x²dx，求幂函数在[0,1]上的定积分值。02求原函数：由幂函数积分公式，x²的一个原函数为x³/3。03代入计算：(x³/3)|₀¹=1³/3−0³/3=1/3。04验证：用定义计算（分割、求和、取极限）也能得到相同结果。求解过程PROBLEM∫₀¹x²dxANTIDERIVATIVEF(x)=x³/3EVALUATIONF(1)−F(0)=1/3−0RESULT1/3定积分·例题例5.2.5：三角函数积分三角函数的定积分需要熟练掌握基本三角函数的原函数，以及常见角度的三角函数值。本例中sin(x)的原函数为-cos(x)，注意负号不要遗漏。STEP01题目：计算∫₀^(π/2)sin(x)dxSTEP02求原函数：sin(x)的一个原函数为-cos(x)STEP03代入计算：(-cos(x))|₀^(π/2)=-cos(π/2)-(-cos(0))STEP04结果：=0+1=1定积分·例题5.2.6含绝对值的积分当被积函数含有绝对值时，需要根据绝对值内部表达式的零点将积分区间分段，在每段上确定绝对值的符号后分别积分。这体现了定积分对区间的可加性。01计算∫03|x−2|dx02|x−2|在x=2处改变符号，需分段处理03[0,2]上|x−2|=2−x[2,3]上|x−2|=x−204∫02(2−x)dx+∫23(x−2)dx=2+½=5/2求解过程∫03|x−2|dx=∫02(2−x)dx+∫23(x−2)dx=[2x−x²/2]02+[x²/2−2x]23=2+½5/2CALCULUS·EXAMPLE5.2.6例5.2.6：分段计算详解含绝对值积分的分段计算需要准确判断每段上绝对值内的符号，然后分别应用牛顿-莱布尼茨公式。本例展示了分段积分的完整计算流程，是处理类似问题的标准方法。Part01第一段[0,2]01此区间x−2≤0，故|x−2|=2−x02∫₀²(2−x)dx=[2x−x²/2]₀²=2=2Part02第二段[2,3]01此区间x−2≥0，故|x−2|=x−202∫₂³(x−2)dx=[x²/2−2x]₂³=1/2=1/2第五章·定积分应用例5.2.7：定积分求面积定积分的几何应用之一是求曲线与坐标轴围成的面积。当曲线在x轴上方时，面积等于定积分；当曲线在x轴下方时，面积等于定积分的绝对值。本题中sin(x)在[0,π]上非负，面积直接等于积分值。y=sin(x)在[0,π]上与x轴围成的区域PROBLEM求曲线y=sin(x)与x轴在[0,π]上围成的面积ANALYSIS在[0,π]上sin(x)≥0，面积A=∫₀ᵖsin(x)dxRESULTA=(−cosx)|₀ᵖ=−cosπ+cos0=1+1=2CALCULUS·定积分应用例5.2.8：分段函数积分分段函数的定积分需要利用积分对区间的可加性，将积分区间按照函数的分段点拆开，在每段上分别应用牛顿-莱布尼茨公式计算，最后将各段积分值相加。01题目：设f(x)=x（0≤x≤1），f(x)=1（1<x≤2），求∫₀²f(x)dx02方法：利用积分区间可加性，在分段点x=1处将积分拆分为两段分别计算03计算：∫₀¹xdx+∫₁²1dx=½+1=3/2分段函数f(x)图形阴影面积=∫₀²f(x)dx=3/2Example·Proof综合例题：单调性证明本例综合运用积分可变上限函数求导与商的求导法则，通过巧妙的代数变形将F'(x)化为显然为正的形式。这展示了微积分基本公式在证明函数性质方面的应用。01·题目f(x)在[0,+∞)连续且f(x)>0，证F(x)=∫₀ˣtf(t)dt/∫₀ˣf(t)dt单调增加02·思路对F(x)求导，利用商的求导法则和积分可变上限函数求导公式03·化简F'(x)分子可化为f(x)·∫₀ˣ(x−t)f(t)dt，由条件知各项为正，故F'(x)>0Summary本节核心要点总结微积分基本公式由两个相互关联的定理构成：积分可变上限函数的求导定理和牛顿-莱布尼茨公式。前者证明了连续函数原函数的存在性，后者提供了定积分的简便计算方法，二者共同统一了微分与积分。定理一积分上限函数求导定理01积分可变上限函数Φ(x)=∫[a,x]f(t)dt的导数等于f(x)02连续函数的原函数一定存在Φ'(x)=f(x)定理二牛顿-莱布尼茨公式01牛顿-莱布尼茨公式：∫[a,b]f(x)dx=F(b)−F(a)02定积分计算转化为求原函数在边界值的差F(b)−F(a)CALCULUS定积分与不定积分的关系定积分是一个数值，不定积分是一族函数，二者本质不同但通过牛顿-莱布尼茨公式紧密相连。理解这种联系与区别是掌握微积分的关键。不定积分01求原函数的运算，结果带任意常数C，反映函数的积分特性02∫f(x)dx=F(x)+C，表示一族函数，几何上对应无限多条平行曲线03微分与积分互为逆运算，求导后常数项消失核心表达式F(x)+C定积分01求极限和的运算，结果是确定的数值，与积分变量无关02∫[a,b]f(x)dx=F(b)−F(a)，几何意义为曲边梯形的有向面积03牛顿-莱布尼茨公式建立定积分与不定积分的计算桥梁核心表达式F(b)−F(a)Newton-Leibniz·应用要点常见错误与注意事项正确应用牛顿-莱布尼茨公式需要注意被积函数的连续性、原函数求解的准确性以及边界值代入的顺序。对于特殊函数（如绝对值函数），还需掌握分段处理的技巧。01连续性检查被积函数在积分区间上必须连续，否则牛顿-莱布尼茨公式可能失效，需要先判断函数的连续条件，确保满足定理前提。f(x)∈C[a,b]02符号准确求原函数时注意符号处理，如∫sin(x)dx=-cos(x)+C，负号极易遗漏导致最终结果错误，需仔细验算。-cos(x)+C03顺序正确代入边界值时必须遵循F(上限)-F(下限)的固定顺序，不可颠倒，否则结果符号相反，造成计算错误。F(b)−F(a)04特殊函数含绝对值或分段函数时，需先在间断点处将积分区间分段，再对每一段分别应用公式求和，确保结果准确。分段积分CalculusExtension拓展：积分中值定理积分中值定理指出连续函数在某区间上的定积分等于函数在某点的值乘以区间长度。这个定理为定积分提供了直观的几何解释，也是证明其他定理的重要工具。01定理表述若f(x)在[a,b]上连续，则存在ξ∈(a,b)使得∫abf(x)dx=f(ξ)·(b−a)02几何意义曲边梯形面积等于以f(ξ)为高、(b−a)为底的矩形面积——定积分可以等价为一块"平均高度"的矩形03核心应用用于估计定积分范围、证明不等式、分析函数性质——是连接积分值与函数值的关键桥梁PHYSICS·CALCULUS物理应用：平均速度计算微积分基本公式在物理学中有广泛应用。计算变速运动的平均速度，需要先求总路程（定积分），再除以时间。本例展示了从物理问题到数学计算的完整过程。PROBLEM问题定义物体速度v=2t+3（m/s），求t=1到t=5时间段内的平均速度。Interval1→5sINTEGRATION求总路程∫