全国服务热线:18888889999
在线报名
欧陆注册CURRICULUM
欧陆资讯 NEWS CENTER
联系我们 CONTACT US
手机:
18888889999
电话:
0898-66889888
邮箱:
admin@youweb.com
地址:
海南省海口市玉沙路58号
欧陆资讯
你的位置: 首页 > 欧陆资讯
积分中值定理详述
2024-06-24 13:43:58 点击量:

随着微分学的不断完善,与之相逆的积分学也开始发展起来.而定积分最初的出现,是为了解决实际问题中计算一种和式极限的问题.与微分中值定理相对应,积分学中也有一套较为完善的积分中值定理理论,而且积分中值定理在积分学中,也占据了重要的地位.


在一元积分理论中,积分中值定理包括积分第一中值定理和积分第二中值定理.它们都是微积分学中的基本定理,在理论上有着一定的重要地位,特别是在一些逻辑推理论证方面有较多的应用.

设f(x)是定义在区间[a,b]上的函数,在(a,b)中任意插入n-1个分点

a=x?<x?<…<x _{n-1} <x _n=b

来划分区间[a,b],这一分法记作T.在每个小区间[x _{i-1} ,x _i ]中任取一点ξ,作和式σ=\\sum_{i=1}^{n}{f(\\xi_i)\\Delta x_i} ,其中 \\Delta x_i=x_i-x_{i-1} ,记λ(T)为 \\Delta x_i ,(i=1,2,…,n)中的最大值,即λ(T)=max_{1\\leq i \\leq n}\\left\\{ \\Delta x_i \\right\\} ,当λ(T)→0时,如果和式极限存在,且此极限值不依赖于ξ的选择,也不依赖于对[a,b]分法T,称此极限为f(x)在上的定积分.记为 \\int_{a}^{b} f(x)dx.


  • 定理1

若函数f(x)在闭区间[a,b]上连续,则在[a,b]上至少存在一点ξ,使得

\\int_{a}^{b} f(x)dx=f(ξ)(b-a).

  • 说明

这里的ξ是在[a,b]上取值,实际上,也可以在开区间(a,b)上取值,即ξ∈(a,b)时,定理同样成立.

证明略去

  • 定理2(积分第一中值定理的推广)

若函数f(x)与g(x)在闭区间[a,b]上连续,函数g(x)在[a,b]上可积且不变号,则[a,b]在上至少存在一点ξ,使得

\\int_{a}^{b} f(x)g(x)dx=f(ξ) \\int_{a}^{b} g(x)dx.

  • 说明

若将“g(x)在[a,b]上可积且不变号”改为“g(x)在[a,b]上连续且不变号”,这里的 可在(a,b)上取值,定理同样成立

各种形式的积分第二中值定理叙述如下:

  • 定理3 设函数f(x)与g(x)在[a,b]上可积
  1. 函数f(x)在[a,b]上单调增加且非负,则存在ξ∈[a,b],使 \\int_{a}^{b} f(x)g(x)dx=f(b) \\int_{\\xi}^{b} g(x)dx.
  2. 函数f(x)在[a,b]上单调递减且非负,则存在ξ∈[a,b],使\\int_{a}^{b}f(x)g(x)dx=f(a)\\int_{a}^{\\xi}g(x)dx.
  3. 函数f(x)在[a,b]上单调,则存在ξ∈[a,b],使\\int_{a}^{b}f(x)g(x)dx=f(a)\\int_{a}^{\\xi}g(x)dx+f(b)\\int_{\\xi}^{b}g(x)dx.
  • 证明
  1. 若f(x)在[a,b]上有连续导数,用分部积分公式,得 \\int_{a}^{b}f(x)g(x)dx=-f(x)\\int_{x}^{b}g(t)dt |_{a}^{b} +\\int_{a}^{b}f'(x) \\int_x^bg(t)dtdx\\\\=f(a)\\int_x^bg(t)dt+\\int_{a}^{b}f'(x) \\int_x^bg(t)dtdx 此时考虑到f(a),f'(x)≥0,记m,M分别为函数 \\int_{x}^{b} g(t)dt在[a,b]上的最小值与最大值,所以有 [f(a)+\\int_{a}^{b}f'(x) dx]m\\leq f(a) \\int_x^bg(t)dt+\\int_{a}^{b}f'(x) \\int_x^bg(t)dtdx\\\\\\leq[f(a)+\\int_{a}^{b}f'(x) dx]Mf(b)m\\leq f(a) \\int_x^bg(t)dt+\\int_{a}^{b}f'(x) \\int_x^bg(t)dtdx\\leq f(b)M 再由连续函数介值性知,存在ξ∈[a,b],使等式 \\int_{a}^{b} f(x)g(x)dx=f(b) \\int_{\\xi}^{b} g(x)dx 成立. 若f(x)是非负不减函数,则在[a,b]上可积,并且存在连续可导且非负不减函数序列f _n (x),有 \\int_{a}^{b}|f(x)-f_n(x)|dx\\rightarrow0,(n\\rightarrow\\infty) 由已知存在K>0,使 |g(x)|\\leq K,x\\in[a,b],所以\\\\|\\int_{a}^{b}f_n(x)g(x)dx- \\int_{a}^{b}f(x)g(x)dx|\\\\\\leq K\\int_{a}^{b}|f(x)-f_n(x)|dx\\rightarrow0,(n\\rightarrow\\infty)\\\\再由以上证明可知,对任意n,存在\\xi_n\\in[a,b],使得\\\\\\int_{a}^{b}f_n(x)g(x)dx=f(b)\\int_{\\xi_n}^{b}f(x)g(x)dx,\\\\又知存在序列\\left\\{ \\xi_{n}\\right\\}的一个子列\\left\\{ \\xi_{n_k}\\right\\},使\\xi_{n_k}\\rightarrow\\xi(n_k\\rightarrow\\infty).所以当n→0时,有\\int_{a}^{b}f(x)g(z)dx=f(b) \\int_{\\xi}^{b}g(x)dx成立. 综上讨论,结论成立.
  2. 类比1的证明
  3. 不妨设函数f(x)是单调增加的,令F(x)=f(x)-f(a),于是函数F(x)在[a,b]上单调增加且非负,即函数F(x)与g(x)在[a,b]上满足1.的所有条件,再注意到\\int_{a}^{b}f(x)g(x)dx=f(a)\\int_{a}^{\\xi}g(x)dx+f(b)\\int_{\\xi}^{b}g(x)dx.,可化为 \\int_{a}^{b}F(x)g(x)dx=F(x)\\int_{\\xi}^{b}g(x)dx .OK!!!!

重积分有许多重要的性质和定理,本节讨论二重积分中值定理并加以相应推广,使其应用更加广泛.

  • 定理4(二重积分中值定理)若f(x,y)在可求面积的有界闭区域D上连续,g(x,y)在D上可积且不变号,则存在一点(ξ,η∈)D,使得

\\int\\int_Df(x,y)g(x,y)dxdy=f(\\xi,\\eta)\\int\\int_Dg(x,y)dxdy

 若f(x,y),g(x,y)在可求面积的有界闭区域D 上连续,则存在一点(\\xi,\\eta)\\in D,使得\\int\\int_Df(x,y)g(x,y)dxdy=f(\\xi,\\eta)g(\\xi,\\eta)\\Delta D,\\Delta D表示D的面积

  • 证明 令F(x,y)=f(x,y)g(x,y),G(x,y)=1,函数F,G满足定理4的条件,故存在一点(ξ,η∈)D,使得


\\int\\int_Df(x,y)g(x,y)dxdy=\\int\\int_DF(x,y)G(x,y)dxdy\\\\=F(\\xi,\\eta)\\int\\int_DG(x,y)dxdy=f(\\xi,\\eta)g(\\xi,\\eta)\\Delta D

  • 引理1(积分型柯西中值定理)

若f(x),g(x)在[a,b]上连续且g(x) \
e0 ,则存在ξ∈[a,b],使

\\frac{\\int_{a}^{b}f(x)dx}{\\int_{a}^{b}g(x)dx}=\\frac{f(\\xi)}{g(\\xi)}

  • 证明

令F(x)=\\int_{a}^{x}f(\\mu)d\\mu,G(x)=\\int_{a}^{x}g(\\mu)d\\mu,则由柯西定理可知,存在\\xi\\in[a,b],使\\\\ \\frac{\\int_{a}^{b}f(x)dx}{\\int_{a}^{b}g(x)dx}=\\frac{F(b)-F(a)}{G(b)-G(a)}=\\frac{F'(\\xi)}{G'(\\xi)}=\\frac{f(\\xi)}{g(\\xi)}

  • 定理5

 设f(x,y),g(x,y)在平面区域D上连续且g(x,y)≠0,其中\\\\ D=\\left\\{ (x,y),|\\varphi(x)\\leq y\\leq \\psi(x),a\\leq x\\leq b \\right\\}, 则存在一点(\\xi,\\eta)\\in D,使得\\\\ \\frac{\\int\\int_Df(x,y)dxdy}{\\int\\int_Dg(x,y)dxdy}=\\frac{f(\\xi,\\eta)}{g(\\xi,\\eta)}

  • 证明

 因为g(x,y)在D上连续且恒不为0,则\\\\\\int\\int_D g(x,y)dydx\
e0. \\\\ 令\\\\ F(x)=\\int_{\\varphi(x)}^{\\psi(x)}f(x,y)dy,G(x)=\\int_{\\varphi(x)}^{\\psi(x)}g(x,y)dx\\\\则\\\\F(\\xi)=\\int_{\\varphi(\\xi)}^{\\psi(\\xi)}f(\\xi,y)dy,G(\\xi)=\\int_{\\varphi(\\xi)}^{\\psi(\\xi)}g(\\xi,y)dx

由引理1知,存在 \\xi\\in (a,b),使得

\\frac{\\int\\int_Df(x,y)dxdy}{\\int\\int_Dg(x,y)dxdy}=\\frac{\\int_{\\varphi(\\xi)}^{\\psi(\\xi)}f(\\xi,y)dy}{\\int_{\\varphi(\\xi)}^{\\psi(\\xi)}g(\\xi,y)dx}

再运用引理1得,存在 \\eta\\in(\\varphi(x),\\psi(x)) ,使得

\\frac{\\int_{\\varphi(\\xi)}^{\\psi(\\xi)}f(\\xi,y)dy}{\\int_{\\varphi(\\xi)}^{\\psi(\\xi)}g(\\xi,y)dx}=\\frac{f(\\xi,\\eta)}{g(\\xi,\\eta)}

故有

\\frac{\\int\\int_Df(x,y)dxdy}{\\int\\int_Dg(x,y)dxdy}=\\frac{f(\\xi,\\eta)}{g(\\xi,\\eta)}

设f(x,y),g(x,y)在平面区域D上连续且g(x,y) \
e 0,其中D=[a,b]×[c,d],a,b,c,d为常数且在同一象限.则存在点 (\\xi,\\eta)\\in D ,使

\\int\\int_Df(x,y)dydx=\\frac{\\Delta D(a+b)(c+d)f(\\xi,\\eta)}{4\\xi\\eta}.  其中\\Delta D表示D的面积.

  • 定理6 若函数f(x,y)在闭区域D上连续且非负,对任意x \\in [a,b],f(x,y)关于y单调递减且g(x,y)在D上连续,其中 D=\\left\\{ (x,y),|\\varphi(x)\\leq y\\leq \\psi(x),a\\leq x\\leq b \\right\\} 则存在可积曲线使得

\\int\\int_Df(x,y)g(x,y)dxdy=\\int_{a}^{b}f(x,\\varphi(x))dx\\int_{\\varphi(\\xi)}^{\\psi(\\xi)}g(\\xi,y)dy\\cdot\\cdot\\cdot\\cdot\\cdot\\cdot1

  • 证明

(1)根据已知条件,函数g(x,y)必有界,设lgl \\leq L,函数f连续必可积,从而  \\mathop{\\lim}\\limits_{{|}{T}{|}\\rightarrow{0}}\\mathop{\\sum}\\limits_{{t}{=}{1}}\\limits^{n}{{w}_{t}^{f}{\\mathit{\\sigma}}_{t}}=0.

其中T是将D分割成小区域 \\sigma_1,\\sigma_2,···,\\sigma_t, T→0表示分割越来越细, {w}_{t}^{f} 是f(x,y)在 \\sigma_i 上的振幅.

I=\\int\\int_D fg I=\\int\\int_D fg ,又f(x,y)g(x,y)可积,故对于分割T,I可表示成如下两部分之和:

 \\begin{array}{l}{{I}{=}\\mathop{\\int}\\limits_{a}\\limits^{b}{\\{\\mathop{\\sum}\\limits_{{i}{=}{1}}\\limits^{n}{\\mathop{\\int}\
olimits_{{y}_{{i}{-}{1}}(x)}\
olimits^{{y}_{i}(x)}{{[}{f}{(}{x}{,}{y}{)}{-}{f}{(}{x}{,}{y}_{{i}{-}{1}}{(}{x}{))]}}}g(x,y)dy\\}}{dx}}\\\\{{+}\\mathop{\\int}\\limits_{a}\\limits^{b}{\\{\\mathop{\\sum}\\limits_{{i}{=}{1}}\\limits^{n}{f(x,{y}_{{i}{-}{1}}(x))\\mathop{\\int}\
olimits_{{y}_{{i}{-}{1}}(x)}\
olimits^{{y}_{i}(x)}{g(x,y)dy}}\\}}{dx}{=}{I}_{1}{+}{I}_{2}}\\end{array}

(2)对于 I_2 ,由于

{{|}{I}_{1}{|}\\leq\\mathop{\\int}\\limits_{a}\\limits^{b}{\\{\\mathop{\\sum}\\limits_{{i}{=}{1}}\\limits^{n}{\\mathop{\\int}\
olimits_{{y}_{{i}{-}{1}}(x)}\
olimits^{{y}_{i}(x)}{{|}{f}{(}{x}{,}{y}{)}{-}{f}{(}{x}{,}{y}_{{i}{-}{1}}{(}{x}{))|}}}|g(x,y)|dy\\}}{dx}}\\\\{=}\\mathop{\\sum}\\limits_{{j}{=}{1}}\\limits^{m}{\\mathop{\\int}\
olimits_{{x}_{{j}{-}{1}}}\
olimits^{{x}_{j}}{\\{\\mathop{\\sum}\\limits_{{i}{=}{1}}\\limits^{n}{\\mathop{\\int}\
olimits_{{y}_{{i}{-}{1}}(x)}\
olimits^{{y}_{i}(x)}{{|}{f}{(}{x}{,}{y}{)}{-}{f}{(}{x}_{{j}{-}{1}}{,}{y}_{{i}{-}{1}}{(}{x}{))|}}}}}{|}{g}{(}{x}{,}{y}{)|}{dy}{\\}}{dx}\\leq L\\mathop{\\sum}\\limits_{{t}{=}{1}}\\limits^{n}{{w}_{t}^{f}{\\mathit{\\sigma}}_{t}}

因此 \\mathop{\\lim}\\limits_{{|}{T}{|}\\rightarrow{0}}I_1=0 ,从而当T \\rightarrow 0时, I_2 也必有根,并且

\\mathop{\\lim}\\limits_{{|}{T}{|}\\rightarrow{0}}I_2=I\\\\G(y(x))=\\int_{\\varphi(x)}^{y(x)}g(x,y)dy , G(y(x))=0,G(y(x)) 为连续函数,那么

由于f(x,y)=0,且 \\forall x_0,f(x_0,y_{i-1}(x_0))-f(x_0,y_i(x_0))=0,f(xo,yai(x0))\\geq0,因此分别用G(y(x))在[a,b]上的最小值m与最大值M代替上式中所有的G(y_i(x))与G(\\psi(x))后,得\\\\ m\\int_{a}^{b}f(x,\\varphi(x))dx\\leq \\mathop{\\lim}\\limits_{{|}{T}{|}\\rightarrow{0}}I_2 \\leq M\\int_{a}^{b}f(x,\\varphi(x))dx\\cdot\\cdot\\cdot\\cdot\\cdot\\cdot2

(3) 若对任意x\\in[a,b],f(x,\\varphi(x))=0,则由条件知f(x,y)=0,此时满足1式的\\xi可取(a,b)上任意值.\\\\ 若存在x_0\\in[a,b],f(x_0,\\varphi(x_0))>0,则将2式改写成 m\\leq\\frac{I}{\\int_{a}^{b}f(x,\\varphi(x))dx}\\leq M. 由连续函数G(y(x))的介值性定理,一定存在y_{s}(\\xi)\\in[\\varphi(x),\\psi(x)],\\xi\\in[a,b]

使

定理7 (关于无限区间上广义函数的广义积分第一中值定理)设函数f(x)在[a,+∞)上有界连续,函数g(x)在[a,+∞)上非负,并且 \\int_{a}^{+\\infty} g(x)dx<+∞,则对任意ε>0,必存在一有限点 \\xi\\in[a,+∞),满足

|\\int_{a}^{+\\infty}f(x)g(x)dx-f(\\xi)\\int_{a}^{+\\infty}g(x)dx|<\\varepsilon\\\\

  • 证明

{m}{=}\\mathop{\\inf}\\limits_{{x}\\in{[}{a}{,}{+}\\infty{)}}{f}{(}{x}{),}{M}{=}\\mathop{\\sup}\\limits_{{x}\\in{[}{a}{,}{+}\\infty{)}}{f}{(}{x}{)} ,那么由 g(x) 的非负性可知

m\\int_{a}^{+\\infty}g(x)dx\\leq\\int_{a}^{+\\infty}f(x)g(x)dx\\leq M\\int_{a}^{+\\infty}g(x)dx\\\\ (1)当 \\int_{a}^{+\\infty}g(x)dx=0 时,显然 |\\int_{a}^{+\\infty}f(x)g(x)dx-f(\\xi)\\int_{a}^{+\\infty}g(x)dx|=0<\\varepsilon\\\\ (2) \\int_{a}^{+\\infty}f(x)g(x)dx\
e0 时,由于g(x)非负,容易得到 \\int_{a}^{+\\infty}f(x)g(x)dx>0 ,不妨设m<M(m=M时结论显然成立)。

如果 \\frac{\\int_{a}^{+\\infty}f(x)g(x)dx}{\\int_{a}^{+\\infty}g(x)dx}=M ,而 {M}{=}\\mathop{\\sup}\\limits_{{x}\\in{[}{a}{,}{+}\\infty{)}}{f}{(}{x}{)} ,存在 \\xi\\in[a,+\\infty) 满足

M>f(\\xi)>M-\\frac{a}{\\int_{\\varepsilon}^{+\\infty}g(x)dx}=\\frac{\\int_{a}^{+\\infty}f(x)g(x)dx}{\\int_{a}^{+\\infty}g(x)dx}-\\frac{a}{\\int_{\\varepsilon}^{+\\infty}g(x)dx}\\\\ 那么 |\\frac{\\int_{a}^{+\\infty}f(x)g(x)dx}{\\int_{a}^{+\\infty}g(x)dx}-f(\\xi)|<\\frac{\\varepsilon}{\\int_{a}^{+\\infty}g(x)dx}\\\\ 从而 |\\int_{a}^{+\\infty}f(x)g(x)dx-f(\\xi)\\int_{a}^{+\\infty}g(x)dx|<\\varepsilon\\\\ 如果  \\frac{\\int_{a}^{+\\infty}f(x)g(x)dx}{\\int_{a}^{+\\infty}g(x)dx}=m 同理可证明出来

m< \\frac{\\int_{a}^{+\\infty}f(x)g(x)dx}{\\int_{a}^{+\\infty}g(x)dx}<M 时,在[a,+ \\infty )上可取到 x_1,x_2 满足

m< f(x_1)<\\frac{\\int_{a}^{+\\infty}f(x)g(x)dx}{\\int_{a}^{+\\infty}g(x)dx}<f(x_2)<M \\\\ 则在 x_1,x_2 之间,必然存在 \\xi\\in[a,+\\infty) 满足

f(\\xi)=\\frac{\\int_{a}^{+\\infty}f(x)g(x)dx}{\\int_{a}^{+\\infty}g(x)dx}\\\\ 因此 \\int_{a}^{+\\infty}f(x)g(x)dx-f(\\xi)\\int_{a}^{+\\infty}g(x)dx=0

  • 定理8(关于无界函数广义积分的第一中值定理)设函数f(x)在区间(0,c]上连续有界,函数g(x)在(0,c]上非负(无界),g(x)dx<+∞,那么对于对任意ε>0,必然存在一点ξ∈(0,c],使

|\\int_{0}^{c}f(x)g(x)dx-f(ξ)\\int_{0}^{c}g(x)dxp|<ε

本定理的证法可采用类似定理7中的方法给出证明.

  • 定理9(第一型曲线积分中值定理)若函数f(x,y)在光滑有界闭曲线C上连续,则在曲线C上至少存在一点 (\\xi,\\eta) ,使 \\int_{C}f(x,y)ds=f(\\xi,\\eta)L. 其中 L 表示曲线C的长.
  • 证明 因为f(x,y)在有界闭曲线C上连续,所以存在M,m \\in R,有 m\\leq f(x,y)\\leq M ,从而

m\\leq \\frac{1}{L}\\int_{C}f(x,y)ds\\leq M.\\\\

由于f(x,y)在C上连续,故由介值定理,在曲线C上至少存在一点(\\xi,\\eta),使

 f(\\xi,\\eta)=\\frac{1}{L}\\int_{C}f(x,y)ds\\\\

所以结论成立.

同理可证下面几个定理

  • 定理10(第二型曲线积分中值定理)若函数f(x,y)在有向光滑闭曲线C上连续,则在曲线C上至少存在一点(\\xi,\\eta),使 \\pm f(\\xi,\\eta)I=\\int_{C}f(x,y)ds ,其中 I 为有向光滑曲线C在x轴上的投影,符号“±”由曲线C的方向确定.
  • 定理11(第一型曲面积分中值定理)若D为xoy平面上的有界闭区域,z=z(x,y)是光滑曲面S,函数f(x,y,z)在S上连续,则曲面S上至少存在一点 (\\xi,\\eta,\\zeta) ,使得

\\int\\int_S f(x,y,z)d\\sigma=f(\\xi,\\eta,\\zeta)A,\\\\

其中A是曲面S的面积.

  • 定理12(第二型曲面积分中值定理) 若光滑曲面S:z=z(x,y),(x,y) \\in D_{xy} ,其中 D_{xy} 是有界闭区域,函数f(x,y,z)在S上连续,则在曲面S上至少存在一点 (\\xi,\\eta,\\zeta) ,使

\\int\\int_S f(x,y,z)d\\sigma=f(\\xi,\\eta,\\zeta)A',\\\\

其中A'是S的投影D的面积.

与微分中值定理类似,积分中值定理也可以在复函数中推广,只是积分中值定理在复函数中的推广要比微分中值定理在复函数中的推广复杂一些.

引理2 设函数f(z)在单连通区域D内连续,且对D内的任意一条逐段光滑的简单曲线(以下简称围线)C,有

\\int_C f(z)=0,则函数 F(z)=\\int_{z_0}^{z}f(t)dt ( z_0 为D内一定点)在D内解析,且 F'(z)=f(z),(z \\in D).

引理3 设函数f(x)在区域D内解析,则f(x)在D内具有各阶导数,且它们也在D内解析.

  • 定理13设函数 f_1(z),f_2(z),··,f_m(z) 在单连通区域D内连续,且对D内任一围线C有: \\int _Cf_i(z)dz=0(i=1,2,…, m) ,a为D内任意一点,则对点a的某邻域G \\subset D及任意点 b\\in G{/}{\\left\\{ a \\right\\}} 存在满足条件 |z一\\frac{1}{2}(a+b)|<\\frac{1}{2}|a-b|的点z ,使

 \\mathop{\\sum}\\limits_{{i}{=}{1}}\\limits^{{m}{-}{1}}{\\left|{\\left.{\\begin{array}{cc}{{H}_{i}}&{\\mathop{\\int}\
olimits_{a}\
olimits^{b}{{f}_{{i}{+}{1}}(t)dt}{-}\\mathop{\\sum}\\limits_{{k}{=}{1}}\\limits^{{n}{-}{1}}{\\frac{{f}_{{i}{+}{1}}^{(k)}}{k!}{(}{b}{-}{a}{)}^{k}}}\\\\{\\mathop{\\sum}\\limits_{{j}{=}{0}}\\limits^{{n}{-}{1}}{{C}_{{k}{-}{1}}^{j}{f}_{{i}{+}{1}}(z)}}&{{f}_{{i}{+}{1}}^{{(}{n}{-}{1}{)}}(z)}\\end{array}}\\right|}\\right.{=}{0}}\\\\ 其中 H_i=\\int_{a}^{b}f_i(t)f_{i+1}(t)dt-f_i(a)f_{i+1}(a)(b-a)-\\sum_{k=2}^{n-1}{\\frac{\\sum_{j=0}^{k-1}{C_{k-1}^jf_{i+1}^{k-i-j}(a)}}{k!}(b-a)^k},\\\\ f_i^{(0)}(a)=f_i(a)(i=1,2,\\cdot\\cdot\\cdot,m),n>1的自然数\\\\ 定理 14 设函数f_1(z),f_2(z),··,f_m(z)在单连通区域D内连续,且对D内任一围线C有: \\int _Cf_i(z)dz=0(i=1,2,…, m) ,a为D内任意一点,则对点a的某邻域G \\subset D及任意点 b\\in G{/}{\\left\\{ a \\right\\}} 存在满足条件 |z一\\frac{1}{2}(a+b)|<\\frac{1}{2}|a-b|的点z ,使

\\sum_{i=1}^{m-1}{f_{i+1}(z)\\int_{a}^{b}f_i(t)f_{i+1}(t)dt}=\\sum_{i=1}^{m-1}f_i(z)f_{i+1}(z)\\int_{a}^{b}f_{i+1}(t)dt\\\\\\int_{a}^{b}f(t)g(t)dt=f(z)\\int_{a}^{b}g(t)dt ,g(z)=1时, \\int_{a}^{b}f(t)dt=f(z)(b-a)

以上两个定理证明略去。

积分中值定理是定积分的重要性质,它建立了定积分与被积函数之间的关系,从而可以通过被积函数的性质来研究积分的性质,有较高的理论价值和广泛的应用.本章主要介绍了积分中值定理的简要概述,探讨了积分中值定理从三方面的推广:在黎曼积分上的推广;在曲面、曲线积分上的推广以及在复函数中的推广.