微积分(中值定理)
微积分的中值定理是罗尔中值定理、拉格朗日中值定理和柯西中值定理的总称。微分中值定理完整地出现经历了一个过程，是众多数学家共同研究的成果。从费马定理到柯西中值定理，是一个逐步完善、不断向前发展的过程，而且随着相关数学理论知识的不断完善，微分中值定也随之得以完整起来，证明方法也出现了多样化。
一、微分中值定理的历史演变过程
微分中值定理，是微分学的核心定理，是研究函数的重要工具，是沟通函数与导数之间的桥梁，历来受到人们的重视。
微分中值定理有着明显的几何意义。以拉格朗日中值定理为例，它表明“一个可微函数的曲线段，必有一点的切线平行于曲线端点的弦。”从这个意义上来说，人们对微分中值定理的认识可以上溯到公元前古希腊时代。
古希腊数学家在几何研究中，得到如下结论：“过抛物线弓形的顶点的切线必平行于抛物线弓形的底”。这正是拉格朗日中值定理的特殊情况，希腊著名数学家阿基米德正是巧妙地利用这一结论，求出抛物线弓形的面积。
大利数学家卡瓦列里在《不可分量几何学》中，给出处理平面和立体图形切线的有趣引理，其中引理3是基于几何观点的，它叙述了同样一个事实：曲线段上必有一点的切线平行于曲线的弦。这是几何形式的微分中值定理，被人们称为“卡瓦列里定理”。
人们对微分中值定理的研究，从微积分建立之初就开始了。1637年，著名法国数学家费马在《求最大值和最小值的方法》中给出了费马定理，在教科书中，人们通常将它作为微分中值定理的第一个定理。1691年，法国数学家罗尔在《方程的解法》一文中，给出多项式形式的罗尔定理。
1797年，法国数学家拉格朗日在《解析函数论》一书中，给出拉格朗日定理，并给出最初的证明，对微分中值定理进行系统研究是法国数学家柯西。
他是数学分析严格化运动的推动者，他的三部巨著《分析教程》、《无穷小计算教程概论》和《微分计算教程》，以严格化为其主要目标，对微积分理论进行了重构。他首先赋予中值定理以重要作用，使其成为微分学的核心定理。在《无穷小计算教程概论》中，柯西首先严格地证明了拉格朗日定理。
又在《微分计算教程》中，又将其推广为广义中值定理——柯西定理，从而发现了最后一块拼图，也就是最后一个微分中值定理。
二、微分中值定理
1、微分中值定理简介
1.1费马定理
费马在研究极大和极小问题的解法时，得到统一解法“虚拟等式法”，从而得出原始形式的费马定理。
费马的“虚拟等式法”可能基于一种非常直观的想法，当时微积分还处于初创阶段，并没有明确导数、极限、连续等概念。用现代观点来看，其论断是不严格的。我们现在看到的费马定理是后人根据微积分理论和费马发现的实质重新创造的。
1.2罗尔定理
最初的罗尔定理和现代罗尔定理不仅内容有所不同，而且证明也大相径庭，它是罗尔利用纯代数理论方法加以证明的，与微积分并没有什么联系。我们现在看到的罗尔定理，是后人根据微积分理论重新证明，并把它推广为一般函数。“罗尔定理”这一名称是由德罗比什在1834年给出，并由意大利数学家贝拉维蒂斯在1846年发表的论文中正式使用的。
1.3拉格朗日定理
拉格朗日定理是微分中值定理中最主要的定理。
历史上拉格朗日定理证明，最初是拉格朗日在《解析函数论》中给出的。这个证明很大程度上建立在直观基础上，也是直观的：“假设变量连续地变化，那么函数将会产生相应变化，但是如果不经过一切中间值，它就不会从一个值过渡到另一个值。”
19世纪初，在以柯西等为代表的微积分严格化运动中，人们给出了极限、连续和导数的严格定义，也给出了拉格朗日定理新的证明。
现代形式的拉格朗日定理，是由法国数学家博内。他不是利用f'（x）的连续性，而是利用罗尔定理，对拉格朗日定理加以重新证明。达布则利用这个结论证明了：当f'（x）可积时。从而使微分中值定理成为微积分的重要研究工具。
1.4柯西定理
柯西定理是拉格朗日定理的推广，柯西的证明与拉格朗日对“拉格朗日中值定理”的证明很相似 。微分中值定理在柯西的微积分理论系统中占有重要地位。
例如：他利用微分中值定理给出洛必达法则严格的证明，并研究泰勒定理的余项.从柯西起，微分中值定理就成为微分学的重要组成部分和研究函数的重要工具。
人们对微分中值定理的研究，大约经历了200多年的时间。它从费马定理开始，经历了从特殊到一般，从直观到抽象，从强条件到弱条件的发展阶段。人们正是在这一发展过程中，逐渐认识到它们的内在联系和本质。
当博内通过设辅助函数的方法，利用罗尔定理证明了拉格朗日定理，后人又利用拉格朗日定理证明了罗尔定理，微分中值定理形成浓缩型的普遍化，而这种普遍化如同美国数学家克拉默所说：“在对数学史上任一时期中人们对数学做出贡献进行评价的，那些能把过去统一起来并同时为未来的拓广开辟了广阔道路的概念，应当算做是最为深刻的概念”。
2、多元函数的微分中值定理
前面介绍的微分中值定理都是一元微分学和平面领域上的微分中值定理，而在实际应用上，很多情况下都要突破这一局限。为充分利用微分中值定理这个重要工具，将其进行推广，使之能够在n元微分学和n维空间下得以使用。
3、高阶微分中值定理
有些实际问题涉及函数高阶导数或高阶微分，将微分中值定理推广到高阶微分的情形。
4、复函数的微分中值定理
分析中有一套重要且应用广泛的微分中值定理。同样，复杂分析中也可以得到相应的微分中值定理，并且由它可以导出与实分析中值定理类似的若干复分析微分中值定理。但是，分析中的微分中值定理一般情况下在复函数中是不成立的，这就需要对它们进行一些约束和改进，使之能够在复函数中适用，这也是微分中值定理的一种推广。
文章主要介绍了微积分和微分中值定理历史演变过程，从中引出微分中值定理的三种形式；从多元函数的微分中值定理和高阶微分中值定理两个方面，研究探讨了微分中值定理的推广；另外，在复函数中，给出了与实分析中相对应的微分中值定理。
绛旓細寰Н鍒鐨涓煎畾鐞鏄綏灏斾腑鍊煎畾鐞嗐佹媺鏍兼湕鏃ヤ腑鍊煎畾鐞嗗拰鏌タ涓煎畾鐞嗙殑鎬荤О銆傚井鍒嗕腑鍊煎畾鐞嗗畬鏁村湴鍑虹幇缁忓巻浜嗕竴涓繃绋嬶紝鏄紬澶氭暟瀛﹀鍏卞悓鐮旂┒鐨勬垚鏋溿備粠璐归┈瀹氱悊鍒版煰瑗夸腑鍊煎畾鐞嗭紝鏄竴涓愭瀹屽杽銆佷笉鏂悜鍓嶅彂灞曠殑杩囩▼锛岃屼笖闅忕潃鐩稿叧鏁板鐞嗚鐭ヨ瘑鐨勪笉鏂畬鍠勶紝寰垎涓煎畾涔熼殢涔嬪緱浠ュ畬鏁磋捣鏉ワ紝璇佹槑鏂规硶涔熷嚭鐜颁簡澶氭牱鍖栥
绛旓細1銆佹媺鏍兼湕鏃ヤ腑鍊煎畾鐞 涓煎畾鐞鏄寰Н鍒瀛︿腑鐨勫熀鏈畾鐞嗭紝鐢卞洓閮ㄥ垎缁勬垚銆傚唴瀹规槸璇翠竴娈佃繛缁厜婊戞洸绾夸腑蹇呯劧鏈変竴鐐癸紝瀹冪殑鏂滅巼涓庢暣娈垫洸绾垮钩鍧囨枩鐜囩浉鍚屻備腑鍊煎畾鐞嗗張绉颁负寰垎瀛﹀熀鏈畾鐞嗭紝鎷夋牸鏈楁棩瀹氱悊锛屾媺鏍兼湕鏃ヤ腑鍊煎畾鐞嗭紝浠ュ強鏈夐檺鏀瑰彉閲忓畾鐞嗙瓑銆2銆佹煰瑗夸腑鍊煎畾鐞 鏌タ涓煎畾鐞嗘槸鎷夋牸鏈楁棩涓煎畾鐞嗙殑鎺ㄥ箍锛屾槸寰垎瀛︾殑...
绛旓細寰Н鍒瀛︾殑鏍稿績鐞嗚涔嬩竴鏄涓煎畾鐞锛屽畠鐢卞洓涓叧閿儴鍒嗘瀯鎴愩傝瀹氱悊闃愯堪浜嗕竴涓噸瑕佹蹇碉細鍦ㄤ竴鏉¤繛缁笖鍏夋粦鐨勬洸绾夸腑锛屾昏兘鎵惧埌涓涓壒娈婄偣锛岃鐐圭殑鍒囩嚎鏂滅巼涓庢洸绾垮湪鏁翠釜鍖洪棿涓婄殑骞冲潎鏂滅巼鐩哥瓑銆傝繖涓畾鐞嗘湁澶氫釜鍚嶇О锛屽寰垎瀛︾殑鍩烘湰瀹氱悊銆佹媺鏍兼湕鏃ュ畾鐞嗐佹媺鏍兼湕鏃ヤ腑鍊煎畾鐞嗕互鍙婃湁闄愭敼鍙橀噺瀹氱悊锛屼綋鐜颁簡鍏跺湪鏁板鍒嗘瀽...
绛旓細涓煎畾鐞鍏紡濡備笅锛氫腑鍊煎畾鐞嗘槸寰Н鍒涓殑閲嶈瀹氱悊涔嬩竴锛岀敤浜庢弿杩板嚱鏁板湪鏌愪釜鍖洪棿鍐呯殑骞冲潎鍙樺寲鐜囦笌鍏跺鏁板湪璇ュ尯闂村唴鏌愮偣鐨勫间箣闂寸殑鍏崇郴銆傛牴鎹腑鍊煎畾鐞嗭紝濡傛灉涓涓嚱鏁板湪闂尯闂碵a,b]涓婅繛缁笖鍙锛屽湪寮鍖洪棿(a,b)涓婂彲瀵硷紝鍒欏瓨鍦ㄤ竴涓偣c鈭(a,b)锛屼娇寰楀嚱鏁板湪鐐筩澶勭殑瀵兼暟绛変簬鍑芥暟鍦ㄥ尯闂碵a,b]涓婄殑骞冲潎...
绛旓細鐩稿悓鐨勫鏁板苟涓嶆剰鍛崇潃鍑芥暟鐩稿悓锛屼緥濡倅=x2涓巠=x2+1锛屽畠浠櫧鐒跺鏁扮浉绛夛紝鍗撮潪鍚屼竴鍑芥暟锛岃繖鏄剧ず浜嗗畾鐞嗙殑缁嗚吇涔嬪銆傚鍑芥暟濮嬬粓涓烘锛屽嚱鏁板繀瀹氬崟璋冮掑锛岃繖涓嶄粎鎻愪緵浜嗗垽鏂鍑忔х殑鐩磋宸ュ叿锛屼篃鏄寰Н鍒鐞嗚鐨勫熀鐭充箣涓銆傜粨璇細</涓煎畾鐞濡傚悓鏁板鐨勬ˉ姊侊紝杩炴帴鐫杩炵画鎬т笌鍙鎬х殑妗ユ锛岄氳繃瀹為檯妗堜緥鍜屾帹璁猴紝...
绛旓細绉垎涓煎畾鐞鏄寰Н鍒涓殑涓涓畾鐞嗭紝瀹冭〃鏄庡鏋滀竴涓嚱鏁板湪涓涓尯闂翠笂杩炵画涓斿彲寰紝閭ｄ箞鍦ㄨ繖涓尯闂翠笂瀛樺湪鑷冲皯涓涓偣锛屼娇寰楄鐐圭殑瀵兼暟绛変簬鍑芥暟鍦ㄦ暣涓尯闂翠笂鐨勫钩鍧囨枩鐜囥傚叿浣撹岃█锛岀Н鍒嗕腑鍊煎畾鐞嗗彲浠ヨ〃绀轰负锛氬鏋滃嚱鏁癴(x)鍦ㄩ棴鍖洪棿[a, b]涓婅繛缁笖鍙井锛岄偅涔堝瓨鍦ㄤ竴涓偣c锛屼娇寰梖'(c) = (f(b) - f(a...
绛旓細涓煎畾鐞鍏紡锛氳繛缁厜婊戞洸绾夸腑蹇呯劧鏈変竴鐐癸紝瀹冪殑鏂滅巼涓庢暣娈垫洸绾垮钩鍧囨枩鐜囩浉鍚屻備腑鍊煎畾鐞嗘槸鍙嶆槧鍑芥暟涓庡鏁颁箣闂磋仈绯荤殑閲嶈瀹氱悊锛屼篃鏄寰Н鍒瀛︾殑鐞嗚鍩虹锛屽湪璁稿鏂归潰瀹冮兘鏈夐噸瑕佺殑浣滅敤锛屽湪杩涜涓浜涘叕寮忔帹瀵间笌瀹氱悊璇佹槑涓兘鏈夊緢澶氬簲鐢ㄣ備腑鍊煎畾鐞嗘槸鐢变紬澶氬畾鐞嗗叡鍚屾瀯寤虹殑锛屽叾涓媺鏍兼湕鏃ヤ腑鍊煎畾鐞嗘槸鏍稿績锛岀綏灏斿畾鐞嗘槸鍏...
绛旓細涓変釜涓煎畾鐞鐨勫叕寮忥細鎷夋牸鏈楁棩涓煎畾鐞嗐佹煰瑗夸腑鍊煎畾鐞嗗拰娉板嫆涓煎畾鐞嗐1銆佹媺鏍兼湕鏃ヤ腑鍊煎畾鐞 鎷夋牸鏈楁棩涓煎畾鐞嗘槸寰Н鍒瀛︿腑鏈鍩烘湰鐨勪腑鍊煎畾鐞嗕箣涓銆傚嚱鏁癴(x)鍦ㄩ棴鍖洪棿[a, b]涓婅繛缁紝涓斿湪寮鍖洪棿(a, b)涓婂彲瀵硷紝鍦(a, b)鍐呰嚦灏戝瓨鍦ㄤ竴涓偣尉锛屼娇寰梖'(尉) = (f(b) - f(a)) / (b - a)銆
绛旓細(2)寰Н鍒甯哥敤鍏紡锛欴x sin x=cos x cos x = -sin x tan x = sec2 x cot x = -csc2 x sec x = sec x tan x csc x = -csc x cot x sin x dx = -cos x + C cos x dx = sin x + C tan x dx = ln |sec x | + C cot x dx = ln |sin x | + C sec ...
绛旓細绉垎涓煎畾鐞锛歠(x)鍦╝鍒癰涓婄殑绉垎绛変簬(a-b)f(c)锛屽叾涓璫婊¤冻a<c
