(书接上回)  二、微分中值定理的证明
  这一部分内容比较丰富,包括费马引理、罗尔定理、拉格朗日定理、柯西定理和泰勒中值定理。除泰勒中值定理外,其它定理要求会证。
  费马引理的条件有两个:1.f'(x0)存在2. f(x0)为f(x)的极值,结论为f'(x0)=0。考虑函数在一点的导数,用什么方法?自然想到导数定义。我们可以按照导数定义写出f'(x0)的极限形式。往下如何推理?关键要看第二个条件怎么用。“f(x0)为f(x)的极值”翻译成数学语言即f(x) -f(x0)<0(或>0),对x0的某去心邻域成立。结合导数定义式中函数部分表达式,不难想到考虑函数部分的正负号。若能得出函数部分的符号,如何得到极限值的符号呢?极限的保号性是个桥梁。
  费马引理中的“引理”包含着引出其它定理之意。那么它引出的定理就是我们下面要讨论的罗尔定理。若在微分中值定理这部分推举一个考频最高的,那罗尔定理当之无愧。该定理的条件和结论想必各位都比较熟悉。条件有三:“闭区间连续”、“开区间可导”和“端值相等”,结论是在开区间存在一点(即所谓的中值),使得函数在该点的导数为0。该定理的证明不好理解,需认真体会:条件怎么用?如何和结论建立联系?当然,我们现在讨论该定理的证明是“马后炮”式的:已经有了证明过程,我们看看怎么去理解掌握。如果在罗尔生活的时代,证出该定理,那可是十足的创新,是要流芳百世的。
  闲言少叙,言归正传。既然我们讨论费马引理的作用是要引出罗尔定理,那么罗尔定理的证明过程中就要用到费马引理。我们对比这两个定理的结论,不难发现是一致的:都是函数在一点的导数为0。话说到这,可能有同学要说:罗尔定理的证明并不难呀,由费马引理得结论不就行了。大方向对,但过程没这么简单。起码要说清一点:费马引理的条件是否满足,为什么满足?
  (未完待续)