769 字
4 分钟
5.1 定积分的概念和性质

§\S 5.1 定积分的概念和性质#

一、概念#

引例:图形面积求法

  1. 分割:a=x0<x1<x2<<xn1<xn=ba=x_0\lt x_1\lt x_2\lt \cdots \lt x_{n-1}\lt x_n=b
  2. 替代:S小曲S=f(ξi)ΔxiS_{小曲}\approx S_{矩}=f(\xi_i)\Delta x_i
  3. 求和:S小曲=i=1nS小曲i=1nf(ξi)Δxi\displaystyle S_{小曲}=\sum_{i=1}^nS_{小曲}\approx \sum_{i=1}^nf(\xi_i)\Delta x_i
  4. 取极限:limλ0i=1nf(ξi)Δxi=S\displaystyle \lim_{\lambda \to 0}\sum_{i=1}^nf(\xi_i)\Delta x_i=S_曲,其中 λ\lambda 为最大区间长度

定义:f(x)f(x)[a,b][a,b] 上有定义

  1. 任意分割( λ\lambda 为分割细度)

    a=x0<x1<x2<<xn1<xn=bλ=max{Δx1,Δx2,,Δxn}a=x_0\lt x_1\lt x_2\lt \cdots \lt x_{n-1}\lt x_n=b\\ \lambda = \max{\{\Delta x_1,\Delta x_2,\cdots,\Delta x_n\}}
  2. 任意取点 ξi[xi1,xi]\xi_i\in [x_{i-1},x_i]{ξi}\{\xi_i\} 介点集),求和式 i=1nf(ξi)Δxi\displaystyle \sum_{i=1}^nf(\xi_i)\Delta x_i

    limλ0i=1nf(ξi)Δxi\displaystyle \lim_{\lambda \to 0}\sum_{i=1}^nf(\xi_i)\Delta x_i 存在,则称该极限为 f(x)f(x)[a,b][a,b] 上的定积分,f(x)f(x)[a,b][a,b] 上可积,记作

    abf(x)dx=limλ0i=1nf(ξi)Δxi\int_a^bf(x)\mathrm dx=\lim_{\lambda \to 0}\sum_{i=1}^nf(\xi_i)\Delta x_i
    • 规定 abf(x)dx=baf(x)dx\displaystyle \int_a^bf(x)\mathrm dx=-\int_b^af(x)\mathrm dxaaf(x)dx=0\displaystyle \int_a^af(x)\mathrm dx=0

abf(x)dx\displaystyle \int_a^bf(x)\mathrm dx 几何意义:

  • f(x)0f(x)\ge 0y=f(x),x=a,x=b,xy=f(x),x=a,x=b,x轴所围面积
  • f(x)0f(x)\le 0y=f(x),x=a,x=b,xy=f(x),x=a,x=b,x轴所围面积的相反数
  • f(x)f(x) 可正可负,y=f(x),x=a,x=b,xy=f(x),x=a,x=b,x轴所围面积的代数和(SSS_上-S_下

例题#

  1. 求下列定积分

    01xdx=12×1×1=12\begin{align*} \int_0^1x \mathrm dx = \dfrac{1}{2}\times 1 \times 1 = \dfrac{1}{2} \end{align*}

    011x2dx=π4\begin{align*} \int_0^1 \sqrt{1-x^2}\mathrm dx = \dfrac{\pi}{4} \end{align*}

    π2π2cosxdx=20π2cosxdx\begin{align*} \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}\cos x \mathrm dx=2\int_0^{\frac{\pi}{2}}\cos x \mathrm dx \end{align*}

    π2π2sinxdx=0\begin{align*} \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}\sin x \mathrm dx=0 \end{align*}
  2. y=x2,x=0,x=1y=x^2,x=0,x=1xx 轴围成的面积

    解:01x2dx=limλ0i=1nf(ξi)Δxi\displaystyle \int_0^1x^2 \mathrm dx=\lim_{\lambda \to 0}\sum_{i=1}^nf(\xi_i)\Delta x_i

    取特殊分割 [0,1][0,1] n等分,Δxi=1n,λ=1n(n)\Delta x_i=\dfrac{1}{n},\lambda=\dfrac{1}{n}(n\to \infty)

    取特殊介点,令 ξi\xi_i 为区间左端点,即 ξi=i1n\xi_i=\dfrac{i-1}{n}

    原式=limni=1n(i1n)21n=limn02+12++(n1)2n3=13\begin{align*} 原式&=\lim_{n\to \infty}\sum_{i=1}^n(\dfrac{i-1}{n})^2\cdot \dfrac{1}{n}\\ &=\lim_{n\to \infty}\dfrac{0^2+1^2+\cdots+(n-1)^2}{n^3}=\dfrac{1}{3} \end{align*}

定理#

  • [必要条件]:f(x)f(x)[a,b][a,b] 上可积 f(x)\Rightarrow f(x)[a,b][a,b] 上有界

推论:f(x)f(x)[a,b][a,b] 上无界 f(x)\Rightarrow f(x)[a,b][a,b] 上不可积

有界但不可积:D(x)={1xQ0x∉QD(x)=\begin{cases}1\quad x\in Q\\0\quad x\not \in Q\end{cases}[0,1][0,1] 上不可积

  • [充分条件]
    1. f(x)f(x)[a,b][a,b] 上连续 \Rightarrow 可积
    2. f(x)f(x)[a,b][a,b] 上有有限个间断点且有界 \Rightarrow 可积
    3. f(x)f(x)[a,b][a,b] 上单调 \Rightarrow 可积

二、性质#

  1. 线性性质

    ab[kf(x)+lg(x)]dx=kabf(x)dx+labg(x)dx\int_a^b [kf(x)+lg(x)]\mathrm dx=k\int_a^bf(x)\mathrm dx+l\int_a^bg(x)\mathrm dx
  2. 可加性(acba\le c\le b

    abf(x)dx=acf(x)dx+cbf(x)dx\int_a^bf(x)\mathrm dx=\int_a^cf(x)\mathrm dx+\int_c^bf(x)\mathrm dx
  3. [a,b][a,b] 上,f(x)=1abf(x)dx=baf(x)=1 \Rightarrow \int_a^bf(x)\mathrm dx=b-af(x)=Cabf(x)dx=(ba)Cf(x)=C \Rightarrow \int_a^bf(x)\mathrm dx=(b-a)C

  4. [a,b][a,b] 上,f(x)0abf(x)dx0f(x)\ge 0\Rightarrow \int_a^bf(x)\mathrm dx\ge 0

    • 推论1:在 [a,b][a,b] 上,f(x)g(x)abf(x)dxabg(x)dxf(x)\le g(x) \Rightarrow \int_a^bf(x)\mathrm dx\le \int_a^bg(x)\mathrm dx
    • 推论2:f(x)f(x)f(x)-|f(x)|\le f(x)\le |f(x)|abf(x)dxabf(x)dxabf(x)dx-\int_a^b|f(x)|\mathrm dx\le \int_a^bf(x)\mathrm dx\le \int_a^b|f(x)|\mathrm dxabf(x)dxabf(x)dx|\int_a^bf(x)\mathrm dx|\le \int_a^b|f(x)|\mathrm dx
  5. [估值定理]M,m分别是f(x)f(x)[a,b][a,b] 上的最大值、最小值

    m(ba)abmdxabf(x)dxabMdx=M(ba)m(b-a)\le \int_a^b m\mathrm dx\le \int_a^bf(x)\mathrm dx\le \int_a^b M \mathrm dx=M(b-a)
  6. [积分中值定理] f(x)f(x)[a,b][a,b] 连续,存在 ξ[a,b]\xi \in[a,b]abf(x)dx=f(ξ)(ba)\int_a^bf(x)\mathrm dx=f(\xi)(b-a)

  7. [积分第一中值定理] f(x)f(x)[a,b][a,b] 连续,g(x)g(x)[a,b][a,b] 上可积且不变号,则存在 ξ[a,b]\xi \in [a,b] 满足 abf(x)g(x)dx=f(ξ)abf(x)dx\int_a^bf(x)g(x)\mathrm dx=f(\xi)\int_a^bf(x)\mathrm dx

    证:设 g(x)g(x) 非负,M,mM,mf(x)f(x)[a,b][a,b] 上的最大值、最小值,有 mg(x)f(x)g(x)Mg(x)x[a,b]mg(x)\le f(x)g(x) \le Mg(x)\quad x\in [a,b]

    两端积分有 mabg(x)dxabg(x)f(x)dxMabg(x)dxm\int_a^bg(x)\mathrm dx\le \int_a^bg(x)f(x)\mathrm dx\le M\int_a^bg(x)\mathrm dx

    abg(x)dx=0\int_a^bg(x)\mathrm dx=0,则 abf(x)g(x)dx=0\int_a^bf(x)g(x)\mathrm dx=0ξ\xi[a,b][a,b] 中的任何值均成立

    abg(x)dx>0\int_a^bg(x)\mathrm dx\gt 0,两边同时除以 abg(x)dx\int_a^bg(x)\mathrm dx

    mabf(x)g(x)dxabg(x)dxMm\le \dfrac{\int_a^bf(x)g(x)\mathrm dx}{\int_a^bg(x)\mathrm dx}\le M

    由介值定理,ξ[a,b]\exists \xi \in[a,b]f(ξ)=abf(x)g(x)dxabg(x)dxf(\xi)=\dfrac{\int_a^bf(x)g(x)\mathrm dx}{\int_a^bg(x)\mathrm dx}

例题#

  1. f(x)f(x)[a,b][a,b] 上连续且单调递增,证明 abxf(x)dxa+b2abf(x)dx\int_a^bxf(x)\mathrm dx\ge \dfrac{a+b}{2}\int_a^bf(x)\mathrm dx

    证:

    abxf(x)dxa+b2abf(x)dx=ab(xa+b2)f(x)dx=aa+b2(xa+b2)f(x)dx+a+b2b(xa+b2)f(x)dx=f(ξ1)aa+b2(xa+b2)f(x)dx+f(ξ2)a+b2b(xa+b2)dx=(ba)28[f(ξ2)f(ξ1)]0\begin{align*} \int_a^bxf(x)\mathrm dx-\dfrac{a+b}{2}\int_a^bf(x)\mathrm dx&=\int_a^b(x-\dfrac{a+b}{2})f(x)\mathrm dx\\ &=\int_a^{\frac{a+b}{2}}(x-\dfrac{a+b}{2})f(x)\mathrm dx+\int_{\frac{a+b}{2}}^b(x-\dfrac{a+b}{2})f(x)\mathrm dx\\ &=f(\xi_1)\int_a^{\frac{a+b}{2}}(x-\dfrac{a+b}{2})f(x)\mathrm dx+f(\xi_2)\int_{\frac{a+b}{2}}^b(x-\dfrac{a+b}{2})\mathrm dx\\ &=\dfrac{(b-a)^2}{8}[f(\xi_2)-f(\xi_1)]\ge 0 \end{align*}

    (其中 f(ξ1)[a,a+b2]f(\xi_1)\in [a,\dfrac{a+b}{2}]f(ξ2)[a+b2,b]f(\xi_2)\in [\dfrac{a+b}{2},b])

证毕

  1. f(x)f(x)[a,b][a,b] 上连续且单调递减,证明当 0<λ<10\lt \lambda \lt 1时,0λf(x)dxλ01f(x)dx\int_0^\lambda f(x)\mathrm dx\ge \lambda \int_0^1f(x)\mathrm dx

    证:

    0λf(x)dxλ01f(x)dx=0λf(x)dxλ0λf(x)dxλλ1f(x)dx=(1λ)0λf(x)dxλ1λf(x)dx=(1λ)f(ξ1)λλf(ξ2)(1λ)(f(ξ1)[0,λ],f(ξ2)[λ,1])=(1λ)λ[f(ξ1)f(ξ2)]0\begin{align*} \int_0^\lambda f(x)\mathrm dx-\lambda \int_0^1f(x)\mathrm dx&=\int_0^\lambda f(x)\mathrm dx-\lambda \int_0^\lambda f(x)\mathrm dx - \lambda \int_\lambda ^1f(x)\mathrm dx\\ &=(1-\lambda)\int_0^\lambda f(x)\mathrm dx-\lambda \int_1^\lambda f(x)\mathrm dx\\ &=(1-\lambda) f(\xi_1)\lambda - \lambda f(\xi_2)(1-\lambda)\quad (f(\xi_1) \in [0,\lambda],f(\xi_2) \in [\lambda ,1])\\ &=(1-\lambda)\lambda [f(\xi_1)-f(\xi_2)]\ge 0 \end{align*}

证毕

  1. 证明 3ee4elnxxdx63\sqrt{e}\le \int_e^{4e}\dfrac{\ln x}{\sqrt{x}}\mathrm dx\le 6

    证:设 f(x)=lnxxf(x)=\dfrac{\ln x}{\sqrt{x}},下面求 f(x)f(x) 的最值

    f(x)=2lnx2xxf'(x)=\dfrac{2-\ln x}{2x\sqrt{x}},驻点 x=e2x=e^2

    (e,e2)(e,e^2)e2e^2(e2,4e)(e^2,4e)
    f(x)f'(x)+0-
    f(x)f(x)极大

    最大值 f(e2)=2ef(e^2)=\dfrac{2}{e},最小值 f(e)=1ef(e)=\dfrac{1}{\sqrt{e}}

    f(4e)=ln(4e)2e>1e=f(e)f(4e)=\dfrac{\ln(4e)}{2\sqrt{e}}\gt \dfrac{1}{\sqrt{e}}=f (e)

    x[e,4e]\therefore x\in [e,4e] 时,1elnxx2e\dfrac{1}{\sqrt{e}}\le \dfrac{\ln x}{\sqrt{x}}\le \dfrac{2}{e}

    3e=e4e1edxe4elnxxdxe4e2edx=63\sqrt{e}=\int_e^{4e}\dfrac{1}{\sqrt{e}}\mathrm dx\le \int_e^{4e}\dfrac{\ln x}{\sqrt{x}}\mathrm dx\le \int_e^{4e}\dfrac{2}{e}\mathrm dx=6,证毕

5.1 定积分的概念和性质
https://gitee.com/jason_ren/advanced-math-note
作者
Jason Ren
发布于
2025-12-03
许可协议
CC BY-SA 4.0

部分信息可能已经过时

封面
Music
Artist
封面
Music
Artist
0:00 / 0:00