D51定积分概念与性质1

高等数学·一元函数积分学D51定积分概念与性质从曲边梯形面积出发，建立定积分的严格定义，探讨其基本性质与几何意义Contents课程目录D51定积分概念与性质01定积分问题引入02定积分的定义03定积分的性质04积分中值定理与微积分基本公式CHAPTER01定积分问题引入从曲边梯形面积与变速运动路程两个经典问题出发CASESTUDY01引例一：曲边梯形的面积曲边梯形面积问题是定积分概念最直观的几何来源。通过'分割、近似、求和、取极限'四步策略，将无法直接计算的曲边图形面积转化为无穷多个矩形面积之和的极限。01曲边梯形定义：由曲线y=f(x)、x轴及直线x=a、x=b围成，因顶部为曲线而无法用初等公式直接求面积02分割：在[a,b]内插入n−1个分点，将区间分成n个小区间，对应将曲边梯形切成n个窄条03近似替代：在每个小区间上任取ξᵢ，用高为f(ξᵢ)、宽为Δxᵢ的矩形面积近似该窄条面积04求和取极限：Sₙ=Σf(ξᵢ)Δxᵢ，令λ=max{Δxᵢ}→0，极限值即为精确面积曲边梯形被矩形逼近·黎曼和示意图D51定积分概念与性质引例二：变速直线运动的路程变速直线运动的路程问题是定积分的典型物理背景。它与曲边梯形面积问题在数学结构上完全同构——都是"函数值×区间长度"的无穷求和极限，说明定积分是一种具有普遍适用性的数学工具。程02分割将[T₁,T₂]分成n个小区间[tᵢ₋₁,tᵢ]，每段时长Δtᵢ=tᵢ−tᵢ₋₁v(τᵢ)·Δtᵢ04求和取极限Sₙ=Σv(τᵢ)Δtᵢ，令λ=max{Δtᵢ}→0，极限即为精确路程05结构统一两个引例的数学结构完全一致：都是"乘积之和的极限"Σf(ξᵢ)Δxᵢ，即定积分的雏形v-t图像下方面积即为变速运动的路程定积分概念·引例归纳两个引例的共同数学结构曲边梯形面积与变速运动路程虽来源不同，但数学结构完全一致，均可归结为"函数值与区间长度乘积之和的极限"，是定义定积分的动机与基础。统一的四步策略01分割将区间[a,b]分为n个小区间，把整体问题拆解为局部问题02近似替代在每个小区间内用"不变量"代替"变量"——以直代曲、以匀速代变速03求和将各局部近似值累加，得到整体近似值Σf(ξᵢ)Δxᵢ04取极限令最大区间长度λ→0，近似值趋于精确值，完成从有限到无限的飞跃统一的数学形式乘积和结构两种问题的近似和均为Σf(ξᵢ)Δxᵢ的形式，即"函数值×区间长度"的有限和极限收敛λ→0使近似和收敛到确定值，该值仅取决于函数f和区间[a,b]普遍适用"乘积和的极限"结构广泛存在于弧长、体积、功、压力等计算中CHAPTER02定积分的定义从黎曼和到定积分的严格数学表述DEFINITEINTEGRAL定积分的严格定义定积分是黎曼和在分割无限加细时的极限。定义的关键在于两个"任意性"——分割方式任意、取点方式任意——极限都必须存在且唯一。01前提条件：f(x)在[a,b]上有界；在[a,b]中任意插入n−1个分点a=x₀<x₁<…<xₙ=b，得n个小区间02记Δxᵢ=xᵢ−xᵢ₋₁，在每个小区间[xᵢ₋₁,xᵢ]上任取ξᵢ，构造黎曼和S=Σᵢ₌₁ⁿf(ξᵢ)·Δxᵢ03记λ=max{Δx₁,Δx₂,…,Δxₙ}，若对任意分割、任意取点，当λ→0时S的极限都存在且等于同一常数I04则称f(x)在[a,b]上（黎曼）可积，I称为f(x)在[a,b]上的定积分，记作∫ₐᵇf(x)dx=IDEFINITEINTEGRAL定积分记号与基本约定定积分∫ₐᵇf(x)dx是一个确定的数值，仅由被积函数与积分区间决定，与积分变量的字母选取无关。记号解析f(x)为被积函数，x为积分变量，f(x)dx为被积表达式，a、b分别为下限与上限f(x)·f(x)dx·[a,b]变量无关性定积分的值仅取决于f与[a,b]，与积分变量字母无关∫f(x)dx=∫f(t)dt补充约定a=b时积分为0；a>b时积分等于反向积分的相反数∫ₐᵃ=0·反向取负数值本质定积分是一个确定的数，与不定积分的原函数族本质不同定值·非函数族INTEGRABILITY函数可积的充分条件连续性是可积性最常用的充分条件。更一般地，有界且仅有有限个间断点的函数也可积。这两个定理覆盖了绝大多数实际应用中的被积函数类型。01连续即可积若f(x)在[a,b]上连续，则f(x)在[a,b]上必可积。连续性是最常用的充分条件。C⁰⟹R02有限间断点可积若f(x)在[a,b]上有界且仅有有限个间断点，则f(x)在[a,b]上可积。有界∩有限间断03反例：无界不可积若f(x)在[a,b]上无界（如1/x在x=0附近），则定积分不存在。1/x,x→004充分非必要条件存在不连续点无穷多但仍可积的函数（如Thomae函数），超出本课程范围。Thomae函数INTEGRALCALCULUS定积分的几何意义定积分的几何意义是曲线与x轴之间面积的代数和：x轴上方面积取正，下方面积取负。三种情况的面积解读01f(x)≥0时：∫ₐᵇf(x)dx=S，曲边梯形面积，积分值为正02f(x)≤0时：∫ₐᵇf(x)dx=−S，面积的相反数，积分值为负03f(x)有正有负时：∫ₐᵇf(x)dx=S₊−S₋，上方面积之和减下方几何意义的应用对称性简化：偶函数在[−a,a]上的积分等于[0,a]上的两倍；奇函数在[−a,a]上积分为零比较定理：若f(x)≥g(x)，则f曲线总在g上方，故∫ₐᵇf(x)dx≥∫ₐᵇg(x)dx估值不等式：m(b−a)≤∫ₐᵇf(x)dx≤M(b−a)，m、M为f在[a,b]上的最小与最大值Example·DefiniteIntegral例题：用定义计算∫₀¹x²dx通过等分区间、取右端点构造黎曼和，并利用自然数平方和公式化简求极限，可以严格按定义算出∫₀¹x²dx=1/3。这一完整过程演示了定义计算的标准化流程。01将[0,1]等分为n份：xᵢ=i/n，Δxᵢ=1/n，取右端点ξᵢ=i/nxᵢ=i/n，Δxᵢ=1/n02构造黎曼和：Sn=Σᵢ₌₁ⁿ(i/n)²·(1/n)=(1/n³)·Σᵢ₌₁ⁿi²Sₙ=(1/n³)Σi²03代入平方和公式Σᵢ₌₁ⁿi²=n(n+1)(2n+1)/6，得Sn=(n+1)(2n+1)/(6n²)Σi²=n(n+1)(2n+1)/604取极限lim(n→∞)Sn=lim(n→∞)(1+1/n)(2+1/n)/6=1×2/6=1/3，故∫₀¹x²dx=1/3∫₀¹x²dx=1/3CHAPTER03定积分的性质线性、可加性、保号性与比较定理D51·定积分概念与性质性质一与二：线性性质定积分具有完整的线性性质：常数因子可提取到积分号外，函数的代数和可逐项积分。线性性质使得复杂积分可以拆分为简单积分的线性组合，是定积分计算与证明中最基础的工具。性质二：函数加减法01∫ₐᵇ[f(x)±g(x)]dx=∫ₐᵇf(x)dx±∫ₐᵇg(x)dx02证明：黎曼和[f(ξᵢ)±g(ξᵢ)]Δxᵢ=f(ξᵢ)Δxᵢ±g(ξᵢ)Δxᵢ，求和后分项取极限03推广：∫ₐᵇ[k₁f₁+k₂f₂+…+kₙfₙ]dx=k₁∫f₁+k₂∫f₂+…+kₙ∫fₙ性质一：常数因子提取01∫ₐᵇk·f(x)dx=k·∫ₐᵇf(x)dx，其中k为常数02证明：黎曼和中kf(ξᵢ)Δxᵢ=k·f(ξᵢ)Δxᵢ，k作为公因子可提到求和号外03几何解释：函数值统一缩放k倍，曲边梯形面积也缩放k倍D51定积分概念与性质性质三：区间可加性定积分对积分区间具有可加性：将积分区间在任一点切分，各段积分之和等于整体积分。这一性质不受分点与端点大小关系的限制，是处理分段函数积分和构建积分理论的关键工具。01若a<c<b且f在[a,b]上可积，则∫ₐᵇf(x)dx=∫ₐᶜf(x)dx+∫ᶜᵇf(x)dx02一般形式：不论a、b、c的大小顺序如何，只要f在包含三者的区间上可积，上式均成立03几何解释：将曲边梯形在x=c处切为两块，两块面积之和等于原面积04典型应用：分段函数积分时，在各段分界点处拆分积分区间，逐段计算再求和PropertiesIV–VI性质四~六：单位积分、保号性与比较定理常数函数1的积分等于区间长度；非负函数的积分非负（保号性）；大函数的积分不小于小函数的积分（比较定理）。这三条性质构成了定积分序关系理论的完整基础。Section性质四与五性质四：∫ₐᵇ1·dx=b−a，常数函数的积分等于函数值乘以区间长度性质五（保号性）：若f(x)≥0（∀x∈[a,b]），则∫ₐᵇf(x)dx≥0推论：若f(x)≥0且f连续、不恒为零，则∫ₐᵇf(x)dx>0（严格不等号）Section性质六：比较定理定理：若在[a,b]上f(x)≤g(x)，则∫ₐᵇf(x)dx≤∫ₐᵇg(x)dx证明：令h(x)=g(x)−f(x)≥0，由保号性∫ₐᵇh(x)dx≥0，再利用线性性质即得推论：|∫ₐᵇf(x)dx|≤∫ₐᵇ|f(x)|dx（积分的绝对值不超过绝对值的积分）PROPERTIESOFDEFINITEINTEGRALS性质七：积分估值定理若f(x)在[a,b]上的最小值为m、最大值为M，则积分值被夹在m(b-a)与M(b-a)之间。估值定理为无法精确计算的积分提供了有效的数值范围估计。定理内容设m≤f(x)≤M（∀x∈[a,b]），则m(b−a)≤∫ₐᵇf(x)dx≤M(b−a)证明方法由比较定理，对m≤f(x)≤M三端同乘dx并积分，利用∫ₐᵇm·dx=m(b−a)即得结论。几何解释曲边梯形面积介于高为m和M的两个矩形面积之间，直观呈现积分值的上下界约束。应用示例估计∫₀¹e−x²dx的范围：因e⁻¹≤e−x²≤1，故1/e≤∫₀¹e−x²dx≤1Chapter04积分中值定理与微积分基本公式连接函数值与积分值的桥梁INTEGRALCALCULUS·THEOREM积分第一中值定理连续函数在闭区间上的定积分等于函数在某中间点的值与区间长度的乘积。该定理揭示了定积分的"平均值"本质，是连接积分学与微分学的关键桥梁之一。定理内容与几何意义01定理：若f(x)在[a,b]上连续，则∃ξ∈[a,b]，使得∫ₐᵇf(x)dx=f(ξ)·(b−a)02几何意义：必存在以f(ξ)为高的矩形，其面积等于曲边梯形面积（"以直代曲"的精确版本）03物理类比：变速运动中必存在某时刻的瞬时速度等于全程平均速度证明思路与推广01由估值定理m(b−a)≤∫f(x)dx≤M(b−a)，得m≤∫f(x)dx/(b−a)≤M02由连续函数的介值定理，f必在[a,b]上某点ξ取到该平均值，即f(ξ)=∫f(x)dx/(b−a)03推广（第二中值定理）：若g(x)在[a,b]上不变号且可积，则∫f·gdx=f(ξ)·∫gdxFundamentalTheorem积分上限函数及其导数积分上限函数Φ(x)=∫ₐˣf(t)dt将定积分从'常数'提升为'函数'。当f连续时，Φ'(x)=f(x)，即积分上限函数是被积函数的一个原函数。这一发现建立了微分与积分之间的核心联系。01定义设f在[a,b]上连续，Φ(x)=∫ₐˣf(t)dt（a≤x≤b），积分上限为变量x02几何意义Φ(x)表示从a到x的曲边梯形面积，是随x变化的累积量函数03核心定理若f连续，则Φ可导且Φ'(x)=f(x)，即积分上限函数是f的一个原函数04证明Φ(x+Δx)−Φ(x)=∫ₓˣ⁺Δˣf(t)dt=f(ξ)·Δx（中值定理），除以Δx取极限得Φ'(x)=f(x)FUNDAMENTALTHEOREMOFCALCULUS牛顿-莱布尼茨公式（微积分基本公式）牛顿-莱布尼茨公式∫ₐᵇf(x)dx=F(b)-F(a)将定积分的计算从黎曼和的极限过程简化为原函数在端点的求值差。它统一了微分与积分，是整个微积分学的核心定理。定理表述设F(x)是连续函数f(x)在闭区间[a,b]上的任一原函数，则定积分可表示为：∫ₐᵇf(x)dx=F(b)−F(a)此即微积分基本定理的核心表达式，建立了定积分与原函数之间的桥梁。证明思路构造变上限积分函数Φ(x)=∫ₐˣf(t)dt，由微积分基本定理可知Φ'(x)=f(x)。F(x)=Φ(x)+C令x=a得C=F(a)，代入x=b即得F(b)−F(a)=Φ(b)，证毕。计算意义彻底改变了定积分的计算方式，将复杂的"无穷求和的极限"转化为两步操作：①求被积函数的原函数F(x)②计算F(b)−F(a)的差值极大简化了定积分的实际计算过程。深层关系深刻揭示了微分与积分之间的对偶关系，二者本质上是互逆运算：微分d/dx积分∫dx求导得到变化率，积分得到累积量，牛顿-莱布尼茨公式正是连接这两者的纽带。CALCULUS例题：牛顿-莱布尼茨公式的应用牛顿-莱布尼茨公式将定积分计算转化为求原函数并代入端点值，使原本复杂的黎曼和极限过程变为简洁的代数运算。以下三个例题展示了公式在不同类型函数上的标准计算流程。01例1·幂函数∫₀¹x²dx=[x³/3]₀¹=1/3−0=1/3与用定义计算的结果完全一致，验证公式的正确性02例2·三角函数∫₀πsin(x)dx=[−cos(x)]₀π=(−cosπ)−(−cos0)=1+1=2正弦曲线在[0,π]区间与x轴围成的有向面积03例3·复合函数∫₁²(2x+1/x)dx=[x²+ln|x|]₁²=(4+ln2)−(1+0)=3+ln2利用线性性质拆分为两个简单积分分别计算计算要领先利用线性性质拆分被积函数，再逐项查表或凑出原函数最后代入上下限做差，注意符号运算的准确性定积分应用综合应用：平面图形面积计算求两曲线围成面积的标准化流程为：求交点定区间→判断上下关系→对"上减下"积分。步骤①联立方程求交点，确定积分区间[a,b]；②判断区间内上下曲线关系；③面积S=∫ₐᵇ[f上(x)−f下(x)]dx例题求y=x²与y=x围成的面积。联立得交点x=0,x=1；在[0,1]上x≥x²计算S=∫₀¹(x−x²)dx=[x²/2−x³/3]₀¹=1/2−1/3=1/6注意若上下关系在区间内发生变化，需在变化点处拆分区间，分段计算后求和两曲线围成面积示意图·定积分几何应用COURSESUMMARY课程总结：定积分概念与性质知识框架本节课从实际问题出发建立定积分概念，系统推导了基本性质，并以牛顿-莱布尼茨公式收束，完成了从"为什么要定义定积分"到"如何计算定积分"的完整闭环。概念建立两个引例（面积与路程）揭示"乘积和的极限"这一共同结构核心：任意分割、任意取点、极限存在且唯一可积条件：连续必可积；有界且有限个间断点也可积Σf·Δx→I性质体系线性性质与区间可加性是计算基础保号性、比较定理和估值定理构成不等式核心积分中值定理揭示积分值与函数值的内在联系f(ξ)(b−a)核心公式积分上限函数Φ′(x)=f(x)建立微分与积分的桥梁牛顿-莱布尼茨公式∫ₐᵇf(x)dx=F(b)−F(a)是计算的终极工具N-LFormulaExercises课堂练习以下四道练习题覆盖本节课的核心知识点，从基础计算到性质应用再到综合问题，难度递进，旨在全面检验学生对定积分概念与性质的掌握程度。01基础计算用牛顿-莱布尼茨公式计算∫₀π/2cos(x)dx，验证结果为1Newton-Leibniz02性质应用利用奇偶性计算∫₋₁¹(x³+x²)dx，将奇函数项消去、偶函数项翻倍奇偶性03