Merge remote-tracking branch 'origin/develop' into develop

pull/6/head
王轲楠 3 months ago
commit f0b0e29268

@ -483,6 +483,7 @@ $$f(0) = 0, \, f(1) = 1, \, f\left(\frac{1}{2}\right) > \frac{1}{4}$$证明:
### 法二:直接对所得结果进行放缩
最终目标是将多变量问题变成单变量问题,将复杂变量问题变成简单变量问题
>[!example] 例1
设 $e < a < b < e^2$$$

@ -208,6 +208,8 @@ $f(b)-f(a)=f'(\xi)(b-a)$
其中$\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)$ 的取值范围(有界性、正负性)放大或缩小式子,推导不等式。
@ -413,6 +415,7 @@ $$f(0) = 0, \, f(1) = 1, \, f\left(\frac{1}{2}\right) > \frac{1}{4}$$证明:
- 应用中值定理得到含 $\xi$ 的表达式后,可以通过函数极值的求法求出其最大最小值进行比较
**法二:直接对所得结果进行放缩**
最终目标是将多变量问题变成单变量问题,将复杂变量问题变成简单变量问题
>[!example] 例1
设 $\text{e} < a < b < \text{e}^2$,证明:$$
@ -447,7 +450,7 @@ $$
a^y - a^x > (\cos x - \cos y) \cdot a^x \ln a.$$
**证明**
令 $f(t) = a^t$,则 $f(t)$ 在 $[x, y]$ 上连续,在 $(x, y)$ 内可导。由拉格朗日中值定理,存在 $\xi \in (x, y)$,使得
令 $f(t) = a^t$,则 $f(t)$ 在 $[x, y]$ 上连续,在 $(x, y)$ 内可导。由柯西中值定理,存在 $\xi \in (x, y)$,使得
$$
\frac{a^y - a^x}{\cos x - \cos y} = \frac{a^\xi \ln a}{\sin \xi }
$$

Loading…
Cancel
Save