考研数学定理证明

第一篇：考研数学定理证明

考研数学定理证明

不一定会考，或者说是好像近几年也就是09年的考题出过一道证明题(拉格朗日中值定理的证明)。但准备时最好把课本上几个重要定理(比如中值定理)的证明看下，做到会自己证明。还有就是几个证明过程或方法比较奇特的定理，要看懂证明。一个可以应付直接考证明题，还可以借鉴证明思路帮助自己解其他题目，算是开扩思路吧，总之看下会有好处的，而且也不是很多，比照课本自己总结下吧，我去年就是这么整理的。数学140+

定理的证明属于比较难的，可以不看。很多人看都看不懂，或者看懂了也不会用。

但是定理的结论和应用一定要会。

考研里的证明题属于压轴的，大部分人都做不出来，所以不用担心。只要把基本盘拿下，你的分数就应该能过国家线。

祝你成功。

呵呵非常理解你的处境。我觉得这个问题不难解决，主要有两个办法。下面帮你具体分析一下，呵呵～

一。旁听师弟师妹的数学课～优点：不仅经济，便利，而且对老师的水平有保证～因为都是你们学校的嘛，你可以事先充分打听好哪个老师哪门课讲得好，然后还能比较容易获取课程进度，这样就可以专门去听自己不懂得那块，针对性强矮甚至你下课后还可以就不懂得习题跟老师请教一下～就本人这么多年的上学经验，老师对“问题学生”都是欢迎的，至少不排斥～缺点：由于不是专门针对考研复习的讲授，有些东西可能不是很适合～举个例子吧，比如将同样的知识，高一时候和高三第一轮复习时，讲的侧重点就不一样～(但是个人觉得这不算什么大缺点～嘿嘿～)

二。报名参加专门的考验辅导班。优点显而易见。老师肯定都是有多年考研辅导经验的，指导复习当然针对性强，有事半功倍的效果。缺点就是，嘿嘿，学费问题。你所在地的学费情况我就不清楚了，你可以自己去查一下～

还有一句话想说，其实这两个办法也不是对立的，你可以在学校里去旁听老师的课，把第一轮扎扎实实的复习完，放假回家去报名参加个辅导班，利用假期有针对性的做第二轮复习～相信两轮复习下来，你的长进一定不蝎呵呵～

我就说这么多，要是以后想起来了会再来补充的～最后祝你如愿考上理想院校哦～加油

也不知道一楼是哪个名校数学系的研究生，广州大学吗?这么有才华!听他的话等楼主没考到130哭的地方都找不到。

考研每一门学科都要复习好几轮，也不知道楼主考什么专业，数学几?

基础差的话第一轮复习要弄清楚定理及其证明过程。如果应届本科生又是学理科，平时成绩不错，高数，线性分都很高的话第一轮可以直接看教材做题。

第二篇：数学定理证明

一．基本定理： 1．（极限或连续）局部保号性定理（进而证明保序性定理）2．局部有界性定理． 3．拉格朗日中值定理．

4．可微的一元函数取得极值的必要条件． 5．可积函数的变上限积分函数的连续性． 6．牛顿——莱布尼茨公式．

7．多元函数可微的必要条件（连续，可导）． 8．可微的二元函数取得极值的必要条件． 9．格林定理．

10．正项级数收敛的充要条件：其部分和数列有界． 11．幂级数绝对收敛性的阿贝尔定理． 12．（数学三、四）利润取得最大值的必要条件是边际成本与边际收入相等． 二．基本方法：

1．等价无穷小替换：若xa时，有(x)~(x)，试证明lim(x)f(x)lim(x)f(x)。

xa

xa

2．微元法：若f(x)是区间[a,b]（a0）上非负连续函数，试证明曲边梯形D(x,y)axb,0yf(x) 绕 轴旋转，所得的体积为V2



ba

xf(x)dx。

3．常数变易法：若P(x)和Q(x)是连续函数，试证明微分方程yP(x)yQ(x)的通解为

P(x)dxyeC





Q(x)e

P(x)dx

dx。

三．一些反例也是很重要的：

1．函数的导函数不一定是连续函数。反例是：函数点不连续。

2．f(a)0，但不一定存在xa点某个邻域使函数f(x)在该邻域内单调增加。反例是：函数

1

x100x2sin,f(x)x

0,

x0, x0,12

xsin,f(x)x

0,

x0,在x0点可导，但f(x)x0,在x0

3．多元函数可（偏）导点处不一定连续。反例是：函数

xy,2

f(x,y)xy2

0,

(x,y)(0,0),(x,y)(0,0),4．多元函数在不可（偏）导点处，方向导数不一定不存在。反例是：函数 f(x,y)处两个一阶偏导数都不存在，但是函数在在(0,0)点处沿任一方向的方向导数都存在。

an1an



xy

在(0,0)点



5．1，既不是正项级数an收敛的充分条件，也不是它收敛的必要条件。反例一，正项级数

n1

n1



n

1n

满

足

an1an

1但不收敛。反例二，正项级数

n1

53(1)

n

不满足

an1an

a2n

，但是它是收敛的。211 a

2n1

第三篇：初中数学定理证明

初中数学定理证明

数学定理

三角形三条边的关系

定理：三角形两边的和大于第三边

推论：三角形两边的差小于第三边

三角形内角和

三角形内角和定理三角形三个内角的和等于180°

推论1直角三角形的两个锐角互余

推论2三角形的一个外角等于和它不相邻的两个内角和

推论3三角形的一个外角大雨任何一个和它不相邻的内角

角的平分线

性质定理在角的平分线上的点到这个角的两边的距离相等

几何语言：

∵OC是∠AOB的角平分线(或者∠AOC=∠BOC)

pE⊥OA，pF⊥OB

点p在OC上

∴pE=pF(角平分线性质定理)

判定定理到一个角的两边的距离相等的点，在这个角的平分线上

几何语言：

∵pE⊥OA，pF⊥OB

pE=pF

∴点p在∠AOB的角平分线上(角平分线判定定理)

等腰三角形的性质

等腰三角形的性质定理等腰三角形的两底角相等

几何语言：

∵AB=AC

∴∠B=∠C(等边对等角)

推论1等腰三角形顶角的平分线平分底边并且垂直于底边

几何语言：

(1)∵AB=AC，BD=DC

∴∠1=∠2，AD⊥BC(等腰三角形顶角的平分线垂直平分底边)

(2)∵AB=AC，∠1=∠

2∴AD⊥BC，BD=DC(等腰三角形顶角的平分线垂直平分底边)

(3)∵AB=AC，AD⊥BC

∴∠1=∠2，BD=DC(等腰三角形顶角的平分线垂直平分底边)

推论2等边三角形的各角都相等，并且每一个角等于60°

几何语言：

∵AB=AC=BC

∴∠A=∠B=∠C=60°(等边三角形的各角都相等，并且每一个角都等于60°)

等腰三角形的判定

判定定理如果一个三角形有两个角相等，那么这两个角所对的边也相等

几何语言：

∵∠B=∠C

∴AB=AC(等角对等边)

推论1三个角都相等的三角形是等边三角形

几何语言：

∵∠A=∠B=∠C

∴AB=AC=BC(三个角都相等的三角形是等边三角形)

推论2有一个角等于60°的等腰三角形是等边三角形

几何语言：

∵AB=AC，∠A=60°(∠B=60°或者∠C=60°)

∴AB=AC=BC(有一个角等于60°的等腰三角形是等边三角形)

推论3在直角三角形中，如果一个锐角等于30°，那么它所对的直角边等于斜边的一半

几何语言：

∵∠C=90°，∠B=30°

∴BC=AB或者AB=2BC(在直角三角形中，如果一个锐角等于30°，那么它所对的直角边等于斜边的一半)

线段的垂直平分线

定理线段垂直平分线上的点和这条线段两个端点的距离相等

几何语言：

∵MN⊥AB于C，AB=BC，(MN垂直平分AB)

点p为MN上任一点

∴pA=pB(线段垂直平分线性质)

逆定理和一条线段两个端点距离相等的点，在这条线段的垂直平分线上

几何语言：

∵pA=pB

∴点p在线段AB的垂直平分线上(线段垂直平分线判定)

轴对称和轴对称图形

定理1关于某条之间对称的两个图形是全等形

定理2如果两个图形关于某直线对称，那么对称轴是对应点连线的垂直平分线

定理3两个图形关于某直线对称，若它们的对应线段或延长线相交，那么交点在对称轴上

逆定理若两个图形的对应点连线被同一条直线垂直平分，那这两个图形关于这条直线对称

勾股定理

勾股定理直角三角形两直角边a、b的平方和，等于斜边c的平方，即

a2+b2=c

2勾股定理的逆定理

勾股定理的逆定理如果三角形的三边长a、b、c有关系，那么这个三角形是直角三角形

四边形

定理任意四边形的内角和等于360°

多边形内角和

定理多边形内角和定理n边形的内角的和等于(n-2)·180°

推论任意多边形的外角和等于360°

平行四边形及其性质

性质定理1平行四边形的对角相等

性质定理2平行四边形的对边相等

推论夹在两条平行线间的平行线段相等

性质定理3平行四边形的对角线互相平分

几何语言：

∵四边形ABCD是平行四边形

∴AD‖BC，AB‖CD(平行四边形的对角相等)

∠A=∠C，∠B=∠D(平行四边形的对边相等)

AO=CO，BO=DO(平行四边形的对角线互相平分)

平行四边形的判定

判定定理1两组对边分别平行的四边形是平行四边形

几何语言：

∵AD‖BC，AB‖CD

∴四边形ABCD是平行四边形

(两组对边分别平行的四边形是平行四边形)

判定定理2两组对角分别相等的四边形是平行四边形

几何语言：

∵∠A=∠C，∠B=∠D

∴四边形ABCD是平行四边形

(两组对角分别相等的四边形是平行四边形)

判定定理3两组对边分别相等的四边形是平行四边形

几何语言：

∵AD=BC，AB=CD

∴四边形ABCD是平行四边形

(两组对边分别相等的四边形是平行四边形)

判定定理4对角线互相平分的四边形是平行四边形

几何语言：

∵AO=CO，BO=DO

∴四边形ABCD是平行四边形

(对角线互相平分的四边形是平行四边形)

判定定理5一组对边平行且相等的四边形是平行四边形

几何语言：

∵AD‖BC，AD=BC

∴四边形ABCD是平行四边形

(一组对边平行且相等的四边形是平行四边形)

矩形

性质定理1矩形的四个角都是直角

性质定理2矩形的对角线相等

几何语言：

∵四边形ABCD是矩形

∴AC=BD(矩形的对角线相等)

∠A=∠B=∠C=∠D=90°(矩形的四个角都是直角)

推论直角三角形斜边上的中线等于斜边的一半

几何语言：

∵△ABC为直角三角形，AO=OC

∴BO=AC(直角三角形斜边上的中线等于斜边的一半)

判定定理1有三个角是直角的四边形是矩形

几何语言：

∵∠A=∠B=∠C=90°

∴四边形ABCD是矩形(有三个角是直角的四边形是矩形)

判定定理2对角线相等的平行四边形是矩形

几何语言：

∵AC=BD

∴四边形ABCD是矩形(对角线相等的平行四边形是矩形)

菱形

性质定理1菱形的四条边都相等

性质定理2菱形的对角线互相垂直，并且每一条对角线平分一组对角

几何语言：

∵四边形ABCD是菱形

∴AB=BC=CD=AD(菱形的四条边都相等)

AC⊥BD，AC平分∠DAB和∠DCB，BD平分∠ABC和∠ADC

(菱形的对角线互相垂直，并且每一条对角线平分一组对角)

判定定理1四边都相等的四边形是菱形

几何语言：

∵AB=BC=CD=AD

∴四边形ABCD是菱形(四边都相等的四边形是菱形)

判定定理2对角线互相垂直的平行四边形是菱形

几何语言：

∵AC⊥BD，AO=CO，BO=DO

∴四边形ABCD是菱形(对角线互相垂直的平行四边形是菱形)

正方形

性质定理1正方形的四个角都是直角，四条边都相等

性质定理2正方形的两条对角线相等，并且互相垂直平分，每条对角线平分一组对角

中心对称和中心对称图形

定理1关于中心对称的两个图形是全等形

定理2关于中心对称的两个图形，对称点连线都经过对称中心，并且被对称中心平分

逆定理如果两个图形的对应点连线都经过某一点，并且被这一点平分，那么这两个图形关于这一点对称

梯形

等腰梯形性质定理等腰梯形在同一底上的两个角相等

几何语言：

∵四边形ABCD是等腰梯形

∴∠A=∠B，∠C=∠D(等腰梯形在同一底上的两个角相等)

等腰梯形判定定理在同一底上的两个角相等的梯形是等腰梯形

几何语言：

∵∠A=∠B，∠C=∠D

∴四边形ABCD是等腰梯形(在同一底上的两个角相等的梯形是等腰梯形)

三角形、梯形中位线

三角形中位线定理三角形的中位线平行与第三边，并且等于它的一半

几何语言：

∵EF是三角形的中位线

∴EF=AB(三角形中位线定理)

梯形中位线定理梯形的中位线平行与两底，并且等于两底和的一半

几何语言：

∵EF是梯形的中位线

∴EF=(AB+CD)(梯形中位线定理)

比例线段

1、比例的基本性质

如果a∶b=c∶d，那么ad=bc2、合比性质

3、等比性质

平行线分线段成比例定理

平行线分线段成比例定理三条平行线截两条直线，所得的对应线段成比例

几何语言：

∵l‖p‖a

(三条平行线截两条直线，所得的对应线段成比例)

推论平行与三角形一边的直线截其他两边(或两边的延长线)，所得的对应线段成比例

定理如果一条直线截三角形的两边(或两边的延长线)所得的对应线段成比例，那么这条直线平行与三角形的第三边

垂直于弦的直径

垂径定理垂直于弦的直径平分这条弦，并且平分弦所对的两条弧

几何语言：

∵OC⊥AB，OC过圆心

(垂径定理)

推论

1(1)平分弦(不是直径)的直径垂直于弦，并且平分弦所对的两条弧

几何语言：

∵OC⊥AB，AC=BC，AB不是直径

(平分弦(不是直径)的直径垂直于弦，并且平分弦所对的两条弧)

(2)弦的垂直平分线过圆心，并且平分弦所对的两条弧

几何语言：

∵AC=BC，OC过圆心

(弦的垂直平分线过圆心，并且平分弦所对的两条弧)

(3)平分弦所对的一条弧的直径，垂直平分弦，并且平分弦所对的另一条弧

几何语言：

(平分弦所对的一条弧的直径，垂直平分弦，并且平分弦所对的另一条弧)

推论2圆的两条平分弦所夹的弧相等

几何语言：∵AB‖CD

圆心角、虎弦、弦心距之间的关系

定理在同圆或等圆中，相等的圆心角所对的弧相等，所对的弦相等，所对的弦的弦心距也相等

推论在同圆或等圆中，如果两个圆心角、两条虎两条弦或两条弦的弦心距中有一组量相等，那么它们所对应的其余各组量都分别相等

圆周角

定理一条弧所对的圆周角等于它所对的圆心角的一半

推论1同弧或等弧所对的圆周角相等;同圆或等圆中，相等的圆周角所对的弧也相等

推论2半圆(或直径)所对的圆周角是直角;90°的圆周角所对的弦是直角

推论3如果三角形一边上的中线等于这边的一半，那么这个三角形是直角三角形

圆的内接四边形

定理圆的内接四边形的对角互补，并且任何一个外角都等于它的内对角

几何语言：

∵四边形ABCD是⊙O的内接四边形

∴∠A+∠C=180°，∠B+∠ADB=180°，∠B=∠ADE

切线的判定和性质

切线的判定定理经过半径的外端并且垂直于这条半径的直线是圆的切线

几何语言：∵l⊥OA，点A在⊙O上

∴直线l是⊙O的切线(切线判定定理)

切线的性质定理圆的切线垂直于经过切点半径

几何语言：∵OA是⊙O的半径，直线l切⊙O于点A

∴l⊥OA(切线性质定理)

推论1经过圆心且垂直于切线的直径必经过切点

推论2经过切点且垂直于切线的直线必经过圆心

切线长定理

定理从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线平分两条切线的夹角

几何语言：∵弦pB、pD切⊙O于A、C两点

∴pA=pC，∠ApO=∠CpO(切线长定理)

弦切角

弦切角定理弦切角等于它所夹的弧对的圆周角

几何语言：∵∠BCN所夹的是，∠A所对的是

∴∠BCN=∠A

推论如果两个弦切角所夹的弧相等，那么这两个弦切角也相等

几何语言：∵∠BCN所夹的是，∠ACM所对的是，=

∴∠BCN=∠ACM

和圆有关的比例线段

相交弦定理：圆内的两条相交弦，被焦点分成的两条线段长的积相等

几何语言：∵弦AB、CD交于点p

∴pA·pB=pC·pD(相交弦定理)

推论：如果弦与直径垂直相交，那么弦的一半是它分直径所成的两条线段的比例中项

几何语言：∵AB是直径，CD⊥AB于点p

∴pC2=pA·pB(相交弦定理推论)

切割线定理从圆外一点引圆的切线和割线，切线长是这点到割线与圆焦点的两条线段长的比例中项

几何语言：∵pT切⊙O于点T，pBA是⊙O的割线

∴pT2=pA·pB(切割线定理)

推论从圆外一点因圆的两条割线，这一点到每条割线与圆的焦点的两条线段长的积相等

几何语言：∵pBA、pDC是⊙O的割线

∴pT2=pA·pB(切割线定理推论)。

第四篇：【考研数学】中值定理总结

中值定理一向是经济类数学考试的重点（当然理工类也常会考到），咪咪结合老陈的书和一些自己的想法做了以下这个总结，希望能对各位研友有所帮助。

1、所证式仅与ξ相关 ①观察法与凑方法

例 1 设f(x)在[0,1]上二阶可导，f(0)f(1)f(0)0 试证至少存在一点(a,b)使得f()2f()1分析：把要证的式子中的  换成 x，整理得f(x)xf(x)2f(x)0(1)由这个式可知要构造的函数中必含有f(x)，从xf(x)找突破口 因为[xf(x)]xf(x)f(x)，那么把(1)式变一下： f(x)f(x)[xf(x)f(x)]0f(x)f(x)[xf(x)]0 这时要构造的函数就看出来了F(x)(1x)f(x)f(x)②原函数法

例 2 设f(x)在[a,b]上连续，在(a,b)内可导，f(a)f(b)0，又g(x)在[a,b]上连续 求证：(a,b)使得f()g()f()分析：这时不论观察还是凑都不容易找出要构造的函数，于是换一种方法 现在把与f 有关的放一边，与g 有关的放另一边，同样把  换成 x

f(x)两边积分x)g(x)dxlnCf(x)Ceg(x)dxf(x)g(x)lnf(f(x)eg(x)dxC 现在设C0，于是要构造的函数就很明显了 F(x)f(x)eg(x)dx③一阶线性齐次方程解法的变形法

对于所证式为fpf0型，（其中p为常数或x 的函数）可引进函数u(x)epdx，则可构造新函数F(x)fepdx例：设f(x)在[a,b]有连续的导数，又存在c(a,b)，使得f(c)0 求证：存在(a,b)，使得f()f()f(a)ba分析：把所证式整理一下可得：f()f()f(a)ba0 [f()f(a)]1ba[f()f(a)]0，这样就变成了fpf0型1x 引进函数u(x)e－－xbadx＝eba（令C=0），于是就可以设F(x)eba[f(x)f(a)] 注：此题在证明时会用到f(c)f(b)f(a)ba0f(b)f(a)这个结论

2、所证式中出现两端点 ①凑拉格朗日 例 3 设f(x)在[a,b]上连续，在(a,b)内可导 证明至少存在一点(a,b)使得bf(b)af(a)baf()f()

分析：很容易就找到要证的式子的特点，那么下可以试一下，不妨设 F(x)xf(x),用拉格朗日定理验证一 F()f()f()bf(b)af(a)ba(x1,x2)至少存在一点②柯西定理

例 4 设0x1x2，f(x)在[x1,x2]可导，证明在 1c，使得ex2x1ex2ex1f(c)f(c)ef(x1)f(x2)xx2x2分析：先整理一下要证的式子e1f(x2)eex1f(x1)f(c)f(c)e 这题就没上面那道那么 发现e1f(x2)exx2容易看出来了分子分母同除一下

f(x1)是交叉的，变换一下，ex1x2f(x2)ex2f(x1)e1x11x2于是这个式子一下变得没有悬念了eex1 用柯西定理设好两个函③k值法

仍是上题数就很容易证明了分析：对于数四，如果对柯西定理掌握的不是方法叫做k 值法很好上面那题该怎么办呢？ 在老陈的书里讲了一个 第一步是要把含变量与 以此题为例已经是规范 设常量的式子分写在等号的形式了，现在就看常k 整理得ex1两边量的这个式子x2

ex1f(x2)eex1x2x2f(x1)e[f(x1)k]e[f(x2)k] 很容易看出这是一个对 那么进入第二步，设称式，也是说互换x1x2还是一样的F(x1)F(x2)F(x)ex[f(x)k]，验证可知。记得回带k，用罗尔定理证明即可④泰勒公式法

老陈常说的一句话，管它是什么，先泰勒展开再说。当定理感觉都起不上作用时，泰勒法往往是可行的，而且对于有些题目，泰勒法反而会更简单。

3、所证试同时出现ξ和η ①两次中值定理

例 5 f(x)在[a,b]上连续，在(a,b)内可导，f(a)f(b)1 试证存在，(0,1)使得e[f()f()]1分析：首先把与分开，那么就有e[f()f()]e 一下子看不出来什么，很容易看出那么可以先从左边的式子下手试一下xe[f()f()][ef()]，设F(x)ef(x)利用拉格朗日定理可得F()eaef(b)ef(a)baexbba

再整理一下 e[f()f()]ebbaa只要找到eaba与e的关系就行了得到 这个更容易看出来了，G()e令G(x)e则再用拉格朗日定理就e[f()f()]ba②柯西定理（与之前所举例类似）

有时遇到ξ和η同时出现的时候还需要多方考虑，可能会用到柯西定理与拉氏定理的结合使用，在老陈书的习题里就出现过类似的题。

ebe

一、高数解题的四种思维定势

1、在题设条件中给出一个函数f(x)二阶和二阶以上可导，“不管三七二十一”，把f(x)在指定点展成泰勒公式再说。

2、在题设条件或欲证结论中有定积分表达式时，则“不管三七二十一”先用积分中值定理对该积分式处理一下再说。

3、在题设条件中函数f(x)在[a,b]上连续，在(a,b)内可导，且f(a)=0或f(b)=0或f(a)=f(b)=0，则“不管三七二十一”先用拉格朗日中值定理处理一下再说。

4、对定限或变限积分，若被积函数或其主要部分为复合函数，则“不管三七二十一”先做变量替换使之成为简单形式f(u)再说。

二、线性代数解题的八种思维定势

1、题设条件与代数余子式Aij或A*有关，则立即联想到用行列式按行（列）展开定理以及AA*=A*A=|A|E。

2、若涉及到A、B是否可交换，即AB=BA，则立即联想到用逆矩阵的定义去分析。

3、若题设n阶方阵A满足f(A)=0，要证aA+bE可逆，则先分解出因子aA+bE再说。

4、若要证明一组向量a1,a2,„,as线性无关，先考虑用定义再说。

5、若已知AB=0，则将B的每列作为Ax=0的解来处理再说。

6、若由题设条件要求确定参数的取值，联想到是否有某行列式为零再说。

7、若已知A的特征向量ζ0，则先用定义Aζ0=λ0ζ0处理一下再说。

8、若要证明抽象n阶实对称矩阵A为正定矩阵，则用定义处理一下再说。

第五篇：高等数学考研几个重要定理的证明

几个重要定理的证明

1、罗尔定理（考过）

如果函数f(x)在闭区间［a，b］上连续，在开区间（a，b）上可导，且f(a)= f(b)，则在开区间（a，b）内至少存在一点￡，使得f'()=0.证：∵函数f(x)在闭区间［a，b］上连续

∴由最大最小值定理有：m< f(x)

(1)若m=M，此时f(x)在［a，b］上为恒定值

对任意的x∈（a，b）都有f'()=0。

（2）若m≠M，因为f(a)= f(b)，则m和M中至少有一个不等于区间的端点值。不妨设M≠f(a)，则存在∈（a，b）使得f()=M。

∴对任意的x∈［a，b］使得f(x)≤f()，从而由费马引理，可知f'()=0.证毕。

2、拉格朗日中值定理（考过）

如果函数f(x)满足：（1）在闭区间［a，b］上连续；（2）在开区间（a，b）上可导，那么在（a，b）内至少存在（a，b）一点，使得f(b)f(a)f'()(ba)成立。

证：引进辅助函数(x)f(x)f(a)f(b)f(a)(xa)ba

易知F（a）=F（b）=0，且F（x）在［a，b］内连续，在（a，b）内

f(b)f(a)ba可导 且'(x)f'(x)

根据罗尔定理，可知在（a，b）内至少存在有一点，使'(x)=0，即

f(b)f(a)0 ba

f(b)f(a)f'()，由此可得baf'()

即f(b)f(a)f'()(ba)

证毕。

三、积分中值定理（考过）

如果函数f（x）在积分区间［a，b］上连续，则在（a，b）内至少存在一点，使得

1几个重要定理的证明

b

f(x)dx

af()(ba)

证：由于f（x）在［a，b］上连续，则存在m，M使得

mf(x)M

又由定积分估值定理，有

b

m(ba)f(x)dxM(ba)

a

b

即m

由介值定理得： f(x)dxabaM

b

f()

证毕。f(x)dxaba

四、变上限积分函数求导公式（没考过）

五、牛顿-莱布尼茨公式（没考过）

设函数f（x）在［a，b］上连续，F（x）是f（x）在（a，b）上的任意一个原函数，b

则f(x)dxF(x)

abaF(b)F(a)

证：