用拉格朗日中值定理求极限|从“平均变化率”到“瞬时变化率”的桥梁
在数学分析中,拉格朗日中值定理(Lagrange's Mean Value Theorem, LMVT)不仅是微分学的基石,更是解决一类特殊极限问题的利器。它不像洛必达法则那样被频繁提及,却在许多场合展现出更自然、更本质的解题路径——尤其当函数结构复杂、高阶导数难以计算、或洛必达陷入循环时,中值定理往往能另辟蹊径,直击本质。
? 核心思想:若函数 $ f $ 在闭区间 $[a, b]$ 上连续、开区间 $(a, b)$ 内可导,则存在一点 $ xi in (a, b) $,使得
$$frac{f(b) - f(a)}{b - a} = f'(xi)$$
这表明:两点间的平均变化率 = 某点处的瞬时变化率。在极限计算中,我们常将 $a$ 或 $b$ 设为趋于某点的变量(如 $x$),从而将原式转化为含 $f'(xi)$ 的表达式,其中 $xi$ 介于变量与极限点之间。
许多初学者误以为“中值定理只能用于证明”,实则它在极限求值中具有极强的构造性——关键在于是否能敏锐识别出结构中的“差商”形态。例如:
- 形如 $displaystyle lim_{x to a} frac{f(x) - f(a)}{x - a}$ 的极限,直接等于 $f'(a)$,这是导数定义;
- 但当分子为 $f(g(x)) - f(h(x))$、分母为 $x - a$,或区间不对称时,直接代入导数定义失效,此时拉格朗日中值定理便成为理想工具。
更进一步,它支持“嵌套应用”:对 $f'(xi)$ 再次应用中值定理,可将高阶无穷小拆解为多个一阶项之积,避免繁琐的泰勒展开。这种“逐层降维”的策略,在处理 $0/0$、$infty/infty$ 型极限时尤为高效。
拉格朗日中值定理 vs 洛必达法则:两种路径的思维差异
“为什么不能总用洛必达?”——这是学习者最常问的问题。二者虽都能处理 $0/0$ 型极限,但逻辑前提、操作方式与适用场景存在根本区别:
? 拉格朗日中值定理
- ✅ 几何意义明确:连接两点的割线斜率等于某点切线斜率;
- ✅ 仅需一阶可导,无需二阶及以上导数存在;
- ✅ 构造性强:可灵活选择区间 $[a,x]$、$[x,b]$ 或 $[g(x),h(x)]$;
- ⚠️ 不保证唯一性:$xi$ 的位置依赖于 $x$,需分析其极限行为;
- ? 适合结构型函数:如 $f(x)-f(y)$、三角函数差、指数函数差等。
? 洛必达法则
- ✅ 机械流程化:直接对分子分母分别求导再取极限;
- ⚠️ 需满足前提:$f',g'$ 存在且 $g'(x)neq0$,极限 $lim frac{f'}{g'}$ 存在或为无穷;
- ⚠️ 易陷入循环:如 $lim_{xto0}frac{sin x - x}{x^3}$ 连续求导仍得 $0/0$;
- ❌ 不适用于非商式:如 $lim_{xto0} left(frac{1}{x} - cot xright)$ 需先通分;
- ? 适合初等函数商:多项式、指数、对数、三角函数组合。
典型案例:为何洛必达“失效”,中值定理却成功?
考虑极限:
$$lim_{x to 0} frac{e^x - 1 - x}{x^2}$$
若用洛必达法则:第一次得 $displaystyle lim_{xto0} frac{e^x - 1}{2x}$,仍是 $0/0$;第二次得 $displaystyle lim_{xto0} frac{e^x}{2} = frac{1}{2}$——看似可行,但依赖两次求导。
而用拉格朗日中值定理:
- 令 $f(t) = e^t$,在区间 $[0,x]$ 上应用中值定理:存在 $xi_1 in (0,x)$,使得
- 代入原式:$displaystyle frac{e^{xi_1} cdot x - x}{x^2} = frac{x(e^{xi_1} - 1)}{x^2} = frac{e^{xi_1} - 1}{x}$
- 对 $e^{xi_1} - 1$ 再次应用中值定理:存在 $xi_2 in (0,xi_1)$,使得
- 于是:$displaystyle frac{e^{xi_1} - 1}{x} = frac{e^{xi_2} cdot xi_1}{x}$
- 由第一步知 $xi_1 = theta x$(其中 $0
- 因此:$displaystyle lim_{xto0} frac{e^{xi_2} cdot xi_1}{x} = lim_{xto0} e^{xi_2} cdot theta = 1 cdot theta$ —— 但 $theta$ 未知!
$$e^x - 1 = e^{xi_1} cdot x$$
$$e^{xi_1} - 1 = e^{xi_2} cdot xi_1$$
⚠️ 此处需修正:因 $xi_1 = theta x$,所以 $displaystyle frac{xi_1}{x} = theta$,但 $theta$ 是 $x$ 的函数,不能直接取极限。需更严谨:
$$frac{e^x - 1 - x}{x^2} = frac{e^{xi_1} cdot x - x}{x^2} = frac{e^{xi_1} - 1}{x} = frac{e^{xi_1} - 1}{xi_1} cdot frac{xi_1}{x}$$
由中值定理,$xi_1 = theta x$($0 $$lim_{xto0} left( frac{e^{xi_1} - 1}{xi_1} cdot theta right) = 1 cdot lim_{xto0} theta$$ 问题仍未解决——这正是中值定理的“陷阱”:$theta$ 的极限不一定存在。但注意,我们可利用 夹逼原理:因 $0 < xi_1 < x$($x>0$ 时),故 $0 < theta < 1$;同理 $x<0$ 时 $1 < theta < 0$,即 $theta in (0,1)$ 恒成立。然而,仅凭此无法确定 $lim theta$。 ✅ 正确做法:改用积分中值定理或泰勒展开更直接。此例说明——拉格朗日中值定理虽强大,但需结合其他工具协同使用,不可机械套用。 重要结论:洛必达法则本质是拉格朗日中值定理与柯西中值定理的推论。从逻辑上,柯西中值定理 ⇒ 洛必达法则,而柯西中值定理是拉格朗日中值定理的推广。因此,中值定理是更基础的工具。
经典例题详解|5大高频题型+完整步骤
题型1:$displaystyle lim_{x to 0} frac{sin x - x}{x^3}$
这是典型的三阶无穷小问题。直接洛必达需三次求导,且易出错;中值定理可分步降阶。
【解法步骤】
Step 1:对 $f(t)=sin t$ 在 $[0,x]$ 上应用中值定理:
$$sin x - sin 0 = cos xi_1 cdot x quad (xi_1 in (0,x))$$
⇒ $sin x = x cos xi_1$
Step 2:代入原式:
$$frac{x cos xi_1 - x}{x^3} = frac{x(cos xi_1 - 1)}{x^3} = frac{cos xi_1 - 1}{x^2}$$
Step 3:对 $g(t)=cos t$ 在 $[0,xi_1]$ 上应用中值定理:
$$cos xi_1 - cos 0 = -sin xi_2 cdot xi_1 quad (xi_2 in (0,xi_1))$$
⇒ $cos xi_1 - 1 = -xi_1 sin xi_2$
Step 4:代入得:
$$frac{-xi_1 sin xi_2}{x^2} = -frac{xi_1}{x} cdot frac{sin xi_2}{xi_2} cdot xi_2$$
Step 5:分析极限:
- 由 $xi_1 in (0,x)$,知 $displaystyle 0 < frac{xi_1}{x} < 1$,且当 $xto0$ 时 $xi_1to0$,但 $frac{xi_1}{x}$ 不一定收敛(如 $x=1/n$,$xi_1$ 可能为 $x/2$ 或 $x/3$);
- 但 $displaystyle lim_{xi_2to0} frac{sin xi_2}{xi_2} = 1$,且 $xi_2 to 0$;
- 关键:$xi_1 = theta x$($0
因此:$displaystyle frac{cos xi_1 - 1}{x^2} = frac{-xi_1 sin xi_2}{x^2} = -frac{xi_1}{x} cdot frac{sin xi_2}{xi_2} cdot xi_2 = -theta cdot (text{→1}) cdot (theta'theta x) = -theta^2 theta' x to 0$
❌ 错误!实际极限为 $-frac{1}{6}$,说明仅用一次中值定理不够——需更高阶构造。
✅ 正确嵌套策略:
对 $f(t)=sin t$ 在 $[0,x]$ 上应用带余项的中值定理(泰勒展开的中值型余项):
$$sin x = x - frac{x^3}{6} cos theta x quad (0 ⇒ $displaystyle frac{sin x - x}{x^3} = -frac{1}{6} cos(theta x) to -frac{1}{6}$ ? 启示:标准中值定理仅保证一阶余项;高阶问题需结合泰勒中值定理(拉格朗日余项),本质仍是中值思想的延伸。
题型2:$displaystyle lim_{x to 0} frac{e^x - e^{-x} - 2x}{x^3}$
【解法步骤】
Step 1:令 $f(t)=e^t$,在 $[-x, x]$ 上应用柯西中值定理(因分子为 $f(x) + f(-x) - 2x$):
更优法:拆为两部分:
$$e^x - 1 - x = frac{x^2}{2} e^{xi_1}, quad e^{-x} - 1 + x = frac{x^2}{2} e^{xi_2}$$
由拉格朗日中值定理(二阶):对 $f(t)=e^t$,在 $[0,x]$ 上:
$$f(x) = f(0) + f'(0)x + frac{f''(xi)}{2}x^2 = 1 + x + frac{e^xi}{2}x^2 quad (xiin(0,x))$$
同理 $e^{-x} = 1 - x + frac{e^{eta}}{2}x^2$($etain(-x,0)$)
⇒ $e^x - e^{-x} = 2x + frac{x^2}{2}(e^xi + e^eta)$
⇒ $e^x - e^{-x} - 2x = frac{x^2}{2}(e^xi + e^eta)$
但这是 $x^2$ 阶,而原式分母为 $x^3$,说明还需三阶项——用拉格朗日中值定理的三阶形式(或泰勒展开):
$$e^x = 1 + x + frac{x^2}{2} + frac{x^3}{6}e^{theta x}$$
⇒ $e^x - e^{-x} = left(1+x+frac{x^2}{2}+frac{x^3}{6}e^{theta_1 x}right) - left(1-x+frac{x^2}{2}-frac{x^3}{6}e^{theta_2 x}right) = 2x + frac{x^3}{6}(e^{theta_1 x} + e^{theta_2 x})$
⇒ $displaystyle frac{e^x - e^{-x} - 2x}{x^3} = frac{1}{6}(e^{theta_1 x} + e^{theta_2 x}) to frac{1}{6}(1+1) = frac{1}{3}$
✅ 结论:极限为 $frac{1}{3}$。
题型3:$displaystyle lim_{x to 1} frac{ln x - (x-1)}{(x-1)^2}$
【解法步骤】
令 $t = x - 1$,则 $x = 1 + t$,$t to 0$:
$$lim_{t to 0} frac{ln(1+t) - t}{t^2}$$
对 $f(t)=ln(1+t)$ 在 $[0,t]$ 上应用中值定理:
$$ln(1+t) - ln 1 = frac{1}{1+xi} cdot t quad (xi in (0,t))$$
⇒ $ln(1+t) = frac{t}{1+xi}$
代入得:
$$frac{frac{t}{1+xi} - t}{t^2} = frac{tleft(frac{1}{1+xi} - 1right)}{t^2} = frac{-xi}{t(1+xi)} = -frac{xi}{t} cdot frac{1}{1+xi}$$
由 $xi in (0,t)$,设 $xi = theta t$($0 $$-theta cdot frac{1}{1+theta t} to -theta quad (tto0)$$ 问题又卡在 $theta$!但注意:我们需二阶中值定理: 对 $f'(t)=frac{1}{1+t}$ 在 $[0,xi]$ 上应用中值定理: $$frac{1}{1+xi} - 1 = -frac{1}{(1+eta)^2} cdot xi quad (eta in (0,xi))$$ ⇒ $ln(1+t) = t left(1 - frac{xi}{(1+eta)^2}right)$ ⇒ $ln(1+t) - t = -t cdot frac{xi}{(1+eta)^2} = -frac{t cdot theta t}{(1+eta)^2} = -frac{theta t^2}{(1+eta)^2}$ ⇒ $displaystyle frac{ln(1+t) - t}{t^2} = -frac{theta}{(1+eta)^2} to -frac{theta}{1}$ 依然含 $theta$。正确做法:用拉格朗日中值定理的积分形式或直接泰勒展开: $$ln(1+t) = t - frac{t^2}{2} + frac{t^3}{3} - cdots$$ ⇒ 极限为 $-frac{1}{2}$ ? 关键提醒:中值定理在对数函数中易因 $xi$ 的不确定性导致分析困难;此时建议优先用泰勒展开,或改用柯西中值定理。
题型4:嵌套结构 $displaystyle lim_{x to 0} frac{sin(tan x) - tan(sin x)}{x^7}$
【解法步骤】
这是高阶极限,直接展开需到 $x^7$ 项,非常繁琐;但用拉格朗日中值定理的嵌套思想可系统处理。
令 $f(u) = sin u$,$g(v) = tan v$,则分子为 $f(g(x)) - g(f(x))$。
对 $f$ 在 $[g(x), f(x)]$ 上应用中值定理(假设 $x>0$ 小量,$g(x) > f(x)$):
$$sin(tan x) - sin(sin x) = cos(xi_1) cdot (tan x - sin x) quad (xi_1 in (sin x, tan x))$$
对 $g$ 在 $[f(x), x]$ 上应用中值定理:
$$tan x - tan(sin x) = sec^2(xi_2) cdot (x - sin x) quad (xi_2 in (sin x, x))$$
但分子是 $sin(tan x) - tan(sin x) = [sin(tan x) - sin(sin x)] + [sin(sin x) - tan(sin x)]$
第二项:$sin(sin x) - tan(sin x) = sin x left( cos(sin x) - frac{1}{cos(sin x)} right) = -sin x cdot frac{2sin^2(sin x)}{cos(sin x)(1+cos(sin x))}$
这仍是 $O(x^3)$,而分母为 $x^7$,说明需更高阶分析。
✅ 实际上,此极限需展开至 $x^7$ 项:
- $sin x = x - frac{x^3}{6} + frac{x^5}{120} - frac{x^7}{5040} + o(x^7)$
- $tan x = x + frac{x^3}{3} + frac{2x^5}{15} + frac{17x^7}{315} + o(x^7)$
- 代入计算得:$sin(tan x) - tan(sin x) = -frac{1}{30}x^7 + o(x^7)$
- ⇒ 极限为 $-frac{1}{30}$
? 启示:中值定理适合低阶(1~2阶)极限;高阶问题仍需泰勒展开。但中值定理可帮助理解“为何高阶项才贡献主部”。
题型5:无穷远极限 $displaystyle lim_{x to infty} x left( sqrt{x^2+1} - x right)$
【解法步骤】
这是 $infty cdot 0$ 型,通常有理化:
$$x cdot frac{(sqrt{x^2+1}-x)(sqrt{x^2+1}+x)}{sqrt{x^2+1}+x} = x cdot frac{1}{sqrt{x^2+1}+x} = frac{x}{sqrt{x^2+1}+x}$$
分子分母同除 $x$:$displaystyle frac{1}{sqrt{1+frac{1}{x^2}}+1} to frac{1}{2}$
用拉格朗日中值定理:
令 $f(t) = sqrt{t}$,在 $[x^2, x^2+1]$ 上应用中值定理:
$$sqrt{x^2+1} - sqrt{x^2} = frac{1}{2sqrt{xi}} cdot 1 quad (xi in (x^2, x^2+1))$$
⇒ $sqrt{x^2+1} - x = frac{1}{2sqrt{xi}}$
⇒ $x(sqrt{x^2+1} - x) = frac{x}{2sqrt{xi}}$
因 $x^2 < xi < x^2+1$,故 $x < sqrt{xi} < sqrt{x^2+1}$
⇒ $frac{x}{2sqrt{x^2+1}} < frac{x}{2sqrt{xi}} < frac{x}{2x} = frac{1}{2}$
又 $displaystyle lim_{xtoinfty} frac{x}{2sqrt{x^2+1}} = frac{1}{2}$,由夹逼准则:
$$lim_{xtoinfty} frac{x}{2sqrt{xi}} = frac{1}{2}$$
✅ 结论:极限为 $frac{1}{2}$。
? 优势:此法无需有理化,且适用于更复杂根式,如 $sqrt[3]{x^3+x} - x$ 等。
高频误区辨析|3大典型错误+正确应对策略
错误做法:对 $f(x)=|x|$ 在 $[-1,1]$ 上直接写 $frac{f(1)-f(-1)}{1-(-1)} = f'(xi)$
问题:$f(x)=|x|$ 在 $x=0$ 不可导,不满足“开区间可导”条件。
后果:得出 $frac{1-1}{2}=0=f'(xi)$,即 $xi=0$,但 $f'(0)$ 不存在。
✅ 正确策略:使用前务必验证:
① 闭区间 $[a,b]$ 连续;
② 开区间 $(a,b)$ 可导。
若不满足,改用分段讨论或柯西中值定理。
错误做法:在 $lim_{xto0} frac{e^x - 1}{x}$ 中,由 $frac{e^x - 1}{x} = e^xi$($xiin(0,x)$),直接令 $xito0$ 得极限为 $e^0=1$。
问题:虽 $xito0$,但 $xi$ 是 $x$ 的函数,不能脱离 $x$ 单独取极限。
正确逻辑:对任意 $varepsilon>0$,存在 $delta>0$,当 $|x| ✅ 正确策略:用 $varepsilon$-$delta$ 语言严格证明,或借助连续性:因 $xi(x)to0$ 且 $e^t$ 在 $t=0$ 连续,故 $e^{xi(x)}to e^0=1$。
错误做法:求 $lim_{xto0} left(frac{1}{x} - cot xright)$,试图对 $frac{1}{x}$ 或 $cot x$ 单独用中值定理。
问题:该极限为 $infty - infty$ 型,需先通分转化为 $frac{sin x - xcos x}{xsin x}$。
正确步骤:
$$frac{sin x - xcos x}{xsin x} = frac{sin x - x + x(1 - cos x)}{xsin x}$$
对 $sin x - x$ 用中值定理:$sin x - x = -frac{x^3}{6}costheta_1 x$
对 $1 - cos x$ 用中值定理:$1 - cos x = 2sin^2frac{x}{2} = frac{x^2}{2}costheta_2 x$
最终得极限为 $0$。
✅ 正确策略:先化简为 $0/0$ 或 $infty/infty$ 型,再判断是否适用中值定理;若分子为和差混合,优先考虑泰勒展开。
适用边界与局限性|何时该放弃中值定理?
尽管拉格朗日中值定理强大,但它并非“万能钥匙”。以下情况建议优先考虑其他方法:
❌ 函数在区间内不可导
如 $f(x)=|x|$、$f(x)=x^{2/3}$ 在 $x=0$ 处不可导,中值定理不适用。
替代方案:分段讨论、左右极限、或改用导数定义。
❌ 高阶无穷小(≥3阶)
如 $lim_{xto0}frac{sin x - x + frac{x^3}{6}}{x^5}$,一阶中值定理只能得到 $O(x^2)$ 信息,无法捕捉更高阶项。
替代方案:泰勒展开(带皮亚诺或拉格朗日余项)。
❌ 非商式极限
如 $lim_{xto0} left(e^x - cos xright)^{1/x}$,为 $1^infty$ 型,需取对数转化为商式。
替代方案:对数恒等式 $a^b = e^{bln a}$,再用中值定理或等价无穷小。
❌ 振荡型极限
如 $lim_{xto0} x^2 sinfrac{1}{x}$,虽极限存在(为0),但 $sinfrac{1}{x}$ 无导数连续性,中值定理无法直接应用。
替代方案:夹逼准则 $|x^2sinfrac{1}{x}| leq x^2 to 0$。
选择策略流程图
- 观察极限类型:是 $0/0$、$infty/infty$ 还是其他?
- 检查函数光滑性:在极限点附近是否连续且可导?
- 分析结构特征:是否为 $f(x) - f(a)$ 形式?
- 预估所需阶数:若为3阶以上,优先泰勒展开。
- 尝试中值定理:构造合适区间,观察 $xi$ 的行为。
- 失败则换法:洛必达、等价无穷小、夹逼准则、单调有界准则。
实际应用场景|数学建模中的中值定理
在工程与物理建模中,拉格朗日中值定理常用于:误差估计、稳定性分析和最优控制。
案例:传感器测量误差传播
假设温度传感器输出电压 $V(T)$ 与温度 $T$ 的关系为 $V(T) = ln(T+1)$,已知在 $T=298$K 时校准,测量值为 $T=298+Delta T$,但实际读数为 $V_{text{meas}} = V(298+Delta T)$。
若电路仅能处理 $V$ 的线性变化,需估算因 $Delta T$ 引起的电压误差。
由拉格朗日中值定理:
$$V(298+Delta T) - V(298) = V'(xi) cdot Delta T = frac{1}{xi+1} cdot Delta T quad (xi in (298, 298+Delta T))$$
若 $|Delta T| < 1$K,则 $xi+1 in (299, 300)$,故 $left| frac{1}{xi+1} right| < frac{1}{299} approx 0.00334$
⇒ 电压误差 $| Delta V | < 0.00334 cdot |Delta T|$
即:温度误差1K → 电压误差 < 0.334 mV
✅ 意义:无需精确知道 $xi$,仅需区间长度即可估计最大误差,为系统设计提供理论依据。
案例:机器人路径规划中的速度约束
机器人从位置 $s(0)=0$ 移动到 $s(10)=50$ 米($t$ 单位:秒),平均速度为 $5$ m/s。若电机最大加速度受限,需验证是否存在某时刻速度恰好为 $5$ m/s。
由拉格朗日中值定理:存在 $t_0 in (0,10)$,使得 $s'(t_0) = frac{s(10)-s(0)}{10-0} = 5$ m/s。
✅ 结论:无论路径如何曲折,只要位置函数可导,必有一刻速度等于平均速度——这对安全控制至关重要。
网友还关心|高频问题集锦
Q1:2023年数学一真题:$displaystyle lim_{xto0} frac{int_0^x sin(x-t)^2 , dt}{x^3}$
解法:令 $u = x - t$,则积分变为 $int_0^x sin u^2 , du$,即求 $displaystyle lim_{xto0} frac{int_0^x sin u^2 , du}{x^3}$
对 $F(x) = int_0^x sin u^2 , du$ 在 $[0,x]$ 上应用中值定理(积分中值定理):
$$int_0^x sin u^2 , du = sin(xi^2) cdot x quad (xi in (0,x))$$
⇒ $displaystyle frac{sin(xi^2) cdot x}{x^3} = frac{sin(xi^2)}{x^2} = frac{sin(xi^2)}{xi^2} cdot frac{xi^2}{x^2}$
因 $xi < x$,设 $xi = theta x$,则 $displaystyle frac{xi^2}{x^2} = theta^2$,且 $theta in (0,1)$
但 $theta$ 未知,需进一步分析:对 $sin u^2$ 在 $[0,xi]$ 上用中值定理(导数形式):
$$sin xi^2 - sin 0 = 2xi cos(eta^2) cdot xi = 2xi^2 cos(eta^2) quad (etain(0,xi))$$
⇒ $sin xi^2 = 2xi^2 cos(eta^2)$
⇒ $displaystyle frac{sin xi^2}{x^2} = 2theta^2 cos(eta^2) to 2theta^2$
❌ 仍含 $theta$!正确做法:用泰勒展开 $sin u^2 = u^2 - frac{u^6}{6} + o(u^6)$,积分得 $frac{x^3}{3} - frac{x^7}{42} + o(x^7)$,极限为 $frac{1}{3}$。
启示:中值定理可启发思路,但最终需结合其他工具。
Q2:IMO预选题:若 $f$ 在 $mathbb{R}$ 上二阶可导,且 $|f(x)| leq 1$,$|f''(x)| leq 1$,证明 $|f'(x)| leq sqrt{2}$
证明:对任意 $h>0$,由泰勒公式(拉格朗日余项):
$$f(x+h) = f(x) + f'(x)h + frac{f''(xi_1)}{2}h^2$$
$$f(x-h) = f(x) - f'(x)h + frac{f''(xi_2)}{2}h^2$$
两式相减:$f(x+h) - f(x-h) = 2f'(x)h + frac{h^2}{2}(f''(xi_1) - f''(xi_2))$
⇒ $displaystyle f'(x) = frac{f(x+h) - f(x-h)}{2h} - frac{h}{4}(f''(xi_1) - f''(xi_2))$
取绝对值并估计:
$$|f'(x)| leq frac{|f(x+h)| + |f(x-h)|}{2h} + frac{h}{4}(|f''(xi_1)| + |f''(xi_2)|) leq frac{2}{2h} + frac{h}{4} cdot 2 = frac{1}{h} + frac{h}{2}$$
令 $g(h) = frac{1}{h} + frac{h}{2}$,求最小值:$g'(h) = -frac{1}{h^2} + frac{1}{2} = 0$ ⇒ $h = sqrt{2}$
⇒ $g(sqrt{2}) = frac{1}{sqrt{2}} + frac{sqrt{2}}{2} = sqrt{2}$
✅ 故 $|f'(x)| leq sqrt{2}$。
关键点:利用拉格朗日中值定理(泰勒展开是其推广)建立导数与函数值的关系,再优化参数。
Q3:学生常问:“中值定理中的 $xi$ 能不能等于端点?”
答:不能!定理明确要求 $xi in (a,b)$,即开区间内。若 $xi$ 可取端点,则对常数函数 $f(x)=C$,有 $f'(a)=0$,但 $f'(a)$ 可能不存在(如单侧导数)。
反例:$f(x)=x$ 在 $[0,1]$ 上,$frac{f(1)-f(0)}{1-0}=1$,但 $f'(0)=1$,$f'(1)=1$,看似 $xi=0$ 或 $1$ 也可。但对 $f(x)=x^2$ 在 $[0,1]$ 上:
$$frac{1^2 - 0^2}{1-0} = 1 = 2xi Rightarrow xi = frac{1}{2} in (0,1)$$
若允许 $xi=0$,则 $f'(0)=0 neq 1$;$xi=1$ 时 $f'(1)=2 neq 1$。因此 $xi$ 必须严格在内部。
教学提示:强调“开区间可导”是确保 $xi$ 不在端点的关键前提;若区间退化为点($a=b$),定理无意义。