Rolle定理是用点态导数去表示区间性质的核心难点，无论怎样改良微积分都没法真正回避的要素。我倾向于把Rolle定理用下面两句话描述。事实上证明的时候也是分别证明的，I易II难。(I) 闭区间上的连续可微函数，如果在端点处函数值相等，那么存在区间的一个内点，函数在该点处导数为0。(II) 即使端点不可微，即“给定区间I，函数在I的闭包上连续，I的内点处处可微”，那么 (I) 的结论仍然成立。把点态导数的区间化难题攻破之后，加上一个线性项（差商）就是拉格朗日的中值性定理，再把函数用参数方程表示就是柯西的中值性定理。我比较喜欢引入“函数在闭区间上连续可微，必在其子闭区间上连续可微”，把两个中值性定理的结论加强成逆命题成立的形式，即（Lagrange'）给定在闭区间D上的连续函数f和g，下面两个命题等价：(I) f 可微， f'=g (II) \forall u, v\in D, \exists \xi, u<\xi<v: \frac{f(v)-f(u)}{v-u}=g(\xi) （Cauchy'）给定在闭区间D（作为参数t的范围）上的连续函数 f:\begin{cases}y=\phi(t)\\x=\psi(t)\end{cases} 和 g:\begin{cases}y=\theta(t)\\x=\eta(t)\end{cases} ，其中 \psi 无驻点，\eta 恒不为零，则下面两个命题等价：(I) f 可微， f'=g ，即 \begin{cases}\phi'=\theta\\\psi'=\eta\end{cases} (II) \forall u, v\in D, \exists \xi, u<\xi<v: \frac{\phi(v)-\phi(u)}{\psi(v)-\psi(u)}=\frac{\theta(\xi)}{\eta(\xi)} 不过这样做有一些缺陷就是，对那些并不满足连续性的导函数的适配性不够。不过没关系，导函数的不连续点只是可列的。那么隐函数有没有类似地结论？比如说\forall x_1, y_1, x_2, y_2, F(x_1, y_1)=0, F(x_2, y_2)=0, \exists \xi， F(\xi)=0:\frac{y_2-y_1}{x_2-x_1}=-\frac{F'_x(\xi)}{F'_y(\xi)} 仅供抛砖引玉。}

最新版原文：罗尔定理、微分中值定理、广义微分中值定理 - iMath - 博客园觉得不错的话记得点赞喔！罗尔定理、微分中值定理、广义微分中值定理如果一个处处可导的函数的图像和一条水平直线交于不同的两点（如图所示），那么在这两点间的函数图像上至少存在一点处的切线平行于该水平直线（显然也平行于x轴），这种现象可以更严谨地表述为罗尔定理（Rolle’s Theorem[1]）：如果函数f(x)在[a,b]上连续，(a,b) 上可导，并且f(a)=f(b)，那么至少存在一点c于(a,b)内使得f’(c)=0。上面说到的平行关系在罗尔定理中是这样体现的：因为f(a)=f(b)，所以(a,f(a))和(b,f(b))可以确定一条水平直线，因为f’(c)=0，所以函数f(x)在(c,f(c))处的切线也是一条水平直线，很显然这两条直线平行。罗尔定理的证明要求的是关于导数等于0的结论，我想到的是：（1）如果f(x)是常数函数的话，那么定义域内任意一点的导数都为0；（2）可导的函数在极值点处导数为0。所以这里证明的难点是：如果f(x)不是常数函数，那么该怎么证明其有极值存在于(a,b)内呢？若能证明之，则罗尔定理得证。如果f(x)不是常数函数，因为f(x)在[a,b]上连续，那么在该区间上面必然存在极大值和极小值，假设极大值和极小值均在端点处取得，再加上本定理的条件已经声明f(x)在两端点处的值相等（即f(a)=f(b)），可得出这种情况下函数的极大值等于极小值，这样的函数显然是常数函数，这与开头的假设“f(x)不是常数函数”相悖，所以f(x)不是常数函数情况下其极大值和极小值不可能都在端点处取得——至少存在一个极值点于(a,b)内，又因为f(x)在 (a,b) 上可导，所以该处函数导数为0。下面是我的证明过程：因为f(x)在[a,b]上连续，那么在该区间上面必然存在极大值和极小值。其极值的分布情况只有两种可能：（1）若f(x)的极值至少有一个在(a,b)内取得，设该极值点的横坐标为c，因为f(x)在 (a,b) 上可导，所以有f’(c)=0；（2）若f(x)的极值均不在(a,b)内取得——极值均在端点处取得，这两个极值分别是f(a)和f(b)，由于本定理的条件中已经声明f(x)在两端点处的值相等（即f(a)=f(b)），可知函数的极大值等于极小值，这样的函数显然是常数函数，那么于(a,b)内的任何一点c都有f’(c)=0。综上，至少存在一点c于(a,b)内使得f’(c)=0，罗尔定理得证。上面的证明思路和我分析问题的思路是有差别的，证明过程是对我分析问题的思路的整合与升华，借此顺便一提：书上的证明过程未必和我们解决问题的思路一致，诸位留意！罗尔定理要求“函数f(x)在[a,b]上连续，(a,b) 上可导”，这两个条件总让我感觉有些憋扭，因为f(x)在 (a,b) 上可导的话就一定可得出f(x)在 (a,b) 上连续，于是可把条件转化为“函数f(x)在(a,b) 上可导，在a、b两点处连续”，但感觉还是不够简洁，为什么不直接把条件简单地限制为“函数f(x)在[a,b]上可导”呢？在这个条件下一定会有“函数f(x)在[a,b]上连续，(a,b) 上可导”，后来我想到不做这种简化的原因可能是：函数在a、b两端点处的导数可能是+∞或-∞——不可导，在这种情况下如果把“函数f(x)在[a,b]上连续，(a,b) 上可导”简化成“函数f(x)在[a,b]上可导”就会使罗尔定理不适用于下面这种情况[2]（该函数在-1和1处不可导）：认识到这种情形之后，我们可以有一个适用范围小一点但同时也更简洁的罗尔定理：如果函数f(x)在[a,b]上可导，并且f(a)=f(b)，那么至少存在一点c于(a,b)内使得f’(c)=0。如果函数f(x)在[a,b]上不连续，那么罗尔定理可能不成立，如图所示：如果函数f(x)在(a,b)上不可导，那么罗尔定理可能不成立，如图所示：上面两图意在让各位认识到罗尔定理的成立条件的必要性。若一条直线和处处可导的函数f(x)的图像交于(a,f(a))和(b,f(b))两点，将该直线上下平移，那么总存在该直线和函数f(x)的图像相切的情形，这种现象可以更严谨地表述为微分中值定理（亦称拉格朗日中值定理，the mean value theorem of the differential calculus）：如果函数f(x)在[a,b]上连续，(a,b) 上可导，那么至少存在一点c于(a,b)内使得。微分中值定理可以看作是罗尔定理旋转后的情形[3]——可设想把满足罗尔定理的图像旋转一个角度后，那么原来过(a,f(a))和(b,f(b))的水平直线变成了斜率为的直线，而那条切线始终与之平行，所以斜率（该点的导数）依然等于。微分中值定理也可以用罗尔定理来证明，如下：过(a,f(a))和(b,f(b))的直线的方程是，f(x)和g(x)的纵向差距可表示为，因为f(x)和g(x)的图像在两端点处相交，所以h(a)=h(b)=0，同时不难得出h(x)在[a,b]上连续，(a,b) 上可导，所以h(x)满足罗尔定理，因而存在一点c于(a,b)内使得，进而可得出，微分中值定理得证。作为微分中值定理的应用，我们可以考虑这样一种情形：假如一辆车做变速运动，一小时行了20km，如果f(x)是车的位移函数、f(0)=0、f(1)=20，微分中值定理告诉我们在这一小时内必然有一刻车速为。如果你对此仍怀疑，那么请设想其反面：若这一小时内车速始终大于或小于20km/h会出现什么情况？……所以这一小时内车速绝对会有一刻为20km/h。对比一下微分中值定理和罗尔定理的差异，我们不难发现微分中值定理可以囊括罗尔定理的情形——微分中值定理中f(a)=f(b)的时候它便退化成了罗尔定理，也就是说微分中值定理具有更普遍的适用范围。现在让我们来看一个更广义的微分中值定理[4]（亦称柯西中值定理，Generalized Mean Value Theorem of the Differential Calculus）：如果f(x)和g(x)都在[a,b]上连续，(a,b) 上可导，那么至少存在一点c于(a,b)内使得如果在(a,b)上，那么有为什么说该定理是更广义的微分中值定理呢？微分中值定理就是上面这个等式中令g(x)=x的情形[5]。至于广义微分中值定理的证明，我们只用令，然后对其应用微分中值定理便不难得证。下一节我会讲到洛必达法则（L’Hospital’s rule），大多数书上对它的证明都会用到广义微分中值定理，而我将向各位展示另外一种证明方法，敬请期待！ Joel R. Hass, Christopher E. Heil, Maurice D. Weir ,Thomas’ calculus, 14th edition, p191 ↑ Joel R. Hass, Christopher E. Heil, Maurice D. Weir ,Thomas’ calculus, 14th edition, p193 ↑ Morris Kline, Calculus : an intuitive and physical approach, second edition, Chapter 13，Section 2 ↑ Stephen Abbott, Understanding Analysis, second edition, p158 ↑ 常庆哲、史济怀，《数学分析教程》上册（2003），p155 ↑}

拉格朗日中值定理拉格朗日中值定理又称拉氏定理，是微分学中的基本定理之一，它反映了可导函数在闭区间上的整体的平均变化率与区间内某点的局部变化率的关系。拉格朗日中值定理是罗尔中值定理的推广，同时也是柯西中值定理的特殊情形，是泰勒公式的弱形式（一阶展开）。法国数学家拉格朗日于1778年在其着作《解析函数论》的第六章提出了该定理，并进行了初步证明，因此人们将该定理命名为拉格朗日中值定理。指的是区间（a,b）的两个端点所连直线的斜率,这个定理就是说如果在闭区间上连续,开区间上可导,那么总有那么一个值能够使已知曲线的斜率和直线斜率相等,其他的斜率都会比这个大或者小.拉格朗日中值定理的意思就是：连接图像上两个点 A, B 画一条线，要求画出的线每个点都连续可导，那么你画出的这条线中至少会有一个点处的切线是与连接 A, B 的直线平行的。我们可以用一个直观的例子说明这个中值定理的意思：有一辆汽车加速行驶，用8秒时间将距离从0推进到200米，很容易算出这8秒钟内汽车的平均速度为25米/秒，那么在这8秒内一定有某一时刻汽车的速度正好是25米/秒。例题柯西中值定理本文转载自：https://www.jianshu.com/p/d6d637334ba6}