D51定积分的概念与性质

D51定积分的概念与性质第五章·从曲边梯形面积到黎曼和的极限Contents本节目录D51定积分的概念与性质01定积分问题引例02定积分的定义与可积性03定积分的基本性质Chapter01定积分问题引例从曲边梯形面积与变速运动路程看积分思想的起源CASESTUDY·引例引例一：曲边梯形的面积问题曲边梯形面积问题是定积分概念最直观的几何来源。由于顶部边界为曲线，无法用初等几何公式直接求解，必须借助"分割—近似—求和—取极限"的方法，用无穷多个小矩形面积之和来逼近真实面积，这一思想正是定积分的核心灵魂。曲边梯形由曲线y=f(x)、x轴及直线x=a、x=b围成，其中f(x)在[a,b]上非负且连续，属于无法用初等公式直接求面积的不规则图形核心思想为"以直代曲"：将曲边梯形分割为若干窄条，每个窄条用小矩形近似替代，再通过求和与取极限逼近真实面积该方法的本质是用有限步的简单运算去逼近一个复杂的精确值，体现了微积分"从近似到精确"的基本哲学曲边梯形面积·函数曲线与x轴围成的区域示意D51·定积分的概念与性质曲边梯形面积的求解四步骤求解曲边梯形面积遵循"分割→近似→求和→取极限"四个步骤，通过不断细化分割使矩形面积之和逐步逼近精确面积，当最大区间长度趋于零时，黎曼和的极限即为所求面积。STEP01分割在区间[a,b]中任意插入n−1个分点a=x₀<x₁<…<xₙ=b，将区间分成n个小区间，各小区间长度为Δxᵢ=xᵢ−xᵢ₋₁STEP02近似替代在每个小区间[xᵢ₋₁,xᵢ]上任取一点ξᵢ，以f(ξᵢ)为高、Δxᵢ为底作小矩形，用矩形面积近似替代第i个小曲边梯形的面积STEP03求和将n个小矩形面积求和得到S=Σᵢ₌₁ⁿf(ξᵢ)Δxᵢ，作为曲边梯形面积A的近似值，分割越细，矩形面积之和越接近真实面积STEP04取极限记λ=max{Δxᵢ}，当λ→0时，若和式S的极限存在，则该极限值即为曲边梯形的精确面积A=limₗᵢₘₗₐₘ→₀Σᵢ₌₁ⁿf(ξᵢ)ΔxᵢD51·定积分的概念与性质引例二：变速直线运动的路程问题变速直线运动路程问题与曲边梯形面积问题虽然物理背景截然不同，但求解过程都归结为同一种"分割—近似—求和—取极限"的和式极限结构，这种惊人的共性正是数学家抽象出定积分概念的直接动力。01设物体做变速直线运动，速度v(t)在[T₁,T₂]上连续且v(t)≥0，由于速度不断变化，无法用s=vt直接计算路程02在[T₁,T₂]中插入分点将其分为n个小段[tᵢ₋₁,tᵢ]，每段时长Δtᵢ=tᵢ−tᵢ₋₁，在每段上任取时刻τᵢ，以v(τᵢ)近似代替该段速度03各段路程近似值之和S=Σv(τᵢ)Δtᵢ，当λ=max{Δtᵢ}→0时，S的极限即为精确路程s=lim(λ→0)Σv(τᵢ)Δtᵢ04该极限表达式与曲边梯形面积公式结构完全一致，说明不同领域的实际问题可归结为同一数学模型定积分·概念的引入两个引例的共性与抽象的必要性曲边梯形面积与变速运动路程在物理背景上完全不同，但计算步骤与极限结构完全一致，都归结为函数值与区间长度乘积之和的极限，这种统一性促使数学家将其抽象为定积分。共性特征都由一个函数及其自变量的变化区间完全决定，问题本质是求某种累积量计算步骤完全相同：分割区间→局部近似→整体求和→取极限求精确值最终归结为同一形式的和式极限：lim(λ→0)Σf(ξᵢ)Δxᵢ抽象的必要性每遇同类问题都重新推导极限过程，效率极低且不具一般性将和式极限抽象为"定积分"统一概念后，可建立通用理论与计算法则，大幅提升解题效率抽象化使数学工具具有普适性，可应用于物理、经济、工程等多领域同类问题CHAPTER02定积分的定义与可积性从黎曼和的极限到可积的充分条件DEFINITEINTEGRAL定积分的严格定义定积分是黎曼和在分割无限加细时的极限值，其定义不依赖于区间的具体分法和ξᵢ的取法，只要λ→0时和式总趋于确定的极限，该极限就称为函数在给定区间上的定积分，体现了数学定义的严谨性与一般性。01区间分割设f(x)在[a,b]上有界，插入分点a=x₀<x₁<…<xₙ=b，将[a,b]分成n个小区间[xᵢ₋₁,xᵢ]，各区间长度Δxᵢ=xᵢ−xᵢ₋₁Δxᵢ=xᵢ−xᵢ₋₁02黎曼和极限在每个[xᵢ₋₁,xᵢ]上任取ξᵢ，作和式S=Σf(ξᵢ)Δxᵢ（黎曼和），记λ=max{Δxᵢ}，当λ→0时若S总趋于确定极限I，则称I为f(x)在[a,b]上的定积分λ→0,S→I03积分记号定积分记作∫ₐᵇf(x)dx，其中f(x)为被积函数，f(x)dx为被积表达式，x为积分变量，a、b分别为积分下限和上限∫ₐᵇf(x)dx04变量无关性定积分的值仅取决于被积函数与积分区间，与积分变量的字母无关。无论使用x、t、u或其他字母作为积分变量，只要被积函数和积分区间相同，定积分的值就保持不变∫ₐᵇf(x)dx=∫ₐᵇf(t)dtSupplementaryNotes定积分定义的补充规定与注释定积分定义的完整性需要两条补充规定来保证：积分上下限相等时值为零，上下限反转时积分值变号。这些规定使得后续的性质定理在任意实数a、b、c之间都能统一成立，无需对大小关系做额外限制。01积分变量无关性积分值与积分变量字母无关：∫ₐᵇf(x)dx=∫ₐᵇf(t)dt=∫ₐᵇf(u)du，积分变量只是"哑变量"，不影响最终数值结果。哑变量02上下限相等规定当a=b时，∫ₐᵃf(x)dx=0，此时积分区间退化为一个点，区间长度为零，黎曼和自然为零。a=b03上下限反转规定当a>b时，∫ₐᵇf(x)dx=-∫ᵇₐf(x)dx，交换积分上下限时积分值变号，保证区间可加性在任意顺序下成立。变号定积分·充分条件函数可积的充分条件并非所有有界函数都可积，但两类常见函数保证了可积性：连续函数必然可积，有界且仅有有限个间断点的函数也可积。定理一连续函数可积若f(x)在[a,b]上连续，则f(x)在[a,b]上可积连续函数在闭区间上一致连续，保证了当λ→0时各小区间上函数值的振幅趋于零，黎曼和必收敛Continuous→可积定理二有界且有限间断点可积若f(x)在[a,b]上有界，且只有有限个间断点，则f(x)在[a,b]上可积有限个间断点不影响整体的极限行为，因为有界性保证了间断点附近的贡献可被控制Bounded+有限间断→可积黎曼可积的充要条件可积性的充要条件从不同角度刻画了同一本质：达布准则通过上下和极限相等来判定，振幅准则通过振幅加权和趋于零来判定，勒贝格定理则从测度论角度指出不连续点集必须为零测集，三者等价但视角递进深化。达布准则记达布上和S̄=ΣMᵢΔxᵢ、达布下和S̲=ΣmᵢΔxᵢ（Mᵢ、mᵢ分别为f在各小区间上的上确界和下确界），当且仅当limS̄=limS̲时f可积S̄=S̲振幅准则记ωᵢ=Mᵢ−mᵢ为f在第i个小区间上的振幅，f可积的充要条件为lim(λ→0)ΣωᵢΔxᵢ=0，即振幅的加权总和趋于零Σωᵢ→0勒贝格定理有界函数f在[a,b]上黎曼可积的充要条件是f的不连续点集为零测集（如黎曼函数的不连续点集为有理数集，是零测的，故可积）零测集EXAMPLE·DEFINITEINTEGRAL例题：利用定积分定义计算∫₀¹x²dx通过选取等分区间和右端点取值的特殊方式，可从定积分定义出发严格计算∫₀¹x²dx=1/3，验证了定义的可操作性，同时也说明直接从定义计算过程较繁琐，需要借助性质和定理来简化。01f(x)=x²在[0,1]上连续，由定理知可积，因此可任选分法与取点方式计算。为简化取n等分，分点xᵢ=i/n，Δxᵢ=1/nxᵢ=i/n·Δxᵢ=1/n02取右端点ξᵢ=i/n，黎曼和S=Σ(i/n)²·(1/n)=(1/n³)·n(n+1)(2n+1)/6=(n+1)(2n+1)/(6n²)ξᵢ=i/n·RiemannSum03令n→∞，limS=lim[(1+1/n)(2+1/n)/6]=1×2/6=1/3，故∫₀¹x²dx=1/3=1/3·n→∞GEOMETRICINTERPRETATION定积分的几何意义定积分在几何上表示函数图像与x轴之间围成区域的"有向面积"：x轴上方面积取正值，下方面积取负值，积分值为正负面积的代数和。当f(x)≥0时，∫ₐᵇf(x)dx等于曲线y=f(x)与x轴、x=a、x=b围成的曲边梯形面积，几何意义最为直观。当f(x)<0时，曲边梯形位于x轴下方，此时∫ₐᵇf(x)dx为负值，其绝对值等于该区域的面积。当f(x)在[a,b]上有正有负时，∫ₐᵇf(x)dx等于x轴上方面积减去下方面积的代数和，而非总面积。若要求曲边图形的总面积，需先找出f(x)的零点分段，对每段取绝对值后再求和：S=∫ₐᵇ|f(x)|dx。定积分几何意义示意·曲线与x轴围成区域的有向面积CHAPTER03定积分的基本性质线性性、区间可加性、保号性与中值定理DefiniteIntegral·Properties性质1-2：定积分的线性性定积分对加减法和常数倍运算是封闭的：和差的积分等于积分的和差，常数因子可提到积分号外。这两条性质合称线性性，是定积分最基本的代数性质，为复杂积分的拆分与化简提供了理论依据。性质1和差的积分∫ₐᵇ[f(x)±g(x)]dx=∫ₐᵇf(x)dx±∫ₐᵇg(x)dx函数代数和的积分等于各函数积分的代数和。该性质可直接用于将被积函数拆分为更简单的部分分别积分。证明：黎曼和中Σ[f(ξᵢ)±g(ξᵢ)]Δxᵢ=Σf(ξᵢ)Δxᵢ±Σg(ξᵢ)Δxᵢ，两边取极限即得。f(x)±g(x)性质2常数因子外提∫ₐᵇkf(x)dx=k∫ₐᵇf(x)dx（k为常数）被积函数中的常数因子可以提到积分号前面，简化计算过程。综合性质1、2得线性组合公式：∫ₐᵇ[αf(x)+βg(x)]dx=α∫ₐᵇf(x)dx+β∫ₐᵇg(x)dx。αf(x)+βg(x)PROPERTIESOFDEFINITEINTEGRALS性质3：积分区间的可加性定积分对区间具有可加性：无论c取何值，∫ₐᵇf(x)dx=∫ₐᶜ+∫ᶜᵇ恒成立，特别适用于分段函数与含绝对值函数的积分。01基本公式对任意实数a、b、c，恒有∫ₐᵇf(x)dx=∫ₐᶜf(x)dx+∫ᶜᵇf(x)dx，不要求c在a与b之间。02几何直观当a<c<b时，将[a,b]上的曲边梯形面积拆成[a,c]和[c,b]两段面积之和，意义最为直观。03一般性验证结合上下限反转规定（∫ₐᵇ=−∫ᵇₐ），可验证c不在[a,b]内时公式同样成立，保证性质的一般性。04典型应用分段函数以分段点为界拆分区间；含|f(x)|的积分以零点为界拆分后去绝对值，简化计算。DEFINITEINTEGRAL·PROPERTIES性质4–5：保号性与比较性质定积分保持被积函数的非负性和大小关系：非负函数的积分非负（保号性），较大函数的积分较大（比较性）。这两条性质将函数的点态不等式转化为积分的全局不等式，是估计积分值大小的重要工具。PROPERTY4保号性∫ₐᵇf(x)dx≥001若在[a,b]上f(x)≥0，则∫ₐᵇf(x)dx≥0；若进一步a<b且f(x)连续不恒为零，则积分严格大于零02几何解释：曲线全部在x轴上方（或贴合x轴），曲边梯形面积自然非负PROPERTY5比较性质∫ₐᵇf≤∫ₐᵇg01若在[a,b]上f(x)≤g(x)，则∫ₐᵇf(x)dx≤∫ₐᵇg(x)dx，即函数值的大小关系在积分后仍然保持02证明：令h(x)=g(x)−f(x)≥0，由性质4得∫ₐᵇh(x)dx≥0，利用线性性展开即∫ₐᵇg(x)dx−∫ₐᵇf(x)dx≥0推论·Corollary性质5的两个重要推论由比较性质可推出两个常用不等式推论：推论1直接给出积分值的上下界估计方法，推论2建立积分绝对值与绝对值积分之间的大小关系，在积分估计、误差分析和收敛性证明中应用广泛。推论1：积分的比较若在[a,b]上f(x)≤g(x)，则∫ₐᵇf(x)dx≤∫ₐᵇg(x)dx。可对被积函数放缩来估计积分值的范围。上下界估计推论2：绝对值不等式|∫ₐᵇf(x)dx|≤∫ₐᵇ|f(x)|dx，即"积分的绝对值不超过绝对值的积分"。几何上|f(x)|的曲边梯形面积总不小于f(x)的有向面积。绝对值不等式推论2的证明由-|f(x)|≤f(x)≤|f(x)|两边同时积分得-∫|f(x)|dx≤∫f(x)dx≤∫|f(x)|dx，即得绝对值不等式。夹逼证明PROPERTY06性质6：定积分的估值定理估值定理利用函数在积分区间上的最大值M和最小值m，给出积分值的上下界：m(b−a)≤∫f(x)dx≤M(b−a)。它将积分值限制在两个矩形面积之间，是快速估计积分范围的实用工具。01定理表述：设M与m分别是f(x)在[a,b]上的最大值与最小值，则m(b−a)≤∫ₐᵇf(x)dx≤M(b−a)02几何解释：曲边梯形面积介于高度为m的最小内接矩形与高度为M的最大外接矩形面积之间03证明：由m≤f(x)≤M，利用性质5得∫ₐᵇm·dx≤∫ₐᵇf(x)dx≤∫ₐᵇM·dx04应用场景：当被积函数的原函数无法用初等函数表示时，可用估值定理快速确定积分值的大致范围矩形逼近曲线下面积·上下界估计的几何示意定积分的性质性质7：定积分中值定理定积分中值定理指出：连续函数在闭区间上的定积分等于该区间上某一点的函数值与区间长度的乘积。这意味着连续函数在闭区间上一定存在一个"平均高度"，使得矩形面积恰好等于曲边梯形面积。定理表述若函数f(x)在闭区间[a,b]上连续，则至少存在一点ξ∈[a,b]，使得定积分∫ₐᵇf(x)dx等于该点函数值与区间长度的乘积。核心公式：∫ₐᵇf(x)dx=f(ξ)·(b-a)该定理建立了定积分与函数值之间的桥梁，是微积分基本定理的重要理论基础。∃ξ∈[a,b]证明思路证明过程分为三个关键步骤：1由性质6（估值定理）得m(b-a)≤∫f(x)dx≤M(b-a)2变形得m≤[∫f(x)dx]/(b-a)≤M，记μ为中间值3由连续函数介值定理，存在ξ使f(ξ)=μ介值定理几何意义在区间[a,b]上至少存在一点ξ，使得：矩形面积=f(ξ)×(b-a)曲边梯形面积=∫ₐᵇf(x)dxf(ξ)称为函数在[a,b]上的平均值，几何上表示曲边梯形的"平均高度"。矩形=曲边梯形IntegralMeanValueTheorem积分中值定理的深入解读积分中值定理的变形f(ξ)=(1/(b-a))∫ₐᵇf(x)dx揭示了"积分平均值"的概念：连续函数在闭区间上的平均值一定等于区间内某点的函数值。积分平均值的概念f(ξ)=1/(b−a)∫ₐᵇf(x)dx称为f(x)在[a,b]上的积分平均值，代表函数在整个区间上的"平均水平"物理类比：变速运动中一定存在某时刻的瞬时速度等于全程平均速度，温度变化中一定存在某时刻温度等于全天平均温度适用条件与推广连续性要求：定理要求f(x)在闭区间[a,b]上连续（开区间不够），连续性和闭区间是介值定理适用的前提区间方向推广：无论a<b还是a>b，中值定理等式恒成立——当a>b时两边同变号，结论不变CHAPTER·DEFINITEINTEGRAL定积分性质汇总定积分的七条基本性质构成了完整的理论体系：线性性处理代数运算，区间可加性处理区间拆分，保号性与比较性处理大小关系，估值定理和中值定理则提供了积分值的精确与近似估计方法。定积分基本性质一览表性质编号名称核心公式/结论性质1和差的积分∫[f(x)±g(x)]dx=∫f(x)dx±∫g(x)dx性质2常数因子外提∫kf(x)dx=k∫f(x)dx（k为常数）性质3区间可加性∫ₐᵇf(x)dx=∫ₐᶜf(x)dx+∫ᶜᵇf(x)dx性质4保号性若f(x)≥0，则∫ₐᵇf(x)dx≥0性质5比较性质若f(x)≤g(x)，则∫f(x)dx≤∫g(x)dx推论1绝对值不等式|∫f(x)dx|≤∫|f(x)|dx性质6估值定理m(b-a)≤∫ₐᵇf(x)dx≤M(b-a)性质7中值定理∃ξ∈[a,b]，使∫ₐᵇf(x)dx=f(ξ)(b-a)定积分的七条性质与中值定理构成了积分理论的完整基础框架APPLICATIONS定积分的广泛应用定积分的应用远超纯数学领域，在几何、物理、工程和概率统计等领域都有核心应用，本质上是计算不均匀分布量的累积总量。几何应用平面曲线弧长L=∫ₐᵇ√(1+[f′(x)]²)dx将微小弧段用切线段近似后积分求和旋转体体积V=π∫ₐᵇ[f(x)]²dx将旋转体切成无穷多个薄圆盘，对圆盘体积累加物理与工程应用变力做功W=∫ₐᵇF(x)dx当力随位移变化时，将功的微元累加得到总功液体侧压力P=∫ρgh·w(h)dh液体对容器壁的压强随深度变化，需积分求总压力概率密度积分P(a≤X≤b)=∫ₐᵇf(x)dx连续随机变量在区间上的概率由密度函数的积分给出CALCULUS·微积分基本定理定积分与不定积分的关系定积分与不定积分在概念上截然不同——前者是一个数值（累积量），后者是一族函数（原函数）——但牛顿-莱布尼茨公式∫ₐᵇf(x)dx=F(b)-F(a)将两者完美统一，使得定积分的计算可通过求原函数来实现。概念对比INDEFINITE不定积分∫f(x)dx是求原函数的运算，结果为F(x)+C（一族函数），没有积分上下限DEFINITE定积分∫ₐᵇf(x)dx是求累积量的运算，结果为一个确定的数值，有明确的积分区间牛顿-莱布尼茨公式的桥梁作用若F(x)是f(x)的任一原函数，则∫ₐᵇf(x)dx=F(b)−F(a)，将定积分计算转化为求原函数代入上下限该公式被誉为"微积分基本定理"，统一了微分与积分两大运算，是整个微积分学的核心枢纽SUMMARY本节知识总结本节课从两个经典引例出发建立了定积分的概念，系统阐述了定义、可积性条件和基本性质三大板块，形成了从直觉到严格、从概念到性质的完整知识链条。核心知识脉络引例驱动：曲边梯形面积与变速运动路程→共同的"分割—近似—求和—取极限"结构定义建立：黎曼和极限∫ₐᵇf(x)dx=lim(λ→0)Σf(ξᵢ)Δxᵢ，与分法和取点无关可积条件：连续函数必可积；有界且有限间断点可积；充要条件为不连续点集零测性质体系与后续预告线性性+区间可加性构成代数运算基础，保号性+比较性+估值定理提供大小估计工具中值定理揭示积分平均值存在性，牛顿-莱布尼茨公式（下节课重点）将定积分计算化简为求原函数Exercises课后练习题以下练习题覆盖定积分定义计算、性质应用、估值估计和中值定理证明，旨在帮助学生从不同角度巩固本节课的核心知识点，提升理论运用能力。Exercise01定积分定义计算利用定积分定义计算∫₀¹eˣdx提示：取n等分，右端点取值，利用等比数列求和公式等比数列求和Exercise02估值定理应用利用估值定理估计积分∫₀¹(1/(1+x²))dx的范围提示：求f(x)=1/(1+x²)在[0,1]上的最大值和最小值最值估计Exercise03积分正定性证明证明当x∈[0,1]时，若f(x)≥0且连续不恒为零，则∫₀¹f(x)dx>0连续函数性质Exercise04积分中值定理极限设f(x)在[0,1]上连续，利用积分中值定理求lim(n→∞)∫₀¹xⁿf(x)dx极限求解拓展内容拓展：定积分的数值近似方法当被积函数的原函数无法用初等函数表示时，可用数值方法近似计算定积分。矩形法、梯形法和辛普森法的核心思想都是"以直代曲"，与