如果乙個處處可導的函式的影象和一條水平直線交於不同的兩點（如圖所示），
那麼在這兩點間的函式影象上至少存在一點處的切線平行於該水平直線（顯然也平行於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)內使得\(f^\left( c \right) = \frac\)。
微分中值定理可以看作是羅爾定理旋轉後的情形[3]
——可設想把滿足羅爾定理的影象旋轉乙個角度後，那麼原來過(a,f(a))和(b,f(b))的水平直線變成了斜率為\(\frac\)的直線，而那條切線始終與之平行，所以斜率（該點的導數）依然等於\(\frac\)。
微分中值定理也可以用羅爾定理來證明，如下：
過(a,f(a))和(b,f(b))的直線的方程是\(g\left( x \right) = f\left( a \right) + \frac(x - a)\)，f(x)和g(x)的縱向差距可表示為\(h\left( x \right) = f\left( x \right) - g\left( x \right) = f\left( x \right) - f\left( a \right) - \frac(x - a)\)，因為f(x)和g(x)的影象在兩端點處相交，所以h(a)=h(b)=0，同時不難得出h(x)在[a,b]上連續，(a,b) 上可導，所以h(x)滿足羅爾定理，因而存在一點c於(a,b)內使得\(h』(c) = 0 = f'\left( c \right) - \frac\)，進而可得出\(f^(c) = \frac\)，微分中值定理得證。
作為微分中值定理的應用，我們可以考慮這樣一種情形：假如一輛車做變速運動，一小時行了20km，如果f(x)是車的位移函式、f(0)=0、f(1)=20，微分中值定理告訴我們在這一小時內必然有一刻車速為\(\frac = \frac = 20(km/h)\)。如果你對此仍懷疑，那麼請設想其反面：若這一小時內車速始終大於或小於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)內使得
\[\left\lbrack f\left( b \right) - f\left( a \right) \right\rbrack g^\left( c \right) = \left\lbrack g\left( b \right) - g\left( a \right) \right\rbrack f^\left( c \right).
\]如果在(a,b)上\(g^\left( x \right) \neq 0\)，那麼有
\[\frac\left( c \right)} = \frac.
\]為什麼說該定理是更廣義的微分中值定理呢？微分中值定理就是上面這個等式中令g(x)=x的情形[5]
。至於廣義微分中值定理的證明，我們只用令\(h\left( x \right) = \left\lbrack f\left( b \right) - f\left( a \right) \right\rbrack g\left( x \right) - \left\lbrack g\left( b \right) - g\left( a \right) \right\rbrack f\left( x \right)\)，然後對其應用微分中值定理便不難得證。
下一節我會講到洛必達法則（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 ↩︎
stephen abbott, understanding analysis, second edition, p158 ↩︎
常慶哲、史濟懷，《數學分析教程》上冊（2003），p155 ↩︎
微分和積分的中值定理
微分中值定理 羅爾定理 a,b 連續，a,b 可導,f a f b 則f x 在 a,b 中有一點的導數為0 拉格朗日中值定理 a,b 連續，a,b 可導,則f x 在 a,b 中有一點的導數等於點a a,f a 和點b b,f b 的連線的斜率 柯西中值定理 把拉格朗日中值定理用引數方程的形式表達...
微分學裡的中值定理
羅爾中值定理 設函式 f x 在區間 a,b 上連續，在區間 a,b 上可微.若 f a f b 則在區間 a,b 的某點處 f x 0 即存在 xi 使得 a frac leq 0 因此 lim frac leq 0 還有 frac geq 0 因此 lim frac geq 0 由於 f 在 a...
微分學裡的中值定理
羅爾中值定理 設函式 f x 在區間 a,b 上連續，在區間 a,b 上可微.若 f a f b 則在區間 a,b 的某點處 f x 0 即存在 xi 使得 a frac leq 0 因此 lim frac leq 0 還有 frac geq 0 因此 lim frac geq 0 由於 f 在 a...