今日学习地图
本次错题复盘:中值定理·罗尔定理基础题(8/26 刷题)。共 6 题,按刷题顺序排列。
罗尔定理错题复盘
├── 例238 ★★★ 积分条件配平 + 罗尔(真错题)
│ ├── 错误:构造 F=(1/2)x²f(x),应 F=x·f(x)
│ └── 心法:η 是被"逼"出来的,不是找出来的
├── 例23 ★★ 平均值定理造点 + 罗尔(做对,题面识别战)
├── 例240 ★★ 通解构造 f'−kf=0(复现做对)
├── 例241 ★★★ 三角积分因子 tan x(构造对,求导乱)
├── 例242 ★★ 例6.7 复现 λ 版(独立做对)
└── 例243 ★★★ 例6.8 同款(思路全对,题面 OCR 反复)
本次需要重点关注的内容:
- 构造辅助函数 = 通解构造:结论式当一阶线性微分方程,写通解,C 放一边就是 F——今天 6 题全部依赖这一个方法
- 积分条件配平三连:积分中值定理挖点 → 找到 F(1) 的配对点 → 罗尔。系数与积分上限互为倒数是机关
- 构造完三秒自查:$F'(x)$ 是否正好给出结论式?配平的 $F(\eta)=F(1)$ 两边是否真的相等?
- 语音/OCR 识别陷阱:今天 3 次因题面识别反复导致判题波折——$f(0)+f(1)$ vs $f(0)=f(1)$、$e^{-x}$ vs $e^{1-x}$、$(1-\xi^{-1})$ vs $(1-\xi)^{-1}$
例238 ⭐⭐⭐ — 积分条件配平 + 罗尔
Important
题目:设 $f(x)$ 在 $[0,1]$ 上可微,且 $f(1)=2\int_0^{1/2}x f(x)\,dx$。试证存在 $\xi\in(0,1)$ 使 $f(\xi)+\xi f'(\xi)=0$。
错因诊断
模式固化 + 构造失误。这题与例 6.8 是同一个套路(积分条件配平 → 罗尔),但构造 $F$ 时没走通解法,靠猜,把积分里的 $x$ 也乘进了 $F$,导致 $F$ 多乘了 $x/2$。
知识定位
- 通解构造:$f+xf'=0$ → $y'+\dfrac1x y=0$ → 积分因子 $e^{\int\frac1x dx}=x$ → $F(x)=x f(x)$
- 积分中值配平:$\int_0^{1/2}g\,dx=\dfrac12\cdot g(\eta)$,系数 = 区间长度 $\dfrac12$;题目系数 $2$ 是它的倒数,$2\cdot\dfrac12=1$ 消掉
正解重构
✅ 方向对:想到积分中值定理处理积分条件、想到构造辅助函数走罗尔。
❌ 红色:构造 $\color{red}{F(x)=\dfrac12 x^2f(x)}$ 是错的:
$$\color{red}{F'(x)=x f(x)+\dfrac12 x^2f'(x) \Rightarrow F'(\xi)=0 \text{ 给出 } f(\xi)+\dfrac12\xi f'(\xi)=0}$$不是题目要的 $f(\xi)+\xi f'(\xi)=0$——多乘的 $x/2$ 是从积分式里"捡"来的。
✅ 正确构造(通解一步到位):$F(x)=x f(x)$,$F'(x)=f(x)+x f'(x)$。
❌ 连锁错误:写了 $\color{red}{F(1)=f(1)}$——只有 $F=x f(x)$ 时成立,$F=\dfrac12x^2f(x)$ 时 $F(1)=\dfrac12f(1)$。
✅ 配平(答案的关键,也是"$\eta$ 不好找"的难点):
由积分中值定理,存在 $\eta\in\left(0,\dfrac12\right)$:
$$\int_0^{1/2}x f(x)\,dx=\dfrac12\cdot\eta\cdot f(\eta)$$代入题目条件:
$$f(1)=2\int_0^{1/2}x f(x)\,dx=2\cdot\dfrac12\cdot\eta f(\eta)=\eta f(\eta)=F(\eta)$$而 $F(1)=f(1)$,所以 $F(\eta)=F(1)$。罗尔在 $[\eta,1]$ 上:$\xi\in(\eta,1)\subset(0,1)$,$F'(\xi)=0$,即 $f(\xi)+\xi f'(\xi)=0$。$\blacksquare$
Important
“η 不好找"的心法:η 是被逼出来的,不是找出来的。
- 结论是导数等式 → 定罗尔 → 罗尔需要一个区间,两端函数值相等
- 一端肯定是 $1$:题目条件里唯一明确给出的点是 $f(1)$,$F(1)=f(1)$ 现成
- 另一端从哪来?手上只有积分条件——它唯一能挤出"一个点"的出口就是积分中值定理(把区间 $[0,\frac12]$ 压成一个点 $\eta$)
- 所以另一端被迫是 $\eta$,验证 $F(\eta)=F(1)$ 是否成立
以后卡在"怎么联系"时,不要问”$\eta$ 在哪",要问"我缺哪个端点?题目哪条信息能给我这个端点?"
Caution
避免错误的要点:
- 构造 $F$ 永远走通解:看见结论式先写微分方程,别先看积分里有什么
- 认出"积分条件配平"老朋友:$f(1)=$ 系数 $\times\int_0^{上限}\cdots dx$,系数和上限互为倒数($2$ 和 $\frac12$)→ 积分中值 → 配平 $F(\eta)=F(1)$ → 罗尔
- 三秒自查:构造完 $F$,验两条——① $F'(x)$ 是不是正好给出结论式?② 配平的两端值都算出来比对?
归档:核心知识点:通解构造辅助函数、积分中值定理配平;关联:例6.8、例243(同款套路);复习间隔:1天后
例23 ⭐⭐ — 平均值定理造点 + 罗尔(做对)
Important
题目:设 $f(x)$ 在 $[0,3]$ 上连续、$(0,3)$ 内可导,且 $f(0)+f(1)+f(2)=3$,$f(3)=1$。证明存在 $\xi\in(0,3)$,使 $f'(\xi)=0$。
Note
题面识别战:这题最初被识别成 $f(0)+f(1)=f(2)=3$,又识别成 $f(0)=f(1)=f(2)=3$,最终确认为 $f(0)+f(1)+f(2)=3$。题面不同,解法完全不同——判题前先对齐题面。
判定:✅ 做对
✅ 平均值定理造点:f 在 $[0,2]$ 连续,三点函数值之和为 3,平均值 $=\dfrac{3}{3}=1$,由平均值定理(介值定理推论)存在 $\eta\in[0,2]$,$f(\eta)=1$。
✅ 配平:$f(\eta)=1=f(3)$。
✅ 罗尔:f 在 $[\eta,3]$ 连续、$(\eta,3)$ 可导($\eta\leqslant2\lt3$),两端值相等,存在 $\xi\in(\eta,3)\subset(0,3)$,$f'(\xi)=0$。$\blacksquare$
Note
唯一小书写:平均值分子应写 $\dfrac{3}{3}$(三点函数值之和就是 3),不要写成 $\dfrac{3+3}{3}$。
归档:核心知识点:平均值定理、罗尔定理;复习间隔:3天后
例240 ⭐⭐ — 通解构造 f’−kf=0(复现做对)
Important
题目:设 $f(x)$ 在 $[a,b]$ 上连续、$(a,b)$ 内可导,$f(x)\neq0$,$f(a)=f(b)=0$。证明:对任意实数 $k$,存在 $\xi\in(a,b)$ 使 $\dfrac{f'(\xi)}{f(\xi)}=k$。
判定:✅ 独立做对(例 C 复现)
✅ 结论 $f'(\xi)-k f(\xi)=0$ → 通解构造:$y'-ky=0$,积分因子 $e^{-kx}$ → $F(x)=f(x)e^{-kx}$。
✅ $F(a)=e^{-ka}\cdot0=0$,$F(b)=e^{-kb}\cdot0=0$,罗尔 → $F'(\xi)=e^{-k\xi}\big(f'(\xi)-k f(\xi)\big)=0$,$e^{-k\xi}\gt0$ 约掉 → $f'(\xi)=k f(\xi)$。
$$f'(\xi)=k f(\xi) \xrightarrow{\text{两边除以 }f(\xi)} \dfrac{f'(\xi)}{f(\xi)}=k$$Important
补一步让证明完整:
除以 $f(\xi)$ 的合法性靠题目给的 $f(x)\neq0$(在 $[a,b]$ 上恒不为零)。$f(a)=f(b)=0$ 本身不能排除内部零点,题目专门给 $f(x)\neq0$ 就是给除法撑腰——写了这步,判卷老师才看到你确认过条件。
归档:核心知识点:通解构造(指数积分因子);关联:例C(8/25);复习间隔:7天后(已掌握,间隔拉长)
例241 ⭐⭐⭐ — 三角积分因子构造
Important
题目:设 $f(x)$ 在 $\left[0,\frac{\pi}{4}\right]$ 上连续、$\left(0,\frac{\pi}{4}\right)$ 内可导,且 $f\left(\frac{\pi}{4}\right)=0$。证明存在 $\xi\in\left(0,\frac{\pi}{4}\right)$,使 $2f(\xi)+\sin2\xi\cdot f'(\xi)=0$。
错因诊断
构造正确,但求导式子与构造对不上(语音丢项)。构造 $F=\dfrac{1-\cos2x}{\sin2x}f(x)=\tan x\cdot f(x)$ 是正确的,但贴出的 $F'$ 是 $f/\sin2x$ 的导数,不是 $\tan x\cdot f$ 的导数。
知识定位
- 通解构造:$2f+\sin2x\cdot f'=0$ → $y'+\dfrac{2}{\sin2x}y=0$,积分因子 $\mu=e^{\int\frac{2}{\sin2x}dx}=\tan x$(因为 $\int2\csc2x\,dx=\ln|\tan x|$)
- 半角恒等:$\dfrac{1-\cos2x}{\sin2x}=\dfrac{2\sin^2x}{2\sin x\cos x}=\tan x$
- 端点自动配平:$F(0)=f(0)\cdot\tan0=0$ 自动成立(不需要 $f(0)=0$);$F(\frac{\pi}{4})=f(\frac{\pi}{4})\cdot1=0$
正解重构
✅ 构造正确:$F(x)=\dfrac{1-\cos2x}{\sin2x}f(x)=\tan x\cdot f(x)$。
❌ 红色:贴出的 $\color{red}{F'(x)=\dfrac{f'(x)\sin2x-2f(x)\cos2x}{\sin^2 2x}}$ 是 $f/\sin2x$ 的导数,不是 $\tan x\cdot f$ 的。按实际构造,正确求导:
$$F'(x)=f'(x)\tan x+f(x)\sec^2x=\dfrac{f'(x)\sin x\cos x+f(x)}{\cos^2x}$$$F'(\xi)=0$ 得 $f'(\xi)\sin\xi\cos\xi+f(\xi)=0$,两边乘 2:
$$\sin2\xi\cdot f'(\xi)+2f(\xi)=0$$正好是结论。$\blacksquare$
Caution
避免错误的要点:
- 构造完 F 必做求导验证:$F'(\xi)=0$ 必须精确等于结论式。若求导后多出 $\cos2x$ 之类,一验就露馅。
- 积分因子公式要熟:$\int\csc u\,du=\ln|\csc u-\cot u|$,本例 $\int2\csc2x\,dx=\ln|\tan x|$。
- 端点自动配平是构造的一部分:选 $F=f\tan x$ 是因为 $\tan0=0$ 让左端点自动归零,不需要题目额外给 $f(0)=0$。如果构造的 F 在端点要"额外补条件"才能配平,说明构造选错了。
- 最后一步禁止硬凑:解出什么就是什么,写"$\Rightarrow$ 结论"前确认每一步真的能推过去。
归档:核心知识点:通解构造(三角积分因子)、端点自动配平;关联:例240(指数积分因子);复习间隔:1天后
例242 ⭐⭐ — 例6.7 复现 λ 版(独立做对)
Important
题目:设 $f(x)$ 在 $[0,1]$ 上连续、$(0,1)$ 内可导,且 $f(0)=f(1)=0$,$f\left(\frac12\right)=1$。 (1) 证明存在 $\eta\in\left(\frac12,1\right)$,使 $f(\eta)=\eta$; (2) 对任意实数 $\lambda$,证明存在 $\xi\in(0,\eta)$,使 $f'(\xi)-\lambda\big[f(\xi)-\xi\big]=1$。
判定:✅ 独立做对(例 6.7 复现)
✅ (1) $G(x)=f(x)-x$:$G(\frac12)=\frac12\gt0$,$G(1)=-1\lt0$,零点定理 → $\eta\in(\frac12,1)$,$f(\eta)=\eta$。
✅ (2) $F(x)=e^{-\lambda x}\big(f(x)-x\big)$:
- $F(0)=e^{0}\cdot(f(0)-0)=0$;
- $F(\eta)=e^{-\lambda\eta}\big(f(\eta)-\eta\big)=0$——靠第 (1) 问的 η 送零点;
- 罗尔 → $F'(\xi)=0$,展开:
结论命中。$\blacksquare$
Note
构造动机:结论移项后设 $g=f-x$,变成 $g'-\lambda g=0$,积分因子 $e^{-\lambda x}$ → $F=(f-x)e^{-\lambda x}$。连环问的机关:第 (1) 问的 $\eta$ 就是给第 (2) 问送第二个零点的。
归档:核心知识点:零点定理、通解构造(连环问);关联:例6.7(8/25);复习间隔:7天后
例243 ⭐⭐⭐ — 例6.8 同款(思路全对,题面 OCR 反复)
Important
题目(标准版):设 $f(x)$ 在 $[0,1]$ 上连续、$(0,1)$ 内可导,且满足 $f(1)=k\int_0^{1/k}x\,e^{1-x}f(x)\,dx$($k\gt1$)。证明存在 $\xi\in(0,1)$,使 $f'(\xi)=\left(1-\dfrac1\xi\right)f(\xi)$。
Warning
题面 OCR 反复:这题被识别出多个版本——结论 $(1-\xi)^{-1}$、$(1-e^{-\xi})$、$(1-\xi^{-1})$ 反复横跳;被积函数 $e^{-x}$ vs $e^{1-x}$;积分上限 $1$ vs $\dfrac1k$。判题前先对齐题面,尤其是指数位置和括号位置。
判定:✅ 思路全对
用户的推导在正确题面下完全成立——它甚至自己把 OCR 吃掉的 $e^{1-x}$ 和 $\dfrac1k$ 补了回来($e^{-\eta}\cdot e=e^{1-\eta}$ 这个 $e$ 不是无中生有,正是 $e^{1-x}$ 版本的配平)。
✅ 构造:$F(x)=xe^{-x}f(x)$(与标准构造 $xe^{1-x}f(x)$ 差常数 $e$ 倍,$F'=0$ 的零点条件相同)。
✅ 配平:积分中值挖 $\eta\in\left(0,\dfrac1k\right)$:
$$f(1)=k\cdot\dfrac1k\cdot\eta e^{1-\eta}f(\eta)=\eta e^{1-\eta}f(\eta)=e\cdot F(\eta)$$而 $F(1)=e^{-1}f(1)$,故 $f(1)=e\cdot F(1)$。两个都等于 $f(1)$,所以 $F(\eta)=F(1)$。
✅ 罗尔:$\xi\in(\eta,1)\subset(0,1)$,$F'(\xi)=0$。
❌ 末尾展开写乱(OCR/手误),正确版本:
$$F'(x)=e^{-x}\Big(f(x)-x f(x)+x f'(x)\Big)$$$F'(\xi)=0$ 得 $f(\xi)-\xi f(\xi)+\xi f'(\xi)=0$,即 $\xi f'(\xi)=(\xi-1)f(\xi)$:
$$f'(\xi)=\left(1-\dfrac1\xi\right)f(\xi)$$结论命中。$\blacksquare$
Important
这题的真正收获:配平逻辑已内化——即使题面残缺($e^{1-x}$ 被 OCR 成 $e^{-x}$、$\dfrac1k$ 被吞),用户也能顺着等式把正确版本"推"出来。$f(1)=e\cdot F(\eta)$ 和 $f(1)=e\cdot F(1)$ 同时成立 → $F(\eta)=F(1)$,这个"差常数倍也能配平"的意识是今天最值钱的一步。
归档:核心知识点:积分条件配平(差常数倍)、通解构造;关联:例6.8(8/25)、例238;复习间隔:1天后
薄弱点汇总
Warning
🔴 死穴一:构造 F 时被积分式干扰,不验证 F’
- 涉及题号:例238(多乘 x/2)、例241(求导式子与构造对不上)
- 避免:构造完必做三秒自查——$F'(x)$ 展开后是否正好等于结论式?不等于就重构造,别硬凑
- 复习间隔:1天后
Warning
🔴 死穴二:积分条件配平的"逼端点"意识
- 涉及题号:例238、例243
- 避免:罗尔缺第二端点时,问"题目哪条信息能给我这个端点?"——积分条件唯一能挖点的工具是积分中值定理。系数与上限互为倒数是配平机关($2$ 与 $\frac12$、$k$ 与 $\frac1k$)
- 复习间隔:1天后
Important
🟡 注意:语音/OCR 识别导致题面反复
- 涉及题号:例23、例243
- 避免:$f(0)+f(1)$ 与 $f(0)=f(1)$、$e^{-x}$ 与 $e^{1-x}$、$(1-\xi^{-1})$ 与 $(1-\xi)^{-1}$、上限 $1$ 与 $\frac1k$——判题前先对齐题面,别在错误题面上白耗
- 复习间隔:3天后
Note
🟢 提醒:复现题独立做对(例240、例242)
- 通解构造已形成肌肉记忆:$f'-kf=0$ → $e^{-kx}$;$g'-\lambda g=0$ → $e^{-\lambda x}$;$g=f-x$ 的换元视角也熟了
- 复习间隔:7天后
建议复习内容
- 通解构造辅助函数(今天 6 题的共同根基):结论式 $\xi$ 换 $x$ → 写成 $y'+p(x)y=0$ → 积分因子 $e^{\int p\,dx}$ → $F=y\cdot e^{\int p\,dx}$。重点练三个积分因子:$e^{kx}$(指数型)、$x$($f+xf'=0$ 型)、$\tan x$($\sin2x$ 型)
- 积分条件配平三连:积分中值定理挖点 → 找到 $F(1)$ 的配对点 → 罗尔。系数与上限互为倒数($2$ 与 $\frac12$、$k$ 与 $\frac1k$),差常数倍也能配平(例243 的 $e$ 倍)
- 书写纪律:构造完验证 $F'$;除以函数前确认它不为零;平均值分子写全
