▶1、微分中值定理的证明

这一部分内容比较丰富，包括费马引理、罗尔定理、拉格朗日定理、柯西定理和泰勒中值定理。除泰勒中值定理外，其它定理要求会证。

费马引理的条件有两个：1.f’(x0)存在2.f(x0)为f(x)的极值，结论为f’(x0)=0。考虑函数在一点的导数，用什么方法?自然想到导数定义。我们可以按照导数定义写出f’(x0)的极限形式。往下如何推理?关键要看第二个条件怎么用。“f(x0)为f(x)的极值”翻译成数学语言即f(x)-f(x0)<0(或>0)，对x0的某去心邻域成立。结合导数定义式中函数部分表达式，不难想到考虑函数部分的正负号。若能得出函数部分的符号，如何得到极限值的符号呢?极限的保号性是个桥梁。

▶2、求导公式的证明

2015年真题考了一个证明题：证明两个函数乘积的导数公式。几乎每位同学都对这个公式怎么用比较熟悉，而对它怎么来的较为陌生。实际上，从授课的角度，这种在2015年前从未考过的基本公式的证明，一般只会在基础阶段讲到。如果这个阶段的考生带着急功近利的心态只关注结论怎么用，而不关心结论怎么来的，那很可能从未认真思考过该公式的证明过程，进而在考场上变得很被动。这里给2017考研学子提个醒：要重视基础阶段的复习，那些真题中未考过的重要结论的证明，有可能考到，不要放过。

▶3、积分中值定理

该定理条件是定积分的被积函数在积分区间(闭区间)上连续，结论可以形式地记成该定积分等于把被积函数拎到积分号外面，并把积分变量x换成中值。如何证明?可能有同学想到用微分中值定理，理由是微分相关定理的结论中含有中值。可以按照此思路往下分析，不过更易理解的思路是考虑连续相关定理(介值定理和零点存在定理)，理由更充分些：上述两个连续相关定理的结论中不但含有中值而且不含导数，而待证的积分中值定理的结论也是含有中值但不含导数。

若我们选择了用连续相关定理去证，那么到底选择哪个定理呢?这里有个小的技巧——看中值是位于闭区间还是开区间。介值定理和零点存在定理的结论中的中值分别位于闭区间和开区间，而待证的积分中值定理的结论中的中值位于闭区间。那么何去何从，已经不言自明了。

▶4、微积分基本定理的证明

该部分包括两个定理：变限积分求导定理和牛顿-莱布尼茨公式。

变限积分求导定理的条件是变上限积分函数的被积函数在闭区间连续，结论可以形式地理解为变上限积分函数的导数为把积分号扔掉，并用积分上限替换被积函数的自变量。注意该求导公式对闭区间成立，而闭区间上的导数要区别对待：对应开区间上每一点的导数是一类，而区间端点处的导数属单侧导数。花开两朵，各表一枝。我们先考虑变上限积分函数在开区间上任意点x处的导数。一点的导数仍用导数定义考虑。至于导数定义这个极限式如何化简，笔者就不能剥夺读者思考的权利了。单侧导数类似考虑。

“牛顿-莱布尼茨公式是联系微分学与积分学的桥梁，它是微积分中最基本的公式之一。它证明了微分与积分是可逆运算，同时在理论上标志着微积分完整体系的形成，从此微积分成为一门真正的学科。”这段话精彩地指出了牛顿-莱布尼茨公式在高数中举足轻重的作用。而多数考生能熟练运用该公式计算定积分。不过，提起该公式的证明，熟悉的考生并不多。