@ -3,7 +3,7 @@ tags:
- 编写小组
---
**内部资料,禁止传播**
**编委会(不分先后,姓氏首字母顺序):陈峰华 陈玉阶 程奕铭 韩魏 刘柯妤 卢吉辚 王嘉兴 王轲楠 彭靖翔 郑哲航 钟宇哲 支宝宁
**编委会(不分先后,姓氏首字母顺序):陈峰华 陈玉阶 程奕铭 韩魏 刘柯妤 卢吉辚 王嘉兴 王轲楠 彭靖翔 郑哲航 钟宇哲 支宝宁**
## ** 辅助函数的构造方法**
@ -48,7 +48,7 @@ f'(\xi) + P(\xi)f(\xi) = 0
$$
可构造积分因子:
$$
\mu(x) = e^{\int P(x)\mathrm{d}x}
\mu(x) = \t ext{e} ^{\int P(x)\mathrm{d}x}
$$
并设辅助函数:
$$
@ -76,7 +76,7 @@ f'(\xi) = \lambda f(\xi)
$$
可构造辅助函数:
$$
F(x) = e^{-\lambda x} f(x)
F(x) = \t ext{e} ^{-\lambda x} f(x)
$$
或者写成:
$$
@ -84,7 +84,7 @@ f'(\xi) + \lambda f(\xi) = 0
$$
则构造辅助函数:
$$
F(x) = e^{\lambda x} f(x)
F(x) = \t ext{e} ^{\lambda x} f(x)
$$
注: 5实际上是3的 $P(\xi)=\lambda$ 的特殊情况
@ -106,17 +106,19 @@ $$
属于一阶线性微分结构,其中 $P(x) = -2x$。
积分因子为:
$$
\mu(x) = e^{\int (-2x)\mathrm{d}x} = e^{-x^2}
\mu(x) = \t ext{e} ^{\int (-2x)\mathrm{d}x} = \t ext{e} ^{-x^2}
$$
构造辅助函数:
$$
F(x) = e^{-x^2} f(x)
F(x) = \t ext{e} ^{-x^2} f(x)
$$
则 $F(0) = 0$, $F(1) = e^{-1}$。
需进一步寻找另一个点 $c$ 使 $F(c)=0$,才可应用罗尔定理。通常需结合题目其他条件(如积分中值定理、零点定理等)找出该点。
则 $F(0) = 0$, $F(1) = 0$。
于是由罗尔定理,存在$\xi\in(0,1)$, $F'(\xi)=0\Rightarrow f'(\xi)=2f(\xi)$.
---
>[!example] 例2
设 $f(x)$ 在 $[a, b]$ 上三阶可导,且 $f(a) = f'(a) = f(b) =f''(b)= 0$。 (有改动)
设 $f(x)$ 在 $[a, b]$ 上三阶可导,且 $f(a) = f'(a) = f(b) =f''(b)= 0$。
证明:存在 $\xi \in (a, b)$ 使得:$f'''(\xi) + k f''(\xi) = 0$
```text
@ -139,8 +141,10 @@ $$
```
---
>[!example] 例3
设 $f(x)$ 在 $[0, 1]$ 上可导,且$f(1) = 2\sqrt{e}\int_0^{1/2} e^{\frac{x^2}{2}-x} f(x) dx$
设 $f(x)$ 在 $[0, 1]$ 上可导,且$\displaystyle f(1) = 2\sqrt{\t ext{e} }\int_0^{1/2} \t ext{e} ^{\frac{x^2}{2}-x} f(x) dx$
证明:存在 $\xi \in (0, 1)$ 使得:$f'(\xi) = (1-\xi) f(\xi)$
```text
@ -161,12 +165,12 @@ $$
```
```
## ** 罗尔定理**
### ** 原理**
若函数 f(x) 满足以下三个条件:
若函数 $ f(x)$ 满足以下三个条件:
在闭区间 $[a,b]$ 上连续;
在开区间 $(a,b)$ 内可导;
区间端点函数值相等,即 $f(a)=f(b)$;
@ -177,13 +181,13 @@ $$
### ** 适用条件**
罗尔定理的核心适用题型是证明导函数方程 $f'(\xi)=0$ 在区间 $(a,b)$ 内有根以及衍生的相关证明题。
具体可分为以下几类:
1.直接证明 $f'(\xi)$=0 存在根
1. 直接证明 $f'(\xi)$=0 存在根
题目给出函数 f(x) 在 $[a,b]$ 上的连续性、$(a,b)$ 内的可导性,且满足 $f(a)=f(b)$,直接应用罗尔定理证明存在 $\xi\in(a,b)$ 使得 $f'(\xi)=0$。
2.构造辅助函数证明导函数相关方程有根
2. 构造辅助函数证明导函数相关方程有根
对于形如 $f'(\xi)+g(\xi)f(\xi)=0$、$f''(\xi)=0$ 等方程,需构造满足罗尔定理条件的辅助函数 $F(x)$,通过 $F(a)=F(b)$ 推导 $F'(\xi)=0$,进而等价转化为目标方程。
3.结合多次罗尔定理证明高阶导数零点存在
3. 结合多次罗尔定理证明高阶导数零点存在
若函数 f(x) 有 n+1 个点的函数值相等,可多次应用罗尔定理,证明其 n 阶导数 $f^{(n)}(\xi)=0$ 在对应区间内有根。
4.证明函数恒为常数(反证法结合罗尔定理)
4. 证明函数恒为常数(反证法结合罗尔定理)
若 $f'(x)\equiv0$ 在区间内成立,可通过反证法假设存在两点函数值不等,结合罗尔定理推出矛盾,进而证明函数为常数。
罗尔定理针对于一个函数,不同于柯西中值定理针对于两个函数
@ -204,8 +208,17 @@ $$
```
>[!example] 例2
设函数 $f(x)$ 在 $[a,b]$ 上可导,且
$$f(a) = f(b) = 0, \quad f'_+(a)f'_-(b) > 0, $$
@ -226,17 +239,25 @@ $$f(a) = f(b) = 0, \quad f'_+(a)f'_-(b) > 0, $$
```
## ** 拉格朗日中值定理**
### ** 原理**
若函数 f(x) 满足两个条件:
若函数 $ f(x)$ 满足两个条件:
在闭区间 $[a,b]$ 上连续;
在开区间 $(a,b)$ 内可导;
则在 $(a,b)$ 内至少存在一点 $\xi$,使得
$f(b)-f(a)=f'(\xi)(b-a)$
也可写成等价形式 $f'(\xi)=\dfrac{f(b)-f(a)}{b-a}$。
是罗尔定理的推广,同时也是柯西中值定理的特例。其几何意义为:满足条件的函数曲线在区间 (a,b) 内,至少存在一点的切线与连接端点 (a,f(a)) 和 (b,f(b)) 的弦平行。
其中$\xi$也有另一种形式.由于$\xi$是介于$a,b$之间的,我们可以用以下形式表示这种“介于”的性质:$$\xi=a+\theta(b-a),\theta\in(0,1)$$如果令$b-a=h$,则拉格朗日中值定理还可以写成$$f(b)=f(a)+(b-a)f'(a+\theta(b-a))=f(a)+hf'(a+\theta h).$$这也是泰勒公式中拉格朗日余项这个名字的由来。
是罗尔定理的推广,同时也是柯西中值定理的特例。其几何意义为:满足条件的函数曲线在区间 $(a,b)$ 内,至少存在一点的切线与连接端点 $(a,f(a))$ 和 $(b,f(b))$ 的弦平行。
### ** 适用条件**
拉格朗日中值定理的核心适用题型是建立函数增量与导数的关联,进行不等式的证明,这是最常见的题型。通过对目标函数在指定区间上应用拉格朗日中值定理,得到 $f(b)-f(a)=f'(\xi)(b-a)$,再利用导数 $f'(\xi)$ 的取值范围(有界性、正负性)放大或缩小式子,推导不等式。
@ -262,17 +283,18 @@ $$f(0) = 0, \quad |f'(x)| \leq 1,$$证明:在 $(-1,1)$ 内,$|f(x)| < 1$。
```
>[!example] 例2
设 $f''(x) < 0 $ , $ f ( 0 ) = 0 $ , 证 明 对 任 意 $ x_1 > 0, x_2 > 0$ 有
$$f(x_1 + x_2) < f ( x_1 ) + f ( x_2 ) $ $
```text
```
>[!example] 例2
设 $f''(x) < 0 $ , $ f ( 0 ) = 0 $ , 证 明 对 任 意 $ x_1 > 0, x_2 > 0$ 有
$$f(x_1 + x_2) < f ( x_1 ) + f ( x_2 ) $ $
```
@ -297,7 +319,7 @@ $$f(x_1 + x_2) < f(x_1) + f(x_2)$$
( 1) 证明: 对于任何非零实数 $x$,存在唯一的 $\theta(x)$ ($0< \theta ( x )< 1 $),使得
$$f(x) = f(0) + x f'(x\theta(x));$$
( 2) 求
$$ \lim_{x \to 0} \theta(x).$$
$\lim\limits _{x \to 0} \theta(x).$
```text
@ -316,6 +338,10 @@ $$f(x_1 + x_2) < f(x_1) + f(x_2)$$
```
## ** 柯西中值定理**
@ -338,7 +364,7 @@ $$
### ** 适用条件**
柯西中值定理的核心适用题型是**证明形如 $\frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f'(\xi)}{g'(\xi)}$ 的等式成立**,以及处理**涉及两个中值点 $\xi, \eta$ 的问题**。
柯西中值定理的核心适用题型是**证明形如 $\displaystyle{\ frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f'(\xi)}{g'(\xi)} }$ 的等式成立**,以及处理**涉及两个中值点 $\xi, \eta$ 的问题**。
常见应用方向包括:
1. 直接证明存在性等式;
@ -349,7 +375,7 @@ $$
>[!example] 例1
设 $f(x)$ 在 $[a, b]$ 上连续,在 $(a, b)$ 内可导,且 $a>0$。证明存在 $\xi \in (a, b)$,使得:
$$f(b)-f(a) = \xi f'(\xi) \cdot ln(b/a)$$
$$f(b)-f(a) = \xi f'(\xi) \cdot \ ln(b/a)$$
```text
@ -363,12 +389,22 @@ $$f(b)-f(a) = \xi f'(\xi) \cdot ln(b/a)$$
```
---
## 多次运用中值定理
@ -400,6 +436,11 @@ $$f(b)-f(a) = \xi f'(\xi) \cdot ln(b/a)$$
```
@ -421,6 +462,13 @@ $$f(b)-f(a) = \xi f'(\xi) \cdot ln(b/a)$$
@ -454,9 +502,6 @@ $$f(0) = 0, \, f(1) = 1, \, f\left(\frac{1}{2}\right) > \frac{1}{4}$$证明:
@ -470,24 +515,23 @@ $$f(0) = 0, \, f(1) = 1, \, f\left(\frac{1}{2}\right) > \frac{1}{4}$$证明:
## 微分中值定理证明不等式的要点归纳
### 识别不等式结构
**识别不等式结构**
- 若不等式形如 $f(b) - f(a)$ 与 $b-a$ 的关系,或含有函数值差与自变量差之商,可考虑**拉格朗日中值定理**。
### 选择合适定理与辅助函数
**选择合适定理与辅助函数**
- ** 拉格朗日定理**:常用于"单函数"差值型不等式,构造 $f(x)$ 使 $f'(\xi)$ 出现在不等式中。
- ** 柯西定理**:适用于"双函数"比值型不等式,构造 $f(x), g(x)$ 使 $\frac{f'(\xi)}{g'(\xi)}$ 出现。
- ** 辅助函数构造**:常借助常见函数如 $\ln x, e^x, x^n, \arctan x, \sin x, \cos x$ 等,通过求导形式匹配目标。
- ** 辅助函数构造**:常借助常见函数如 $\ln x, \t ext{e} ^x, x^n, \arctan x, \sin x, \cos x$ 等,通过求导形式匹配目标。
### 法一:利用导数单调性估计中值
**法一:利用导数单调性估计中值**
- 应用中值定理得到含 $\xi$ 的表达式后,可以通过函数极值的求法求出其最大最小值进行比较
### 法二:直接对所得结果进行放缩
**法二:直接对所得结果进行放缩**
最终目标是将多变量问题变成单变量问题,将复杂变量问题变成简单变量问题
>[!example] 例1
设 $e < a < b < e ^2 $ , 证 明: $ $
\ln^2 b - \ln^2 a > \frac{4}{e^2}(b-a).$$
设 $\t ext{e} < a < b < \t e xt {e } ^2 $ ,证明:$$
\ln^2 b - \ln^2 a > \frac{4}{\t ext{e} ^2}(b-a).$$
```text
@ -505,15 +549,6 @@ $$f(0) = 0, \, f(1) = 1, \, f\left(\frac{1}{2}\right) > \frac{1}{4}$$证明:
```
>[!example] 例2
设 $a > e$, $0 < x < y < \dfrac { \pi }{ 2 }$,证明:$$
a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
```text
@ -528,13 +563,12 @@ a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
```
>[!example] 例3
证明:当 $x>0$ 时,$$
\frac{\arctan x}{\ln(1+x)} \leq \frac{1+\sqrt{2}}{2}.$$
```text
>[!example] 例2
设 $a > \text{e}$, $0 < x < y < \dfrac { \pi }{ 2 }$,证明:$$
a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
```text
@ -553,9 +587,9 @@ a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
```
>[!example] 例4
(1) 证明:存在 $\theta \in (0, 1)$ 使得 $\ln(1+x) - \ln\left(1+\frac{x}{2}\right) = \frac{x}{2+(1+\theta)x}, \, x > 0$;
(2) 证明不等式 $$\left(1+\frac{1}{n}\right)^{n+1} < e \left ( 1 + \frac { 1 }{ 2n } \right ),$$ 其中 $ n $ 为正整数。
>[!example] 例3
证明:当 $x>0$ 时,$$
\frac{\arctan x}{\ln(1+x)} \leq \frac{1+\sqrt{2}}{2}.$$
```text
@ -572,6 +606,14 @@ a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
```
>[!example] 例4
(1) 证明:存在 $\displaystyle\theta \in (0, 1)$ 使得 $\ln(1+x) - \ln\left(1+\frac{x}{2}\right) = \dfrac{x}{2+(1+\theta)x}, \, x > 0$;
(2) 证明不等式 $$\displaystyle\left(1+\frac{1}{n}\right)^{n+1} < \text { e } \left ( 1 + \frac { 1 }{ 2n } \right ),$$ 其中 $ n $ 为正整数。
```text
@ -589,6 +631,8 @@ a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
```
## 微分中值定理与积分中值定理结合
经过对近十年的期末测试题的观察,微分中值定理通常不会单独出题,而是与积分中值定理一起出,本模块旨在通过几道经典的题目,让同学们熟悉微分中值与定积分中值的综合运用。
首先我们来回顾定积分中值定理:
@ -601,7 +645,7 @@ a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
2. 证明存在 $\xi$ 使得……
>[!example] 例题1
>已知函数$f(x)$在$[0,2]$上可导,且$f(0)=0$, $\large{\int}_{1}^{2}f(x)\mathrm{d}x=0$. 证明:至少存在$\xi\in(0,2)$,使得$f'(\xi)=2022f(\xi)$
>设$f(x)$在$[0,1]$上连续,在$(0,1)$内可导,且$$3\int_{\frac{2}{3}}^1f(x)\mathrm{d}x=f(0).$$证明存在$c\in(0,1)$,使得$f'(c)=0$.
```text
@ -609,15 +653,6 @@ a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
```
>[!example] 例题2
@ -630,25 +665,8 @@ a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
```
>[!example] 例题3
>设$f(x)$在$[0,1]$上连续,在$(0,1)$内可导,且$$3\int_{\frac{2}{3}}^1f(x)\mathrm{d}x=f(0).$$证明存在$c\in(0,1)$,使得$f'(c)=0$.
```text
>已知函数$f(x)$在$[0,2]$上可导,且$f(0)=0$, $\displaystyle{\int}_{1}^{2}f(x)\mathrm{d}x=0$. 证明:至少存在$\xi\in(0,2)$,使得$f'(\xi)=2022f(\xi)$
```