一、高频考点与答题套路
1. 证明根的存在性
套路句式：设 (F(x)=) [根据题目构造原函数]，则 (F(x)) 在 ([a,b]) 连续，在 ((a,b)) 可导，且 (F(a)=F(b))。由罗尔定理，存在 (xi in (a,b)) 使 (F'(xi)=0)，即证。
关键：一眼看出哪个函数的导数等于题目式子，赶紧构造它（原函数法）。
2. 证明导数零点存在
口诀：“三同一导，罗尔报到”。函数在闭区间连续、开区间可导、区间端点值相等（(f(a)=f(b))），立马用罗尔定理，至少存在一点导数为零。
常考构造：见到 (f'(xi)+g(xi)f(xi)=0)，构造 (F(x)=f(x)e^{int g(x)dx})；见到 (f'(xi)g(xi)+f(xi)g'(xi)=0)，构造 (F(x)=f(x)g(x))。
3. 双中值问题（结合拉格朗日或柯西）
套路：先在同一区间上用一次罗尔定理找出一个点，再分割区间或用已知点构造新区间，第二次用中值定理。
高频模型：已知 (f(a)=f(b)=f(c))，分别在 ([a,b]) 和 ([b,c]) 上用罗尔，得到两个导数为零的点。
4. 与积分中值定理结合
考点：先用积分中值定理得到 (f(eta))，再配合罗尔定理的条件去证明另一个点的存在。
二、真题常考知识点
必须会的构造：(f'(x)+P(x)f(x)=0) → 构造 (F(x)=f(x)e^{int P(x)dx})
(f'(x)+P(x)f(x)=Q(x)) → 先解一阶线性微分方程，用其解的形式构造。
隐含条件挖掘：题给“二阶可导”意味着 (f'(x)) 连续，能用罗尔定理在 (f'(x)) 上。
“(f(x)) 在 ([a,b]) 上连续，在 ((a,b)) 内可导，且 (f(a)=f(b))” 这是罗尔定理的明示，必用。
方程根的唯一性证明：先用零点定理/罗尔定理证存在，再证单调性/反证法证唯一。
三、蒙题技巧（实在不会时用）
题目问“至少存在一点 (xi) 使某等式成立”，条件给了端点值相等或函数值关系，80%选罗尔定理。
证明题最后一步写：“由罗尔定理可知，存在 (xi in (a,b))，使得 (F'(xi)=0)，即原等式成立。” 这是模板句，别写错。
碰到高阶导数零点，想两次罗尔：(f(x)) 有n个零点 → (f'(x)) 至少有n-1个零点 → (f''(x)) 至少有n-2个零点。
四、避坑指南
坑点1：罗尔定理要求闭区间连续、开区间可导，验证条件时别只写“可导”，必须写明“在 ([a,b]) 上连续，在 ((a,b)) 内可导”。
坑点2：构造辅助函数是难点，记死常见形式。实在看不出，把要证的等式变形成 ([
ext{某部分}]' = 0)，那个“某部分”就是辅助函数。
坑点3：双中值问题中，两个中值点 (xi) 和 (eta) 通常不能保证是同一个点，必须分区间讨论或用不同定理。