考研高等数学中关于导数和微分中值定理的证明，通常包括以下几个重要定理：
费马引理 条件：
函数在点 （ x_0 ） 处可导，且 （ f'（x_0） ） 存在；函数在 （ x_0 ） 处取得极值。
结论：在 （ x_0 ） 处，函数的导数 （ f'（x_0） = 0 ）。
罗尔定理 条件：
函数在闭区间 （[a, b]） 上连续，在开区间 （（a, b）） 上可导，且 （ f（a） = f（b） ）。
结论：在开区间 （（a, b）） 内至少存在一点 （ c ），使得 （ f'（c） = 0 ）。
拉格朗日中值定理 条件：
函数在闭区间 （[a, b]） 上连续，在开区间 （（a, b）） 上可导。
结论：在开区间 （（a, b）） 内至少存在一点 （ c ），使得 （ f'（c） = frac{f（b） - f（a）}{b - a} ）。
柯西中值定理 条件：
函数在闭区间 （[a, b]） 上连续，在开区间 （（a, b）） 上可导。
结论：在开区间 （（a, b）） 内至少存在一点 （ c ），使得 （ f'（c） = frac{f（b） - f（a）}{b - a} ），当且仅当函数在 （[a, b]） 上可导。
泰勒中值定理 条件：
函数在点 （ x_0 ） 的某个邻域内具有任意阶导数。
结论：存在 （xi in （x_0, x_0 + h））（或 （xi in （x_0 - h, x_0））），使得 （ f（x_0 + h） = f（x_0） + f'（x_0）h + frac{f''（x_0）}{2!}h^2 + cdots + frac{f^{（n）}（x_0）}{n!}h^n + o（h^n） ）。
证明这些定理通常需要运用极限、导数定义、函数的连续性和可导性等基本概念。在考研复习中，掌握这些定理的证明对于理解和应用微分学知识至关重要。