D31定积分概念与性质

D31定积分概念与性质从曲边梯形面积到黎曼和的极限——建立定积分的严格数学框架Contents本节内容导航微积分核心概念梳理，从直观几何意义到严密数学分析。01引例与直觉：从面积和路程出发02定积分的严格定义03黎曼可积的充分必要条件04定积分的基本性质与应用CHAPTER01引例与直觉：从面积和路程出发通过曲边梯形面积与变速运动路程两个经典问题，揭示定积分思想的本质CALCULUS·定积分引例一：曲边梯形的面积曲边梯形面积的核心困难在于"曲边"无法直接使用初等几何公式，解决思路是"以直代曲、无限细分"。曲边梯形矩形逼近示意01曲边梯形由曲线y=f(x)≥0、x轴及x=a、x=b围成，因一侧为曲线而无法直接套用矩形或三角形面积公式。02核心策略是"分割—近似—求和—取极限"四步法：将[a,b]等分为n段，每段用矩形近似，求和后令n→∞取极限。03面积近似值Sₙ=Σf(ξᵢ)·Δxᵢ随分割加细趋于精确，当极限存在时即定义为曲边梯形的精确面积S。04该方法本质是用一系列"阶梯函数"逼近连续函数，体现分析学中"离散逼近连续"的核心思想。定积分概念·引例引例二：变速直线运动的路程变速直线运动的路程计算与曲边梯形面积在数学结构上完全同构：都是将区间细分后，取"函数值×区间长度"的和再取极限。01物体以变速v=v(t)做直线运动，求其在时间区间[a,b]内的总路程s，无法直接用公式s=v·t计算v=v(t)02将[a,b]分割为n个小时间段，每段内近似匀速：Δsᵢ≈v(τᵢ)·Δtᵢ，总路程近似为sₙ=Σv(τᵢ)·ΔtᵢΣv(τᵢ)·Δtᵢ03令最大时间段长度λ→0取极限，s=limΣv(τᵢ)·Δtᵢ即为精确路程，数学结构与面积问题完全一致λ→004两个引例的共同模式是"局部近似+全局求和+极限精确化"，这正是定积分思想的朴素表达局部近似+全局求和+极限MATHEMATICALSTRUCTURE两个引例的共同数学结构曲边梯形面积与变速运动路程虽然物理背景截然不同，但数学处理过程完全同构——都归结为"分割→近似→求和→取极限"的四步法，最终表达式均为Σf(ξᵢ)·Δxᵢ型黎曼和的极限。这种统一性促使我们将此类和式极限抽象为定积分的一般定义。GEOMETRY几何问题：曲边梯形面积分割[a,b]为n段→每段用矩形面积f(ξᵢ)·Δxᵢ近似曲边面积→求和Sₙ=Σf(ξᵢ)·Δxᵢ→取极限S=limSₙ被积函数f(x)代表曲线高度，积分变量x代表位置坐标，积分值S具有面积量纲S=limΣf(ξᵢ)·ΔxᵢPHYSICS物理问题：变速运动路程分割[a,b]为n段→每段用匀速路程v(τᵢ)·Δtᵢ近似变速路程→求和sₙ=Σv(τᵢ)·Δtᵢ→取极限s=limsₙ被积函数v(t)代表瞬时速度，积分变量t代表时间，积分值s具有路程量纲s=limΣv(τᵢ)·Δtᵢ定积分基础前置概念：区间的剖分区间剖分是定义定积分的基础操作。通过在[a,b]中插入分点将其分为n个小区间，用剖分的模λ（最大子区间长度）衡量分割精细程度。λ→0意味着分割无限加细，这是定义黎曼和极限的关键条件。01分点与剖分在闭区间[a,b]中插入n−1个分点a=x₀<x₁<…<xₙ=b，得到n个小区间[xᵢ₋₁,xᵢ]，构成分点集合T称为区间的一个剖分02子区间长度第i个小区间长度Δxᵢ=xᵢ−xᵢ₋₁，分割不要求等距，各子区间长度可以不同，体现了定义的普遍性03剖分的模λ=max{Δxᵢ:1≤i≤n}，用于统一度量分割精细程度，λ→0等价于所有子区间长度同时趋于零04介点选取在每个子区间[xᵢ₋₁,xᵢ]内任取一点ξᵢ，称为介点或取样点，取样方式不唯一，是定义中需要特别注意之处Chapter02定积分的严格定义从黎曼和到黎曼积分——建立定积分的ε-λ语言表述RiemannSum·定积分基础黎曼和的定义黎曼和S(T,ξ)=Σf(ξᵢ)·Δxᵢ是定积分定义的基础构件，体现了用离散求和逼近连续累积的核心思想。01设f(x)在[a,b]上有定义，对剖分T={x₀,x₁,...,xₙ}，在每个[xᵢ₋₁,xᵢ]中任取ξᵢ，构造和式S=Σᵢ₌₁ⁿf(ξᵢ)·ΔxᵢS=Σf(ξᵢ)·Δxᵢ02黎曼和依赖于两个任意选择：剖分T的方式（分点位置与数目）以及每个子区间中取样点ξᵢ的选取T&ξ双重任意性03f(ξᵢ)·Δxᵢ的几何意义是以Δxᵢ为底、f(ξᵢ)为高的小矩形面积，黎曼和即为所有小矩形面积的代数和矩形面积近似04当f(x)≥0时黎曼和为正的阶梯面积之和；f(x)有正有负时，x轴上方为正、下方为负，黎曼和是代数和代数和有正有负MathematicalAnalysis·Definition定积分的ε-λ严格定义定积分的核心定义使用ε-δ（此处为ε-λ）语言：若存在常数I，使对任意ε>0，存在δ>0，当剖分模λ<δ时，无论怎样分割和取样，黎曼和与I之差均小于ε，则称f在[a,b]上黎曼可积，I即为定积分值。'任意剖分+任意取样'的普适性是定义的关键。01定义表述：∃常数I，∀ε>0，∃δ>0，对[a,b]的任何剖分T（λ<δ）及任何取样点ξᵢ，都有|S(T,ξ)−I|<ε02可积性判定：此时称f(x)在[a,b]上黎曼可积（Riemannintegrable），I称为f在[a,b]上的定积分，记作∫ₐᵇf(x)dx=I03记号含义：∫为积分号（拉长的S，源于Summa），f(x)为被积函数，x为积分变量，[a,b]为积分区间，a、b为积分下、上限04关键约束：定义中"任意剖分"和"任意取样"缺一不可——若仅对某些特定剖分或取样方式成立，不能保证黎曼可积关键细节定义中的关键细节辨析定积分定义看似简洁，实则蕴含多个容易混淆的要点：积分值是与变量符号无关的常数、"任意性"要求不可简化为特殊剖分、定积分（数值）与不定积分（函数族）本质不同。01积分值是确定常数∫ₐᵇf(x)dx仅取决于f和[a,b]，与积分变量的字母选取无关∫f(x)dx=∫f(t)dt02"任意性"要求不可弱化"任意剖分+任意取样"不可简化为"等分剖分"或"取左端点"，否则不能保证可积性的严格性任意剖分·任意取样03定积分≠不定积分定积分结果是一个数，不定积分结果是原函数族，两者概念截然不同∫₀¹x²dx=⅓04无界函数必不可积若f在[a,b]上无界，则必不黎曼可积——黎曼和可取到任意大的值有界性·必要条件定积分·计算演示计算示例：∫₀¹x²dx通过计算∫₀¹x²dx演示定积分定义的完整应用流程：等分剖分→取右端点→利用求和公式化简黎曼和→取极限得1/3。STEP01构造黎曼和等分剖分[0,1]为n段，小区间长度Δx=1/n。取右端点ξᵢ=i/n作为样本点，构造黎曼和Sₙ=Σ(i/n)²·(1/n)=(1/n³)·Σi²。这一步将定积分转化为离散求和形式，为后续计算奠定基础。STEP02代入化简利用平方和公式Σi²=n(n+1)(2n+1)/6，代入得Sₙ=(n+1)(2n+1)/(6n²)。展开后整理为(1+1/n)(2+1/n)/6，将复杂求和转化为仅含n的有理表达式，便于下一步取极限。STEP03取极限得结果令n→∞取极限，1/n→0，故Sₙ→(1)(2)/6=1/3。因此∫₀¹x²dx=1/3，这一结果与几何直观（抛物线y=x²下方曲边梯形面积）完全吻合，验证了计算的正确性。STEP04可积性验证函数x²在闭区间[0,1]上连续，根据可积性定理必黎曼可积。本例采用等分剖分加右端点的特殊取法简化计算，一般情形下需注意：定积分定义要求对任意剖分和任意取点，黎曼和极限都存在且相等。Calculus定积分的几何意义定积分∫ₐᵇf(x)dx的几何意义是"有向面积的代数和"：x轴上方曲边梯形面积取正值，下方取负值，积分值等于正面积之和减去负面积之和。01f(x)≥0时∫ₐᵇf(x)dx等于曲边梯形面积A，积分值为正=A02f(x)≤0时x轴下方图形面积贡献为负，积分值为−A=−A03f(x)有正有负时积分为正负面积的代数和，值可正、可负或为零A₁−A₂04计算总面积时需分段取绝对值，总面积=∫|f(x)|dx∫|f(x)|dx曲边梯形面积示意：x轴上方面积取正，下方面积取负CHAPTER03黎曼可积的充分必要条件SufficientandNecessaryConditions从达布和到勒贝格定理——刻画可积函数类的三种等价描述RIEMANNINTEGRABILITY可积的必要条件：有界性黎曼可积的函数一定是有界函数——无界函数在任何包含其无界点的子区间上，黎曼和可通过取样点的选择趋于无穷，无法满足极限存在的定义。但有界性只是必要条件而非充分条件，存在有界但不黎曼可积的函数。01若f(x)在[a,b]上黎曼可积，则f(x)在[a,b]上必有界。这是可积的必要条件，证明用反证法。必要条件02若f在[a,b]上无界，则存在某个子区间上f无界，取该区间中|f(ξᵢ)|足够大的取样点可使黎曼和任意大。|f(ξᵢ)|→∞03无界函数的黎曼和不可能收敛到确定的有限值I，与可积定义矛盾，故无界函数一定不黎曼可积。CONTRADICTION04有界≠可积：Dirichlet函数D(x)（有理数取1、无理数取0）在[0,1]上有界但不黎曼可积，是经典反例。D(x)DARBOUXSUMS达布上和与达布下和达布上和S̄=ΣMᵢ·Δxᵢ（Mᵢ为子区间上确界）与达布下和S̱=Σmᵢ·Δxᵢ（mᵢ为子区间下确界）为所有可能的黎曼和提供了上下界。上和与下和之差S̄-S̱衡量了黎曼和的'振荡幅度'，当这个差趋于零时，黎曼和被唯一确定。01对剖分T，记Mᵢ=sup{f(x):x∈[xᵢ₋₁,xᵢ]}，mᵢ=inf{f(x):x∈[xᵢ₋₁,xᵢ]}，定义达布上和S̄=ΣMᵢΔxᵢ、下和S̱=ΣmᵢΔxᵢ02对同一剖分T的任何取样ξᵢ，恒有S̱≤S(T,ξ)≤S̄——下和、黎曼和、上和构成'三明治'夹逼关系03加密剖分（增加分点）时，上和不增、下和不减，即S̄单调递减、S̱单调递增，两者趋于靠近04上和与下和之差S̄-S̱=Σ(Mᵢ-mᵢ)·Δxᵢ=Σωᵢ·Δxᵢ（ωᵢ为振幅），该差值反映f在各子区间上的振荡程度RIEMANNINTEGRABILITY·充要条件可积充要条件一：达布上下和极限相等f在[a,b]上黎曼可积的充要条件是当λ→0时达布上和与达布下和趋于同一极限值。等价表述为：上和的下确界等于下和的上确界。充要条件f在[a,b]上黎曼可积⟺lim(λ→0)S̄(T)=lim(λ→0)S̱(T)，公共极限值即为定积分∫ₐᵇf(x)dx等价表述infS̄(T)=supS̱(T)，对所有剖分取下确界和上确界，此值称为达布积分值充分性若上下和极限相等为I，由S̱≤S(T,ξ)≤S̄及夹逼定理，任何黎曼和的极限也等于I必要性若f黎曼可积于I，取特殊取样使f(ξᵢ)逼近Mᵢ和mᵢ，可推出上下和也趋于IRIEMANNINTEGRABILITY可积充要条件二：振幅黎曼和趋于零黎曼可积等价于振幅加权和趋于零，将可积性判定转化为对局部振荡的全局控制，统一了常见函数类的证明。01振幅定义：记ωᵢ=Mᵢ−mᵢ为f在[xᵢ₋₁,xᵢ]上的振幅（oscillation），则S̄−S̱=Σωᵢ·Δxᵢ，即振幅的加权和02充要条件：f黎曼可积⟺lim(λ→0)Σωᵢ·Δxᵢ=0，即振幅加权和在分割加细时趋于零03连续函数可积：f在[a,b]上一致连续，故λ充分小时所有ωᵢ<ε，从而ΣωᵢΔxᵢ<ε(b−a)→004单调函数可积：设f单调递增，ωᵢ=f(xᵢ)−f(xᵢ₋₁)，则ΣωᵢΔxᵢ≤λ·Σωᵢ=λ[f(b)−f(a)]→0LebesgueCriterion可积充要条件三：勒贝格定理勒贝格定理给出了黎曼可积性最深刻的刻画：有界函数f黎曼可积当且仅当其不连续点集为零测集。勒贝格定理有界函数f在[a,b]上黎曼可积当且仅当f的不连续点集D(f)为Lebesgue零测集，即μ(D(f))=0。μ(D(f))=0零测集定义对任意ε>0，存在可数个开区间覆盖该点集且区间总长度小于ε。有限集与可数集均为零测集。可数集→零测集黎曼函数·可积R(x)在有理点不连续、无理点连续，不连续点集ℚ∩[0,1]为可数集，属零测集，故黎曼可积。R(x)✓Dirichlet函数·不可积D(x)处处不连续，D(D)=[0,1]的测度为1，非零测集，故不黎曼可积，印证了定理的正确性。μ=1✗RIEMANNINTEGRABILITY常见黎曼可积函数类由可积性充要条件可推导出三类重要的黎曼可积函数：连续函数、有限间断点的有界函数、单调函数，覆盖了微积分课程中绝大多数可积函数。连续函数闭区间[a,b]上的连续函数一定黎曼可积——一致连续性保证λ→0时所有振幅ωᵢ→0，从而ΣωᵢΔxᵢ→0。这是最常见的可积函数类，牛顿-莱布尼茨公式通常在此条件下使用。C[a,b]有界且有限间断点在[a,b]上有界且只有有限个间断点的函数黎曼可积——有限个点构成零测集，满足勒贝格定理。典型例子：分段连续函数、含跳跃间断点的有界函数，工程和物理中大量出现。m(E)=0单调函数闭区间[a,b]上的单调函数一定黎曼可积——单调函数的不连续点至多可数（零测集）。证明简洁：ΣωᵢΔxᵢ≤λ·|f(b)−f(a)|→0（λ→0时）。ℵ₀CHAPTER04定积分的基本性质与应用线性性、可加性、保号性、估值定理与中值定理——定积分运算的核心工具Properties·01性质一：线性性质定积分满足线性性质：常数因子可提取到积分号外（齐次性），函数和的积分等于积分的和（可加性）。两者合并为∫[αf+βg]=α∫f+β∫g，表明定积分是关于被积函数的线性算子。Example∫₀¹(3x²+2x)dx013·∫₀¹x²dx+2·∫₀¹xdx023·(1/3)+2·(1/2)03201齐次性∫ₐᵇkf(x)dx=k·∫ₐᵇf(x)dx，常数因子k可提到积分号外，由黎曼和直接推出02被积函数可加性∫ₐᵇ[f(x)±g(x)]dx=∫ₐᵇf(x)dx±∫ₐᵇg(x)dx，和差的积分等于各自积分的和差03合并表述（线性性）∫ₐᵇ[αf(x)+βg(x)]dx=α∫ₐᵇf(x)dx+β∫ₐᵇg(x)dx，定积分是线性算子04应用利用线性性将复杂积分拆分为简单项，逐项积分后求和，大幅简化计算过程定积分·基本性质性质二：积分区间的可加性定积分对积分区间具有可加性：∫ₐᵇf(x)dx=∫ₐᶜf(x)dx+∫ᶜᵇf(x)dx，无论c在a、b之间还是之外均成立。01区间可加性：∫ₐᵇf(x)dx=∫ₐᶜf(x)dx+∫ᶜᵇf(x)dx，对任意实数c成立，不要求c在a、b之间，体现积分对区间的"可拆分性"。该性质允许将复杂区间分解为多个简单子区间分别计算。02约定一：∫ₐᵃf(x)dx=0，区间退化为一个点时积分值为零，与区间长度为零的几何直觉一致。这是积分区间可加性的自然推论，也是定积分的基本约定。03约定二：∫ₐᵇf(x)dx=−∫ᵇₐf(x)dx，交换积分上下限则积分值变号，保证区间可加性公式对所有a、b、c一致成立。此约定使得积分方向具有明确的代数意义。04应用示例：∫₀²f(x)dx=∫₀¹f(x)dx+∫₁²f(x)dx，分段函数可在分段点处拆开分别积分后求和。该技巧在计算含绝对值、分段定义函数的定积分时尤为常用。PROPERTYIII性质三：保号性与比较定理保号性表明非负函数的定积分非负，由此可推出比较定理和绝对值不等式，在无法精确计算积分值时提供了有效的估计手段。保号性若f(x)≥0且a<b，则∫ₐᵇf(x)dx≥0，由黎曼和中每项非负直接推出。SIGNPRESERVING比较定理若f(x)≤g(x)，则∫ₐᵇf(x)dx≤∫ₐᵇg(x)dx，由保号性应用于g(x)−f(x)≥0即得。COMPARISON绝对值不等式|∫ₐᵇf(x)dx|≤∫ₐᵇ|f(x)|dx，由−|f|≤f≤|f|及比较定理推出。ABSOLUTEVALUE严格推论若f(x)连续、非负且不恒为零，则∫ₐᵇf(x)dx>0，因连续函数在某邻域内严格为正。COROLLARYESTIMATIONTHEOREM积分估值定理积分估值定理给出定积分值的上下界：若m≤f(x)≤M，则m(b-a)≤∫ₐᵇf(x)dx≤M(b-a)。几何上，积分值介于最小面积矩形和最大面积矩形之间。该定理无需精确计算积分即可快速估计积分范围，是分析积分量级的实用工具。估值定理设m=min{f(x)}，M=max{f(x)}，x∈[a,b]，则m(b-a)≤∫ₐᵇf(x)dx≤M(b-a)证明思路由m≤f(x)≤M及比较定理，∫ₐᵇm·dx≤∫ₐᵇf(x)dx≤∫ₐᵇM·dx，而∫ₐᵇm·dx=m(b-a)示例估计∫₀¹exdx的范围，由1≤ex≤e得1≤∫₀¹exdx≤e，实际值e−1≈1.718在此范围内≈1.718推论：积分平均值∫ₐᵇf(x)dx/(b-a)介于m和M之间，称为f在[a,b]上的平均值，有明确的物理和几何意义INTEGRALCALCULUS积分第一中值定理积分第一中值定理：若f在[a,b]上连续，则∃ξ∈[a,b]使得∫ₐᵇf(x)dx=f(ξ)(b-a)。几何意义是曲边梯形面积等于某个"平均高度"f(ξ)对应的矩形面积。该定理将积分值与函数在某点的取值联系起来，是证明微积分基本定理和分析积分性质的关键工具。01定理表述若f在[a,b]上连续，则∃ξ∈[a,b]使∫ₐᵇf(x)dx=f(ξ)·(b-a)，即f(ξ)恰好等于积分平均值f(ξ)·(b−a)02证明思路由估值定理m≤∫f/(b-a)≤M，再由连续函数的介值定理，存在ξ使f(ξ)=∫f/(b-a)介值定理03几何意义存在水平线y=f(ξ)使得以f(ξ)为高、(b-a)为底的矩形面积等于曲边梯形面积面积等价04推广形式若f、g均在[a,b]上连续且g不变号，则∃ξ使∫ₐᵇf(x)g(x)dx=f(ξ)·∫ₐᵇg(x)dxg不变号IntegralEstimation例题：综合利用积分性质通过估计∫₀²1/(1+x²)dx的范围演示估值定理的完整应用流程：先分析被积函数单调性确定最值，再代入估值公式得到积分上下界。01分析单调性设f(x)=1/(1+x²)，在[0,2]上求导f′(x)=−2x/(1+x²)²≤0，函数单调递减。通过导数符号判断函数在区间上的变化趋势，为后续确定最值奠定基础。f′(x)≤0↓02确定最值因函数单调递减，最大值在左端点，最小值在右端点。最大值M=f(0)=1，最小值m=f(2)=1/5=0.2M=1m=0.203代入估值公式由m·(b−a)≤I≤M·(b−a)，即0.2×2≤I≤1×2，得0.4≤I≤2[0.4,2]04精确值验证I=arctan(2)−arctan(0)=arctan2≈1.107，确在[0.4,2]范围内≈1.107Calculus·Integration实用性质：对称区间上奇偶函数的积分在对称区间[-a,a]上，偶函数的积分等于半区间积分的2倍，奇函数的积分恒为零。该性质由区间可加性和换元法推出，是简化对称区间积分计算的高效工具。EvenFunction偶函数f(−x)=f(x)∫₋ₐᵃf(x)dx=2∫₀ᵃf(x)dx。区间[−a,0]和[0,a]上图形关于y轴对称，面积相等，故整体等于半区间的两倍。2∫₀ᵃf(x)dxOddFunction奇函数f(−x)=−f(x)∫₋ₐᵃf(x)dx=0。区间[−a,0]上的积分与[0,a]上的积分互为相反数，正负面积完全抵消，结果恒为零。∫₋ₐᵃf=0Proof证明：区间拆分+换元法将∫₋ₐᵃ拆为∫₋ₐ⁰+∫₀ᵃ，对前半做换元x=−t，得∫₋ₐ⁰f(x)dx=±∫₀ᵃf(t)dt，偶函数取+，奇函数取−。x=−t换元Example计算示例∫₋₂²x⁴dx=2∫₀²x⁴dx=2·(32/5)=64/5，利用偶函数性质直接翻倍。∫₋₂²x³sinxdx中x³sinx为偶函数，需正常计算。64/5定积分的几何应用应用一：平面图形的面积定积分的几何意义是计算平面面积：上曲线减下曲线的积分；曲线交叉时需分段处理。01基本公式：由y=f(x)≥g(x)与x=a、x=b围成的面积S=∫ₐᵇ[f(x)−g(x)]dx，即"上曲线减下曲线"的积分。02交叉曲线处理：先解f(x)=g(x)求交点，以交点为分界将区间分段，每段确定上下关系后分别积分求和。03典型示例：求y=x²与y=x围成面积，交点x=0和x=1，S=∫₀¹(x−x²)dx=1/6。04方法论延展：参数曲线与极坐标曲线的面积公式可由微元法推导，为多元积分奠定基础。平面图形面积公式S=∫ab[f(x)−g(x)]dx其中f(x)≥g(x)，x∈[a,b]几何解释将区间[a,b]分割为无穷小宽度dx的竖条，每个竖条高度为f(x)−g(x)，面积微元dS=[f(x)−g(x)]dx，求和取极限即得定积分。INTEGRALAPPLICATIONS应用二：物理中的变力做功变力F(x)沿直线从a到b所做的功W=∫ₐᵇF(x)dx，是定积分在物理中最经典的应用之一。凡涉及"变化量的累积"——变力做功、变速运动路程、液体压力、电荷分