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

海明的放缩笔记?

zhuanlan.zhihu.com
图标

这篇文章相当于我对他思想的一个发展和传播(主要是当初我看他的文章期初也没搞懂这个方法,考虑到海明大佬的巨大影响力,以及很多和我一样起初没看懂的同学,或者是根本没听过这个方法的同学,我萌生了写这篇文章的想法)

好久没写函数和不等式类的文章了~


文章的开头由下面这篇文章的一个例题谈起:

未灬秋色:一个含参不等式的多解?

zhuanlan.zhihu.com
图标

求证:当a>0时,不等式e^{2x}-aln xgeqslant 2a+alndfrac{2}{a}恒成立.

下面是海明给出的解法:

3、含参反转(原创)

反转最擅长「一行」,给左侧一加一减,恰好凑出两个能求极小值的函数:

LHS=left(e^{2x}-2ax
ight)+aleft(2x-ln x
ight)geqslantleft(a-aln x
ight)+aleft(1+ln 2
ight)

右侧整理一下就是右边了. 其实这个解法我在2017年年初就已经给出过了,但是不知道为什么市面上没有流传起来,可能是看了也不知道怎么讲给学生吧.

其实这个解法正是他原创的——「凹凸性反转」 f_{1}left(x
ight),f_{2}left(x
ight),...,f_{n}left(x
ight)

我真正了解到还是在他的另一篇文章里面:

未灬秋色:不等式证明的一大误区?

zhuanlan.zhihu.com
图标

在上一篇文章当中提到了含参反转的方法,评论区有同学提出来等号取不取得到的问题. 说实话提出这个问题让我觉得非常的匪夷所思.

很多时候,我们需要证明函数 fleft(x
ight)geqslant 0 ,但并不代表就要证明 fleft(x
ight) 的最小值大于等于 0,因为大多数情况下, fleft(x
ight) 的零点是解不出来的. 凹凸性反转就是为了解决这一情况而产生的.

对于这种导数零点不可求的不等式,我们可以(当然这里并不纠结如何做到)将其转化为证明 fleft(x
ight)geqslant gleft(x
ight) ,然后通过证明 fleft(x
ight)_{min}geqslant gleft(x
ight)_{max} (这个命题显然会更强),来得到结论. 但是,很明显的是, fleft(x
ight) 取最值的位置跟 gleft(x
ight) 取最值的位置一定不一样,否则,我们移项构造 hleft(x
ight)=fleft(x
ight)-gleft(x
ight) ,那 hleft(x
ight)fleft(x
ight) (同时也是 gleft(x
ight) )取最值的位置就是相同的,也就是导数零点可求,那干嘛不直接求导证明呢?

如果我们移项,变成 fleft(x
ight)-gleft(x
ight) ,其中 fleft(x
ight)-gleft(x
ight) 都有最小值(不妨设分别是 ab ),那么 fleft(x
ight)-gleft(x
ight)geqslant a+b 就只是简单的应用了不等式的基本性质:若 a>bc>d ,则 a+c>b+d ,仅此而已.

那么从这里大致可以窥探到这个「凹凸性反转」的奥秘:把整个函数 fleft(x
ight) 分拆成多个函数 f_{1}left(x
ight),f_{2}left(x
ight),...,f_{n}left(x
ight) 之和,分别取 f_{1}left(x
ight),f_{2}left(x
ight),...,f_{n}left(x
ight) 的最小值,则这个整体 fleft(x
ight)geq left[ f_{1}left(x
ight),f_{2}left(x
ight),...,f_{n}left(x
ight) 
ight]_{min} .

至于为什么要叫「凹凸性反转」这个名字呢,我认为这和我的「极偏转公式」(小小打个广告)一样,从结论的形态上面来说的。一般凹函数指下凹函数,凸函数指上凸函数,而下凸函数在给定区间能找到最小值,上凸函数在给定区间能找到最大值,通过上面我引用块的这句话就能明白:

对于这种导数零点不可求的不等式,我们可以(当然这里并不纠结如何做到)将其转化为证明 fleft(x
ight)geqslant gleft(x
ight) ,然后通过证明 fleft(x
ight)_{min}geqslant gleft(x
ight)_{max} (这个命题显然会更强),来得到结论.

好,下面来几道例题:

例题来源(以下给出的解答为个人列印后在学校写的时候原创):

未灬秋色:常见导数放缩题汇总及解答?

zhuanlan.zhihu.com图标

这个题我没有创新的地方,不过可以指出的是:

在上面证明 xleq1 情形时, 对于:ln x+frac{3}{x}=(lnx+frac{1}{x})+frac{2}{x}geq1+2=3 ,这一步运用了凹凸性反转。

其中: lnx+frac{1}{x}geq1 可以用导函数的极小值在 x=1 处取得证明。

解:不等号左边等价于 :(e^{x} ln x+frac{e^{x-1}}{x})+(frac{e^{x-1}}{x}+frac{x}{e^{x-1}}-2)=e^{x-1}(eln x+frac{1}{x})+(frac{e^{x-1}}{x}+frac{x}{e^{x-1}}-2)

第一个括弧里面用导数,极小值在 x=e^{-1} 取得: eln x+frac{1}{x}geq0

第二个括弧里只需用基本不等式即可,在 x=1 取得: frac{e^{x-1}}{x}+frac{x}{e^{x-1}}-2geq0 .

由于等号在不同处取得,综上所述,原不等式成立。

解:原不等式等价于证明: e^{x}ln x+1-xe^{x-1}leq0 .

不等号左边等价于: e^{x-1}(eln x-1)-left[ (x-1)e^{x-1}-1 
ight]leq e^{x-1}(eln x-1)-(x^{2}-x-1)leq-1-(-1)=0

上面第一个不等号用了基本的放缩不等式: e^{x-1}geq x ,由切线不等式: e^{x}-1geq x 得到。

第一个括弧里面用导数,极大值在 x=1 取得: e^{x-1}(eln x-1)leq-1 .

第二个括弧里面用到的是「有界放缩」:等号在端点处 x=1 取得。

有一种办法叫做界性放缩.

界性放缩的意思就是,某个部分,在某个范围内有界,就直接放成它的界.这样做的目的在于减少变数,因为界是固定的,放成界就是放成了定值. 像这里,前两个都是负的,最后一个需要是正的,一个正的要干掉两个负的,那么我用界性放缩把负的都放成一个界,合并在一起,就是一个负的,一正一负打起架来就容易多了...

该思想来源于海明大佬的另一篇文章。

未灬秋色:考前写点「有用」的东西?

zhuanlan.zhihu.com
图标

由于等号在相同处取得,综上所述,原不等式成立。

凹凸性反转就说到这吧,最后还是希望大家能把这个方法掌握,若是对放缩有兴趣的同学,不妨把海明大佬的那篇文章里面的题目都打下来自己独立做一遍,每日几题,相信我,不过五天,你对导数放缩将会有一个新的认知(以下是个人的列印的笔记资料,手机像素不行,只是给大家一个感觉~)!

视频封面

00:20个人列印资料的一个注记情况

最后,一并推荐Dylaaan大大 @Dylaaan 的一篇关于导数含参不等式的放缩方法的文章,一个星期前本人的数学周考在机缘巧合下考察到了一个这种类型的题目,用该法轻松解决,希望大家有兴趣的话不妨也去看看~

Dylaaan:【导数压轴题】「偏导数」与含参不等式?

zhuanlan.zhihu.com
图标

还提一句,凹凸性反转和隐零点在初等程度上面的放缩是可以说能等价的,但在比较谈及精度的情况下,只可以说各有优劣,而且二者可以配合使用。不过个人更喜欢凹凸性反转~

下面是Dylaan大大的一篇不错的介绍隐零点法的文章

Dylaaan:【导数压轴题】「隐零点」的处理策略?

zhuanlan.zhihu.com
图标

推荐阅读:
相关文章