『导数』指对混合不等式的证明技巧

您所在的位置:网站首页 构造函数求导题型常见模型 『导数』指对混合不等式的证明技巧

『导数』指对混合不等式的证明技巧

2024-04-22 15:09| 来源: 网络整理| 查看: 265

写在最前面:先说清楚,该法由海明大佬@未灬秋色原创,大家若想更加深入了解,可浏览专栏“海明的放缩笔记”

下周一复课,更新量就少了,见谅~

顺便安利一下一位大佬:

@热爱代数的好学生

引例[1]一、函数的凹凸性f(x) 在区间 I 上连续,如果对 I 上任意两点 x_1,x_2 ,恒有 f\left( \frac{x_1+x_2}{2}\right) f\left( \frac{x_1+x_2}{2}\right) >\frac{f(x_1)+f(x_2)}{2},\\ 那么称 f(x) 在 I 上的图形是(向上)凸的(或凸弧)。

这个定义是直接从几何直观上得来的。如果在曲线弧上面任意取两点,连接这两点的弦总是在弧段的上方,那么曲线就是(向上)凹的,反之也有可类比的结论。取一个特殊的点,即弦的中点,曲线的凹凸性可以用弦的中点与曲线弧上具有相同坐标的点的位置关系来描述。

不过补充一下,中国数学界关于函数凹凸性定义和国外很多定义是反的。国内教材中的凹凸,是指的函数图像形状,而不是指函数的性质。在国外,图像的凹凸与直观感受一致,却与函数的凹凸性相反。

(这对于数学小白的我当然无关啦~)

我们还需要掌握一个运算更加简便的判定定理:

如果函数 f(x) 在区间 I 上二阶可导,则 f(x) 在区间 I 上是凸函数的充要条件是 f''(x)≤0 ;则 f(x) 在区间 I 上是凹函数的充要条件是 f''(x)≥0 。二、常用图像[2]

高中常考的函数便是这两张脸: e^x 和 ln x ,而他们的凹凸性很“显然”。

所以我们需要了解一些相关的图像,便于接下来的转化。

第一个: f(x)=xlnx

第二个: f(x)=\frac{x}{lnx}

第三个: f(x)=\frac{lnx}{x}

第四个: f(x)=xe^x

第五个: f(x)= \frac{x}{e^x}

第六个: f(x)= \frac{e^x}{x}

三、基本原理

证明不等式问题中有一类不等式形式复杂,由即首先知道两个函数(其中一个常常是对数函数与多项式函数的组合,另一个则是指数函数与多项式函数的组合)组合而成,我们往往指对分离,然后研究函数的图像,两个函数图像凹凸性刚好相反,称凹凸反转,这个名词非常形象的阐述了这类题目的解题思想。

问题1:若 F(x)>0 对 x\in D 恒成立(其中 F(x)=f(x)-g(x) )情况①转化为 f(x)>g(x) ,通过分别求出两个函数的最值,若 f(x)_{min}>g(x)_{max} ,则问题得证。情况②转化为 f(x)>g(x) ,通过分别求出两个函数的最值,若 f(x)_{min}=f(x_1)>g(x)_{max}=g(x_2) ,且 x_1\ne x_2 ,则问题得证。

问题2:若 F(x)\geq 0 对 x\in D 恒成立(其中 F(x)=f(x)-g(x) )转化为 f(x)\geq g(x) ,通过分别求出两个函数的最值,若 f(x)_{min}\geq g(x)_{max} ,且 f(x)_{min}=f(x_0)=g(x)_{max}=g(x_0) ,则问题得证。四、凹凸性反转的局限性解法局限性一:不涉及“单调构造”通过下文介绍的方法步骤,一定可以排除整体单调的函数组合。但是单调函数的组合有时也可以通过“最大值小于最小值”的方式说明问题,而且单调函数的组合,如果真构造成功了(如下图),严格来说也属于“凹凸反转”,因此不涉及“单调构造”是本文方法步骤的一个局限。③解法局限性二:构造后可能出现 h(x)_{min} < g(x)_{max} 通过上文介绍的方法步骤构造出先减后增有最小值的 h(x) 函数与先增后减有最大值的 g(x) 函数后,算得的 h(x)_{min} 有可能小于 g(x)_{max} , 导致问题得不到解决(如下图) 。五、例题

\small\boxed{\mathbf{彩蛋}:\\ 筹备群聊啦,感兴趣的可以加入组织鸭~\\ 群号:839481146\\ 初生的幼苗 ,需要你我共同呵护。}\\ 参考^常见导数放缩题汇总及解答 - 未灬秋色的文章 - 知乎 https://zhuanlan.zhihu.com/p/37430349^导数常见组合函数的图像 - 雪地叹息瓶的文章 - 知乎  https://zhuanlan.zhihu.com/p/51012335


【本文地址】


今日新闻


推荐新闻


CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3