高中数学：构造函数证明不等式
高中数学：利用导数证明不等式的常见题型
利用导数证明不等式的常见题型题型一构造函数法把不等式的证明转化为利用导数研究函数的单调性或求最值的问题，从而证明不等式，而如何根据不等式的结构特征构造一个可导函数是利用导数证明不等式的关键.这四道题比较简单，证明过程略.概括而言，这四道题证明的过程分三个步骤：一是构造函数；二是对函数求导，判断函数的单调性；三是求此函数的最值，得出结论.【启示】证明分三个步骤：一是构造函数；二是对函数求导，判断函数的单调性；三是求此函数的最值，得出结论。
题型二通过对函数的变形，利用分析法，证明不等式【启示】解答第一问用的是分离参数法，解答第二问用的是分析法、构造函数，对函数的变形能力要求较高，大家应记住下面的变形：题型三求最值解决任意、存在性变量问题解决此类问题，关键是将问题转化为求函数的最值问题，常见的有下面四种形式：题型四分拆成两个函数研究【注意】(2)如果按题型一的方法构造函数求导，会发现做不下去，只好半途而废，所以我们在做题时需要及时调整思路，改变思考方向.【启示】掌握下列八个函数的图像和性质，对我们解决不等式的证明问题很有帮助，这八个函数分别为要求会画它们的图像，以后见到这种类型的函数，就能想到它们的性质题型五设而不求当函数的极值点（最值点）不确定时，可以先设出来，只设不解，把极值点代入，求出最值的表达式而证明.【启示】设而不求，整体代换是一种常用的方法，在解析几何中体现很多.在本例第（2）问中，只设出了零点而没有求出零点，这是一种非常好的方法，同学们一定要认真体会，灵活应用.题型六估值法题型七利用图象的特点，证明不等式题型八证明数列不等式题型九利用放缩法证明不等式【注意】在解决第（2）问时，用构造函数法证不出来，又试着分开两个函数仍然不行，正当我一筹莫展时，忽然想到与第一问题的切线联系，如果左边的函数的图像在切线的上方，右边函数的图像在切线的下方，这样问题不就得证了吗？心里非常高兴，马上付诸行动。
导数中证明不等式技巧——构造、切线放缩、二元变量、凹凸反转,唯手熟尔!
导数中证明不等式技巧——构造、切线放缩、二元变量、凹凸反转,唯手熟尔!导数中的不等式证明导数中的不等式证明是高考中的一个经典考点。
由于不等式证明的灵活性和多样性，该考点备受命题者的青睐。
本文将从五个方面系统地介绍一些常规的不等式证明手段。
命题角度1：构造函数典例1】（赣州市2018届高三摸底考试）已知函数$f(x)=1-\ln x+\frac{e}{x}$，$g(x)=x-\frac{e}{x}$，若曲线$y=f(x)$与曲线$y=g(x)$的一个公共点是$A(1,1)$，且在点$A$处的切线互相垂直。
求$a,b$的值，并证明当$x\geq1$时，$f(x)+g(x)\geq\frac{2}{x}$。
解析】（1）$a=b=-1$；2）$g(x)=-\frac{e}{2\ln x}+\frac{x}{2}-\frac{e}{2x}$，$f(x)+g(x)\geq\frac{2}{x}$ $\Leftrightarrow 1-\frac{1}{x}+\frac{e}{x}-\frac{e}{2\ln x}+\frac{x}{2}-\frac{e}{2x}\geq\frac{2}{x}$ $\Leftrightarrow\frac{1}{x}+\frac{ e}{2\ln x}-\frac{x}{2}+\frac{e}{2x}\leq1$。
令$h(x)=f(x)+g(x)-\frac{2}{x}$，则$h(x)=1-\frac{1}{x}+\frac{e}{x}-\ln x-\frac{e}{2\ln x}+\frac{x}{2}-\frac{e}{2x}$，$h'(x)=-\frac{1}{x^2}+\frac{e}{x^2}-\frac{1}{x}-\frac{e}{2x^2}+\frac{1}{2}-\frac{e}{2x^2}$，$h''(x)=\frac{2}{x^3}-\frac{3e}{x^3}+\frac{2e}{x^3}$。
高考数学一轮总复习课件：专题研究-利用导数证明不等式
2a2－4或x＝a＋
a2－4 2.
当x∈(0，a－ 2a2－4)，(a＋ 2a2－4，＋∞)时，f′(x)<0；当
x∈(a－ 2a2－4，a＋ 2a2－4)时，f′(x)>0.
所以f(x)在
0，a－
a2－4
2
，
a＋
2a2－4，＋∞
上单调递
减，在a－ 2a2－4，a＋ 2a2－4上单调递增．
(2)证明：由(1)知，f(x)存在两个极值点时，当且仅当a>2时
课外阅读
一、赋值法证明正整数不等式 (1)函数中与正整数有关的不等式，其实质是利用函数性质 证明数列不等式，证明此类问题时常根据已知的函数不等式， 用关于正整数n的不等式替代函数不等式中的自变量．通过多次 求和达到证明的目的．此类问题一般至少两问，所证的不等式 常由第一问根据待证式的特征而得到． (2)已知函数式为指数不等式(或对数不等式)，而待证不等式 为与对数有关的不等式(或与指数有关的不等式)，还要注意指、 对数式的互化，如ex>x＋1可化为ln(x＋1)<x等．
所以函数h′(x)＝ex＋1－
1 x＋1
在(－1，＋∞)上有唯一零点
x0，且x0∈－12，0. 因为h′(x0)＝0，所以ex0＋1＝x0＋1 1， 即ln(x0＋1)＝－(x0＋1)． 当x∈(－1，x0)时，h′(x)<0，h(x)单调递减；当x∈(x0，＋
∞)时，h′(x)>0，h(x)单调递增，
(2)若f(x)存在两个极值点x1，x2，证明：
f（x1）－f（x2） x1－x2
<a
－2.
【思路】 (1)求f(x)的定义域，对函数f(x)求导，对参数a进
行分类讨论，即可判断f(x)的单调性；(2)结合(1)，求出f(x)存在
【2021高考数学压轴题】构造函数证明不等式
2021高考数学压轴题命题区间探究与突破专题第一篇函数与导数专题04巧妙构造函数，应用导数证明不等式问题一．方法综述利用导数证明不等式是近几年高考命题的一种热点题型．利用导数证明不等式，关键是要找出与待证不等式紧密联系的函数，然后以导数为工具来研究该函数的单调性、极值、最值(值域)，从而达到证明不等式的目的，这时常常需要构造辅助函数来解决．题目本身特点不同，所构造的函数可有多种形式，解题的繁简程度也因此而不同，这里给出几种常用的构造技巧．二．解题策略类型一“比较法”构造差函数证明不等式【例1】【2020·湖南长沙一中月考】已知函数()ln f x ax x =-.（Ⅰ）讨论()f x 的单调性；（Ⅱ）若21,a e ⎛⎤∈-∞- ⎥⎝⎦，求证：()12ax f x ax xe -≥-.【解析】（Ⅰ）由题意得()11'ax f x a x x-=-=，①当0a ≤时，则()'0f x <在()0,+∞上恒成立，∴()f x 在()0,+∞上单调递减.②当0a >时，则当1,x a ⎛⎫∈+∞ ⎪⎝⎭时，()()'0f x f x >，单调递增，当10x a ⎛⎫∈ ⎪⎝⎭，时，()()0f x f x '<，单调递减．综上：当0a ≤时，()f x 在()0,+∞上单调递减；当0a >时，()f x 在10,a ⎛⎫ ⎪⎝⎭上单调递减，在1,a ⎛⎫+∞ ⎪⎝⎭上单调递增.（Ⅱ）令()()12ax g x f x ax xe-=-+1ln ax xe ax x -=--，则()111'ax ax g x eaxea x--=+--()()()111111ax ax ax xe ax e x x--+-⎛⎫=+-=⎪⎝⎭，设()11ax r x xe-=-，则()()1'1ax r x ax e -=+，∵10ax e ->,∴当10,x a⎛⎫∈- ⎪⎝⎭时，()()'0r x r x >，单调递增；当1,x a⎛⎫∈-+∞ ⎪⎝⎭时，()()0r x r x '<，单调递减．∴()2max 1110r x r a ae ⎛⎫⎛⎫=-=-+≤ ⎪ ⎪⎝⎭⎝⎭（因为21a e ≤-），∴110ax e x--≤.∴()g x 在10,a ⎛⎫- ⎪⎝⎭上单调递减，在1,a ⎛⎫-+∞ ⎪⎝⎭上单调递增，∴()min1g x g a ⎛⎫=- ⎪⎝⎭，设(210,t e a⎤=-∈⎦，则()221ln 1(0)t g h t t t e a e ⎛⎫-==-+<≤ ⎪⎝⎭，()211'0h t e t=-≤，()h t 在(20,e ⎤⎦上递减，∴()()20h t h e ≥=；∴()0g x ≥，故()12ax f x ax xe-≥-.说明：判断11ax e x--的符号时，还可以用以下方法判断：由110ax e x --=得到1ln x a x -=，设()1ln x p x x -=，则()2ln 2'x p x x -=，当2x e >时，()'0p x >；当20x e <<时，()'0p x <.从而()p x 在()20,e 上递减，在()2,e +∞上递增.∴()()22min 1p x p e e ==-.当21a e ≤-时，1ln x a x -≤，即110ax e x--≤.【指点迷津】当题目中给出简单的基本初等函数，例如()()3 f x x g x ln x ＝，＝，进而证明在某个取值范围内不等式()()f x g x ≥成立时，可以类比作差法，构造函数()()()()()()h x f x g x x g x f x ϕ＝－或＝－，进而证明()()00min max h x x ϕ≥≤或即可，在求最值的过程中，可以利用导数为工具．此外，在能够说明()()()00g x f x >>的前提下，也可以类比作商法，构造函数()()()()()f x f x h x xg x g x ϕ＝(()=)，进而证明()()()11min max h x x ϕ≥≤．【举一反三】【2020·河北衡水中学月考】已知函数1()ln (1),f x x a a R x=+-∈.（Ⅰ）若()0f x ≥，求实数a 取值的集合；（Ⅱ）证明：212ln (2)x e x x e x x+≥-++-.【解析】（Ⅰ）由已知，有221()(0)a x af x x x x x-'=-=>当0a ≤时，1(ln 202f a =-+<，与条件()0f x ≥矛盾,当0a >时，若(0,)x a ∈，则()0f x '<，()f x 单调递减,若(,)x a ∈+∞，则()0f x '>，则()f x 单调递增.所以()f x 在(0,)+∞上有最小值1()ln (1)ln 1f a a a a a a=+-=+-，由题意()0f x ≥，所以ln 10a a +-≥.令()ln 1g x x x =-+，所以11()1x g x x x-'=-=，当(0,1)x ∈时，()0g x '>，()g x 单调递增；当(1,)x ∈+∞时，()0g x '<，()g x 单调递减，所以()g x 在(0,)+∞上有最大值(1)0g =，所以()ln 10g x x x =-+≤，ln 10a a -+≤，ln 10a a -+=，1a =，综上，当()0f x ≥时，实数a 取值的集合为{}1；（Ⅱ）证明：由（Ⅰ）可知：1a =时，()0f x ≥，即1ln 1x x ≥-在0x >时恒成立.要证212ln (2)x e x x e x x+≥-++-，只需证当0x >时，2(2)10x e x e x ----≥令2()(2)1(0)x h x e x e x x =---->()2(2)x h x e x e '=---，令()2(2)x u x e x e =---，则()2x u x e '=-，令()20x u x e '=-=，解得ln 2x =，所以，函数()u x 在(0,ln 2)内单调递减，在(ln 2,)+∞上单调递增.即函数()h x '在(0,ln 2)内单调递减，在(ln 2,)+∞上单调递增.而(0)1(2)30h e e '=--=->.(ln 2)(1)0h h '<'=∴存在0(0,ln 2)x ∈，使得0()0h x '=当0(0,)x x ∈时，()0,()h x h x '>单调递增；当0(,1)x x ∈时，()0,()h x h x '<单调递减.当(1,)x ∈+∞时，()0,()h x h x '>单调递增，又(0)110,(1)11(2)0h h e e =-==----=，∴对0,()0x h x ∀>≥恒成立，即2(2)10x e x e x ----≥，综上可得：212ln (2)x e x x e x x+≥-++-成立.类型二“拆分法”构造两函数证明不等式【例2】【2020·安徽阜阳统测】设函数()1f x x x=-，()ln g x t x =，其中()0,1x ∈，t 为正实数.（1）若()f x 的图象总在函数()g x 的图象的下方，求实数t 的取值范围；（2）设()()()221ln 1e 11x H x x x x x ⎛⎫=-++-- ⎪⎝⎭，证明：对任意()0,1x ∈，都有()0H x >.【解析】（1）因为函数()f x 的图象恒在()g x 的图象的下方，所以()()1ln 0f x g x x t x x-=--<在区间()0,1上恒成立.设()1ln F x x t x x =--，其中()0,1x ∈，所以()222111t x tx F x x x x-+'=+-=，其中24t ∆=-，0t >.①当240t - ，即02t < 时，()0F x ' ，所以函数()F x 在()0,1上单调递增，()()10F x F <=，故()()0f x g x -<成立，满足题意.②当240t ->，即2t >时，设()()2101x x tx x θ=-+<<，则()x θ图象的对称轴12tx =>，()01θ=，()120t θ=-<，所以()x θ在()0,1上存在唯一实根，设为1x ，则()1,1x x ∈，()0x θ<，()0F x '<，所以()F x 在()1,1x 上单调递减，此时()()10F x F >=，不合题意.综上可得，实数t 的取值范围是(]0,2.（2）证明：由题意得()()21e ln 1e 1xx H x x x x ⎛⎫=---+ ⎪⎝⎭()()21e 1e ln xx x x x x x--+=-，因为当()0,1x ∈时，e 10x x x -+>，ln 0x <，所以()()()21e 10e ln x xx x x H x x x--+>⇔>2e 1e 1ln x x x x x x x-⇔<-+.令()()e 101x h x x x =--<<，则()e 10xh x '=->，所以()h x 在()0,1上单调递增，()()00h x h >=，即e 1x x >+，所以()2e 1111xx x x x x x -+>+-+=+，从而2e e e 11x xx x x x <-++.由（1）知当2t =时，12ln 0x x x --<在()0,1x ∈上恒成立，整理得212ln x x x ->.令()()2e 011xm x x x =<<+，则要证()0H x >，只需证()2m x <.因为()()()222e 101x x m x x-'=>+，所以()m x 在()0,1上单调递增，所以()()e122m x m <=<，即()2m x <在()0,1上恒成立.综上可得，对任意()0,1x ∈，都有()0H x >成立.【指点迷津】当所要证明的不等式由几个基本初等函数通过相乘以及相加的形式组成时，如果对其直接求导，得到的导函数往往给人一种“扑朔迷离”“不知所措”的感觉．这时可以将原不等式合理拆分为()()f x g x ≤的形式，进而证明()()max min f x g x ≤即可，此时注意配合使用导数工具．在拆分的过程中，一定要注意合理性的把握，一般以能利用导数进行最值分析为拆分标准．【举一反三】【2020届福建厦门双十中学月考】已知函数22()1ln ()f x x a x ax a R =-+-∈.（1）讨论()f x 的单调区间；（2）当0a =且(0,1)x ∈，求证：()11x f x x e x+-<.【解析】（1）函数()f x 定义域为(0,)+∞，21()2f x a x a x '=-+-2221(21)(1)a x ax ax ax x x--+-==.①若0a =时，则()0f x <，()f x 在(0,)+∞上单调递减；②若0a >时，1102a a >>-，令1()02f x x a >⇒<-或1x a>.又0x >，()f x ∴在10,a ⎛⎫ ⎪⎝⎭上单调递减，在1,a ⎛⎫+∞ ⎪⎝⎭上单调递增；③若0a <时，1102a a ->>，令1()0f x x a>⇒<或12x a >-.又0x >，()f x ∴在10,2a ⎛⎫- ⎪⎝⎭上单调递减，在1,2a ⎛⎫-+∞ ⎪⎝⎭上单调递增；（2）要证()11x f x x e x +-<，只需证1ln 11x x x e x-+-<，(0,1)x ∈ ，只需证()2(1ln )1x x x x x e -<+-，设()(1ln )g x x x =-，()2()1xh x x x e =+-，()ln 0g x x '=->在(0,1)x ∈上恒成立，所以()g x 在(0,1)上单调递增.所以()(1)1g x g <=，()2()2(2)(1)0x x h x x x e x x e '=--+=-+->，所以()h x 在(0,1)上单调递增，所以()(0)1h x h >=，所以当(0,1)x ∈时，()()g x h x <，即原不等式成立.类型三“换元法”构造函数证明不等式【例3】【2020湖北宜昌一中期中】已知函数()()1xf x e a x =--有两个零点.（1）求实数a 的取值范围；（2）设1x 、2x 是()f x 的两个零点，证明：1212x x x x <+⋅.【解析】（1）函数()()1x f x e a x =--，所以()xf x e a '=-，当0a ≤时，()0f x '>在R 上恒成立，所以()f x 在R 上单调递增，()f x 至多只有一个零点，不符合题意，当0a >时，由()0f x '=得ln x a =，所以(),ln x a ∈-∞时，()0f x '<，()f x 单调递减，()ln ,x a ∈+∞时，()0f x '>，()f x 单调递增，所以ln x a =时()f x 取得极小值，也是最小值，()f x 要有两个零点，则()ln 0f a <，即()2ln 0a a -<，解得2a e >，所以ln 2a >，当1ln x a =<时，得()10f e =>，当2ln ln x a a =>时，()()22ln 2ln 2ln 1f a a a a a a a a =-+=-+，设()2ln 1a a a ϕ=-+，则()2210a a a aϕ-'=-=>所以()a ϕ单调递增，则()()22140a e e ϕϕ>=+->，所以()()2ln 2ln 10f a a a a =-+>，所以()f x 在区间()1,ln a 上有且只有一个零点，在()ln ,2ln a a 上有且只有一个零点，所以满足()f x 有两个零点的a 的取值范围为2()e +∞.（2）1x 、2x 是()f x 的两个零点，则()()120f x f x ==，要证1212x x x x <+⋅，即证()()12111x x --<，根据()()120f x f x ==，可知()111x e a x =-，()221xe a x =-，即证()()12122111x x e x x a+--=<，即证122x x e a +<，即证122ln x x a +<，即证212ln x a x <-，设1ln x a <，2ln x a >，由（1）知()f x 在()ln ,a +∞上单调递增，故只需证明()()212ln f x f a x <-，而()()21f x f x =，所以只需证()()112ln f x f a x <-令()()()2ln g x f a x f x =--，且ln x a<所以()222ln x x a g x e ax a a e =-+-，ln x a <，()22222x x xx x a a e ae g x e a e e +-'=--+=-()2xxe a e -=-<所以()g x 在(),ln a -∞上单调递减，所以()()()()ln 2ln ln ln 0g x g a f a a f a >=--=，所以()()2ln f a x f x ->在(),ln a -∞上恒成立，所以()()112ln f a x f x ->，故原命题得证.【指点迷津】若两个变元x 1，x 2之间联系“亲密”，我们可以通过计算、化简，将所证明的不等式整体转化为关于m(x 1，x 2)的表达式(其中m(x 1，x 2)为x 1，x 2组合成的表达式)，进而使用换元令m(x 1，x 2)＝t ，使所要证明的不等式转化为关于t 的表达式，进而用导数法进行证明，因此，换元的本质是消元．【举一反三】【2020山西太原五中期中】已知函数2()2ln f x x x x =++.（1）求曲线()y f x =在点(1,(1))f 处的切线方程.（2）若正实数12,x x 满足12()()4f x f x +=，求证：122x x +≥.【解析】（1）2(1)2ln111=2f =++，切点为(1,2).2()21f x x x'=++，(1)5k f '==.切线为：25(1)y x -=-，即530x y --=.（2）2212111222()()2ln 2ln 4f x f x x x x x x x +=+++++=221112222ln 2ln 4x x x x x x +++++=.212121212()()42(ln )x x x x x x x x +++=+-令12x x t =，()ln g t t t =-，0t >，11()1t g t t t-'=-=，(0,1)t ∈，()0g t '<，()g t 为减函数，(1,)t ∈+∞，()0g t '>，()g t 为增函数，min ()(1)1g t g ==，所以()1g t ≥.即21212()()426x x x x +++≥+=.得：1212(3)(2)0x x x x +++-≥，得到1220x x +-≥，即：122x x +≥.类型四“转化法”构造函数证明不等式【例4】【2020·天津南开中学月考】已知函数1()ln f x x a x x=-+．（1）讨论()f x 的单调性；（2）若()f x 存在两个极值点12,x x ，证明：()()12122f x f x a x x -<--．【解析】（1）()f x 的定义域为()0,+∞，()222111a x ax f x x x x -+=--+-'=.（i ）若2a ≤，则()0f x '≤，当且仅当2a =，1x =时()0f x '=，所以()f x 在()0,+∞单调递减.（ii ）若2a >，令()0f x '=得，42a x =或42a x =.当0,,22a a x ⎛⎛⎫+∈⋃+∞ ⎪ ⎪ ⎪⎝⎭⎝⎭时，()0f x '<；当,22a a x ⎛+∈ ⎪⎝⎭时，()0f x '>.所以()f x在0,,,22a a ⎛⎛⎫++∞ ⎪ ⎪ ⎪⎝⎭⎝⎭单调递减，在,22a a ⎛-+ ⎪⎝⎭单调递增.（2）由（1）知，()f x 存在两个极值点当且仅当2a >.由于()f x 的两个极值点12,x x 满足210x ax -+=，所以121x x =，不妨设12x x <，则21x >.由于()()12121221212121222ln ln ln ln 2ln 11221f x f x x x x x x a a ax x x x x x x x x x ----=--+=-+=-+----，所以()()12122f x f x a x x -<--等价于22212ln 0x x x -+<.设函数()12ln g x x x x=-+，由（1）知，()g x 在()0,+∞单调递减，又()10g =，从而当()1,x ∈+∞时，()0g x <.所以22212ln 0x x x -+<，即()()12122f x f x a x x -<--.【指点迷津】在关于x 1，x 2的双变元问题中，若无法将所要证明的不等式整体转化为关于m(x 1，x 2)的表达式，则考虑将不等式转化为函数的单调性问题进行处理，进而实现消元的目的．【举一反三】【2020·吉林省实验期末】已知函数()2ln 2f x x x ax x =-+，a ∈R ．（Ⅰ）若()f x 在()0,∞+内单调递减，求实数a 的取值范围；（Ⅱ）若函数()f x 有两个极值点分别为1x ，2x ，证明：1212x x a+>．【解析】（I ）()ln 24f x x ax +'=-．∴()f x 在()0,∞+内单调递减，∴()ln 240f x x ax =+-≤在()0,∞+内恒成立，即ln 24x a x x ≥+在()0,∞+内恒成立．令()ln 2x g x x x =+，则()21ln xg x x --'=，∴当10e x <<时，()0g x '>，即()g x 在10,e ⎛⎫ ⎪⎝⎭内为增函数；当1x e >时，()0g x '<，即()g x 在1,e ⎛⎫+∞ ⎪⎝⎭内为减函数．∴()g x 的最大值为1g e e ⎛⎫= ⎪⎝⎭，∴e ,4a ⎡⎫∈+∞⎪⎢⎣⎭（Ⅱ）若函数()f x 有两个极值点分别为1x ，2x ，则()ln 240f x x ax =+-='在()0,∞+内有两根1x ，2x ，由（I ），知e 04a <<．由1122ln 240ln 240x ax x ax +-=⎧⎨+-=⎩，两式相减，得()1212ln ln 4x x a x x -=-．不妨设120x x <<，∴要证明1212x x a +>，只需证明()()121212142ln ln x x a x x a x x +<--．即证明()1212122ln ln x x x x x x ->-+，亦即证明12112221ln 1x x x x x x ⎛⎫- ⎪⎝⎭>+．令函数．∴22(1)'()0(1)x h x x x --=≤+，即函数()h x 在(]0,1内单调递减．∴()0,1x ∈时，有()()10h x h >=，∴2(1)ln 1x x x ->+．即不等式12112221ln 1x x xx x x ⎛⎫- ⎪⎝⎭>+成立．综上，得1212x x a+>．三．强化训练1.【2020·辽宁本溪一高期末】已知a R ∈，函数2()x f x e ax =+.（1）()f x '是函数数()f x 的导函数，记()()g x f x '=，若()g x 在区间(,1]-∞上为单调函数，求实数a 的取值范围；（2）设实数0a >，求证：对任意实数12,x x ()12x x ≠，总有()()121222f x f x x x f ++⎛⎫<⎪⎝⎭成立.附：简单复合函数求导法则为[()]()f ax b af ax b ''+=+.【解析】（1）由已知得()2x f x e ax '=+，记()2x g x e ax =+，则()2xg x e a '=+.①若0a ≥，()0g x '>，()g x 在定义域上单调递增，符合题意；②若0a <，令()0g x '=解得()ln 2x a =-，()g x '自身单调递增，要使导函数()g x 在区间(],1-∞上为单调函数，则需()ln 21a -≥，解得2ea ≤-，此时导函数()g x 在区间(],1-∞上为单调递减函数.综合①②得使导函数()f x '在区间(],1-∞上为单调函数的a 的取值范围是[),0,2e ⎛⎤-∞-+∞ ⎥⎝⎦.（2）因为12x x ≠，不妨设12x x <，取1x 为自变量构造函数，()()()1212122f x f x x x F x f ++⎛⎫=-⎪⎝⎭，则其导数为()()11211222f x x x F x f '+⎛⎫''=- ⎪⎝⎭()121122x x f f x ⎡+⎤⎛⎫''=- ⎪⎢⎥⎝⎭⎣⎦0a > ()2xf x e ax ∴'=+在R 上单调递增而且12211022x x x x x +--=>，所以()1212x x f f x +⎛⎫''> ⎪⎝⎭，即()10F x '>.故关于1x 的函数()1F x 单调递增，()()120F x F x <=即()()121222f x f x x x f ++⎛⎫<⎪⎝⎭证得.2.【2020·湖北随州一中期末】高三月考（理））已知函数()ln f x ax x =-.（Ⅰ）求()f x 的极值；（Ⅱ）若1a =-，1b ≥，()()xg x f x be =+，求证：()0g x >.【解析】（Ⅰ）()()10f x a x x'=->，当0a ≤时，()0f x '<恒成立，则()f x 在()0,∞+上单调递减，()f x 无极值；当0a >时，令()0f x '>，得1x a >；令()0f x '<，得10x a<<，则()f x 在10,a ⎛⎫ ⎪⎝⎭上单调递减，在1,a ⎛⎫+∞ ⎪⎝⎭上单调递增，()f x 有极小值为1ln a +，无极大值；（Ⅱ）当1a =-，1b =时，()()ln 0xg x e x x x =-->，()11x g x e x'=--，令()()h x g x '=，则()210x h x e x =+>'，所以()h x 在()0,∞+上单调递增.又1302h ⎛⎫=< ⎪⎝⎭，()120h e =->，所以01,12x ⎛⎫∃∈ ⎪⎝⎭，使得()000110x h x e x =--=，即0011x e x =+，所以函数()g x 在()00,x 上单调递减，在()0,x +∞上单调递增，所以函数()g x 的最小值为()00000001ln 1ln xg x e x x x x x =--=+--，又函数11ln y x x x=+--在1,12⎛⎫⎪⎝⎭上是单调减函数，所以()011ln1110g x >+--=>，又1b ≥，()()x xf x be f x e +≥+，故()0g x >．3.【2020·湖北黄石一高月考】已知函数2()1f x e x e =+--.（1）若()f x ax e ≥-对x ∈R 恒成立，求实数a 的值；（2）若存在不相等的实数1x ，2x ，满足12()()0f x f x +=，证明：122x x +<.【解析】（1）令()()()(1)1x g x f x ax e e a x =--=+--，则()1x g x e a '=+-，由题意，知()0g x ≥对x ∈R 恒成立，等价min ()0g x ≥.当1a ≤时，由()0g x '≥知()(1)1x g x e a x =+--在R 上单调递增.因为1(1)(1)10g a e-=---<，所以1a ≤不合题意；当1a >时，若(,ln(1))x a ∈-∞-，则()0g x '<，若(ln(1),)x a ∈-+∞，则()0g x '>，所以，()g x 在(,ln(1))a -∞-单调递减，在(ln(1),)a -+∞上单调递增.所以min ()(ln(1))2(1)ln(1)0g x g a a a a =-=-+--≥记()2(1)ln(1)(1)h a a a a a =-+-->，则()ln(1)h a a '=--.易知()h a 在(1,2)单调递增，在(2,)+∞单调递减，所以max ()(2)0h a h ==，即2(1)ln(1)0a a a -+--≤.而min ()2(1)ln(1)0g x a a a =-+--≥，所以2(1)ln(1)0a a a -+--=，解得2a =.（2）因为()()120f x f x +=，所以12122(1)x x e e x x e +++=+.因为12122122,x x x x e e ex x ++≥≠，所以121222x x x x e e e++>令12x x t +=，则22220t e t e +--<.记2()2220tm t e t e =+--<，则2()10t m t e '=+>，所以()m t 在R 上单调递增.又(2)0m =，由22220te t e +--<，得()(2)m t m <，所以2t <，即122x x +<.4．【2020·浙江高温州三中期末】已知函数()11114x x e e ax a f x ++⎛⎫=-+- ⎪⎝⎭，其中2.718e =⋅⋅⋅是自然对数的底数，()()'g x f x =是函数()f x 的导数.（1）若()g x 是R 上的单调函数，求a 的值；（2）当78a =时，求证：若12x x ≠，且122x x +=-，则()()122f x f x +>.【解析】（1）()()1112'1x x e e ax g x f x ++⎛⎫=-- ⎝=⎪⎭，()()11'1x x e e x g x a a ++=---，由题意()110x e ax a G x +=---≥恒成立，由于()10G -=，所以()'10G -=，解得1a =.方法一：消元求导死算（2）()11171488x x e x e f x ++⎛⎫=-- ⎪⎝⎭()111731484x x e e x ++⎛⎫=-++ ⎪⎝⎭，令1x t +=，120t t +=，不妨设210t x =+>，()173484t th e e t t ⎛⎫=-+⎪⎝⎭，令()()()H t h t h t =+-173173484484t tt t e e t e e --⎛⎫⎛⎫=-++++⎪ ⎪⎝⎭⎝⎭，原题即证明当0t >时，()2H t >，()171171288288't tt t e e t e e H t t --⎛⎫⎛⎫=---+-⎪ ⎪⎝⎭⎝⎭()()()()171288t t t t t t t te e e e t e e e e ----=+--+--()()()()711208216t t t t t t t t e e e e t e e e e ----⎡⎤⎡⎤=+--+-+-≥⎢⎥⎣⎦⎣⎦，其中()()11'1022t t t t e e t e e --⎡⎤--=+-≥⎢⎥⎣⎦，因为()02H =，所以当0t >时，()2H t >，得证.5.【2020·安徽黄山期末】已知函数()()2e 12e x x f x a a x =+--.（1）当0a <时，讨论()f x 的单调性；（2）若()f x 有两个不同零点1x ，2x ，证明：1a >且120x x +<.【解析】（1）()()()()22e 12e 1e 12e 1x x x x f x a a a '=+--=-+.因为0a <，由()0f x '=得，0x =或1ln 2x a ⎛⎫=- ⎪⎝⎭.i ）1ln 02a ⎛⎫-< ⎪⎝⎭即12a <-时，()f x 在1,ln 2a ⎛⎫⎛⎫-∞- ⎪ ⎪⎝⎭⎝⎭单调递减，在1ln ,02a ⎛⎫⎛⎫- ⎪ ⎪⎝⎭⎝⎭单调递增，在()0,∞+单调递减；ii ）1ln 02a ⎛⎫-=⎪⎝⎭即12a =-时，()f x 在(),-∞+∞单调递减；iii ）1ln 02a ⎛⎫->⎪⎝⎭即102a -<<时，()f x 在(),0-∞单调递减，在10,ln 2a ⎛⎫⎛⎫- ⎪ ⎪⎝⎭⎝⎭单调递增，在1ln ,2a ⎛⎫⎛⎫-+∞ ⎪⎪⎝⎭⎝⎭单调递减.（2）由（1）知，12a <-时，()f x 的极小值为111ln 1ln 10242f a a a ⎛⎫⎛⎫⎛⎫-=--->> ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭，102a -<<时，()f x 的极小值为()0110f a =->>，12a =-时，()f x 在(),-∞+∞单调，故0a <时，()f x 至多有一个零点.当0a ≥时，易知()f x 在(),0-∞单调递减，在()0,∞+单调递增.要使()f x 有两个零点，则()00f <，即120a a +-<，得1a >.令()()()F x f x f x =--，（0x >），则()()()F x f x f x '''=+-()()22e 12e 1x x a a =+--()()22e 12e 1x x a a --++--()()()2e e 1e e 2e e 20x x x x x x a ---=+++-++-≥，所以()F x 在0x >时单调递增，()()00F x F >=，()()f x f x >-.不妨设12x x <，则10x <，20x >，20x -<，()()()122f x f x f x =>-.由()f x 在(),0-∞单调递减得，12x x <-，即120x x +<.6.【2020·山东东营期末】已知函数()()sin ,ln f x x a x g x x m x =-=+.(1)求证:当1a ≤时,对任意()()0,,0x f x ∈+∞>恒成立;(2)求函数()g x 的极值;(3)当12a =时,若存在()12,0,x x ∈+∞且12x x ≠,满足()()()()1122f x g x f x g x +=+,求证:12249x x m <.【解析】(1)()()sin 1cos f x x a x f x a x '=-∴=-，1cos 1x -≤≤ ,()11cos 0a f x a x '∴≤=-≥，,()sin f x x a x =-在()0+∞，上为增函数,所以当()0,x ∈+∞时,恒有()()00f x f >=成立;(2)由()()()ln ,10m x mg x x m x g x x x x+'=+∴=+=>当()00m g x '≥>，()g x 在()0+∞，上为增函数,无极值当()()0,00;0m x m g x x m g x ''<<<-<>->，，()g x 在()0m -，上为减函数,在(),m -+∞上为增函数,()x m x ∴=-，g 有极小值()ln m m m -+-,无极大值,综上知:当()0m g x ≥，无极值,当()0m g x <，有极小值()ln m m m -+-,无极大值.(3)当()11sin 22a f x x x ==-，在()0+∞，上为增函数,由(2)知,当0m ≥,()g x 在()0+∞，上为增函数,这时,()()f x g x +在()0+∞，上为增函数,所以不可能存在()12,0,x x ∈+∞,满足()()()()1122f x g x f x g x +=+且12x x ≠所以有0m <现不防设()()()()1211220x x f x g x f x g x <<+=+，得:111222112sin ln 2sin ln 22x x m x x x m x -+=-+()()()2121211ln ln 2sin sin 2m x x x x x x --=---①1122sin sin x x x x -<-()()212111sin sin 22x x x x -->--②由①②式可得:()()()2121211ln ln 22m x x x x x x -->---即()()21213ln ln 02m x x x x -->->又1221ln ln ,ln ln 0x x x x <->2121302ln ln x x m x x -∴->⨯>-③又要证12249x x m <，即证21294m x x >120,0m x x <<<即证m ->……④所以由③式知,只需证明:2121ln ln x x x x ->-2121ln 1x x x x ->设211x t x =>,只需证1ln t t ->即证()ln 01t t ->>令()()ln 1h t t t =>由()()()2101h t t h t -'=>>，在()1+∞，上为增函数,()()10h t h∴>=2121ln ln x x x x -∴>-成立,所以由③知,0m ->>成立,所以1224 9x xm 成立.7.【2020届四川省成都一诊】已知函数.（1）求曲线在点处的切线方程；（2）设，证明：.【解析】（1）由题意，又，所以，因此在点处的切线方程为，即（2）证明：因为，所以由于，等价于，令，设函数当时，，所以，所以在上是单调递增函数，又，所以，所以，即等价于，令，设函数当时，，所以，所以在上是单调递减函数，又，所以所以，即综上①②可得：.8.【2020·天津南开期末】已知2()46ln f x x x x =--，（1）求()f x 在(1,(1))f 处的切线方程以及()f x 的单调性；（2）对(1,)x ∀∈+∞，有21()()6112xf x f x x k x ⎛⎫'->+-- ⎪⎝⎭恒成立，求k 的最大整数解；（3）令()()4(6)ln g x f x x a x =+--，若()g x 有两个零点分别为1x ，2x ()12x x <且0x 为()g x 的唯一的极值点，求证：12034x x x +>.【解析】（1）2()46ln f x x x x=-- 所以定义域为()0,+¥6()24f x x x'∴=--；(1)8f '=-；(1)3f =-所以切线方程为85y x =-+；2()(1)(3)f x x x x'=+-，令()0f x '>解得3x >令()0f x '<解得03x <<所以()f x 的单调递减区间为()0,3，单调递增区间为(3,)+∞.（2）21()()6112xf x f x x k x ⎛⎫'->+-- ⎪⎝⎭等价于min ln ()1x x x k h x x +<=-；22ln ()(1)x x h x x --'∴=-，记()2ln m x x x =--，1()10m x x'=->，所以()m x 为(1,)+∞上的递增函数，且(3)1ln 30m =-<，(4)2ln 40m =->，所以0(3,4)x ∃∈，使得()00m x =即002ln 0x x --=，所以()h x 在()01,x 上递减，在()0,x +∞上递增，且()000min 000ln ()(3,4)1x x x h x h x x x +===∈-；所以k 的最大整数解为3.（3）2()ln g x x a x =-，()20ag x x x x -'=-==得0x =，当x ⎛∈ ⎝，()0g x '<，x ⎫∈+∞⎪⎪⎭，()0g x '>；所以()g x在⎛ ⎝上单调递减，⎫+∞⎪⎪⎭上单调递增，而要使()g x 有两个零点，要满足()00g x <，即2ln 02g a a e =-<⇒>；因为10x <<2x >，令21x t x =(1)t >，由()()12f x f x =，221122ln ln x a x x a x ∴-=-，即：2221111ln ln x a x t x a tx -=-，212ln 1a tx t ∴=-而要证12034x x x +>，只需证1(31)t x +>即证：221(31)8t x a+>即：22ln (31)81a t t a t +>-由0a >，1t >只需证：22(31)ln 880t t t +-+>，令22()(31)ln 88h t t t t =+-+，则1()(186)ln 76h t t t t t'=+-++令1()(186)ln 76n t t t t t =+-++，则261()18ln 110t n t t t -'=++>(1)t >故()n t 在(1,)+∞上递增，()(1)0n t n >=；故()h t 在(1,)+∞上递增，()(1)0h t h >=；12034x x x ∴+>.9．【2020·湖南洪湖期末】已知函数()1,f x xlnx ax a R=++∈（1）当0x >时，若关于x 的不等式()0f x ≥恒成立，求a 的取值范围；（2）当*n N ∈时，证明：2223122421n n n ln ln ln n n n +<+++<++ ．【解析】（1）由()0f x ≥，得ln 10x x ax ++≥(0)x >.整理，得1ln a x x -≤+恒成立，即min 1ln a x x ⎛⎫-≤+ ⎪⎝⎭.令()1ln F x x x =+.则()22111'x F x x x x-=-=.∴函数()F x 在()0,1上单调递减，在()1,+∞上单调递增.∴函数()1ln F x x x=+的最小值为()11F =.∴1a -≤，即1a ≥-.∴a 的取值范围是[)1,-+∞.（2）∵24n n +为数列()()112n n ⎧⎫⎪⎪⎨⎬++⎪⎪⎩⎭的前n 项和，1n n +为数列()11n n ⎧⎫⎪⎪⎨⎬+⎪⎪⎩⎭的前n 项和.∴只需证明()()211ln 12n n n n +<++()11n n <+即可.由（1），当1a =-时，有ln 10x x x -+≥，即1ln x x x ≥-.令11n x n +=>，即得1ln 11n n n n +>-+11n =+.∴2211ln 1n n n +⎛⎫> ⎪+⎝⎭()()112n n >++1112n n =-++.现证明()211ln 1n n n n +<+，即<==()*现证明12ln (1)x x x x <->.构造函数()12ln G x x x x=--()1x ≥，则()212'1G x x x =+-22210x x x-+=≥.∴函数()G x 在[)1,-+∞上是增函数，即()()10G x G ≥=.∴当1x >时，有()0G x >，即12ln x x x <-成立.令x =，则()*式成立.综上，得()()211ln 12n n n n +<++()11n n <+.对数列()()112n n ⎧⎫⎪⎪⎨⎬++⎪⎪⎩⎭，21ln n n +⎧⎫⎨⎬⎩⎭，()11n n ⎧⎫⎪⎪⎨⎬+⎪⎪⎩⎭分别求前n 项和，得223ln 2ln 242n n <++21ln 1n n n n ++⋅⋅⋅+<+.10.【2020·全国高三专题】已知函数()ln a f x x x=+，其中a R ∈．（1）试讨论函数()f x 的单调性；（2）若1a =，试证明：()e cos x x f x x +<．【解析】（1）由221()a x a f x x x x -'=-=(0)x >知：（i ）若0a ≤，2()0(0)x a f x x x -'=>>，∴()f x 在区间()0,∞+上为增函数．（ii ）若0a >，∴当x ∈()0,a 时，有()0f x '<，∴()f x 在区间()0,a 上为减函数．当x ∈(),a +∞时，有()0f x '>，∴()f x 在区间(),a +∞上为增函数．综上：当0a ≤时，()f x 在区间()0,∞+上为增函数；当0a >时，()f x 在区间()0,a 上为减函数；()f x 在区间(),a +∞上为增函数．（2）若1a =，则1()ln (0)f x x x x =+>要证e cos ()x x f x x +<，只需证ln 1e cos x x x x +<+，即证：ln e cos 1x x x x <+-.（i ）当01x <≤时，ln 0x x ≤，而e cos 11cos11cos10x x +->+-=>∴此时ln <e cos 1x x x x +-成立.（ii ）当1x >时，令()e cos ln 1x g x x x x =+--，()0,x ∈+∞，∵()e sin ln 1x g x x x '=---，设()()e sin ln 1x h x g x x x '==---，则1()e cos x h x x x'=-- 1x >，∴1()e cos e 110x h x x x '=-->-->∴当1x >时，()h x 单调递增，∴()(1)e sin110h x h >=-->，即()0g x '>∴()g x 在()1,+∞单调递增，∴()(1)e cos110g x g >=+->即()e cos ln 10x g x x x x =+-->，即ln <e cos 1x x x x +-，∴e cos ()<x x f x x+综上：当0x >时，有e cos ()<x x f x x +成立.。
构造函数法证明泰勒展开不等式的八种方法
构造函数法证明泰勒展开不等式的八种方
法
泰勒展开定理是微积分中一个非常重要的定理，它可以将一个函数在某一点附近展开为无穷的多项式和。
在实际应用中，我们经常需要保留部分项，将函数近似表示，而泰勒展开就可以很好地满足我们的需求。
本文将介绍泰勒展开不等式的八种证明方法，其中均使用了构造函数的方法。
1. 利用 $(1+x)^n$ 的二项式展开式证明。
2. 利用 $e^x$ 的泰勒展开式证明。
3. 利用 $\ln (1+x)$ 的泰勒展开式证明。
4. 利用 $\int_0^x \cos t^2 dt$ 的收敛性证明。
5. 利用 $\int_0^x e^{-t^2} dt$ 的平方证明。
6. 利用 $\tan^{-1} x$ 和 $\tanh^{-1} x$ 的泰勒展开式证明。
7. 利用 $\sin x$ 和 $\cos x$ 的泰勒展开式证明。
8. 利用 $\int_0^1 x^p (1-x)^q dx$ 的收敛性证明。
这八种证明方法各有不同的特点和难度，涉及到的数学知识也
各有侧重。
但它们都使用了构造函数的方法，通过寻找适当的函数，将展开式转化为极限形式或积分形式，然后进一步证明不等式的成立。
总之，泰勒展开定理和泰勒展开不等式是数学中非常重要的工具，它们不仅有着重要的理论价值，在工程和自然科学中也有着广
泛的应用。
202新数学复习第二章函数导数及其应用2.2.2利用导数证明不等式学案含解析
第2课时利用导数证明不等式构造函数证明不等式：构造法证明不等式是指在证明与函数有关的不等式时，根据所要证明的不等式,构造与之相关的函数，利用函数单调性、极值、最值加以证明．常见的构造方法有:(1）直接构造法:证明不等式f(x）〉g(x)（f（x)<g(x))转化为证明f(x)－g（x）>0（f（x）－g(x）〈0），进而构造辅助函数h（x）＝f(x）－g(x)；(2）适当放缩构造法：一是根据已知条件适当放缩,二是利用常见的放缩结论，如ln x≤x－1，e x≥x＋1，ln x〈x<e x（x〉0),错误!≤ln（x＋1)≤x（x>－1）；(3)特征分析构造法：稍作变形再构造，对原不等式同解变形，如移项、通分、取对数，把不等式转化为左、右两边是相同结构的式子的形式，根据“相同结构"构造辅助函数；(4）构造双函数:若直接构造函数求导难以判断符号，导函数零点也不易求得，因此函数单调性与极值点都不易获得，则可构造函数f（x)和g(x)，利用其最值求解．方法1直接构造差函数法【例1】已知函数f(x)＝1－错误!,g(x)＝错误!＋错误!－bx(e为自然对数的底数），若曲线y＝f(x)与曲线y＝g（x）的一个公共点是A（1,1）,且在点A处的切线互相垂直．(1）求a，b的值；(2)求证：当x≥1时,f（x）＋g(x)≥错误!.【解】（1）因为f（x)＝1－ln x x，所以f′（x)＝错误!，f′（1)＝－1。
因为g(x)＝错误!＋错误!－bx，所以g′(x）＝－错误!－错误!－b。
因为曲线y＝f(x）与曲线y＝g(x）的一个公共点是A(1，1)，且在点A处的切线互相垂直，所以g（1）＝1，且f′（1)·g′(1)＝－1，即g(1）＝1＋a－b＝1，g′（1）＝－a－1－b＝1，解得a＝－1，b＝－1。
（2)证明：由(1)知,g（x）＝－错误!＋错误!＋x,则f(x)＋g（x)≥2x⇔1－错误!－错误!－错误!＋x≥0.令h(x)＝1－错误!－错误!－错误!＋x(x≥1),则h′(x)＝－错误!＋错误!＋错误!＋1＝错误!＋错误!＋1.因为x≥1，所以h′(x)＝ln xx2＋错误!＋1>0，所以h(x）在[1，＋∞)上单调递增，所以h（x)≥h（1)＝0,即1－错误!－错误!－错误!＋x≥0,所以当x≥1时,f(x)＋g(x）≥错误!。
构造函数证明不等式的八种方法
构造函数证明不等式的八种方法下面将介绍构造函数证明不等式的八种常见方法：1.特殊赋值法：这种方法通过为变量赋特殊的值来构造函数，使得不等式成立。
例如，对于不等式a^2>b^2，可以构造函数f(x)=x^2，当a=2，b=1时，即f(2)>f(1)，从而得到a^2>b^22.梯度法：这种方法通过构造一个变化率为正（或负）的函数来推导出不等式。
例如对于不等式a^2>b^2，可以构造函数f(x)=(x-a)^2-(x-b)^2，当x>(a+b)/2时，即f'(x)>0，从而得到a^2>b^23.极值法：这种方法通过构造一个函数的极大值（或极小值）来证明不等式。
例如对于不等式a^2>b^2，可以构造函数f(x)=x^2-b^2，当x=a时，f(x)>0，从而得到a^2>b^24.差的平方法：这种方法通过构造一个差的平方形式的函数来证明不等式。
例如对于不等式a^2>b^2，可以构造函数f(x)=(x+a)^2-(x+b)^2，当x>(a+b)/2时，即f(x)>0，从而得到a^2>b^25.相似形式法：这种方法通过构造一个与要证明的不等式形式相似的函数来证明不等式。
例如对于不等式(a+b)^4 > 8(ab)^2，可以构造函数f(x) = (x+1)^4- 8(x-1)^2，令x = ab，当x > 1时，即f(x) > 0，从而得到(a+b)^4 > 8(ab)^26.中值定理法：这种方法通过应用中值定理来证明不等式。
例如对于不等式f(a)>f(b)，可以构造函数g(x)=f(x)-f(b)，当a>b时，存在c∈(b,a)，使得g'(c)>0，从而得到f(a)>f(b)。
7.逼近法：这种方法通过构造一个逼近函数序列来证明不等式。
例如对于不等式a > b，可以构造一个逼近函数序列f_n(x) = (a+x)^n - (b+x)^n，当n 趋近于正无穷时，即lim(n→∞)(a+x)^n - (b+x)^n = ∞，从而得到a > b。
不等式的几种证明方法及其应用
不等式的几种证明方法及其应用不等式的证明方法多种多样，常用的证法有初等数学中的综合法、分析法、比较法和数学归纳法等，高等数学中常用的方法是利用函数的单调性、凹凸性等方法．本文将对其中一些典型证法给出系统的归纳与总结，并以例题的形式展示这些方法的应用．1 利用构造法证明不等式“所谓构造思想方法就是指在解决数学问题的过程中，为完成从条件向结论的转化，利用数学问题的特殊性设计一个新的关系结构系统，找到解决原问题的具体方法．利用构造思想方法不是直接解决原问题，而是构造与原问题相关或等价的新问题．”)52](1[P 在证明不等式的问题中，构造思想方法常有以下几种形式：1.1 构造函数证明不等式构造函数指根据所给不等式的特征，巧妙地构造适当的函数，然后利用一元二次函数的判别式或函数的有界性、单调性、奇偶性等来证明不等式．1.1.1 利用判别式在含有两个或两个以上字母的不等式中，若根据题中所给的条件，能与一元二次函数有关或能通过等价形式转化为一元二次函数的，都可考虑使用判别式法．例1 设R z y x ∈,,，证明0)(322≥+++++z y x z y xy x 成立． 解 令22233)3()(z yz y x z y x x f +++++=为x 的二次函数． 由2222)(3)33(4)3(z y z yz y z y +-=++-+=∆知0≤∆，所以0)(≥x f ． 故0)(322≥+++++z y x z y xy x 恒成立．对于某些不等式，若能根据题设条件和结论，结合判别式的结构特征，通过构造二项平方和函数)(x f =(11b x a -)2＋(x a 2－22)b ＋…＋2)(n n b x a -，由0)(≥x f 得出0≤∆，从而即可得出所需证的不等式．例2 设+∈R d c b a ,,,，且1=+++d c b a ，求证614141414<+++++++d c b a )18](2[P ．证明 令)(x f =(x a 14+－1)2＋(114-+x b )2＋)114(-+x c 2＋)114(-+x d 2=4)14141414(282++++++++-x d c b a x (因为1=+++d c b a )．由0)(≥x f 得0≤∆ 即0128)14141414(42≤-+++++++d c b a ．所以62414141414<≤+++++++d c b a ．1.1.2 利用函数有界性若题设中给出了所证不等式中各个变量的变化范围，可考虑利用函数的有界性来证明，具体做法是将所证不等式视为某个变量的函数．例3 设,1,1,1<<<c b a 求证1->++ca bc ab )18](2[P ． 证明 令1)()(+++=ac x c a x f 为x 的一次函数． 因为,1,1<<c a 所以0)1)(1(1)1(>++=+++=c a ac c a f ，0)1)(1(1)()1(>--=+++-=-c a ac c a f ．即∀)1,1(-∈x ，恒有0)(>x f ．又因为)1,1(-∈b ，所以0)(>b f ， 即01>+++ca bc ab ． 1.1.3 利用函数单调性在某些问题中，若各种式子出现统一的结构，这时可根据这种结构构造函数，把各种式子看作同一函数在不同点的函数值，再由函数的单调性使问题得到解决．例４ 求证121212121111n n n na a a a aa a a a a a a +++≤++++++++++)53](1[P ．分析 通过观察可发现式中各项的结构均相似于式子M M +1，于是构造函数xxx f +=1)()0(≥x ．证明 构造函数xxx f +=1)( )0(≥x ． 因为0)1(1)(2'>+=x x f ， 所以)(x f 在),0[+∞上严格递增．令n a a a x +++= 211，n a a a x +++= 212． 因为21x x ≤，所以)()(21x f x f ≤． 所以≤+++++++nn a a a a a a 21211nn a a a a a a +++++++ 21211=+++++na a a a 2111++++++ n a a a a 2121nna a a a ++++ 211nna a a a a a ++++++≤1112211 ．1.1.4 利用函数奇偶性 例５ 求证221xx x <-)0(≠x ．证明 设)(x f 221x x x --=，对)(x f 进行整理得)(x f )21(2)21(xx x -+=， )(x f -＝)21(2)21(xx x ---+-＝)12(2)12(-+-x x x ＝)21(2)21(x x x -+＝)(x f ， 所以)(x f 是偶函数．当0>x 时，12>x ，所以021<-x，所以0)(<x f ． 由偶函数的图象关于y 轴对称知，当0<x 时，0)(<x f ． 即 当0≠x 时，恒有0)(<x f ，即221xx x <- )0(≠x ． 注意 由以上几种情况可以看出，如何构造适当的函数并利用函数的性质来证明不等式是解题的关键．1.2 构造几何图形证明不等式构造几何图形，就是把题中的元素用一些点或线来取代，使题中的各种数量关系得以在图中表现出来，然后借助几何图形的直观性或几何知识来寻求问题的解答．一般是在问题的条件中数量关系有明显的几何意义，或可以通过某种方式与几何形（体）建立联系时宜采用此方法.)52](1[P 这种方法十分巧妙且有效，它体现了数形结合的优越性．下面将具体介绍用几何法证明不等式的几种途径：1.2.1 构造三角形)1](3[P例６ 已知z y x ,,为正数，求证22y xy x ++＋22z xz x ++＞22z yz y ++．分析 注意到︒-+=++120cos 22222xy y x y xy x ，于是22y xy x ++可看作是以y x ,为两边，夹角为︒120的三角形的第三边，由此，易得出下面的证明:证 如图1 ，在BC A ∆内取一点O ，分别连接OC OB OA ,,，使图1B︒=∠=∠=∠120COA BOC AOB ，z OC y OB x OA ===,,则22y xy x AB ++=，22z xz x AC ++=，22z yz y BC ++=．由BC AC AB >+， 即得所要证明的不等式．注 该题可做如下推广:已知z y x ,,为正数，πα<<0，πβ<<0，πγ<<0，且πγβα2=++，求证++-22cos 2y xy x α>+-22cos 2z xz x β22cos 2z yz y +-γ，令γβα,,为满足条件的特殊角可设计出一系列的不等式．例7 已知正数k n m c b a ,,,,,满足p k c n b m a =+=+=+,求证2p cm bk an <++． 证明 如图2，构造边长为p 的正三角形ABC ，在边BC AB ,,上依次截取 n FA b CF k EC c BE m DB a AD ======,,,,,．因为ABC FEC DBE ADF S S S S ∆∆∆∆<++所以243434343p bk cm an <++， 即2p cm bk an <++． 1.2.2 构造正方形)1](3[P例8 已知+∈R x ,d c b a ,,,均是小于x 的正数，求证+-+22)(b x a +-+22)(c x b +-+22)(d x c x a x d 4)(22<-+．分析 观察不等式的左边各式，易联想到用勾股定理，每个式子代表一直角三角形的一斜边，且)()()()(d x d c x c b x b a x a -+=-+=-+=-+，所以可构造边长为x 的正方形．证明 如图3，构造边长为x 的正方形ABCD ，在边DA CD BC AB ,,,上 依次截取,a AE =,a x EB -=,d BF =c CG d x FC =-=,，b DHc x GD =-=,，b x HA -=．则四边形EFGH 的周长为+-+22)(b x a +-+22)(c x b +-+22)(d x c 22)(a x d -+．由三角形两边之和大于第三边知，四边形EFGH 的周长小于正方形ABCD 的周长， 从而命题得证．1.2.3 构造矩形图2x-c 图3例9 已知z y x ,,为正数，证明))((z y y x yz xy ++≤+．分析 两个数的乘积，可看作以这两个数为边长的矩形的面积，也可以看成以这两个数为直角边长的三角形面积的两倍．证明 如图4 ，造矩形ABCD ，使,y CD AB ==,x BE =,z EC =设α=∠AED ．由AED ECD ABE ABCD S S S S ∆∆∆++=矩形知 =+)(z x y ++yz xy 2121αsin ))((21z y y x ++． 化简得αsin ))((z y y x yz xy ++=+．因为1sin 0≤<α，所以))((z y y x yz xy ++≤+(当且仅当︒=90α时，等号成立)．1.2.4 构造三棱锥例10 设,0,0,0>>>z y x 求证22y xy x +->+-+22z yz y 22x zx z +-)129](4[P ．分析 注意到22y xy x +-︒-+=60cos 222xy y x ，可以表示以y x ,为边， 夹角为︒60的三角形的第三边，同理22z yz y +-，22x zx z +-也有类似意义．证明 如图5，构造顶点为O 的四面体ABC O -，使︒=∠=∠=∠60AOC BOC AOB ，z OC y OB x OA ===,,，则有22y xy x AB +-=，22z yz y BC +-=，22x xz z AC +-=．在ABC ∆中AC BC AB >+，即得原不等式成立．注 该题还可做如下推广:已知z y x ,,为正数，,0πα<<,0πβ<<πγ<<0时πγβα20<++<且,βαγβα+<<-求证22cos 2y xy x +-α+22cos 2z xz x +-β>22cos 2z yz y +-γ.例10便是当︒===60γβα时的特殊情况．1.3 构造对偶式证明不等式对偶思想是根据矛盾双方既对立又统一的二重性，巧妙地构造对偶数列，从而将问题解决的一种思想．⌒ADCBE y x +图4图5OAC例11 求证1212124321+<-⨯⨯⨯n nn ．分析 令=P nn 2124321-⨯⨯⨯ ，由于P 中分子为奇数、分母为偶数，则由奇数的对偶数为偶数可构造出关于P 的一个对偶式Q ，1225432+⨯⨯⨯=n nQ ．证明 设=P n n 2124321-⨯⨯⨯ ，构造P 的对偶式Q ，1225432+⨯⨯⨯=n nQ ．因为Q P <<0，所以=<PQ P 2)2124321(n n -⨯⨯⨯ 121)1225432(+=+⨯⨯⨯n n n ．所以121+<n P ，即原不等式成立．注 构造对偶式的途径很多，本题是利用奇偶性来构造对偶式，此外，还可利用倒数关系、相反关系、对称性关系等来构造对偶式．1.4 构造数列证明不等式这种方法一般用于与自然数有关的不等式证明，当问题无法从正面入手时，可考虑将它转化为数列，然后利用数列的单调性来证明．例12 求证:不等式!21n n ≤-，对任何正整数n 都成立)55](1[P ．分析 不等式可变形为,1!21≤-n n n 是正整数，所以可构造数列{},n a 其中1,!211==-a n a n n ，则只需证1a a n ≤即可．对于任意正整数n ，=-+=--+!2)!1(211n n a a n n n n 0)!1(2)1()!1()1(2211≤+-=++---n n n n n n n ， 所以{}n a 是递减数列．所以1a a n ≤，即原命题成立．1.5 构造向量证明不等式向量由于其自身的形与数兼备的特性，使得它成了数形结合的桥梁，也是解决一些问题的有利工具．对于某些不等式的证明，若能借助向量模的意义、数量积的性质等，可使不等式得到较易的证明．1.5.1 利用向量模的性质 例13 已知,,,,R d c b a ∈求证++++2222c b b a 2222a d d c +++)(2d c b a +++≥．证明 在原点为O 的直角坐标系内取四个点：()(),,,,c b b a B b a A ++(),,d c b c b a C ++++(),,a d c b d c b a D ++++++则原问题可转化为+，该不等式显然成立．1.5.2 利用向量的几何特征例14 设{}n a 是由正数组成的等比数列，n S 是前n 项和，求证)31](5[12.022.02.0log 2log log P n n n S S S ++>+． 分析 可将上述不等式转化为,212++<⋅n n n S S S 构造向量，用平行四边形的几何特征来证明．证明 设该等比数列的公比为q ，如图6，构造向量(),,11a a OA =(),,1n n qS qS OB +=()()12111,,+++=++=n n n n S S qS a qS a OC ，则OB OA OC +=，故B C A O ,,,构成平行四边形．由于OB OA ,在对角线OC 的两侧，所以斜率OB OA k k ,中必有一个大于OC k ，另一个小于OC k ．因为{}n a 是由正数组成的等比数列，所以OA n n OC k S S k =<=++121， 所以OC OB k k <， 即<+1n n S S 21++n n S S ． 所以212++<⋅n n n S S S ． 此外，还可以利用向量的数量积证明不等式，一般是根据向量的数量积公式θb a =⋅找出不等关系，如b a ≤⋅≤等，然后利用不等关系证明不等式，在此对这种方法不再举例说明．综上所述，利用构造思想证明不等式时，需对题目进行全面分析，抓住可构造的因素，并借助于与之相关的知识，构造出所求问题的具体形式或是与之等价的新问题，通过解决所构造的问题使原问题获得解决．就构造的对象来说它的表现形式是多样的，这就需要我们牢固的掌握基础知识和解题技巧，综合运用所学知识将问题解决．2 利用换元法证明不等式换元法是数学解题中的一种重要方法，换元的目的是通过换元达到减元，或通过换元得到熟悉的问题形式．换元法主要有以下几种形式：图6O xyABC2.1 三角换元法例15 已知,122≤+y x 求证2222≤-+y xy x ．证明 设θθsin ,cos r y r x ==()10≤≤r ，则=-+222y xy x θθθθ22222sin sin cos 2cos r r r -+θθθ222sin 2sin cos -+=r224sin 22sin 2cos 222≤≤⎪⎭⎫ ⎝⎛+=+=r r r πθθθ．注 这种方法一般是已知条件在结构上与三角公式相似时宜采用．若题设为,12=+y x 可设;sin 2,cos θθ==y x 题设为,122=-y x 可设θθtan ,sec ==y x 等．2.2 均值换元法例16 设,1,,,=++∈z y x R z y x 求证31222≥++z y x )12](2[P ．证明 设,31α+=x ,31β+=y ,31γ+=z 其中0=++γβα 则 =++222z y x ++2)31(α++2)31(β=+2)31(γ31)(231222≥++++++γβαγβα(当且仅当γβα==时取等号)．2.3 增量换元法这种方法一般用于对称式(任意互换两个字母顺序，代数式不变)和给定字母顺序的不等式的证明．例17 已知,0>>y x 求证 yx y x -<-)55](6[P ．证明 由,0>>y x 可令t y x += )0(>t ． 因为2)(2t y yt t y t y +=++<+， 所以t y t y +<+， 即y x y x -<-．总之，证明不等式时适当的引进换元，可以比较容易的找到解题思路，但具体使用何种代换，则因题而异，总的目的是化繁为简．3 利用概率方法证明不等式)51](7[P利用概率方法证明不等式，主要是根据实际问题，构造适当的概率模型，然后利用有关结论解决实际问题．3.1利用概率的性质：对任意事件A ，1)(0≤≤A P ，证明不等式例18 证明若,10,10≤≤≤≤b a 则1+≤+≤ab b a ab ．分析 由,10,10≤≤≤≤b a 可把a 看做事件A 发生的概率，b 看做事件B 发生的概率． 证明 设事件A 与B 相互独立，且,)(,)(b B P a A P ==则ab b a B A P B P A P B A P -+=-+=)()()()( ．因为,1)(0≤≤B A P 所以10≤-+≤ab b a ，所以1+≤+≤ab b a ab ．3.2 利用Cauchy-Schwarz 不等式：2))((ξηE ≤22ηξE E 例19 设0>i a ，0>i b ，,2,1=i …n ,， 则 21)(∑=ni i i b a ≤))((1212∑∑==ni in i i ba ．证明 设随机变量ξηηξ,,满足下列要求ξ概率分布:P (ξ=i a )=n 1(n i ,,2,1 =)，η概率分布:P (η=i b )=n1(n i ,,2,1 =)，ξη概率分布:⎪⎩⎪⎨⎧≠=== )(0)(1)(j i j i nb a P j i ξη， 则 2ξE ＝∑=n i i a n 121，2ηE ＝∑=n i i b n 121，)(ξηE ＝∑=n i i i b a n 11．由2))((ξηE ≤22ηξE E 得 212)(1∑=n i i i b a n ≤)1)(1(1212∑∑==n i i n i i b n a n ．即 21)(∑=ni i i b a ≤))((1212∑∑==ni in i i ba ．用概率证明不等式比较新颖，开辟了证明不等式的又一途径．但该法用起来不太容易，因为读者必须对概率这部分知识熟悉掌握，才能选择适当的结论加以利用，因此对这种方法只做简单了解即可．4 用微分方法证明不等式在高等数学中我们接触了微分, 用微分方法讨论不等式,为不等式证明方法开辟了新的视野． 4.1利用微分中值定理微分中值定理包括罗尔定理、拉格朗日定理、柯西定理、泰勒定理，下面仅给出拉格朗日中值定理、泰勒定理的应用：拉格朗日中值定理)120](8[P 若函数)(x f 在[]b a ,上连续，()b a ,内可导，则在()b a ,内至少存在一点ξ，使得)('ξf ＝ab a f b f --)()(．例20 已知0>b ,求证b b bb<<+arctan 12． 证明 函数x arctan 在[]b ,0上满足拉格朗日中值定理的条件，所以有b arctan －0arctan ＝)0()(arctan '-=b x x ξ＝21ξ+b，),0(b ∈ξ． 而b bx b <+<+2211ξ， 故原不等式成立．泰勒定理)138](8[P 若函数)(x f 在[]b a , 上有直至n 阶的连续导数，在()b a ,内存在()1+n 阶导函数，则对任意给定的0,x x ()b a ,∈，使得10)1(00)(200''00'0)()!1()()(!)()(!2)())(()()(++-++-++-+-+=n n nn x x n f x x n x f x x x f x x x f x f x f ξ 该式又称为带有拉格朗日余项的泰勒公式．例21 设函数)(x f 在[]b a ,上二阶可导，且M x f ≤)(''，,1,0)2(=-=+a b ba f 试证 4)()(M b f a f ≤+)69](9[P ．证明 将函数)(x f 在点20ba x +=展成二阶泰勒公式 ++-+++=)2)(2()2()('b a x b a f b a f x f 2'')2)((21b a x f +-ξ＝)2)(2('ba xb a f +-+＋2'')2)((21b a x f +-ξ． 将b a x ,=代入上式得)21)(2()('b a f a f +-=＋)(811''ξf ，)(81)21)(2(')(2''ξf b a f b f ++=． 相加得))()((81)()(2''1''ξξf f b f a f +=+． 取绝对值得))()((81)()(2''1''ξξf f b f a f +≤+≤4M ．4.2 利用极值例22 设12ln ->a 为任一常数，求证xeax x <+-122()0>x )188](10[P ．证明 原问题可转化为求证012)(2>-+-=ax x e x f x)0(>x ．因为0)0(=f ,所以只需证022)('>+-=a x e x f x．由02)(''=-=xe xf 得)('x f 的稳定点2ln =x ．当2ln <x 时，0)(''<x f ． 当2ln >x 时，0)(''>x f ． 所以 02)2ln 1(222ln 22)2(ln )(min ''>+-=+-==>a a f x f x ．所以原不等式成立．4.3 利用函数的凹凸性定义)193](10[P )(x f 在区间I 上有定义，)(x f 称为I 上的凸（凹）函数，当且仅当：21,x x ∀∈I ，有)2(21x x f +≤2)()(21x f x f + （)2(21x x f +≥2)()(21x f x f +）． 推论)201](10[P 若)(x f 在区间I 上有二阶导数，则)(x f 在I 上为凸（凹）函数的充要条件是：0)(''≥x f （0)(''≤x f ）．例23 证明na a a n +++ 21≥n n a a a 21 ),,2,1,0(n i a i =>)125](11[P ．证明 令,ln )(x x f =则01)(,1)(2'''<-==xx f x x f ，所以 x x f ln )(=在()+∞,0上是凹函数，对),0(,,,21+∞∈n a a a 有)ln ln (ln 1ln 2121n n a a a nn a a a +++≥⎪⎭⎫ ⎝⎛+++ ，所以na a a n +++ 21≥nn a a a 21．例24 对任意实数,,b a 有)(212b ab a e e e+≤+)80](12[P ．证明 设xe xf =)(，则),(,0)(''+∞-∞∈>=x e x f x，所以)(x f 为),(+∞-∞上凸函数．从而对b x a x ==21,有2)()()2(b f a f b a f +≤+． 即)(212b ab a e e e+≤+． 5 利用几个著名的不等式来证明不等式5.1 均值不等式)133](4[P定理 1 设n a a a ,,,21 是n 个正数，则)()()()(n Q n A n G n H ≤≤≤称为均值不等式，其中,111)(21na a a nn H +++=,)(21n n a a a n G =,)(21na a a n A n+++=na a a n Q n22221)(+++=分别称为n a a a ,,,21 的调和平均值，几何平均值，算术平均值，均方根平均值．例25 已知,10<<a ,02=+y x 求证812log )(log +≤+a yx a a a ． 证明 由,10<<a ,0,0>>yxa a 有y x y x y x a a a a a +=⋅≥+22，从而得22log )2(log )(log yx a a a a y x a y x a ++=≤++， 故现在只需证812≤+y x 或 41≤+y x 即可． 而4141)21(22≤+--=-=+x x x y x (当21=x 时取等号)，所以812log )(log +≤+a yx a a a ．5.2 Cauchy 不等式 定理2)135](4[P 设),,2,1(,n i R b a i i =∈，则∑∑∑===≥⋅n i ni i i ni ii b a ba 121122,)(当且仅当nn a b a b a b === 2211时等号成立. 例26 证明三角不等式 2112)(⎥⎦⎤⎢⎣⎡+∑=ni i i b a ≤2112⎪⎭⎫ ⎝⎛∑=ni i a ＋2112⎪⎭⎫ ⎝⎛∑=ni i b )33](12[P ．证明 因为∑=+ni i ib a12)(＝∑=+ni i i i a b a 1)(＋∑=+ni i i i b b a 1)(根据Cauchy 不等式，可得∑=+ni i i ia b a1)(≤211212)(⎥⎦⎤⎢⎣⎡+∑∑==ni i n i i i a b a ． （1）∑=+ni i i i b b a 1)(≤211212)(⎥⎦⎤⎢⎣⎡+∑∑==ni i ni i ib b a ． （2） 把（1）（2）两个式子相加，再除以2112)(⎥⎦⎤⎢⎣⎡+∑=ni i i b a ，即得原式成立．5.3 Schwarz 不等式Cauchy 不等式的积分形式称为Schwarz 不等式． 定理3)271](10[P )(),(x g x f 在[]b a ,上可积，则⎰⎰⎰≤b ababadx x g dx x f dx x g x f .)()())()((222若)(),(x g x f 在[]b a ,上连续，其中等号当且仅当存在常数βα,，使得)()(x g x f βα≡时成立(βα,不同时为零)．例27 已知)(x f 在[]b a ,上连续，,1)(=⎰badx x f k 为任意实数，求证2)cos )((⎰bakxdx x f 1)sin )((2≤+⎰b akxdx x f )272](10[P ．证明 上式左端应用Schwarz 不等式得2)cos )((⎰bakxdx x f 2)cos )(()(⎥⎦⎤⎢⎣⎡=⎰badx kx x f x f⎰⎰⋅≤babakxdx x f dx x f 2cos )()(⎰=bakxdx x f 2cos )(． (1)同理2)sin )((⎰bakxdx x f ⎰≤bakxdx x f 2sin )(． (2)由(1)+(2)即得原不等式成立． 5.4 利用W.H.Young 不等式 定理4)288](10[P 设)(x f 单调递增，在),0[+∞上连续，,0)0(=f )(,0,1x fb a ->表示)(x f 的反函数，则⎰⎰-+≤bady y f dx x f ab 010,)()(其中等号当且仅当b a f =)(时成立．例28 设,0,>b a ,1>p ,111=+qp 试证q b p a ab q p +≤)290](10[P ．证明 因为,1>p 所以1)(-=p xx f 单调递增且连续 (当0≥x 时)，1111)(---==q p y yy f )111(-=-q p ． 应用W.H.Young 不等式有 qb p a dy y f dx x f ab qp ba+=+≤⎰⎰-01)()(．。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
高中数学：构造函数证明不等式
不等式与函数是紧密联系的，往往不等式问题有相关函数背景，构造函数并挖掘函数性质可简化一类不等式的证明，本文举例说明。
一、构造函数证明不等式例1 已知是实数，证明：。
分析：由不等式两边的结构都是的形式联想到构造函数。
证明：设函数，易证此函数在是增函数。
因为所以。
二、构造函数证明不等式例2（第21届全苏奥林匹克题）正数和A、B、C满足条件，求证：分析：由所证式子是一次式促使我们尝试构造一次函数。
证明：由已知得：，所以构造一次函数当时，此一次函数单调递增所以。
当时，。
当时，此一次函数单调递减所以所以当时恒为负值，即。
所以。
三、构造二次函数证明不等式例3设，且，求证：。
分析：由已知得：，，启发我们构造二次函数去证明。
证明：由已知得：，所以是方程的两根设因为所以解得：所以所以四、构造函数证明不等式例4 （2001年全国高考试题）已知是正整数且，求证：。
分析：要证：，只需证，即，由此式的结构启发我们构造函数去探寻。
证明：设，则。
设，则，且，在连续，故，即。
所以为上的减函数所以所以所以五、构造函数证明不等式例5求证：分析：用常规方法无法证得，原不等式可化为，构造函数便有下面的证明。
证明：设，则所以在单调递减，且在连续。
所以即所以六、构造函数证明不等式例6（2007年湖北省高考理科21题）对于正整数，已知，求证：。
分析：由已知中的及求证式中的结构使我们联想到式子。
证明：设①因为所以由①式得所以所以。
综合以上几例可知，构造函数证明不等式的适用对象是广泛的，如果一个不等式隐含函数特点，我们就可以尝试构造相应的函数去探索，往往能收到化繁为简的效果。
▍ 来源：综合网络。