From 743fbcfeac89e7050ad30e88102744d5e424f1f3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=83=91=E5=93=B2=E8=88=AA?= Date: Wed, 14 Jan 2026 13:28:20 +0800 Subject: [PATCH 1/2] =?UTF-8?q?=E4=BF=AE=E6=94=B9=E4=BA=86=E6=96=87?= =?UTF-8?q?=E4=BB=B6=EF=BC=9A?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 素材/微分中值定理的不等式问题.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/素材/微分中值定理的不等式问题.md b/素材/微分中值定理的不等式问题.md index ad98b77..b7c2c97 100644 --- a/素材/微分中值定理的不等式问题.md +++ b/素材/微分中值定理的不等式问题.md @@ -1,3 +1,5 @@ + +当看到多元不等式问题时候,我们可以考虑用微分中值定理来解决,(慎用,因为微分中值定理的放缩精度并不高,但是一旦可以用就非常巧妙) ## 例一 设 $e < a < b < e^2$,证明: $$ From 91fc5d07d1b834695f75233457e8b6242b489398 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=83=91=E5=93=B2=E8=88=AA?= Date: Wed, 14 Jan 2026 15:06:32 +0800 Subject: [PATCH 2/2] =?UTF-8?q?=E4=BF=AE=E6=94=B9=E4=BA=86=E6=96=87?= =?UTF-8?q?=E4=BB=B6=EF=BC=9A?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../微分中值定理的不等式问题.md | 39 ++++++++++++++++++- 1 file changed, 38 insertions(+), 1 deletion(-) diff --git a/素材/微分中值定理的不等式问题.md b/素材/微分中值定理的不等式问题.md index b7c2c97..f916ba4 100644 --- a/素材/微分中值定理的不等式问题.md +++ b/素材/微分中值定理的不等式问题.md @@ -1,5 +1,42 @@ -当看到多元不等式问题时候,我们可以考虑用微分中值定理来解决,(慎用,因为微分中值定理的放缩精度并不高,但是一旦可以用就非常巧妙) +## 微分中值定理证明不等式的要点归纳 + +### 1. **识别不等式结构** + - 若不等式形如 $f(b) - f(a)$ 与 $b-a$ 的关系,或含有函数值差与自变量差之商,可考虑**拉格朗日中值定理**。 + - 若不等式涉及两个不同函数值差的比值,可考虑**柯西中值定理**。 + - 若结论中出现高阶导数(如二阶导),可能需用**泰勒公式**。 + +### 2. **选择合适定理与辅助函数** + - **拉格朗日定理**:常用于"单函数"差值型不等式,构造 $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$ 等,通过求导形式匹配目标。 + +### 3. **利用导数单调性估计中值** + - 应用中值定理得到含 $\xi$ 的表达式后,需估计 $f'(\xi)$ 的范围。 + - 若 $f'(x)$ 单调,则根据 $\xi$ 所属区间确定 $f'(\xi)$ 的上下界,从而导出不等式。 + +### 4. **处理多中值与多次应用** + - 若结论含两个及以上中值,可能需要**多次应用中值定理**(如先在子区间上用拉格朗日,再对导数用罗尔或柯西)。 + - 有时需**结合不同定理**,例如先用柯西得到比值,再用拉格朗日简化。 + +### 5. **验证定理条件** + - 确保函数在闭区间连续、开区间可导,且分母函数导数不为零(柯西定理)。 + +### 6. **结合其他技巧** + - **放大缩小**:对得到的中值表达式进行适当放缩。 + - **函数最值**:若中值表达式为某函数值,可求该函数在区间上的最值。 + - **反证法**:假设不等式不成立,推出矛盾。 + +### 7. **常见题型模式** + - **单中值不等式**:直接构造辅助函数用拉格朗日,利用 $f'(\xi)$ 的范围证明。 + - **双函数比值不等式**:用柯西定理化为导数比,再分析导数比的取值范围。 + - **含参数的不等式**:将参数视为变量,构造含参函数应用中值定理。 + +### 8. **书写规范** + - 清晰写出所构造的函数、使用的区间、定理名称。 + - 明确中值 $\xi$ 的存在范围,并利用该范围进行不等推导。 + +掌握以上要点,可系统解决大多数与微分中值定理相关的不等式证明题。 ## 例一 设 $e < a < b < e^2$,证明: $$