vault backup: 2026-01-16 11:24:34

pull/5/head
idealist999 4 months ago
parent 277ec22cec
commit 12235f6088

@ -278,6 +278,103 @@ $$
所以 $\lim_{x\rightarrow 0} \theta(x)=\frac{1}{2}$。
## **柯西中值定理**
### **原理**
设函数 $f(x)$ 和 $g(x)$ 满足以下条件:
1. 在闭区间 $[a, b]$ 上连续;
2. 在开区间 $(a, b)$ 内可导;
3. 对任意 $x \in (a, b)$,有 $g'(x) \neq 0$
则在 $(a, b)$ 内至少存在一点 $\xi$,使得:
$$
\frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(\xi)}{g'(\xi)}
$$
柯西中值定理的几何意义为:由参数方程 $(g(t), f(t))$ 表示的曲线,在两点间的割线斜率等于曲线上某点切线的斜率。
它与拉格朗日中值定理的关系为:当 $g(x) = x$ 时,柯西中值定理退化为拉格朗日中值定理。它是处理两个函数之间微分中值关系的通用形式。
### **适用条件**
柯西中值定理的核心适用题型是**证明形如 $\frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f'(\xi)}{g'(\xi)}$ 的等式成立**,以及处理**涉及两个中值点 $\xi, \eta$ 的问题**。
常见应用方向包括:
1. 直接证明存在性等式;
2. 通过函数配对,将目标等式转化为柯西中值定理的标准形式;
3. 处理“双中值问题”,常与拉格朗日中值定理结合使用。
### **例题**
>[!example] 例1
设 $f(x)$ 在 $[a, b]$ 上连续,在 $(a, b)$ 内可导,且 $a>0$。证明存在 $\xi \in (a, b)$,使得:
$$\frac{f(b)-f(a)}{b-a} = \xi f'(\xi) \cdot \frac{\ln(b/a)}{b-a}$$
**解析**
将等式变形为:
$$
\frac{f(b)-f(a)}{\ln b - \ln a} = \xi f'(\xi)
$$
取 $g(x) = \ln x$,则 $g'(x) = \frac{1}{x} \neq 0$ 在 $(a, b)$ 内成立。
对 $f(x)$ 与 $g(x)$ 应用柯西中值定理,存在 $\xi \in (a, b)$ 使得:
$$
\frac{f(b)-f(a)}{\ln b - \ln a} = \frac{f'(\xi)}{1/\xi} = \xi f'(\xi)
$$
整理即得所求。
---
>[!example] 例2
设 $f(x)$ 在 $[a, b]$ 上连续,在 $(a, b)$ 内可导,证明存在不同的 $\xi, \eta \in (a, b)$,使得:
$$f'(\xi) = \frac{a+b}{2\eta} f'(\eta)$$
**解析**
1. 对 $f(x)$ 与 $g(x) = \frac{x^2}{2}$ 应用柯西中值定理,存在 $\eta \in (a, b)$ 使得:
$$
\frac{f(b)-f(a)}{(b^2 - a^2)/2} = \frac{f'(\eta)}{\eta}
$$
整理得:
$$
f(b)-f(a) = \frac{b^2 - a^2}{2\eta} f'(\eta)
$$
2. 对 $f(x)$ 应用拉格朗日中值定理,存在 $\xi \in (a, b)$ 使得:
$$
f(b)-f(a) = (b-a) f'(\xi)
$$
3. 联立两式,消去 $f(b)-f(a)$ 得:
$$
(b-a) f'(\xi) = \frac{(b-a)(a+b)}{2\eta} f'(\eta)
$$
由于 $b-a \neq 0$,约去后即得:
$$
f'(\xi) = \frac{a+b}{2\eta} f'(\eta)
$$
---
>[!example] 例3
设 $0 < a < b$,证明存在 $\xi \in (a, b)$,使得:
$$f(b)-f(a) = \frac{3\xi^2}{a^2+ab+b^2} f'(\xi)(b-a)$$
**解析**
将等式变形为:
$$
\frac{f(b)-f(a)}{b^3 - a^3} = \frac{f'(\xi)}{3\xi^2}
$$
取 $g(x) = x^3$,则 $g'(x) = 3x^2 \neq 0$ 在 $(a, b)$ 内成立。
由柯西中值定理,存在 $\xi \in (a, b)$ 使得:
$$
\frac{f(b)-f(a)}{b^3 - a^3} = \frac{f'(\xi)}{3\xi^2}
$$
整理后即得所求。
## 多次运用中值定理
多次运用中值定理一般有如下特征:

Loading…
Cancel
Save