理学院School of Sciences微积分基本定理的证明Proof of the fundamental theorem of calculus学生姓名：**学生学号：*********所在班级：数学101所在专业：数学与应用数学指导老师：***摘要微积分学这门学科在数学发展中的地位是十分重要的，自十七世纪以来，微积分不断完善成为一门学科。
而微积分基本定理的则是微积分中最重要的定理，它的建立标志着微积分的完成，成为数学发展史的一个里程碑。
因此就有了研究微积分基本定理的必要性。
本文从十七世纪到二十世纪以来的科学家如巴罗、牛顿、莱布尼兹、柯西、黎曼、勒贝格等人对微积分基本定理的发展所作出的贡献展开论述。
并论述了定理在微积分学理论发展中的应用。
如换元公式、分部积分公式、Taylor中值定理的积分证明、连续函数的零点定理的证明，建立了微分中值定理与积分中值定理的联系，在一元函数和多元函数上的推广等等。
最后给出定理的几个证明方法。
关键词：微积分基本定理，发展史，定理的应用，定理的证明ABSTRACTCalculus the subject in the position of the development of mathematics is very important,since seventeenth Century,calculus constantly improved as a discipline.While the fundamental theorem of calculus is the most important theorems in calculus,which establishment marks the complete of the calculus, become a milepost of the development history of mathematics. So it is necessary to study the fundamental theorem of calculus. In this paper,since seventeenth Century to twentieth Century,launches the elaboration from scientists such as Barrow, Newton, Leibniz, Cauchy, Riemann, Lebesgue and others on made the contribution to the development of the fundamental theorem of calculus. And discusses the application of theorem in the development of the calculus theory.Such as the transform formula, integral formula of integration by parts, proof of the Taylor mean value theorem of continuous function, the zero point theorem proof, established the differential mean value theorem and the integral mean value theorem in contact,a unary function and multivariate function on the promotion and so on.Finally gave several proofs of the theorem.Keywords:Fundamental Theorem of Calculus,phylogeny,Application,Proof目录摘要 (I)ABSTRACT (II)第一章微积分基本定理发展历史 (1)1.1前言 (1)1.2巴罗的几何形式的微积分基本定理 (1)1.3牛顿的反流数形式的微积分基本定理 (3)1.4莱布尼兹的建立在符号基本上的微积分基本定理 (4)1.5柯西现代形式的微积分基本定理 (5)1.6黎曼积分下的微积分基本定理 (6)1.7勒贝格测度积分论下的微积分基本定理 (8)第二章微积分基本定理的应用 (10)2.1微积分基本定理在微积分学理论发展中的应用 (10)2.2微积分基本定理在换元公式和分部积分中的应用 (11)2.3微积分基本定理在Taylor中值定理的积分证明中的应用 (12)2.4利用微积分基本定理证明连续函数的零点定理 (13)2.5一元函数牛顿一莱布尼兹公式的推广 (14)2.6 二元函数牛顿一莱布尼兹公式的推广 (16)第三章微积分基本定理的证明 (20)3.1微积分基本定理的一个证明 (20)3.2 利用定积分的定义证明微积分基本定理 (21)3.3 利用微分证明微积分基本定理 (22)3.4 利用中值定理证明微积分基本定理 (22)3.5在实变函数中勒贝格对微积分基本定理进行了进一步的探索 (22)结论 (23)致谢 (23)参考文献 (24)第一章 微积分基本定理发展历史1.1前言微积分是经典数学的重要内容，曾引起马克思、恩格斯、列宁的关心和兴趣。
他们从哲学家的角度，对微积分及其发展史进行深入地研究，并对微积分的本质进行了广泛的讨论。
认为微分和积分是微积分的主要研究对象，它们之间的矛盾是微积分的主要矛盾，明确指出：微积分这门科学，是研究微分和积分这对矛盾的科学。
为我们研究微积分及其历史提供了线索。
本文以研究反映微分和积分内在联系的微积分基本定理发展为主线，简叙微积分发展历史。
事物是普遍联系的，发现事物的一种联系，是一种创造。
从哲学角度来说，事物相距越远，其发现难度就越大，就越能说明事物之间的联系，其发现的意义也就越大。
微积分基本定理就是这样一项发现和创造。
微积分基本定理)()()(a F b F dx x f ba -=⎰作为微积分的核心定理，一方面，它将求函数定积分计算化为求函数原函数的计算，从而简化了定积分的计算，为微积分的应用带来了活力。
另一方面，它在理论上揭示了微分和积分这对矛盾的内在联系和转化规律。
因此，微积分基本定理的确定和完善，成为微积分发展的标志，在微积分发展史上有着重要的意义。
微积分基本定理从发现到形成现在的形式，跨度将近二个世纪，大致分为萌芽、创立和完善三个阶段，作出贡献的有巴罗、牛顿、莱布尼兹、柯西、黎曼、勒贝格等人。
1.2巴罗的几何形式的微积分基本定理微分和积分的概念，古而有之，在古希腊时代，伟大数学家就创立了求抛物线切线的方法。
我国古代数学家祖冲之利用无穷小分割的方法，计算出圆周率为3．1415926，创造了中国古代数学的辉煌一章。
所有这些，都为微积分创立做了必要的准备。
特别从15—16世纪欧洲文艺复兴时代以来，一大批数学家沿着古人的道路，在求切线，求面积和体积这两类微分和积分的基本问题上进行了深入的研究，得到了用无穷小方法求切线和面积的方法，为微积分的诞生做出了贡献，其中有培根、韦达、费马、笛卡尔、开普勒、帕斯卡等人。
由于时代的限制，这些研究都是针对个别问题的，并未形成统一的方法。
特别是他们并未看到“求切线”和“求面积”之间的互逆关系。
利用这种关系可以将“求面积”这一繁琐的运算化为“求切线”的逆运算这一简便计算的事实，所以他们并未成为微积分学说的创立者。
在历史上，十七世纪英国数学家巴罗是第一个看到这一互逆关系的人。
巴罗(1630～1677)，曾任剑桥大学第一任“卢卡斯教授”，三一学院院长和剑桥大学副校长，牛顿的老师。
他的代表作有：《数学讲义》(1664～1666)，《光学讲义》(1669)，《几何讲义》(1670)。
在数学方面的主要贡献有：给出求曲线切线的方法，引入“微分三角形 的概念，以明确形式给出了求切线和求面积之间的互逆关系。
所有这些，对于后人，特别是对于牛顿和莱布尼兹确立微积分体系有着重要的启发，对于后人，巴罗被认为是微积分创立的先驱者。
他在《几何讲义》一书的第10讲和第l1讲中，以几何形式给出了求面积和求切线的互逆关系，这一关系用现代数学语言可以表叙为：建立坐标系XOY ，使OY 向下，现有增函数)(x f y =在坐标系中表示为曲线BGE(图1)，D(x,0)为OX 上任一点，曲线BGE 和OD 及纵线BO ，ED 所围成的面积(即曲边梯形OBED 的面积)是x 的函数，记作S(x)，为了便于比较，以OY 的反方向为OZ,建立坐标系XOZ ，作出函数Z=S(x)的曲线OIF ，F(x ，S(x ))是ED 延长线与曲线的交点，在OX 上取点T ，使得y x S ED DF TD )(==。
巴罗断言直线TF 是曲线OIF 在点F 的切线(原话是TF 仅在点F 与OIF 相接触)，并以较为初等方法加以证明。
很容易看出直线TF 是分析意义下面积函数S(x)的切线。
若同时适当地定义斜率，则上述结论就相当于⎰=='x x F du u f dx d x S 0)()()(。
巴罗的这一结果被认为是微积分基本定理的最早形式，从而对微积分的创立起到了巨大的作用。
由于这一结果是甩几何语言叙述的，较难理解，应用也较为困难，再加上巴罗本人对于接近微积分基本定理的重大发现似乎认识不足，因此这一发现在当时影响不大。
再加上他的兴趣日益转向神学，1669年，巴罗主动宣布牛顿的才华超过自己，并将“卢卡斯教授”这一重要职位让给了年仅26岁的牛顿，从而为牛顿在科学研究中显示自己的才华创造了机会。
与此同时，揭示微分和积分内在联系，确立微积分基本定理在微积分学中核心地位的重任历史地落在牛顿和莱布尼兹肩上。
1.3牛顿的反流数形式的微积分基本定理牛顿(1642~1727)是英国最伟大的数学家、物理学家、天文学家，微积分学的奠基人。
一般认为牛顿是在前人的工作基础上进行分析和综合的基础上建立他的理论体系的，他将古希腊以来求解无穷小问题的各种技巧统一为两类普遍的算法——微分和积分。
以“流数”(导数)为该理论的核心概念，并通过逆过程(反流数)来解决面积等积分问题，是牛顿构建微积分理论的主要特点。
牛顿研究微积分的代表怍有三本：《论流数》写于1666年；《无穷多项方程的分析》写于1669年，发表于1711年；《流数法和无穷级数》写于1671年，发表于1736年。
牛顿被认为是完全继承了费马和瓦里斯的无穷小算法，实际上他的发展远大于继承。
他从瓦里斯的整数幂有限项级数得到启发，发现了无穷级数的二项式定理。