构造函数证明不等式

数学·考试研究构造函数证明不等式方法的探究——从一道高考真题说起江苏兴化市第一中学（225700）　张友辉［摘　要］在高考中，不等式的证明往往作为压轴题出现。

只要深入探索就不难发现，不等式的证明是有方法规律可循的。

文章以一道高考题为引，分类探讨构造函数证明不等式的方法路径，以帮助学生拨开压轴题的面纱，提高学生解决这一类问题的能力。

［关键词］构造；函数；不等式；证明［中图分类号］ G 633.6 ［文献标识码］ A ［文章编号］ 1674-6058（2023）35-0037-03函数与导数是高中数学的重要内容， 利用导数证明不等式是近几年高考的高频考点。

求解此类问题的关键是要找出与待证不等式紧密联系的函数，然后以导数为工具来研究函数的单调性、极值、最值（值域），从而达到证明不等式的目的。

我们先来看一道高考真题。

［引例］（2023年新高考Ⅱ卷）证明：当0<x <1时，x -x 2<sin x <x 。

证明：构造F （x ）=x -sin x ，x ∈（0，1），则F ′（x）=1-cos x >0对∀x ∈（0，1）恒成立，则F （x ）在（0，1）上单调递增，可得F（x ）>F （0）=0，所以x >sin x ，x ∈（0，1）；构造G（x ）=sin x -（x -x 2）=x 2-x +sin x ，x ∈（0，1），则G ′（x ）=2x -1+cos x ，x ∈（0，1），构造g （x ）=G ′（x ），x ∈（0，1），则g ′（x ）=2-sin x >0对∀x ∈（0，1）恒成立，则g （x ）在（0，1）上单调递增，可得g （x ）>g （0）=0，即G ′（x ）>0对∀x ∈（0，1）恒成立，则G （x ）在（0，1）上单调递增，可得G（x ）>G （0）=0，所以sin x >x -x 2，x ∈（0，1）。

北京华罗庚学校为全国学生提供优质教育函数构造法利用导数证明不等式是近几年高考命题的一种热点题型．利用导数证明不等式，关键是要找出 与待证不等式紧密联系的函数，然后以导数为工具来研究该函数的单调性、 极值、最值 (值域 )，从而达到证明不等式的目的，这时常常需要构造辅助函数来解决．题目本身特点不同，所构造的函数可 有多种形式，解题的繁简程度也因此而不同，这里给出几种常用的构造技巧．当试题中给出简单的基本初等函数，例如 f(x)＝x 3，g(x)＝ ln x ，进而证明在某个取值范围内不等 式 f(x)≥g(x)成立时，可以类比作差法，构造函数h(x)＝f(x)－g(x)或 φ(x)＝ g(x)－ f (x) ，进而证明h(x)min ≥ 0 或 φ(x)max ≤ 0 即可，在求最值的过程中，可以利用导数为工具．此外，在能够说明 g(x)>0(f(x)>0)的前提下，也可以 类比作 商法， 构造函数 h(x)＝ f x φx ＝ gx h(x)min ≥ 1(φ(x)max ≤ 1)．[典例] (2018 广·州模拟 )已知函数 f(x)＝e x －ax(e 为自然对数的底数， a 为常数)的图象在点 (0,1)处的 切线斜率为－ 1.(1) 求 a 的值及函数 f(x)的极值； (2) 证明：当 x >0时， x 2< e x . [ 方法演示 ]解： (1)由 f(x)＝e x －ax ，得 f ′(x)＝e x －a. 因为 f ′(0)＝1－ a ＝－ 1，所以 a ＝2， 所以 f(x)＝e x －2x ，f ′(x)＝e x －2，令 f ′ (x)＝ 0，得 x ＝ln 2，当 x <ln 2 时，f ′(x)<0，f(x)单调递减；当 x >ln 2 时，f ′(x)>0，f(x)单调递增．所以当 x ＝ln 2 时， f(x)取得极小值，且极小值为 f(ln 2) ＝e ln 2－2ln 2＝2－ln 4，f(x)无极大值．(2)证明：令 g(x)＝e x －x 2，则 g ′(x)＝e x －2x. 由(1)得g ′(x)＝f(x)≥f(ln 2)>0，故 g(x)在R 上单 调递增．所以当 x >0 时， g(x)>g(0)＝1>0，即 x 2<e x .[ 解题师说 ]在本例第 (2)问中，发现“ x 2， e x ”具有基本初等函数的基因，故可选择对要证明的“ x 2< e x ”构 造函数，得到“ g(x)＝ e x － x 2”，并利用 (1)的结论求解．[ 应用体验 ]21．已知函数 f(x)＝ xln x －2x ，g(x)＝－ax 2＋ax －2(a >1)．(1) 求函数 f(x)的单调区间及最小值； (2) 证明： f(x)≥g(x)在[1，＋∞ )上恒成立．比较法 ” 构造函数证明不等式g fx x ，进而证 明北京华罗庚学校 为全国学生提供优质教育 解： (1)f(x)的定义域为 (0，＋ ∞)，∵ f(x )＝ xln x －2x ，∴f ′(x)＝ln x ＋1－2＝ln x －1， 由 f ′ (x) >0，得 x > e ；由 f ′ (x)< 0，得0<x < e ，∴函数 f(x)的单调递增区间为 (e ，＋ ∞ ) ，单调递减区间为 (0， e)， ∴函数 f(x)的最小值为 f(e)＝ eln e － 2e ＝－ e.(2)证明：令 h(x)＝f(x)－g(x)，∵f(x)≥g(x)在［1，＋ ∞)上恒成立，∴ h(x) min ≥ 0， x ∈ ［1，＋∞)， ∵ h(x)＝ xln x ＋ax 2－ax －2x ＋2，∴h ′(x)＝ln x ＋1＋2ax －a －2＝ln x ＋2ax －a －1.1令 m(x)＝ln x ＋2ax －a －1，x ∈［1，＋∞)，则 m ′(x)＝x ＋2a ，∵x >1，a >1，∴ m ′(x)>0，x∴ m(x)在［1，＋ ∞)上单调递增，∴ m(x)≥m(1)＝a －1，即 h ′(x)≥a －1， ∵a >1，∴a －1>0，∴ h ′(x)>0，∴ h(x)＝ xln x ＋ax 2－ax －2x ＋2 在［1，＋∞)上单调递增， ∴ h(x)≥ h(1) ＝ 0，即 f(x)－ g(x)≥ 0，故 f(x)≥g(x)在［1，＋ ∞ )上恒成立 .“ 拆分法 ”构造函数证明不等式当所要证明的不等式由几个基本初等函数通过相乘以及相加的形式组成时， 如果对其直接求导， 得到的导函数往往给人一种“扑朔迷离”“不知所措”的感觉．这时可以将原不等式合理拆分为f(x)≤g(x)的形式，进而证明 f(x)max ≤g(x)min 即可，此时注意配合使用导数工具．在拆分的过程中，一 定要注意合理性的把握，一般以能利用导数进行最值分析为拆分标准．x bex － 1［典例］ 设函数 f(x)＝ae xln x ＋ x ，曲线 y ＝f(x)在点(1，f(1))处的切线为 y ＝e(x －1)＋2.x(1) 求 a ，b ； (2) 证明： f(x)>1.[ 方法演示 ] 解： (1)f ′ (x)＝ ae x ln由于直线 y ＝ e(x －1)＋ 2 的斜率为 e ，图象过点 (1,2)，x 2e － x2(2)证明：由 (1)知 f(x)＝e x ln x ＋ x (x > 0)，从而 f(x)>1 等价于 xln x >xe x － e .构造函数 g(x)＝xln x ，则 g ′(x)＝ 1＋ln x ，故 g(x)在 0， e 1 上单调递减，在 e 1，＋ ∞ 上单调递增，所以f f ′1＝12＝，e ，即 b ＝ 2， 解得a ＝1，ae ＝ e ，b ＝2.所以当 x ∈ 0，1e 时， g ′ (x)< 0，当 x ∈ x ＋x 1 ＋ x)＋∞g ′(x)>0，1 从而g(x)在(0，＋∞)上的最小值为e－ x2－ x构造函数 h(x)＝xe －x －2，则 h ′(x) ＝e －x (1－x)．e所以当 x ∈(0,1)时，h ′(x)>0；当 x ∈(1，＋ ∞)时，h ′(x)<0；故 h(x)在(0,1)上单调递增，在 (1，＋ ∞ )上单调递减， 从而 h(x)在(0，＋∞)上的最大值为 h(1)＝－ 1. e综上，当 x >0 时， g(x)>h(x)，即 f(x)>1.[ 解题师说 ]x － 1x － 1 对于第 (2)问“ ae xln x ＋bex> 1”的证明， 若直接构造函数 h(x)＝ ae x ln x ＋bex－ 1，求导以后不xxbe x －1易分析， 因此并不宜对其整体进行构造函数， 而应先将不等式“ ae x ln x ＋ be> 1”合理拆分为“ xln x x >xe －x －2”，再分别对左右两边构造函数，进而达到证明原不等式的目的．e[ 应用体验 ] 2．已知函数 f(x)＝x a ＋ln 1x ＋x b ，曲线 y ＝f(x)在点(1，f(1))处的切线方程为 x ＋2y －3＝0.(1) 求 a ，b 的值； ln x(2)证明：当 x >0，且 x ≠1 时， f(x)> x － 1x ＋1－ ln xx b 1x ＋1 2 －x 2(x >0)．由于直线 x ＋2y － 3＝ 0 的斜率为－ 2，且过点 (1,1)，ln x 1(2) 证明：由 (1)知 f(x)＝ ＋x (x >0)，x ＋ 1 x所以 f(x)－x ln － x 1＝1－1x 2 2ln x －h ′ (x)＝2x －2x2－xx2－1x －1 xx所以当 x ≠1时，h ′(x)<0. 而 h(1)＝0，1故当 x ∈(0,1)时， h(x)>0，可得 2h(x)>0；当 x ∈(1，＋ ∞)时， 1 － x从而当 x >0，且 x ≠1 时， f(x)－ ln x > 0，即 f(x)> ln x .x －1 x － 12－1x － 1考虑函数 h(x)＝2ln x － x (x > 0)，则 xf1 ＝1， 1 f ′ 1 ＝－ 2，即b ＝ 1，a 2－b ＝－ 12. 解得22a ＝1，b ＝ 1.a解： (1)f ′ (x)＝x2－1x .1h(x)< 0，可得 1－ x 2h(x)>0.1－ 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 的表达式，进而用导数法进行证明，因此，换元的本质是消元．ln x[典例] 已知函数 f(x)＝ (a ∈R)，曲线 y ＝f(x)在点 (1， f(1))处的切线与直线 x ＋y ＋1＝0垂直．x ＋ a(1)试比较 2 0172 018与 2 0182 017的大小，并说明理由；(2)若函数 g(x)＝f(x)－k 有两个不同的零点 x 1， x 2，证明： x 1x 2>e 2. [ 方法演示 ] 又曲线 y ＝f(x)在点 (1， f(1))处的切线与直线所以 f ′ (1)＝1，即 1 ＝1，解得 a ＝0. 故 f(x)＝ ln x ，f ′(x)＝1－l 2n x . 1＋ a x x由 f ′ (x) >0，得 0<x < e ；由 f ′(x)< 0，得 x > e ， 所以函数 f(x)的单调递增区间为 (0， e)，单调递减区间为 (e ，＋ ∞ )．所以 f(2 017) > f(2 018) ，即ln 2 017>ln 2 018. 整理得 ln 2 0172 018>ln 2 0182 017， 2 017 2 018 所以 2 0172 018>2 0182 017.ln x(2)证明： g(x)＝ x －k ，设 x 1>x 2>0，由 g(x 1)＝g(x 2)＝0，x可得 ln x 1－kx 1＝0， ln x 2－ kx 2＝ 0，两式相加减， 得 ln x 1＋ln x 2＝k （x 1＋x 2），ln x 1－ln x 2＝ k （x 1－x 2）．ln x1－－l xn x2> ＋2 x ，即证 ln x1>2 x1＋－xx2.x 1－x2x 1＋x2x 2 x 1＋x2令x x 1＝t(t >1)，则只需证 ln t >2t t ＋－11(t >1)．令 h(t)＝ln t －2t t ＋－11(t >1)， 则 h ′(t)＝1－ 4 2＝ t －1 2> 0，故函数 h(t)在(1，＋ ∞)上单调递增， t t ＋ 1 2 t t ＋ 1 22 t － 1所以 h(t) >h(1)＝ 0，即 ln t > . 所以 x 1x 2> e 2.t ＋1[ 解题师说 ](1)由题意易知 f ′(1)＝1，可列出关于 a 的方程，从而求出 a 的值，得到函数 f(x)的解析式．欲换元法 ” 构造函数证明不等式解： x ＋a－ ln x x (1)依题意得 f ′(x)＝ x 2 ，所以x ＋a 2 f ′（1）＝1＋ a 1 2＝ 1＋a 1＋ a x ＋y ＋1＝0 垂直，要证 x 1x 2>e 2，即证 ln x 1x 2>2，只需证 ln x 1＋ln x 2> 2，也就是证k(x 1＋x 2)> 2，即证 k >2 x 1＋ x因为 k ＝ln x1－－xln x2，所以只需证x 1－x 2北京华罗庚学校为全国学生提供优质教育比较 2 0172 018与 2 0182 017的大小，只需比较f(2 017) ，f(2 018)的大小，即需判断函数y＝f(x)的单调性．(2)不妨设x1>x2> 0，由g(x1 )＝g(x2)＝0，可得ln x1－kx1＝0，ln x2－kx2＝0，两式相加减，利用分析法将要证明的不等式转化为ln x1－ln x2> 2，再利用换元法，通过求导证明上述不等式成立．x1－x2x1＋x2[ 应用体验]23．已知函数f(x)＝x2ln x.(1) 求函数f(x)的单调区间；(2)证明：对任意的t> 0，存在唯一的s，使t＝f(s)；(3) 设(2)中所确定的s关于t的函数为s＝g(t)，证明：当t> e2时，有25< ln l n g t t<21.解：(1)由已知，得f′ (x)＝2xln x＋x＝x(2ln x＋1)(x>0)，令f′(x)＝0，得x＝. e当x 变化时，f′ (x)，f(x)的变化情况如下表：所以函数f(x)的单调递减区间是0，e e.(2)证明：当0<x≤1时，f(x)≤0，∵t>0，∴当0<x≤1时不存在t＝f(s) ．令h(x)＝f(x)－t，x∈[1，＋∞)．由(1)知，h(x)在区间(1，＋∞)上单调递增．h(1)＝－t<0，h(e t)＝e2t ln e t－t＝t(e2t－1)>0. 故存在唯一的s∈(1，＋∞)，使得t＝f(s)成立．(3)证明：因为s＝g(t)，由(2)知，t＝f(s)，且s>1，从而ln gt＝ln s＝ln2s＝ln s＝u，其中u＝ln s.ln t ln f s ln s ln s 2ln s＋ln ln s 2u＋ln u要使2<ln g t< 1成立，只需0< ln u< u.5 ln t 2 2当t> e2时，若s＝g( t)≤e，则由f(s)的单调性，有t＝f(s)≤f(e)＝e2，矛盾．所以s>e，即u> 1，从而ln u> 0 成立．另一方面，令F(u)＝ln u－2u，u>1，F′(u)＝u1－12，令F′(u)＝0，得u＝2. 当1<u<2时，F′(u)>0；当u>2时，F′(u)<0.故对u>1，F(u)≤F(2)<0，因此ln u<u2成立．综上，当t>e2时，有25<ln l n g t t<21.e值，也是最小值，f(e)＝ln e＋e＝2，故f(x)的最小值为 2.e(2)g(x)＝f′(x)－x3＝x1－x m2－3x(x>0)，令g(x)＝0，得m＝－31x3＋x(x>0)．13φ(x)＝－3x3＋x(x≥0)，则φ′ (x)＝－(x－1)(x＋1)，x∈(0,1)时，φ′ (x)>0，φ(x)在(0,1)上单调递增；x∈(1，＋∞ )时，φ′(x)<0，φ(x)在(1，＋∞)上单调递减，x＝1 是φ(x) 的唯一极值点，且是极大值点，故φ(x)的最大值为φ(1)＝φ(0)＝0，画出函数y ＝φ(x)的图象如图所示．①当m>23时，函数g(x)无零点；②当m＝32时，函数g(x)有且只有一个零点；③当0<m<23时，函数g( x)有两个零点；④当m≤0 时，函数g(x)有且只有一个零点．22综上所述，当m>32时，函数g( x)无零点；当m＝23或m≤0 时，函数g(x)有且只有一个零点；当3320<m<32时，函数g(x)有两个零点．3(3) 对任意的b>a>0，f b b－－f a a <1等价于f(b)－b<f(a)－a恒成立．(*) b－ a转化法构造函数在关于x1，x2 的双变元问题中，若无法将所要证明的不等式整体转化为关于m(x1，x2)的表达式，则考虑将不等式转化为函数的单调性问题进行处理，进而实现消元的目的．[典例] 设函数f(x)＝ln x＋m x，m∈R.(1)当m＝e(e为自然对数的底数)时，求f(x)的最小值；(2)讨论函数g(x)＝f′(x)－x3零点的个数；(3) 若对任意b> a>0 ，f bb－－faa <1 恒成立，求m的取值范围．[ 方法演示]e x－ e解：(1)当m＝e 时，f(x)＝ln x＋x，则f′ (x)＝x2 ，故当x∈(0，e)时，xxf′(x)<0，f(x)在(0，e) 上单调递减，当x∈(e，＋∞)时，f′(x)>0，f(x)在(e，＋∞)上单调递增，故当x＝e时，f(x)取到极小23.设 h(x)＝f(x)－x ＝ln x ＋m x －x(x>0)，故(*)等价于 h(x)在(0，＋ ∞)上单调递减．x1m由 h ′(x)＝x －x 2－1≤0 在(0，＋ ∞ )上恒成立，得xx1 1 1 m ≥14，当且仅当 x ＝12时等号成立，所以 m 的取值范围为 41，＋ ∞ .[ 解题师说 ]本例第 (3)问中，利用不等式的性质， 将“fb －f a <1”等价转化为“ f(b)－b<f(a)－a ”，进而构 b －a 造函数“ h(x)＝f(x)－x ”，通过研究函数的单调性求解实数 m 的取值范围．[ 应用体验 ] 4．已知函数 f(x)＝ ax －1－ln x(a ∈ R)．(1) 讨论函数 f(x)的单调性；(2)若函数 f(x)在 x ＝1处取得极值，不等式 f(x)≥bx －2对? x ∈(0 ，＋∞ )恒成立，求实数 b 的取值范围；2m ≥ －x ＋x ＝x － 21 2＋14(x>0)恒成立，故(3)当 x>y>e －1时，证明不等式 e x ln(1＋y)>e y ln(1＋ x)．解： (1)函数 f(x)的定义域是 (0，＋∞)，且 f ′(x)＝a －1x ＝ax －x 1当 a ≤0 时， ax －1<0，从而 f ′ (x)<0，函数 f(x)在(0，＋ ∞)上单调递减．当 a>0 时，由 f ′ ( x)<0 ，得 0<x<1a ，由 f ′ (x)>0 ，得 x>a 1，所以函数 f(x)在0 0，1a 上单调递减，在 a1，＋ ∞ 上单调递增．(2)因为函数 f(x)在 x ＝1 处取得极值，所以 f ′ (1)＝ 0，解得 a ＝1，1 ln x 1 ln xln x － 2所以 f(x)≥bx －2? 1＋x 1－ln x x ≥b ，令 g(x)＝1＋x 1－ln x x ，则 g ′(x)＝ln x x－22，令 g ′(x)＝0，得 x ＝e 2. 则 g(x)在(0， e 2)上单调递减，在 (e 2，＋ ∞ )上单调递增，－∞，1－e 122 1 1所以 g(x)min ＝g(e 2) ＝1－ e 2，即 b ≤1－ e 2，故实数 b 的取值范围y ＋1e x ＋1(3)证明：由题意可知，要证不等式 e x ln(1 ＋ y)>e y ln(1 ＋ x)成立，只需证ln ex ＋1 >ln e y ＋ 1成立．x e xln x － ee xln x －e x 构造函数 h(x)＝ln e x (x>e)，则 h ′(x)＝ ln 2x 1x ln 2x >0. 所以 h(x)在 (e ，＋ ∞ )上单调递增，x ＋1 e y ＋1e 由于 x>y>e －1，所以 x ＋1>y ＋1>e ，所以lnx ＋1>lny ＋1，即 e xln(1＋y)>e y ln(1＋x)．2x 1．已知函数 f(x)＝ (x － 1)(x 2＋2)e x－2x.(1)求曲线 y ＝f(x)在点 (0，f(0))处的切线方程；2(2)证明： f(x)>－ x 2－4.解： (1)因为 f ′(x)＝2x(x －1)e x ＋x(x 2＋2)e x －2＝x 2(x ＋2)e x －2，所以 f ′(0)＝－ 2. 因为 f(0) ＝－ 2，所以曲线 y ＝f(x)在点 (0，f(0))处的切线方程为 2x ＋y ＋2＝0.(2)证明： 要证 f(x)>－ x 2－ 4，只需证 (x －1)(x 2＋2)e x >－ x 2＋2x －4，设 g(x)＝－x 2＋2x －4＝－ (x －1)2－3，h(x)＝(x －1)(x 3＋2)e x ，则 h ′(x)＝x 4(x ＋2)e x . 由 h ′(x)≥0，得 x ≥－2，故 h(x)在［－2，＋∞ )上单调递增； 由 h ′(x)<0，得 x <－ 2，故 h(x)在(－∞，－ 2)上单调递减， 所以 h(x)min ＝h(－2)＝－ 1e 28. 因为 e ≈ 2.718，所以－ 5e 82>－ 3.又 g(x)max ＝－3，所以 g(x)max <h(x)min ，从而 (x －1)(x 2＋2)e x >－x 2＋2x －4，即 f(x)>－x 2－4. 2．(理)已知函数 f(x)＝e x ＋m －x 3，g(x)＝ ln(x ＋ 1)＋2.(1)若曲线 y ＝f(x)在点(0，f(0))处的切线斜率为 1，求实数 m 的值；3(2)当 m ≥1 时，证明： f( x)> g(x)－ x 3.解： (1)因为 f(x)＝e x m － x 3，所以 f ′ (x)＝e x m － 3x 2.因为曲线 y ＝f(x)在点 (0，f(0))处的切线斜率为 1，所以 f ′(0)＝e m ＝1，解得 m ＝0. (2)证明：因为f(x)＝ e x m －x 3， g(x) ＝ ln( x ＋ 1)＋ 2， 所以 f(x)>g(x)－x 3等价于 e x ＋m －ln(x ＋1)－2> 0.当 m ≥1 时， e x ＋m － ln( x ＋ 1)－ 2≥ e x ＋1 －ln( x ＋ 1)－ 2.要证 e x m － ln( x ＋1)－ 2> 0，只需证明 e x 1－ ln( x ＋ 1)－ 2> 0. 设 h(x) ＝ e x 1－ln(x ＋1)－2，则 h ′(x)＝e x 1－x ＋11.x ＋ 1所以函数 p(x)＝h ′(x)＝e x ＋1－ 1 在(－1，＋ ∞)上单调递增．x ＋1因为 h ′ －21 ＝e 12－2<0，h ′(0)＝ e －1>0，所以函数 h ′(x)＝e x ＋1－ 1 在(－1，＋∞)上有唯一零点 x 0，且 x 0∈ －1，0 . x ＋ 1 2因为 h ′(x 0)＝0，所以 ex 0＋1＝x ＋1 1，即 ln( x 0 ＋1) ＝－ (x 0＋ 1)． 当 x ∈ (－ 1，x 0)时， h ′ (x)< 0，当 x ∈(x 0，＋∞)时， h ′(x)>0， 所以当 x ＝ x 0 时， h(x)取得最小值 h(x 0)，5设 p(x)＝ e x ＋11 x ＋1 1，则 p ′ (x)＝ e x 1＋ 1 x ＋12>0，1所以 h(x)≥ h(x 0)＝ex 0＋ 1－ ln(x 0＋ 1)－ 2＝ x ＋6 1＋ (x 0＋1)－2>0. 综上可知，当 m ≥1 时，f(x)> g(x)－ x 7.2x (文)已知函数 f(x)＝(ax －1)ln x ＋ 2.(1)若a ＝2，求曲线 y ＝f(x)在点(1， f(1))处的切线 l 的方程；4 (2)设函数g(x)＝ f ′ (x )有两个极值点 x 1，x 2，其中 x 1∈(0，e ］，证明 g(x 1)－g(x 2)≥－ e . 11解： (1)当 a ＝2时，f ′(x)＝2ln x ＋x －x ＋2，f ′(1)＝2，f(1)＝2，x21∴切线 l 的方程为 y －2＝2(x －1)，即 4x －2y － 3＝0.21 a 1 x＋ax ＋ 1 (2)函数 g(x)＝aln x ＋x －x ＋a ，定义域为 (0，＋ ∞)，则g ′ (x)＝1＋x ＋x 2＝x 22 令 g ′(x)＝0，得 x 8＋ax ＋1＝0，其两根为 x 1，x 2，且 x 1＋x 2＝－ a ，x 1x 2＝1，故 x 2＝ x 11， a ＝－ x 1＋x 11 .当 x ∈ (0,1］时， h ′(x)≤0，当 x ∈(1，e ］时， h ′(x)<0，即当 x ∈ (0， e ］时，h(x)单调递减，44∴ h(x) min ＝ h(e) ＝－ e ，故 g(x 1)－g(x 2)≥－e1－ x3．(2018 ·兰州诊断 )已知函数 f(x)＝ ＋ln x 在 (1，＋∞ )上是增函数，且 a>0.ax(1)求 a 的取值范围；1 a ＋ b a(2) 若 b>0，试证明 1 <ln b <b a .a ＋b b b解： (1)f ′(x)＝－ a 1x 2＋ 1x ＝ a－x 2，因为 f ′ (x)≥ 0，且 a>0，所以 ax －1≥0，即 x ≥a 1.ax x ax a1 因为 x ∈(1，＋∞)，所以1≤1，即 a ≥1. 所以 a 的取值范围为 ［1，＋ ∞)． aa ＋ b1 － x(2)证明：因为 b>0，a ≥1，所以 a ＋b b >1. 又f(x)＝1a－xx＋ln x 在(1，＋ ∞)上是增函数，令 h(x)＝2 x －x 1 －2 x ＋x 1 ln x ，x ∈(0，e ］，h ′ (x)＝x 2，8 1＋x 1－ x ln x∴ g(x 1)－ g(x 2)＝g(x 1)－g11 aln x 1＋x 1－ ＋a － aln ＋ －x 1＋a ＝2 x 1－x 1 ＋ 2aln x 1＝x 1x 1 x 1 2 x 1－ x 11 － 2 x 1＋ x 11 ln x 1.则 ［ g( x 1 )－ g( x 2)］ min＝h(x)min ，x 2ln x 2－x 1ln x 1 x 1＋ x 2 x2－x1 <ln 2 ＋ 1? x 2ln x 2－x 1lnx 1<x 2ln x1＋x2－x 1ln x1＋x2＋x 2－x 1? x 2ln 9＋x2x <x 1ln 2＋x1x ＋x 2－x 1，2 2x 1＋ x 2 x 1＋ x 2令 g(t)＝tln 12＋t t －ln 1＋2 t －t ＋1， 则 g ′(t)＝ln 2t ＋t ·1＋ t·2 2＋1＋t21＋t2t 1＋ t 2t － 11 －x令t ＋1＝x(x>0)，h(x)＝ ln(1＋ x)－ x ，则 h ′(x)＝1＋x－1＝1＋x <0，h(x)在(0，＋∞)上单调递减． 所 t － 1 t －1(2)证明：不妨设 x 1<x 2， f x x 2 －－f x x1 <f ′x 2－x 1所以 f 1－a ＋ba ＋b －b a ＋ b 1 a ＋ba ＋b b >f(1)，即 a ＋b b ＋ln a ＋b b >0，化简得 a ＋1b <ln a ＋b b.a ·ba ＋b a a ＋ b a a a ln b <b 等价于 ln b －b ＝ln 1＋b － b <0，令 g(x)＝ ln(1＋x)－x(x>0)， aabb 1 － x则 g ′(x)＝1＋1 x －1＝1＋x <0，所以函数 g(x)在(0， ＋ ∞ ) 上为减函数，所以 g a b ＝ a a a ＋ b a ln 1＋ b －b ＝ln b －b<g(0)＝0， 综上， a ＋1 b <ln a ＋b b <a b 得证4．(理 )已知函数 f(x)＝xln x.(1) 求 f(x)的单调区间和极值；(2)设 A(x 1，f(x 1))，B(x 2，f(x 2))，且 x 1≠x 2，证明：f x2－f x1<f ′x 2－ x 1 ′1解： (1)f(x)的定义域为 (0，＋ ∞)，f ′ (x)＝ ln x＋x ·x ＝1＋ln x.x11由 f ′ (x)>0 ，得 x>1；由 f ′ (x)<0 ，得 0<x<1，ee 所以 f(x) 的单调递增区间是 1，＋ ∞ ，单调递减区间是 0， 1e ， f (x)极小值＝1 1 11e ln 1e ＝－e 1，f(x)无极大值． x 1＋x 22 x 2x 2·x 2 2 x两边同除以 x 1 得， x2ln x1 <ln 2 ＋ x2－ 1，x 1 x 2 x 2 x 1 x1 1＋x x12 1＋x x12 x1令x x12＝ t ，则 t>1，即证： tln 12＋t t <ln 1＋2t ＋t －1.t －1－ t －1，t ＋1 － t ＋1，2－1＝ln 2t ＋1－t ＝ln 1＋2 1＋ t 2 1＋ t 1＋t以h(x)<h(0)＝0，即ln(1＋x)<x，即g′(t)＝ln 1＋t＋1－t＋－1<0 恒成立．所以g(t)在(1 ，＋∞ )上是减函数．所以g(t)<g(1)＝0，所以tln12＋t t<ln1＋2t＋t－1得证．(1)若f(x)在区间(－∞，2)上为单调递增函数，求实数 a 的取值范围；(2)若a＝0，x0< 1，设直线y＝g( x)为函数f(x)的图象在x＝x0 处的切线，求f( x)≤g(x)．证：x－1－ a解：(1)易得f′(x)＝－e x ，由已知知f′(x)≥0 对x∈(－∞，2)恒成立，e故x≤1－a 对x∈(－∞，2)恒成立，∴ 1－a≥2，∴ a≤－1.故实数 a 的取值范围为(－∞，－1］．x(2) 证明：a＝0，则f(x)＝e x.e函数f( x)的图象在x＝x0 处的切线方程为y＝g(x)＝f′(x0)(x－x0)＋f(x0)．令h(x)＝f(x)－g(x)＝f(x)－f′(x0)(x－x0)－f(x0)，x∈R，则h′(x)＝f′(x)－f′(x0)＝1－x x－1－x0＝1－x ex0－1－x0ex.e ex0 ex＋x0设φ(x)＝(1－x)ex0－(1－x0)e x，x∈R，则φ′ (x)＝－ex0－(1－x0)e x，∵ x0< 1，∴ φ′ ( x)< 0，∴ φ(x)在R 上单调递减，而φ(x0) ＝0，∴当x<x0时，φ(x)> 0，当x>x0时，φ(x)<0，∴当x<x0时，h′(x)>0，当x>x0时，h′(x)<0，∴ h(x)在区间(－∞，x0)上为增函数，在区间(x0，＋∞)上为减函数，∴x∈R时，h(x)≤h(x0)＝0，∴ f(x)≤g(x)．。

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.特殊赋值法：这种方法通过为变量赋特殊的值来构造函数，使得不等式成立。

例如，对于不等式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.构造平方函数法：对于形如x^2≥0的不等式，可以构造f(x)=x^2，然后通过分析f(x)的性质，来证明不等式的成立。

2.构造递增函数法：对于形如a≥b的不等式，可以构造f(x)=x，然后通过分析f(x)的性质，来证明不等式的成立。

3.构造递减函数法：对于形如a≤b的不等式，可以构造f(x)=-x，然后通过分析f(x)的性质，来证明不等式的成立。

4.构造两个函数之差法：对于形如a-b≥0的不等式，可以构造f(x)=x^2和g(x)=(x-a)(x-b)，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

5. 构造函数的和法：对于形如(a+b)^2≥0的不等式，可以构造f(x)=x^2和g(x)=a^2+b^2+2ab，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

6.构造函数的积法：对于形如(a·b)^2≥0的不等式，可以构造f(x)=x^2和g(x)=a^2·b^2，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

7.构造函数的倒数法：对于形如1/(a·b)≥0的不等式，可以构造f(x)=1/x和g(x)=a·b，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

8.构造指数函数法：对于形如e^x≥1的不等式，可以构造f(x)=e^x 和g(x)=1，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

以上就是八种常用的构造函数法证明不等式的方法。

在实际证明过程中，需要注意选择合适的函数，并结合函数的性质进行分析，以确定不等式的成立情况。

此外，还需要注意构造的函数在给定范围内是否满足所要求的性质，以确保证明的正确性。

考点透视不等式恒成立问题的常见命题形式有：（1）证明某个不等式恒成立；（2）根据恒成立的不等式求参数的取值范围.求解不等式恒成立问题的常用思路有：构造函数、分离参数、数形结合等.对于不同的不等式，往往需采用不同的途径进行求解.下面结合实例来进行探究.一、构造函数在求解不等式恒成立问题时，我们可先将不等式左右两边的式子移项、变形；然后将不等式构造成函数式，将问题转化为函数最值问题，通过研究函数的单调性，求得函数的最值，来证明不等式恒成立.在求函数的最值时，可根据函数单调性的定义，或导函数与函数单调性之间的关系来判断函数的单调性；也可以利用简单基本函数的单调性来求得函数的最大、最小值，建立使不等式恒成立的式子，即可解题.例1.求证：当x >-1时，1-1x +1≤ln ()x +1≤x 恒成立.证明：设f ()x =ln ()x +1-x ，求导可得f ′()x =1x +1-1=-x x +1，因为当-1<x <0时，f ′()x >0，当x >0时，f ′()x <0，所以函数f ()x 在()-1,0上单调递增，在()0,+∞上单调递减，即f ()x ≤f ()0=0，故f ()x =ln ()x +1-x ≤0，即ln ()x +1≤x .令g ()x =ln ()x +1+1x +1-1，则g ′()x =1x +1-1()x +12=x ()x +12，因为当-1<x <0时，g ′()x <0，当x >0时，g ′()x >0，所以函数g ()x 在()-1,0上单调递减，在()0,+∞上单调递增，可知g ()x ≥g ()0=0，故ln ()x +1+1x +1-1≥0，ln ()x +1≥1-1x +1，综上可知，当x >-1时，不等式1-1x +1≤ln ()x +1≤x 恒成立.要证明目标不等式恒成立，需分两步进行，先证明ln ()x +1≤x ，再证明ln ()x +1≥1-1x +1.在证明这两个不等式时，都需要先将不等式左右两边的式子作差、移项，构造出新函数f ()x =ln ()x +1-x 、g ()x =ln ()x +1+1x +1-1；然后对函数求导，分析导函数与0之间的大小关系，判断出函数的单调性，进而求得函数的极值，从而得出f ()x min =0、g ()x max =0，即可证明f ()x ≤0、g ()x ≥0.例2.设函数f ()x =e x ln x +2e x -1x，曲线y =f ()x 在点()1，f ()1处的切线方程为y =e ()x -1+2，证明：不等式f ()x >1恒成立.证明：由f ()x >1可得x ln x >xe -x -2e，令g ()x =x ln x ，可得g ′()x =ln x +1，∵当x ∈æèöø0,1e 时，g ′()x <0；当x ∈æèöø1e ,+∞时，g ′()x >0，∴函数g ()x 在æèöø0,1e 上单调递减，在æèöø1e ,+∞上单调递增，∴g ()x ≥g æèöø1e =-1e ，令h ()x =xe -x -2e，则h ′()x =e -x ()1-x ，∵当x ∈()0,1时，h ′()x >0；当x ∈()1,+∞时，h ′()x <0，∴函数h ()x 在()0,1上单调递增，在()1,+∞上单调递减，∴h ()x ≤h ()1=-1e，∴当x >0时，g ()x >h ()x ，即不等式f ()x >1成立.由于不等式x ln x >xe -x -2e左右两侧的式子分别含有对数式、指数式，于是分别令g ()x =x ln x 、h ()x =xe -x -2e，那么只要证明g ()x min ＞h ()x max ，即可证明不等式恒成立.利用导数法求出函数g ()x 、h ()x 在定义域内的最值，即可证明不等式成立.在构造函数时，要注意观察不等式的结构特点，将其进行合理的变形，以便构造出合适的函数模型，从而顺利证明不等式.二、分离参数对于含参不等式恒成立问题，我们通常要采用分离参数法，将不等式中的参数、变量分离，即使不等式一侧的式子中含有参数、另一侧的式子中含有变量，得到形如a ≥f ()x 、a ≤f ()x 的不等式.探讨函数f ()x 在定义域内的最值与参数a 的大小关系，即可求得问赵瑛琦37考点透视题的答案.例3.已知函数f ()x =ln 2()1+x -x 21+x.(1)求函数f ()x 的单调区间；(2)若对于任意n ∈N ∗，不等式æèöø1+1n n +a≤e 恒成立，求参数a 的最大值.解：(1)函数f ()x 的单调递增区间为()-1,0，单调递减区间为()0,+∞；（过程略）(2)不等式æèöø1+1n n +a≤e 等价于()n +a ln æèöø1+1n ≤1，因为1+1n ≥1,所以a ≤1ln æèöø1+1n -n，设g ()x =1ln ()1+x -1x ，x ∈(]0,1，则g ′()x =-1()1+x ln 2()1+x +1x 2=()1+x ln 2()1+x -x 2x 2()1+x ln 2()1+x ，由(1)可得ln 2()1+x -x 21+x≤0，即()1+x ln 2()1+x -x 2≤0，故当x ∈(]0,1时，g ′()x ≤0，函数g ()x 单调递减，即g ()x 在(]0,1上的最小值为g ()1=1ln 2-1，故a 的最大值为1ln 2-1.由于参数a 为指数，所以考虑对不等式左右两边的式子取对数，以将参数分离，得到a ≤1ln æèöø1+1n -n .只要求得1ln æèöø1+1n -n的最小值，即可求得a 的最大值.于是构造函数g ()x =1ln ()1+x -1x ，利用导数法求得函数的最小值，即可解题.在分离参数时，可通过移项、取对数、取倒数等方式，使参数与变量分离.例4.已知函数f ()x =-x ln x +a ()x +1，若f ()x ≤2a 在[)2,+∞上恒成立，求实数a 的取值范围.解：当x ≥2时，由f ()x ≤2a 可得a ≤x ln xx -1，令g ()x =x ln x x -1,x ≥2，∴g ′()x =ln x -x +1()x -12，令h ()x =ln x -x +1，x ≥2，∴h ′()x =1x-1，∵当x ≥2时，h ′()x ＜0，函数h ()x 单调递减，∴h ()x ≤h ()2=ln 2+1＞0，∴g ′()x ＞0，函数g ()x 在[)2,+∞上单调递增，∴g ()x ≥g ()2=2ln 2，∴a ≤g ()x min =g ()2=2ln 2，∴实数a 的取值范围为(]-∞,2ln 2.先将不等式变形，使参数a 单独在不等式的左边，得到不等式a ≤x ln xx -1；然后在定义域[)2,+∞内求不含参函数式的最小值，即可求得参数a 的取值范围.三、数形结合有时不等式中的代数式可用几何图形表示出来，如y =kx 表示的是一条直线；y =a x 、y =x a 表示的是两条曲线；x 2+y 2=1表示的是一个圆，此时就可以采用数形结合法，根据代数式的几何意义画出图形，通过分析图形中曲线、直线之间的位置关系，研究图形的性质，来证明不等式成立.例5.若不等式e x ≥kx 对任意x 恒成立，则实数k 的取值范围为_____.解：设过原点的直线与y =e x相切于点()x 0,ex 0，∵y ′=e x，∴由几何导数的意义可知切线的斜率为k =e x，∴切线的方程为y -e x 0=e x 0()x -x 0，∵切线经过点()0,0，可得x 0=1，∴切线的斜率k =e .由图可知，要使等式e x ≥kx 恒成立，需使y =e x的图象始终在直线y =kx 的上方，∴0≤k ≤e .根据不等式两侧式子的几何意义画出图形，即可将不等式问题看作函数y =e x 和直线y =kx 的位置关系问题.结合图形讨论函数y =e x 和直线y =kx 的位置关系，并根据导函数的几何意义求得切线的方程，即可得到关于参数的新不等式.运用数形结合法解题，需密切关注直线、曲线之间的临界情形，如相切、相交的情形，从而确定参数的临界值.可见，解答不等式恒成立问题，需注意以下几点：（1）仔细观察不等式的结构特点，并将其进行合理的变形，如作差、移项、分离参数；（2）合理构造函数模型，将问题转化为函数最值问题，以便利用导数法、函数的单调性求得最值；（3）灵活运用数形结合思想，以直观、便捷的方式来解题.（作者单位：江苏省泗洪姜堰高级中学）38。

构造函数法证明不等式的八种方法冷世平整理1.构造多项式函数法：通过构造一个多项式函数来证明不等式。

例如，要证明当$x>0$时，$x^3+x^2+x+1>0$，我们可以构造多项式$f(x)=x^3+x^2+x+1$，然后证明$f(x)$的系数全为正数，从而得到结论。

2. 构造变形函数法：通过构造一个特定的变形函数来证明不等式。

例如，要证明当$x>0$时，$x+\frac{1}{x}>2$，我们可以构造变形函数$f(x)=x+\frac{1}{x}-2$，然后证明$f(x)$的取值范围为正数，从而得到结论。

3. 构造反函数法：通过构造一个特定的反函数来证明不等式。

例如，要证明当$x>0$时，$\frac{1}{x}+\frac{1}{1-x}>2$，我们可以构造反函数$f(x)=\frac{1}{x}+\frac{1}{1-x}-2$，然后证明$f(x)$的取值范围为正数，从而得到结论。

4. 构造积分函数法：通过构造一个特定的积分函数来证明不等式。

例如，要证明当$x>0$时，$\int_{0}^{x}\sqrt{t}dt<x$，我们可以构造积分函数$f(x)=\int_{0}^{x}\sqrt{t}dt-x$，然后证明$f(x)$的取值范围为负数，从而得到结论。

5. 构造递推函数法：通过构造一个特定的递推函数来证明不等式。

例如，要证明$n$个正实数的算术平均数大于等于它们的几何平均数，我们可以构造递推函数$f(n)=\frac{a_1+a_2+\dots+a_n}{n}-\sqrt[n]{a_1a_2\dots a_n}$，然后证明$f(n)$关于$n$的递推关系为非负数，从而得到结论。

6. 构造交换函数法：通过构造一个特定的交换函数来证明不等式。

例如，要证明当$x,y,z>0$时，$(x+y)(y+z)(z+x)\geq 8xyz$，我们可以构造交换函数$f(x,y,z)=(x+y)(y+z)(z+x)-8xyz$，然后证明$f(x,y,z)$在$x,y,z$的任意交换下都保持不变或增加，从而得到结论。

构造函数证明不等式（含两变量）➢方法导读在综合性很强的导数解答题中,经常会碰到不等式的证明,在不等式的证明中有一类是含有两个变量的不等式,这两个变量可能是极值点,可能是零点,可能是两函数交点,也可能是极值等等,这时无法直接利用导数来分析求解,学生往往束手无策,那么我们如何处理这类问题呢?我们通过本专题的解读,让这些不确定的变量原形毕露,不在迷茫.➢高考真题【2018·全国I卷理·21.(1);(2)若存在两个极值点,,证明: .➢解题策略【过程分析】要证明不等式,很多学生无从下手,因为有三个不确定的量,,,不能直接求导分析,所以就想到先化简或根据变量间的关系替换左边的式子,使其变量减少或只含一个变量求解.假设第一问完成的情况下,由结论可知,且,然后将其代入化简,明显计算量比较大,,想要得到结论比较困难,所以通过直接代入极值点化简,然后利用导数知识来证明此不等式,费事费力,不太可取,那么该如何处理此问题呢?【深入探究】根据,是由一元二次方程方程解得,所以考虑从韦达定理入手,采用设而不求,整体替换或者根据两个变量间的关系替换掉其中一个变量,从而减少变量数,然后结合导数知识求解.根据这个思路我们得到,,可令,得,然后直接用,代入函数表达式化简可得成立,即要证成立,替换其中一个变量,进而得到一个只含单个变量的不等式,从而可直接利用导数知识分析求解.➢解题过程【解析】(1)∵,∴,对于一元二次方程有.①当时,, ,∴此时在.②当,即或时,令方程两根为,当时,此时两根均为负,在上有,∴在递减.当时,此时两根均为正,数形结合可知在上单调递减,在上单调递增,上单调递减.综上可得,当时,在上单调递减当时,在,上单调递减,上单调递增.(2)由(1)可得,的两正根即为函数的两个极值点,所以且令,∴,要证成立,,∴令,求导得,所以在上为单调递增,∴,∴成立,∴成立,即成立.➢解题分析上述解法中如果按照第一问的结论直接将,代入不等式化简,得到的不等式,然后去分析求解,不但过程复杂,计算量加大,而且很难得到结论. 所以直接用,代入函数表达式去化简不等式,然后通过韦达定理去替换消参,进而构建新函数分析单调性求解最值,从而得到结论.在遇到多个参数的不等式证明中,往往不会直接将变量的结果表达式代入不等式中化简,而是通过一些变量的组合去整体替换或根据变量间的等价关系进行消参,从而化简运算,开阔思路.如本题中直接用,代入函数化简得到,从而构建了一个没有变量的不等式,利用韦达定理结论消参,得到然后通过换元构建新函数分析最值求解即可.➢拓展推广第一步:,如两个极值点就可以利,如果导数是二次函数或与二次函数相关,就可以利用韦达定理处理;第二步:化简不等式,将变量直接代入函数不等式结合变量间的关系化简,将不等式转成只含一个变量或能够整体换元的变量组合形式的表达式;第三步:通过换元构建新函数,分析单调性求解最值,将不等式的证明转成求解函数最值问题,从而将一个无从下手的不等式证明问题转成一个常规的导数问题,使题目变得简单,解答不在迷茫.变式训练1(1);(2)若存在两个极值点,,证明变式训练2(1);(2)若有两个相异的正实数根,,求证变式训练3(1)若曲线在点处的切线与直线垂直,程.(2)若的极大值和极小值分别为,,证明 .变式训练4(1);(2)函数有两个极值点,,其中,若恒成立,的取值范围.变式训练5(1)若函数存在单调递减区间,的取值范围.设,是函数的两个极值点,若,证明:.答案变式训练1见解析(1)函数,∴考虑函数,①当,即时,恒成立,此时在上单调递增.②当,即时,由,得,,当时,;当时,;当时, ,∴在上单调递增,在上单调递减,.综上所述,当时,在上单调递增;当时,在上单调递增,在上单调递减,在上单调递增.(2)函数的定义域为,∵函数有两个极值点,,∴由(1)知,且,,,∴令 ,考查函数 ,则,∵,∴ ,即在,则 ,变式训练2见解析答案:(1)的定义域为,①当时, ,所以在;②当时, ,所以在上为减函数,上为增函数.(2)要证,即证,由得,不妨设,令,则只要证明当时成立.设,,则,所以函数在上单调递减,所以,.综上分析可知.变式训练3见解析∵,切线与直线,∴,即,∴∴曲线在点处的切线的方程为(2)设,为方程的两个实数根,则,令 ,当时,,是增函数,则,.变式训练4(1),①当,即或时,方程(*)有两根,,,数形结合可知函数的增区间是,,②当,即时,在上恒成立,函数的增区间是.综上所述,当或时,函数的增区间是,,.当时,函数的增区间是(2)依题意极值点即为的两根,且,∴且,∴.恒成立等价于恒成立,即恒成立,令,则,当时,函数单调递增,∴,∴.∴,∴的取值范围是变式训练5(1)由题意得,∴对,∵,∴,.(2)由题意知,,是关于的方程根,且,∴设,.∵,∴解得或.又∵,∴,∴.又∵,∴在上单调递减,∴.。

构造函数法证明不等式的八种方法1、利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。

2、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。

以下介绍构造函数法证明不等式的八种方法：一、移项法构造函数【例1】 已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有x x x ≤+≤+-)1ln(111 分析：本题是双边不等式，其右边直接从已知函数证明，左边构造函数111)1ln()(-+++=x x x g ，从其导数入手即可证明。

【解】1111)(+-=-+='x x x x f ∴当01<<-x 时，0)(>'x f ，即)(x f 在)0,1(-∈x 上为增函数当0>x 时，0)(<'x f ，即)(x f 在),0(+∞∈x 上为减函数故函数()f x 的单调递增区间为)0,1(-，单调递减区间),0(+∞于是函数()f x 在),1(+∞-上的最大值为0)0()(max ==f x f ，因此，当1->x 时，0)0()(=≤f x f ，即0)1ln(≤-+x x ∴x x ≤+)1ln( （右面得证）， 现证左面，令111)1ln()(-+++=x x x g ， 22)1()1(111)(+=+-+='x x x x x g 则 当0)(,),0(;0)(,)0,1(>'+∞∈<'-∈x g x x g x 时当时 ，即)(x g 在)0,1(-∈x 上为减函数，在),0(+∞∈x 上为增函数，故函数)(x g 在),1(+∞-上的最小值为0)0()(min ==g x g ，∴当1->x 时，0)0()(=≥g x g ，即0111)1ln(≥-+++x x ∴111)1ln(+-≥+x x ，综上可知，当x x x x ≤+≤-+->)1ln(111,1有时 【警示启迪】如果()f a 是函数()f x 在区间上的最大（小）值，则有()f x ≤()f a （或()f x ≥()f a ），那么要证不等式，只要求函数的最大值不超过0就可得证． 2、作差法构造函数证明【例2】已知函数.ln 21)(2x x x f += 求证：在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方；分析：函数)(x f 的图象在函数)(x g 的图象的下方)()(x g x f <⇔不等式问题， 即3232ln 21x x x <+，只需证明在区间),1(∞+上，恒有3232ln 21x x x <+成立，设)()()(x f x g x F -=，),1(+∞∈x ，考虑到061)1(>=F 要证不等式转化变为：当1>x 时，)1()(F x F >，这只要证明： )(x g 在区间),1(+∞是增函数即可。

构造函数法证明不等式的八种方法.doc构造函数法是一种证明不等式的有效方法。

构造函数法是通过构造函数来证明不等式的真实性。

构造函数是函数的一种特殊形式，它是根据不等式中的条件和限制而构造出来的函数。

构造函数法的基本思路是，通过构造函数将原不等式转化为更容易证明的形式，进而通过对构造函数的研究来证明原不等式的真实性。

本文将介绍构造函数法证明不等式的八种方法。

一、线性函数法线性函数法是基于线性函数的构造函数法，它是构造函数法中最简单的方法之一。

线性函数法的思路是，构造一个线性函数，使得该函数在不等式限制下达到最大值或最小值。

例如，证明如下不等式：$$\frac{a}{b+1}+\frac{b}{c+1}+\frac{c}{a+1}\geq\frac{3}{2}$$将不等式两边都乘以$2(b+1)(c+1)(a+1)$得：$$2a(c+1)(b+1)+2b(a+1)(c+1)+2c(b+1)(a+1)\geq 3(a+1)(b+1)(c+1)$$此时，可以构造如下的线性函数$f(x,y,z)$:容易发现，$f(x,y,z)$在限制条件$x,y,z\geq 0$，$xy+yz+zx=3$下，达到最大值$\frac{3}{2}$。

因此，原不等式成立。

二、对数函数法对数函数法是基于对数函数的构造函数法，它常用于证明形如$a^x+b^y+c^z\geq k$的不等式，其中$a,b,c,x,y,z,k$均为正实数。

对数函数法的思路是，构造一个对数函数，使得该函数满足$g(x,y,z)\leq\ln(a^x+b^y+c^z)$，进而证明$g(x,y,z)\leq\ln k$，从而得到原不等式的证明。

例如，证明如下不等式：考虑构造如下的对数函数：$$g(x)=\ln\left(\frac{4a^3x+6}{5a^2x+2ax+5}\right)-\frac{3}{4}\ln x$$不难证明，$g(x)$在$x\geq 1$时单调递减且$g(1)=0$，因此$g(x)\leq 0$。

构造函数法证明不等式要证明一个不等式，一种常见的方法是使用构造函数法。

构造函数法是通过构造一个满足不等式的函数来证明不等式的正确性。

下面我们来具体说明如何使用构造函数证明一个不等式。

首先，我们需要明确待证明的不等式是什么。

假设我们需要证明的不等式是:f(x) \leq g(x)\]其中，f(x)和g(x)是关于x的函数。

接下来，我们需要构造一个满足不等式的函数h(x)。

我们的目标是证明h(x)满足:f(x) \leq h(x) \leq g(x)\]通过这个中间函数h(x)，我们可以将不等式分解成两个更简单的不等式。

为了构造适当的函数h(x)，我们可以考虑函数的性质，例如导数、零点、拐点等。

以下是几种常见的构造函数的方法:1. 加减常数法: 可以通过给f(x)或g(x)加减一个适当的常数来构造函数h(x)，使得f(x) \leq h(x) \leq g(x)。

例如，如果我们想证明 x^2 \leq x^3，我们可以通过构造一个函数h(x) = x^2 + 1来证明。

显然，对于任意的x，x^2 + 1 \geq x^2，并且x^2 + 1 \leq x^3（因为x^2 \leq x^3对于所有的x成立）。

2. 乘除法: 可以通过乘以或者除以一个适当的函数来构造函数h(x)。

例如，如果我们想证明 x^2\leq x^4，我们可以通过构造一个函数h(x)= \frac{1}{x^2}来证明。

当 x>0时，显然x^2 \leq \frac{1}{x^2}，而当 0\leq x \leq 1时， x^4 \geq x^2、因此，对于所有的x，\frac{1}{x^2} \geq x^2\leq x^43.对函数取导数:如果我们可以找到f(x)和g(x)的导数，并证明导数的关系成立，则可以通过证明导数的关系来证明原始函数的关系。

例如，如果我们想证明 x \leq e^x，我们可以比较两个函数的斜率。

我们知道导数表达式 d/dx(x) = 1 小于 d/dx(e^x) = e^x。

2025届高考数学复习：压轴好题专项(构造函数证明不等式)练习1. （2024届云南省昆明市第一中学高三上学期第一次月考）已知函数()()2ln f x x a x =-，R a ∈． (1)若()10f '=，求a ；(2)若()1,e a ∈，()f x 的极大值大于b2e <．2．（2024届全国名校大联考高三上学期第一联考）已知函数()2ln f x x ax =+（a ∈R ）． (1)若()0f x ≤在()0,∞+上恒成立，求a 的取值范围：(2)设()()3g x x f x =-，1x ，2x 为函数()g x 的两个零点，证明：121x x <．3．（2024届山东省青岛市高三上学期期初调研检测）已知1ea ≥，函数()e ln ln xf x a x a =-+.(1)若1a =，求()f x 在点()()1,1f 处的切线方程； (2)求证：()44f x x ≥-+；(3)若β为()f x 的极值点，点()(),f ββ在圆22117416x y ⎛⎫++= ⎪⎝⎭上.求a .4．（2024届湖南省株洲市第二中学教育集团2高三上学期开学联考）已知函数()21e 12xf x x x =---， (1)证明：当0x >时，()0f x >恒成立； (2)若关于x 的方程()sin 2f x xa x x +=在()0,π内有解，求实数a 的取值范围. 5．（2024届辽宁省十校联合体高三上学期八月调研考试）设方程()22e x x a -=有三个实数根123123,,()x x x x x x <<.(1)求a 的取值范围；(2)请在以下两个问题中任选一个进行作答，注意选的序号不同，该题得分不同.若选①则该小问满分4分，若选②则该小问满分9分.①证明：12(2)(2)4x x --<；②证明：1231231113e 2x x x x x x +++++<. 6．（2024届安徽省江淮十校高三第一次联考）已知函数()2k f x x x=+，0k ≠.(1)讨论()f x 的单调性；(2)设函数()3ln g x x x =-n m ≤<，当13k =-时，证明：()()()()332g m g n f m f n m n -+<-. 7．（2024届内蒙古包头市高三上学期调研考试）设函数()()ln 1f x a x =+-，已知2x =是函数()()2y x f x =-的极值点.(1)求a ； (2)设函数()()()()22x f x g x x f x -=-+，证明：()1g x >.8．（2024届北京市景山学校高三上学期开学考试）已知函数())(0)f x x b a =+≠，曲线()y f x =在点(1,(1))f 处的切线方程是1y x =-.(1)求a 、b 的值； (2)求证：()f x x <；(3)若函数()2()()g x f x t x x =+-在区间(1,)+∞上无零点，求t 的取值范围.9．（2024届山西省大同市高三上学期质量检测）已知函数2()ln (R)af x ax x a x=--∈． (1)讨论()f x 的单调性；(2)若()f x 的两个极值点分别为1x ，2x ，证明：12|()()|2f x f x a-<．10．（2024届黑龙江省哈尔滨市第三中学校高三上学期开学测试）已知函数()()111ln f x ax a x x=+--+.(1)讨论函数()f x 的单调性；(2)求证：n *∀∈N ，)21+⋅⋅⋅++>.参考答案1. （2024届云南省昆明市第一中学高三上学期第一次月考）已知函数()()2ln f x x a x =-，R a ∈． (1)若()10f '=，求a ；(2)若()1,e a ∈，()f x 的极大值大于b 2e <．【过程详解】（1）()212()ln ()f x x a x x a x'=-+-⋅，由()10f '=，即202(1)ln1(1)a a --=+，解得1a =． （2）()()(2ln 1)af x x a x x'=--+， 令()2ln 1ag x x x=-+， ()1,e a ∈ ，111(,1e ),a a a∴∈∴<，()21()2ln 11)2ln (10g a a a a a a=--+=-++-<， ()2ln 112ln 0g a a a =-+=>， 22()0ag x x x+'=>在(0,)+∞恒成立， 故()g x 在(0,)+∞递增，而1lg()0,()0g a a <>，01(,)x a a∴∃∈，使得g 0()0,x =令()0f x '=，有1201,,x a x x x =<=故0(0,)x x ∈时()0f x ¢>，0(,)x x a ∈时()0f x '<，(,)x a ∈+∞时()0f x ¢>， 故()f x 在0(0,)x 上递增，在0(,)x a 上递减，在(,)a +∞上递增，∴()f x 极大值2000()()ln ,f x x a x b =->由000()2ln 10,ag x x x =-+=得0002ln ,a x x x =+ 故23004(ln ),b x x <则230028(ln ),ab ax x <01,e 1e x a a<<<< 0e,e a x ∴<<，23233008(ln )8e e 18e ax x ∴<⋅⋅⋅=，328e ,ab ∴<2e <．2．（2024届全国名校大联考高三上学期第一联考）已知函数()2ln f x x ax =+（a ∈R ）． (1)若()0f x ≤在()0,∞+上恒成立，求a 的取值范围：(2)设()()3g x x f x =-，1x ，2x 为函数()g x 的两个零点，证明：121x x <．【过程详解】（1）若()0f x ≤在()0,∞+上恒成立，即2ln xa x≤-， 令()2ln x u x x =-，所以()()222ln 122ln x x u x x x --'=-=， 所以当0e x <<时，()0u x '<，当e x >时，()0u x '>， 所以()u x 在()0,e 上单调递减，在()e,+∞上单调递增， 所以()()min 2e eu x u ==-，所以2a e ≤-，即a 的取值范围是2,e ⎛⎤-∞- ⎝⎦．（2）令()0g x =，即22ln 0xx a x--=， 令()22ln x h x x a x =--，则()()()3222ln 121ln 2x x x h x x x x +--'=-=， 令()3ln 1r x x x =+-，所以()2130r x x x'=+>，所以()r x 在()0,∞+上单调递增，又()10r =，所以当01x <<时，()0r x <，所以()0h x '<， 当1x >时，()0r x >，所以()0h x '>，所以()h x 在()0,1上单调递减，在()1,+∞上单调递增． 不妨设12x x <，则1201x x <<<，2101x <<， 因为()()120h x h x ==，所以()()22212222222212ln 2ln 1111x x h x h h x h x a a x x x x x ⎛⎫ ⎪⎛⎫⎛⎫⎛⎫ ⎪-=-=----- ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭ ⎪⎝⎭22222112ln x x x x x ⎛⎫⎛⎫=+--- ⎪ ⎪⎝⎭⎝⎭． 设函数()12ln x x x x ϕ=--（1x >），则()()22211210x x x x xϕ-'=+-=>在()1,+∞上恒成立， 所以()x ϕ在()1,+∞上单调递增，所以()()222212ln 10x x x x ϕϕ=-->=， 所以()1210h x h x ⎛⎫-> ⎪⎝⎭，即()121h x h x ⎛⎫> ⎪⎝⎭．又函数()22ln xh x x a x=--在()0,1上单调递减， 所以12101x x <<<，所以121x x <． 3．（2024届山东省青岛市高三上学期期初调研检测）已知1ea ≥，函数()e ln ln xf x a x a =-+.(1)若1a =，求()f x 在点()()1,1f 处的切线方程； (2)求证：()44f x x ≥-+；(3)若β为()f x 的极值点，点()(),f ββ在圆22117416x y ⎛⎫++= ⎪⎝⎭上.求a .【过程详解】（1）1a =，()e ln xf x x =-，0x >由()11e ln1e f =-=，得切点为()1,e由()1e xf x x'=-，有()1e 1f '=-，即()f x 在点()1,e 处的切线斜率为e 1-，所以()f x 在点()1,e 处的切线方程为：()e 11y x =-+. （2）证明：因为()1e xf x a x '=-(1ea ≥，0x >)，设函数()()g x f x '=，则()21e 0xg x a x '=+>(1e a ≥，0x >)，所以()f x '在()0,∞+上单调递增又因为()212e 02f a '=->，112e2e 1e 2e e 2e 02e a a f a a a a ⎛⎫⎛⎫'=-=-< ⎪ ⎪⎝⎭⎝⎭， 所以存在1,22e a β⎛⎫∈⎪⎝⎭，使得()0f β'=， 即1e a ββ=，1e a ββ=，所以，当()0,x ∈β时，()0f x '<，()f x 在()0,β上单调递减； 当(),x β∈+∞时，()0f x ¢>，()f x 在(),β+∞上单调递增；所以()()1e ln ln 2lnf x f a a ββββββ≥=-+=--令()12ln =--h x x x x ，()()()()14432ln 40x h x x x x x xϕ=--+=+-->， 则()()()2131x x x x ϕ-+'=，()0x ϕ'<解得01x <<，()0x ϕ'>解得1x >，所以，()x ϕ在()0,1上单调递减，在()1,+∞上单调递增； 所以，()()10x ϕϕ≥=，所以，()h x 的图像在44y x =-+的上方，且()h x 与44y x =-+唯一交点为()1,0， 所以，()44f x x ≥-+.（3）圆22117416x y ⎛⎫++= ⎪⎝⎭的圆心坐标为10,4⎛⎫- ⎪⎝⎭，半径r =圆心到直线44y x =-+的距离174d ===， 所以直线44y x =-+为圆22117416x y ⎛⎫++= ⎪⎝⎭的切线，由2211741644x y y x ⎧⎛⎫++=⎪ ⎪⎨⎝⎭⎪=-+⎩解得切点坐标为()1,0， 显然，圆22117416x y ⎛⎫++= ⎪⎝⎭在直线44y x =-+的下方又因为()44f x x ≥-+，且点()(),f ββ在圆22117416x y ⎛⎫++= ⎪⎝⎭上，则点()(),f ββ即为切点为()1,0，所以1β=，1ea =.4．（2024届湖南省株洲市第二中学教育集团2高三上学期开学联考）已知函数()21e 12xf x x x =---， (1)证明：当0x >时，()0f x >恒成立；(2)若关于x 的方程()sin 2f x xa x x +=在()0,π内有解，求实数a 的取值范围. 【过程详解】（1）函数21()e 12xf x x x =---，0x >，求导得()e 1x f x x '=--，令e 1x y x =--，0x >，求导得e 10x y '=->， 则函数()f x '在(0,)+∞上单调递增，()(0)0f x f ''>=， 因此函数()f x 在(0,)+∞上单调递增，()(0)0f x f >=， 所以当0x >时，()0f x >恒成立.（2）设sin y x x =-，()0,πx ∈，则1cos 0y x '=->， 则sin y x x =-在()0,π上递增，0y >，即sin 0x x >>， 方程()sin 2f x xa x x +=等价于e sin 10x ax x x ---=，()0,πx ∈， 令()e sin 1xg x ax x x =---，原问题等价于()g x 在()0,π内有零点，由()0,πx ∈，得2sin x x x <， 由（1）知，当12a ≤时，()21e sin 1e 102x xg x ax x x x x =--->--->， 当()0,πx ∈时，函数()y g x =没有零点，不合题意； 当12a >时，由()e sin 1x g x ax x x =---，求导得()()e cos sin 1xg x a x x x '=-+-， 令()()()e cos sin 1x t x g x a x x x '==-+-，则()()e sin 2cos xt x a x x x '=+-，当π[,π)2x ∈时，()0t x '>恒成立，当π(0,)2x ∈时，令()()()e sin 2cos x s x t x a x x x '==+-，则()()e 3sin cos xs x a x x x '=++，因为e 0x >，()3sin cos 0a x x x +>，则()0s x '>，即()t x '在π(0,2上单调递增，又()0120t a '=-<，π2ππ(e 022t a '=+>，因此()t x '在π(0,)2上存在唯一的零点0x ，当()00,x x ∈时，()0t x '<，函数()g x '单调递减，当()0,πx x ∈时，()0t x '>，函数()g x '单调递增，显然()()000g x g ''<=，()ππe π10g a '=+->，因此()g x '在()0,π上存在唯一的零点1x ，且()10,πx x ∈，当()10,x x ∈时，()0g x '<，函数()g x 单调递减，当()1,πx x ∈时，()0g x '>，()g x 单调递增， 又()00g =，()()100g x g <=，由（1）知，21e 112x x x x >++>+，则()ππe π10g =-->，所以()g x 在()10,x 上没有零点，在()1,πx 上存在唯一零点，因此()g x 在()0,π上有唯一零点， 所以a 的取值范围是1(,)2+∞.5．（2024届辽宁省十校联合体高三上学期八月调研考试）设方程()22e x x a -=有三个实数根123123,,()x x x x x x <<.(1)求a 的取值范围；(2)请在以下两个问题中任选一个进行作答，注意选的序号不同，该题得分不同.若选①则该小问满分4分，若选②则该小问满分9分.①证明：12(2)(2)4x x --<；②证明：1231231113e2x x x x x x +++++<. 【过程详解】（1）由题意设()()22e x f x x =-（x ∈R ），则()f x '=()2e xx x -，x ∈R ，令()0f x '=，得0x =或2x =，当0x <或2x >时，()0f x ¢>，所以()f x 在(),0∞-，()2,+∞上单调递增； 当02x <<时，()0f x '<，所以()f x 在()0,2上单调递减；又()20f =，()04f =，()33e 4f =>，且()()22e 0x f x x =-≥，当x 趋向于+∞时，()f x 也趋向于+∞，又方程()22e x x a -=有三个实数根123123,,()x x x x x x <<， 等价于直线y a =与()y f x =的函数图像有三个交点， 即04a <<，所以a 的取值范围为()0,4.（2）选①，证明如下：由（1）得：1202x x <<<，则122220x x -<-<-<， 设112t x =-，222t x =-，则1220t t <-<<， 不妨设121t k t =>，则12t kt =（1k >）， 又()()1222122e 2e x x x x a -=-=，即12222212e e t t t t a ++==，故22222222e e 0e kt ta k t t ==>，即222e e kt t k =，所以22ln 1k t k=-，212ln 1k k t kt k ==-，1k >， 则()()()2222121222ln 2ln 22111k x x t t k k ⎛⎫⎫ ⎪⎛⎫⎪--==⋅==⎪ ⎪ ⎪-⎝⎭⎪⎪-⎪⎝⎭⎭，设()l 1n 2x g x x x=-+，1x >， 则()()222121=10x g x x x x -'--=-≤，所以()g x 在()1,+∞上单调递减，即()()10g x g <=，1>，则0<，即，0>2<，故()()212122241x x t t ⎛⎫ ⎪--==<⎪ ⎪⎪⎝⎭. 选②，证明如下：由（1）得：1202x x <<<，则122220x x -<-<-<， 设112t x =-，222t x =-，则1220t t <-<<， 不妨设121t k t =>，则12t kt =（1k >）， 又()()1222122e 2e x x x x a -=-=，即12222212e e t t t t a ++==，故22222222e e 0e kt ta k t t ==>，即222e e kt t k =，所以22ln 1k t k=-，212ln 1k k t kt k ==-（1k >），则()()()2222121222ln 2ln 22111k x x t t k k ⎛⎫⎫ ⎪⎛⎫⎪--==⋅==⎪ ⎪ ⎪-⎝⎭⎪⎪-⎪⎝⎭⎭1>）， 设()l 1n 2x g x x x=-+，1x >， 则()()222121=10x g x x x x -'--=-≤，所以()g x 在()1,+∞上单调递减，即()()10g x g <=，1>，则0<，即，0>2<，故()()212122241x x t t ⎛⎫ ⎪--==<⎪ ⎪⎪⎝⎭. 所以()()()12121222244x x x x x x --=-++<，则()12122x x x x <+， 又因为1202x x <<<，所以120x x <，从而()12121221121x x x x x x +⎛⎫=+< ⎪⎝⎭，故121112x x +<①，下证120x x +<， 有12122ln 2ln 44011k k kx x t t k k+=++=++<--（1k >）， 即证1k >时，()()1ln 21k k k +>-，即()214ln 211k k k k ->=-++， 即证4ln 21k k +>+（1k >）， 设()4ln 1h x x x =++（1x >），则()()()()22211411x h x x x x x -'=-=++，当1x >时，()0h x '>，所以()h x 在()1,+∞上单调递增， 则()()12h x h >=，所以120x x +<②，又()()33e 0f f =>，所以得323x <<，设()1x x xϕ=+，（23x <<），则()211x x ϕ'=-，当23x <<时，()0x ϕ'>，所以()x ϕ在()2,3上单调递增， 则331103x x +<③， 联立①②③得：123123*********e 042362x x x x x x +++++<++=<<，故1231231113e2x x x x x x +++++<. 6．（2024届安徽省江淮十校高三第一次联考）已知函数()2k f x x x=+，0k ≠.(1)讨论()f x 的单调性；(2)设函数()3ln g x x x =-n m ≤<，当13k =-时，证明：()()()()332g m g n f m f n m n -+<-. 【过程详解】（1）解：函数()f x 的定义域为{}|0x x ≠，()32222k x kf x x x x -='-=， 令()0f x '=，则x =①当0k<时，当x <()0f x '<，()f x0x <<时，()0f x ¢>，()f x 单调递增；当0x >时，()0f x ¢>，()f x 单调递增；②当0k>时，当0x <时，()0f x '<，()f x 单调递减；当0x <<()0f x '<，()f x 单调递减；当x >时，()0f x ¢>，()f x 单调递增.综上：当0k <时，单调增区间为⎫⎪⎪⎭，()0,∞+，单调递减区间为⎛-∞ ⎝； 当0k >时，单调递增区间为⎫+∞⎪⎪⎭，单调递减区间为(),0∞-，⎛ ⎝. （2）对任意的m，n ⎫∈+∞⎪⎭，且m n >，令mt n =（1t >），因为()()()()()()()32m n f m f n g m g n -+--()22333311ln 2222m m n m n m n m n n ⎛⎫⎛⎫=-+----- ⎪ ⎪⎝⎭⎝⎭33221133ln 222222n m m m n mn m n m n n=-+-+-+ 323111332ln 22m m m m n m n n n n n mn ⎡⎤⎛⎫⎛⎫⎛⎫=-+⋅----⎢⎥ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎢⎥⎣⎦()332331*********ln (1)2ln 2222n t t t t t n t t t t t ⎛⎫⎛⎫=-+----=---- ⎪ ⎪⎝⎭⎝⎭ ()33211111(1)2ln 33132ln 626t t t t t t t t t t ⎡⎤⎛⎫⎛⎫≥----=-+---- ⎪ ⎪⎢⎥⎝⎭⎝⎭⎣⎦ 321336ln 16t t t t ⎛⎫=-++- ⎪⎝⎭， 记()32336ln 1h t t t t t =-++-，则()22226311113636320h t t t t t t t t t t t t t ⎛⎫⎛⎫⎛⎫⎛⎫=-+-=---'=-+-> ⎪ ⎪ ⎪⎪⎝⎭⎝⎭⎝⎭⎝⎭，所以()h t 在()1,+∞单调递增，所以()()10h t h >=，故32336ln 10t t t t-++->，所以()()()()()()()302m n f m f n g m g n -+-->， 故()()()()332g m g n f m f n m n-+<-.7．（2024届内蒙古包头市高三上学期调研考试）设函数()()ln 1f x a x =+-，已知2x =是函数()()2y x f x =-的极值点.(1)求a ； (2)设函数()()()()22x f x g x x f x -=-+，证明：()1g x >.【过程详解】（1）由题意可知，()()()()22ln 1y x f x x a x =-=-+-，则()2ln 11xy a x a x-'=+-++-，因为2x =是函数()()2ln 1y x a x =-+-的极值点， 所以()ln 120a +-=，解得2a =， 经检验满足题意，故2a =；（2）由（1）得()()ln 3f x x =-，(),3x ∞∈-， 设()()()22ln 3h x x f x x x =-+=-+-，则()12133x h x x x -'=-=--， 当2x <时，203x x ->-，即()0h x '>，所以()h x 在区间(),2-∞单调递增； 当23x <<时，203x x -<-，即()0h x '<，所以()h x 在区间()2,3单调递减， 因此当(),3x ∞∈-时，()()20h x h ≤=，因为()g x 的定义域要求()f x 有意义，即(),3x ∞∈-，同时还要求()2ln 30x x -+-≠，即要求2x ≠，所以()g x的定义域为{|3x x < 且}2x ≠， 要证()()()()212x f x g x x f x -=>-+，因为()20x f x -+<，所以需证()()()22x f x x f x -<-+， 即需证()()23ln 30x x x -+-->，令3x t -=，则0t >且1t ≠，则只需证1ln 0t t t -+>，令()1ln m t t t t =-+，则()ln m t t '=，令()ln 0m t t '==，可得1t =， 所以()0,1t ∈，()0m t '<；()1,t ∈+∞，()0m t '>；所以()m t 在区间()0,1上单调递减，在区间()1,+∞上单调递增， 所以()()10m t m >=，即()1g x >成立.8．（2024届北京市景山学校高三上学期开学考试）已知函数())(0)f x x b a =+≠，曲线()y f x =在点(1,(1))f 处的切线方程是1y x =-.(1)求a 、b 的值； (2)求证：()f x x <；(3)若函数()2()()g x f x t x x =+-在区间(1,)+∞上无零点，求t 的取值范围.【过程详解】（1）()()f x x b '=+由切线方程知()()1110f f ⎧=⎪⎨='⎪⎩，即()()1110b b +=+=，注意到0a ≠，解得1a =,0b =.（2）由（1）可知()f x x，若要()f x x x =<且注意到0x >，所以只需ln x < 构造函数()ln h x x =()122h x x x '==，令()0h x '=得4x =，所以()h x 、()h x '随x 的变化情况如下表：()0,4 ()4,+∞()h x '+-()h x所以()h x 有极大值()244ln 42ln 0eh =-=<，综上()0h x <，结合分析可知命题得证. （3）由题意分以下三种情形讨论：情形一：注意到当0t ≥且1x >0x >，()10txx -≥，此时有()0g x >，即()g x 在区间(1,)+∞上无零点，符合题意.情形二：对()2()g x x t x x =+-求导得()()21g xt x x '=+-，所以有()11g t '=+；进一步对()()21g x t x x '=++- 求导得()32ln 24x g x t x-''=+，注意到当1t ≤-且1x >时，有20t <，32ln 04x x-< ，进而有()0g x ''<，所以()g x '单调递减，所以()()110g x g t ''<=+≤，因此()g x 单调递减，故()()10g x g <=，即()g x 在区间(1,)+∞上无零点，符合题意.情形三：由（2）可知1x >lnx <，且注意到当10t -<<时有()()()1()21211212g x t x t x t x '=-<+-<++-成立， 所以11(02a g a a -'<-<，此时()110g t '=+>， 所以存在011,a x a -⎛⎫∈ ⎪⎝⎭使得()00g x '=，且注意到此时有()32ln 204x g x t x -''=+<成立， 所以()g x 、()g x '随x 的变化情况如下表：()01,x ()0,x +∞()g x ' +-()g x故一方面当0x x =时，()g x 取极大值（或最大值）()0g x ，显然有()()010g x g >=；ln x <可得()()()22()1g x x t x x x t x x x tx t +-<+-=+-，所以有10a g a -⎛⎫< ⎪⎝⎭，由零点存在定理并结合这两方面可知函数()g x 在区间(1,)+∞上存在零点.综上所述，符合题意的t 的取值范围为(][),10,-∞-⋃+∞.9．（2024届山西省大同市高三上学期质量检测）已知函数2()ln (R)af x ax x a x=--∈． (1)讨论()f x 的单调性；(2)若()f x 的两个极值点分别为1x ，2x，证明：12|()()|f x f x -<． 【过程详解】（1）依题意，222122()(0)a ax x af x a x x x x -+'=-+=>，当0a ≤时，()0f x '<，所以()f x 在(0,)+∞上单调递减；当0a <<()0f x '>，解得102x a <<或12x a>，令()0f x '<，解得112x a <<，所以()f x在1(0,2a 上单调递增，在11(22a a上单调递减，在)+∞上单调递增；当a ≥时，()0f x '≥，所以()f x 在(0,)+∞上单调递增． （2）不妨设120x x <<，由（1）知，当04a <<时，()f x 在1(0,)x 上单调递增，在12(,)x x 上单调递减，在2(,)x +∞上单调递增，所以1x 是()f x 的极大值点，2x 是()fx的极小值点，所以12()()f x f x >，所以1212|()()|()()f x f x f xf x -=-．由（1）知，122x x =，121x x a+=，则21x xa-==．要证12|()()|f x f x -<1221()())2f x f x x x -<-．因为22121122121112()()()()()ln 222x x xx x f x f x x x a x x a x x x ---+=-+--+⋅2212212111212()2()()ln ln 2x x x x a x x x x x x x x -=-+--=+ 2122112(1)ln 1x x xx x x -=+， 设211x t x =>，2(1)()ln 1t g t t t -=++．所以222414()0(1)(1)g t t t t '==>++， 所以()g t 在(1,)+∞上单调递增，所以()(1)0g t g >=．所以2112)()()02x x f x f x --+>，即得1221()()()2f x f x x x -<-成立． 所以原不等式成立．10．（2024届黑龙江省哈尔滨市第三中学校高三上学期开学测试）已知函数()()111ln f x ax a x x=+--+.(1)讨论函数()f x 的单调性；(2)求证：n *∀∈N ，)21+⋅⋅⋅++>.【过程详解】（1）()f x 的定义域为()0,∞+，()()()221111ax x a f x a x x x --+'=+-=， 当0a ≤时，10ax -<，令()0f x ¢>，解得01x <<，令()0f x '<，解得1x >，所以()f x 在()0,1上单调递增，()1,+∞上单调递减；当01a <<时，令()0f x ¢>，解得01x <<或1x a >，令()0f x '<，解得11x a <<，所以()f x 在()0,1，1,a ⎛⎫+∞ ⎪⎝⎭上单调递增，11,a ⎛⎫⎪⎝⎭上单调递减；当1a =时，()0f x '≥恒成立，所以()f x 在()0,∞+上单调递增；当1a >时，令()0f x ¢>，解得10x a <<或1x >，令()0f x '<，解得11x a <<，所以()f x 在10,a ⎛⎫⎪⎝⎭，()1,+∞上单调递增，1,1a ⎛⎫⎪⎝⎭上单调递减；综上所述，当0a ≤时，()f x 在()0,1上单调递增，()1,+∞上单调递减；当01a <<时，()f x 在()0,1，1,a ⎛⎫+∞ ⎪⎝⎭上单调递增，11,a ⎛⎫⎪⎝⎭上单调递减；当1a =时，()f x 在()0,∞+上单调递增；当1a >时，()f x 在10,a ⎛⎫⎪⎝⎭，()1,+∞上单调递增，1,1a ⎛⎫ ⎪⎝⎭上单调递减.（2）当0a =时，由（1）可得()()11ln 10f x x f x=--<=，()1x >，因为N n *∈1>，则10<，即11>>所以n ++>-+L L2n =-L2n =-)21=-，即)2ln 1+>L .。

导数之构造函数法证明不等式 1、移项法构造函数 【例1】已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有【解】1111)(+-=-+='x xx x f ∴当01<<-x 时，0)(>'x f ，即)(x f 在)0,1(-∈x 上为增函数 当0>x 时，0)(<'x f ，即)(x f 在),0(+∞∈x 上为减函数 故函数()f x 的单调递增区间为)0,1(-，单调递减区间),0(+∞于是函数()f x 在),1(+∞-上的最大值为0)0()(max ==f x f ，因此，当1->x 时，0)0()(=≤f x f ，即0)1ln(≤-+x x ∴x x ≤+)1ln( （右面得证）， 现证左面，令111)1ln()(-+++=x x x g ， 22)1()1(111)(+=+-+='x x x x x g 则 当0)(,),0(;0)(,)0,1(>'+∞∈<'-∈x g x x g x 时当时 ， 即)(x g 在)0,1(-∈x 上为减函数，在),0(+∞∈x 上为增函数， 故函数)(x g 在),1(+∞-上的最小值为0)0()(min ==g x g ，∴当1->x 时，0)0()(=≥g x g ，即0111)1ln(≥-+++x x ∴111)1ln(+-≥+x x ，综上可知，当x x x x ≤+≤-+->)1ln(111,1有时2、作差法构造函数证明 【例2】已知函数.ln 21)(2x x x f +=求证：在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方； 【解】设)()()(x f x g x F -=，即x x x x F ln 2132)(23--=， 则xx x x F 12)(2--='=x x x x )12)(1(2++-当1>x 时，)(x F '=xx x x )12)(1(2++-从而)(x F 在),1(∞+上为增函数，∴061)1()(>=>F x F∴当1>x 时 0)()(>-x f x g ，即)()(x g x f <， 故在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方。

突破疑难点1构造函数证明不等式构造法证明不等式是指在证明与函数有关的不等式时，根据所要证明的不等式，构造与之相关的函数，利用函数单调性、极值、最值加以证明．常见的构造方法有：(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)，xx＋1≤ln(x＋1)≤x(x＞－1)；(3)构造“形似”函数：稍作变形再构造，对原不等式同解变形，如移项、通分、取对数，把不等式转化为左、右两边是相同结构的式子的形式，根据“相同结构”构造辅助函数；(4)构造双函数：若直接构造函数求导难以判断符号，导函数零点也不易求得，因此函数单调性与极值点都不易获得，则可构造函数f(x)和g(x)，利用其最值求解．突破疑难点2利用分类讨论法确定参数取值范围一般地，若a＞f(x)对x∈D恒成立，则只需a＞f(x)max；若a＜f(x)对x∈D恒成立，则只需a＜f(x)min.若存在x0∈D，使a＞f(x0)成立，则只需a＞f(x)min；若存在x0∈D，使a＜f(x0)成立，则只需a＜f(x0)max.由此构造不等式，求解参数的取值范围．常见有两种情况，一种先利用综合法，结合导函数零点之间大小关系的决定条件，确定分类讨论的标准，分类后，判断不同区间函数的单调性，得到最值，构造不等式求解；另外一种，直接通过导函数的式子，看出导函数值正负的分类标准，通常导函数为二次函数或者一次函数．突破疑难点3两法破解函数零点个数问题两类零点问题的不同处理方法：利用零点存在性定理的条件为函数图象在区间[a，b]上是连续不断的曲线，且f(a)·f(b)＜0.①直接法：判断一个零点时，若函数为单调函数，则只需取值证明f(a)·f(b)＜0；②分类讨论法：判断几个零点时，需要先结合单调性，确定分类讨论的标准，再利用零点存在性定理，在每个单调区间内取值证明f(a)·f(b)＜0.突破疑难点4两法破解由零点个数确定参数问题已知函数有零点求参数范围常用的方法：(1)分离参数法：一般命题情境为给出区间，求满足函数零点个数的参数范围，通常解法为从f(x)中分离出参数，然后利用求导的方法求出由参数构造的新函数的最值，根据题设条件构建关于参数的不等式，再通过解不等式确定参数范围；(2)分类讨论法：一般命题情境为没有固定区间，求满足函数零点个数的参数范围，通常解法为结合单调性，先确定参数分类的标准，在每个小范围内研究零点的个数是否符合题意，将满足题意的参数的各小范围并在一起，即为所求参数范围．。

专题5 构造函数证明不等式函数与导数一直是高考中的热点与难点, 利用导数证明不等式在近几年高考中出现的频率比较高．求解此类问题关键是要找出与待证不等式紧密联系的函数,然后以导数为工具来研究该函数的单调性、极值、最值(值域),从而达到证明不等式的目的．(一) 把证明()f x k >转化为证明()min f x k>此类问题一般简单的题目可以直接求出()f x 的最小值,复杂一点的题目是()f x 有最小值,但无法具体确定,这种情况下一般是先把()f x 的最小值转化为关于极值点的一个函数,再根据极值点所在范围,确定最小值所在范围【例1】（2024届黑龙江省哈尔滨市三中学校高三下学期第五次模拟）已知函数()()21ln f x a x x x =+--（a ÎR ）.(1)讨论()f x 的单调性；(2)当102a <£时,求证：()1212f x a a³-+.【解析】（1）由题意可知,函数2()(1)ln f x a x x x =+--的定义域为(0,)+¥,导数1(1)(21)()2(1)1x ax f x a x x x+-¢=+--=,当0a £时,,()0x Î+¥,()0f x ¢<；当0a >时,1(0,)2x a Î,()0f x ¢<；1(,),()02x f x a¢Î+¥>；综上,当0a £时,函数()f x 在区间(0,)+¥上单调递减；当0a >时,函数()f x 在区间1(0,2a 上单调递减,在区间1(,)2a+¥上单调递增.（2）由（1）可知,当102a <£时,函数()f x 在区间1(0,)2a 上单调递减,在区间1(,)2a+¥上单调递增.所以函数211111()()(1)ln()1ln(2)22224f x f a a a a a a a a³=+--=+-+,要证1()212f x a a ³-+,需证111ln(2)2142a a a a a+-+³-+,即需证11ln(2)0,(0,]42a a a a +-³Î恒成立.令1()ln(2)4g a a a a =+-,则()2222111()1044a g a a aa -=--+=-£¢,所以函数()g a 在区间1(0,2单调递减,故111()()00222g a g ³=+-=,所以11ln(2)0,(0,]42a a a a +-³Î恒成立,所以当102a <£时,1()212f x a a³-+.【例2】（2024届重庆市南开中学高三上学期第一次质量检测）已知函数()()sin ln 1f x x x =-+.(1)求证：当π1,2x æöÎ-ç÷èø时,()0f x ³；(2)求证：()()111111ln 1sin sin sin sinln ln 2224622n n n n *+<++++<+ÎN L .【解析】（1）证明：因为()()sin ln 1f x x x =-+,则()0sin 0ln10f =-=,()1cos 1f x x x =-+¢,当(]1,0x Î-时,cos 1x £,111x ³+,()0f x ¢£,函数()f x 单调递减,则()()00f x f ³=成立；当π0,2x æöÎç÷èø时,令()1cos 1p x x x =-+,则()()21sin 1p x x x ¢=-+,因为函数()211y x =+、sin y x =-在π0,2æöç÷èø上均为减函数,所以,函数()p x ¢在π0,2æöç÷èø上为减函数,因为()010p ¢=>,2π1102π12p æö¢=-<ç÷èøæö+ç÷èø,所以存在π0,2x æöÎç÷èø,使得()00p x ¢=,且当00x x <<时,()0p x ¢>,此时函数()f x ¢单调递增,当0π2x x <<时,()0p x ¢<,此时函数()f x ¢单调递减,而()00f ¢=,所以()00f x ¢>,又因为π02f æö¢<ç÷èø,所以存在10π,2x x æöÎç÷èø,使得()10f x ¢=,当10x x <<时,()0f x ¢>,此时函数()f x 单调递增,当1π2x x <<时,()0f x ¢<,此时函数()f x 单调递减,因为π1e 2+<,所以,ππ1ln 11ln e 022f æöæö=-+>-=ç÷ç÷èøèø,所以,对任意的π0,2x æöÎç÷èø时,()0f x >成立,综上,()0f x ³对任意的π1,2x æöÎ-ç÷èø恒成立.（2）证明：由（1）,对任意的n *ÎN ,11022n <£,则111sin ln 10222f n n n æöæö=-+>ç÷ç÷èøèø,即1121sinln 1ln 222n n n n +æö>+=ç÷èø,对任意的n *ÎN ,()()()()22122221221022*******n n n n n n n n n n n +-+++-==>+++,所以,2122221n n n n ++>+,则2122ln ln 221n n n n ++>+,所以111135721sin sin sin sinln ln ln ln 24622462n n n +++++>+++L ,从而可得111146822sin sin sin sinln ln ln ln 246235721n n n +++++>++++L ,上述两个不等式相加可得11112sin sin sin sin 2462n æö++++ç÷èøL ()3456782122ln ln ln ln ln ln ln ln ln 1234567221n n n n n ++>++++++++=++L ,所以,()11111sin sin sin sinln 124622n n ++++>+L ,又由（1）,因为1102n -<-<,则111121sin ln 1sin ln022222n f n n n n n -æöæöæö-=---=-->ç÷ç÷ç÷èøèøèø,可得1212sinln ln 2221n nn n n -<-=-,当2n ³且n *ÎN 时,()()()()()()22222122110212221222122n n n n n n n n n n n -----==-<------,所以,2212122n n n n -<--,即221ln ln 2122n n n n -<--,所以,当2n ³时,1111462sin sin sin sinln 2ln ln ln 24623521nn n ++++<++++-L L ,从而有11113521sin sin sin sinln 2ln ln ln 24622422n n n -++++<++++-L L ,上述两个不等式相加得：11112sin sin sin sin 2462n æö++++ç÷èøL 3456782122ln 2ln ln ln ln ln ln ln ln 2ln 2ln 2345672221n nn n n -<+++++++++=+--L ,所以,11111sin sin sin sinln 2ln 24622n n ++++<+L ,当1n =时,1111sin ln ln 2sin 02222f æöæö-=--=->ç÷ç÷èøèø,即1sin ln 22<,所以,对任意的n *ÎN ,11111sin sin sin sinln ln 224622n n ++++<+L ,因此,()()111111ln 1sin sin sin sinln ln 2224622n n n n *+<++++<+ÎN L . (二) 把证明()()f x g x > 转化为证明()()0f xg x ->此类问题是证明不等式中最基本的一类问题,把两个函数通过作差转化为一个函数,再利用导数研究该函数的性质,通过函数性质证明该不等式.【例3】（2024届西省榆林市第十中学高三下学期一模）已知函数()()e 11xf x a x =+--,其中a ÎR ．(1)讨论函数()f x 的单调性；(2)当2a =时,证明：()ln cos f x x x x >-．【解析】（1）()()e 11x f x a x =+--Q ,()e 1x f x a \=¢+-,当1a ³时,()e 10xf x a =+->¢,函数()f x 在R 上单调递增；当1a <时,由()e 10xf x a =+->¢,得()ln 1x a >-,函数()f x 在区间()()ln 1,a ¥-+上单调递增,由()e 10xf x a =+-<¢,得()ln 1x a <-,函数()f x 在区间()(),ln 1a -¥-上单调递减．综上,当1a ³时,()f x 在R 上单调递增,无减区间.当1a <时,()f x 在()()ln 1,a ¥-+上单调递增,在()(),ln 1a -¥-上单调递减.（2）Q 当2a =时,()e 1xf x x =+-,\要证()ln cos f x x x x >-,即证()e cos 1ln 0,0,x x x x x x ++-->Î+¥,①当01x <£时,e cos 10x x x ++->Q ,ln 0x x £,e cos 1ln 0x x x x x \++-->；②当1x >时,令()e cos 1ln xg x x x x x =++--,则()e sin ln x g x x x =--¢,设()()h x g x ¢=,则()1e cos xh x x x=¢--,1x >Q ,e e 2x \>>,110x-<-<,1cos 1x -£-£,()0h x ¢\>,()h x \在()1,+¥上单调递增,()()1e sin100h x h \>=-->,即()0g x ¢>,()g x \在()1,+¥上单调递增,()()1e cos10g x g \>=+>,即e cos 1ln 0x x x x x ++-->．综上,当2a =时,()ln cos f x x x x >-． (三) 把证明()()f x g x > 转化为证明()()min maxf xg x >有时候把证明()()f x g x > 转化为证明()()0f x g x ->后,可能会出现()()f x g x -的导函数很复杂,很难根据导函数研究()()f x g x -的最值,而()f x 的最小值及()g x 的最大值都比较容易求,可考虑利用证明()()min max f x g x >的方法证明原不等式,但要注意这种方法有局限性,因为()()f x g x >未必有()()min max f x g x >.【例4】（2024届广东省部分学校高三上学期第二次联考）已知函数()()e 0xf x ax a =¹.(1)讨论()f x 的单调性；(2)当24e a ³时,证明：()()1ln 01f x x x x -+>+.【解析】（1）由题意可得()()1e xf x a x +¢=.则0a >时,由()0f x ¢>,得1x >-,由()0f x ¢<,得1x <-,则()f x 在(),1-¥-上单调递减,在()1,-+¥上单调递增；当a<0时,由()0f x ¢<,得1x >-,由()0f x ¢>,得1x <-,则()f x 在(),1-¥-上单调递增,在()1,-+¥上单调递减.（2）因为0x >,所以e 01x x x >+.因为24e a ³,所以()()2e 4e 1ln 1ln 11xx ax x x x x x x x --+³-+++.要证()()1ln 01f x x x x -+>+,即证()24e 1ln 01x x x x x --+>+,即证()224e ln 1x x x x ->+.设()()224e 1x g x x -=+,则()()()234e 11x x g x x --¢=+.当()0,1x Î时,()0g x ¢<,当()1,x Î+¥时,()0g x ¢>,则()g x 在()0,1上单调递减,在()1,+¥上单调递增.故()()min 11eg x g ==.设()ln x h x x =,则()21ln xh x x-¢=.当()0,e x Î时,()0h x ¢>,当()e,x Î+¥时,()0h x ¢<,则()h x 在()0,e 上单调递增,在()e,+¥上单调递减.故()()max 1e eh x h ==.因为()()min max g x h x =,且两个最值的取等条件不同,所以()224e ln 1x x x x ->+,即当24e a ³时,()()1ln 01f x x x x -+>+.(四) 把证明()()f xg x >转化为证明()()()(),f xh x h x g x >>若直接证明()()f x g x >比较困难,有时可利用导数中的常见不等式如ln 1,e +1x x x x £-³构造一个中间函数()h x ,或利用不等式的性质通过放缩构造一个中间函数()h x ,再通过证明()()()(),f x h x h x g x >>来证明原不等式.【例5】已知函数()sin 2cos xf x x=+在区间()0,a 上单调．(1)求a 的最大值；(2)证明：当0x >时,()31e xf x +<．【解析】 (1)由已知得,22cos (2cos )sin sin 2cos 1()(2cos )(2cos )x x x x x f x x x +++¢==++,要使函数()f x 在区间(0,)a 上单调,可知在区间(0,)a 上单调递增,令()0f x ¢>,得2cos 10x +>,即1cos 2x >-,解得22(2,2)33x k k p pp p Î-++,（k Z Î）,当0k =时满足题意,此时,在区间2(0,3p 上是单调递增的,故a 的最在值为23p.(2)当0x >时,要证明()31e xf x +<,即证明e 1()3x f x -<,而1xe x ->,故需要证明e 1()33x xf x -<<.先证：e 133x x -<,（0x >）记()e 1x F x x =--,()e 1x F x ¢=-Q ,,()0x Î+¥时,()0F x ¢>,所以()F x 在(0,)+¥上递增,\()e 1xF x x =--(0)0F >=,故1xe x ->,即e133xx -<.再证：()3x f x <,（0x >）令1()()3G x f x x =-,则sin 1(),2cos 3x G x x x =-+则()()()()222cos 12cos 1132cos 32cos x x G x x x ¢--+=-=++,故对于0x ">,都有()0¢<G x ,因而()G x 在(0,)¥+上递减,对于0x ">,都有()(0)0G x G <=,因此对于0x ">,都有()3xf x <.所以e 1()33x x f x -<<成立,即e 1()3x f x -<成立,故原不等式成立.(五) 改变不等式结构,重新构造函数证明不等式此类问题要先对待证不等式进行重组整合,适当变形,找到其等价的不等式,观察其结构,根据结构构造函数.常见的变形方法有：①去分母,把分数不等式转化为整式不等式；②两边取对数,把指数型不等式转化为对数型不等式；③不等式为()()()()f x h x g x h x >类型,且()()0h x >或<0的解集比较容易确定,可考虑两边同时除以()h x ；④不等式中含有,有时为了一次求导后不再含有对数符号,可考虑不等式两边同时除以x ；⑤通过换元把复杂的不等式转化为简单不等式.【例6】（2024届河南省创新发展联盟5月月考）已知函数1e 1()ln x af x x x x-=--.(1)讨论()f x 的单调性；(2)当52a ³时,证明：()11()ln e 1ln x f x x x x x -++->-.【解析】（1）函数1e 1()ln x af x x x x -=--的定义域为(0,)+¥,求导得11222e (1)11(1)(e 1)()x x a x x a f x x x x x -----=-+=¢,若0a £,则1e 10x a --<,且当()0,1x Î时,()0f x ¢>,当()1,x ¥Î+时,()0f x ¢<,即函数()f x 在(0,1)上递增,在(1,)+¥上递减；若0a >,令1e 10x a --=,解得1ln x a =-,若1ln 0a -£,即e a ³,则1e 10x a --³恒成立,当()0,1x Î时,()0f x ¢<,当()1,x ¥Î+时,()0f x ¢>,即函数()f x 在(0,1)上递减,在(1,)+¥上递增；若01ln 1a <-<,即1e a <<,则当()()0,1ln 1,x a ¥Î-È+时,()0f x ¢>,当()1ln ,1x a Î-时,()0f x ¢<,即函数()f x 在(0,1ln ),(1,)a -+¥上递增,在(1ln ,1)a -上递减；ln x x若1ln 1a -=,即1a =,则()0f x ¢³在()0,¥+上恒成立,函数()f x 在(0,)+¥上递增；若1ln 1a ->,即01a <<,则当()()0,11ln ,x a ¥ÎÈ-+时,()0f x ¢>,当(1,1ln )x a Î-时,()0f x ¢<,即函数()f x 在(0,1),(1ln ,)a -+¥上递增,在(1,1ln )a -上递减,所以当0a £时,()f x 的递增区间为()0,1,递减区间为()1,¥+；当01a <<时,()f x 的递增区间为()0,1和()1ln ,a ¥-+,递减区间为()1,1ln a -；当1a =时,()f x 的递增区间为()0,¥+,无递减区间；当1e a <<时,()f x 的递增区间为()0,1ln a -和()1,¥+,递减区间为()1ln ,1a -；当e a ³时,()f x 的递增区间为()1,¥+,递减区间为()0,1.（2）要证()()11ln e 1ln x f x x x x x -++->-,需证()11e e ln 10x x a x x x --+-->,而15e ,02x a x -³>,即有()()1111e 5e e ln 1e ln 12x x x x a x x x x x x----+--³+--,则只需证明()115e e ln 102x x x x x --+-->,即证15e ln 12x x x x -æö+->ç÷èø,即证()215ln 12e x x x x -+->,令()()5ln 12h x x x =+-,则()ln h x x ¢=,当()0,1x Î时,()0h x ¢<,当()1,x ¥Î+时,()0h x ¢>,即函数()h x 在(0,1)上单调递减,在(1,)+¥上单调递增,则()min 3()12h x h ==,令()21(0)e x x x x j -=>,则()()12ex x x x j --¢=,当()0,2x Î时,()0x j ¢>,当()2,x ¥Î+时,()0x j ¢<,函数()j x 在(0,2)上单调递增,在(2,)+¥上单调递减,则()max min 43()2()e 2x h x j j ==<=,从而()215ln 12e x x x x -+->,即()11()ln e 1ln x f x x x x x -++->-成立.(六) 通过减元法构造函数证明不等式对于多变量不等式 ,一般处理策略为消元或是把一个看作变量其他看作常量；当都不能处理的时候,通过变形,再换元产生一个新变量,从而构造新变量的函数.【例7】（2024届江西省南昌市高三三模）定义：若变量,0x y >,且满足：1mmx y a b æöæö+=ç÷ç÷èøèø,其中,0,Z a b m >Î,称y 是关于的“m 型函数”.(1)当2,1a b ==时,求y 关于x 的“2型函数”在点æççè处的切线方程；(2)若y 是关于x 的“1-型函数”,（i ）求x y +的最小值：（ii ）求证：()1111n n n nn n n n nx ya b+++æö+³+ç÷èø,()N n *Î.【解析】（1）解：当2,1a b ==时,可得12214x y æö=-ç÷èø,则122111242x y x -æöæö=-×-ç÷¢ç÷èøèø,所以1x y =¢=,所求切线方程为1)y x =-,即40x +-=.（2）解：由y 是关于x 的“1-型函数”,可得111x y a b --æöæö+=ç÷ç÷èøèø,即1a b x y +=,（i）因为2()()a b ay bx x y x y a b a b x y x y æö+=++=+++³++=ç÷èø,当且仅当2ay x x y ì=ïíï+î即x a y b ì=ïí=ïî时取得最小值.（ii ）由111x y a b --æöæö+=ç÷ç÷èøèø,即1a b x y +=,则()()x a y b ab --=,且x a >,y b >,可设x a at -=,by b t-=,其中(0,)t Î+¥,于是11[(1)]1(1)1nnnnnn n n x y a t b a t b t t éùæöæö+=+++=+++ç÷ç÷êúèøèøëû,记1()(1)1nnnnh t a t b t æö=+++ç÷èø,可得()()()11112111111n n n nn nn n n na t b h t na t nb t t t t a ---++éù+æöæöæö=+++-=-êúç÷ç÷ç÷èøèøèøêëû¢ú,由()0h t ¢=,得1n n b t a +æö=ç÷èø,记10n n b t a +æö=ç÷èø,当00t t <<时()0h t ¢<,当0t t >时,()0h t ¢>,则()()11min0001()1111nnn nnn n n n n n n b a h t h t a t b a b t a b ++éùéùæöæöæöêúêú==+++=+++ç÷ç÷ç÷êúêúèøèøèøëûëû111111111111n n n nn n n n n n n nn n n n n n n n n n a b a b a b a a b b b a ++++++++++æöæöæöæö=+×++×=+++ç÷ç÷ç÷ç÷èøèøèøèø111n n n nn n a b+++æö=+ç÷èø,所以()1111n n n nn n n n nx ya b+++æö+³+ç÷èø.(七) 与极值点或零点有关的多变量不等式的证明此类问题通常是给出函数的零点或极值点12,x x 或123,,x x x ,与证明与12,x x 或123,,x x x 有关的不等式,求解时要有意识的利用方程思想代入消元（若i x 是()f x 的零点,则()0i f x =,若i x 是()f x 的极值点,则()0i f x ¢=,）,减少变量个数.【例8】（2024届湖南娄底市高三下学期高考考前仿真联考）已知函数()2e 2ln x af x a x x x =--.(1)当1a =时,讨论函数()f x 的单调性；(2)若22e a >,（i ）证明：函数()f x 有三个不同的极值点；（ii ）记函数()f x 三个极值点分别为123,,x x x ,且123x x x <<,证明：()()()23131e a f x f x a x x æö-<--ç÷èø.【解析】（1）函数()f x 的定义域为(0,)+¥,当1a =时,()2e 2ln xf x x x x=--,则()422323e e 21e 2(2)(e 2(2))x xx x x x x x x f x x x x x x x x -----¢=+-=+=,令e (0)x y x x =->,则e 10(0)x y x ¢=->>,所以e x y x =-在(0,)+¥上递增,所以0e e 01x y x =->-=,所以当2x >时,()0f x ¢>,当02x <<时,()0f x ¢<,所以()f x 在(0,2)上递减,在(2,)+¥上递增；（2）（i ）因为,()0x Î+¥,且()233(2e 2(2)(e ))x xa a x f x x x x a x x x -¢=+--=-,(2)0f ¢=,由e 0xax -=,得e xa x=（,()0x Î+¥）,令()(0)x e g x x x =>,则2(e 1)()(0)x x g x x x-¢=>,当01x <<时,()0g x ¢<,当1x >时,()0g x ¢>,所以()g x 在(0,1)上递减,在(1,)+¥上递增,所以min ()(1)e g x g ==,当2e (2)e 2a g >=>时,e xa x=在(0,1)和(2,)+¥上各有一个实数根,分别记为13,x x ,则1301,2x x <<>,设22x =,当10x x <<或23x x x <<时,()0f x ¢<,当12x x x <<或3x x >时,()0f x ¢>,所以()f x 在()10,x 和()23,x x 上递减,在()12,x x 和3(,)x +¥上递增,所以函数()f x 在(0,)+¥上有三个不同的极值点,（ii ）由（i ）1301,2x x <<>,所以13,x x 是方程e x ax =的两个不相等的实数根,即11e x ax =,33e xax =,所以11111211111e 221()ln ln ln x a a af x a x a x a x x x x x x æö=--=--=-+ç÷èø,同理3331()ln f x a x x æö=-+ç÷èø,所以()()313131313111ln ln a x a x f x f x x x x x x x æöæö-+++ç÷ç÷-èøèø=--31313111ln ln a x x x x x x æö-+--ç÷èø=-13331131ln x x x a x x x x x æö--+ç÷èø=-,由11e x ax =,33e x ax =,得3331113311e e ln ln ln ln e e e x x x x x x x a x x x a-====-,所以()()1331331313113131313131ln 11x x x x x a a x x f x f x x x x x x a x x x x x x x x æöæö---+-+-ç÷ç÷-æöèøèø===-ç÷---èø,因为2e ,2a æöÎ+¥ç÷èø,所以要证()()()23131e a f x f x a x x æö-<--ç÷èø,只要证()()23131e f x f x a a x x -<--,即证23111e a a a x x æö-<-ç÷èø,即证31111e a x x -<-,即证311e a x x <,只需证13e ax x <,即31e e xx <×,即311ex x -<,由（i ）可得1301,2x x <<>,所以3110e e 1x --<<<,根据（i ）中结论可知函数e ()=xg x x在(0,1)上递减,所以要证311ex x -<,即证311()(e )x g x g -<,因为3113e e x x a x x ==,所以13()()g x g x =,所以只要证313()(e )x g x g -<,即1333e 13e e e xx x x --<,得13e 3e e x x -<,即3131e ln x x --<,得313e 01ln xx ---<,令1()1ln e(2)xh x x x -=-->,则111e 1()e (2)x x x h x x x x---¢=-+=>,令1()e 1(2)x u x x x -=->,则1()(1)e 0(2)x u x x x -¢=-<>,所以()u x 在(2,)+¥上递减,所以2()(2)10eu x u <=-<,所以()0h x ¢<,所以()h x 在(2,)+¥上递减,所以1()(2)1ln 20e h x h <=--<,所以得证.(八) 与数列前n 项和有关的不等式的证明此类问题一般先由已知条件及导数得出一个不等式,再把该不等式中的自变量依次用1,2,3,L ,n 代换,然后用叠加法证明.【例9】（2024届重庆市九龙坡区高三下学期5月质量抽测）已知函数()213ln 22f x x x ax =+-+,()0a >.(1)当[)1,x ¥Î+时,函数()0f x ³恒成立,求实数a 的最大值；(2)当2a =时,若()()120f x f x +=,且12x x ¹,求证：122x x +>；(3)求证：对任意*N n Î,都有()2112ln 1ni i n n i =-æö++>ç÷èøå.【解析】（1）当1x ³时,()213ln 022f x x x ax =+-+³恒成立,即ln 1322x a x x x £++恒成立,只需min ln 1322x a x xx æö£++ç÷èø即可,令()ln 1322x g x x x x =++,1x ³,则()22221ln 132ln 1222x x x g x x x x ---=-¢+=,令()22ln 1h x x x =--,1x ³,则()22222x h x x x x=¢-=-,当1x ³时,()0h x ¢³恒成立,()h x 在[)1,x ¥Î+单调递增,所以()()10h x h ³=,所以()0g x ¢³在[)1,x ¥Î+恒成立,()g x 在[)1,x ¥Î+单调递增,所以()()min 12g x g ==,所以2a £,即实数a 的最大值为2.（2）当2a =时,()213ln 222f x x x x =+-+,0x >,所以()()21120x f x x x x-=+=¢-³,()f x 在()0,x ¥Î+上单调递增,又()10f =,()()120f x f x +=且12x x ¹,不妨设1201x x <<<,要证122x x +>,即证明212x x >-,因为()f x 在()0,x ¥Î+上单调递增,即证()()212f x f x >-,因为()()120f x f x +=,即证()()1120f x f x +-<,设()()()()()()2213132ln 2ln 22222222F x f x f x x x x x x x =+-=+-++-+---+()()()2ln 221ln 221x x x x x x x x éùéù=-+-+=---+ëûëû,01x <<,令()2t x x =-,则01t <<,则()ln 1t t t j =-+,()111tt t t j -=-=¢,由01t <<可得()0t j ¢>,()t j 在()0,1单调递增,所以()()10t j j <=,即()()()20F x f x f x =+-<,所以()()1120f x f x +-<成立,所以122x x +>.（3）由（2）可知当2a =时,()f x 在()1,¥+单调递增,且()()10f x f >=,由213ln 2022x x x +-+>得22ln 430x x x +-+>,即()22ln 21x x +->,令1n x n +=,则2112ln 21n n n n ++æö+->ç÷èø,即2112ln 1n n n n +-æö+>ç÷èø,所以22112ln 111-æö+>ç÷èø,23122ln 122-æö+>ç÷èø,24132ln 133-æö+>ç÷èø,…,2112ln 1n n n n +-æö+>ç÷èø,相加得()2112ln 1ni i n n i =-æö++>ç÷èøå.（九）通过同构函数把复杂不等式化为简单不等式此类问题通常是构造一个函数()f x ,把所证不等式转化为()()()()f g x f h x >,再根据()f x 的单调性转化为证明一个较简单的不等式.【例10】（2024届广东省广州市高中毕业班冲刺训练二）已知函数()e axf x x =（0a >）.(1)求()f x 在区间[]1,1-上的最大值与最小值；(2)当1a ³时,求证：()ln 1f x x x ³++.【解析】（1）解：()()e 1axf x ax =+¢（0x >）（0a >）,令()0f x ¢=,则1x a =-,当01a <£时,11a-£-,所以()0f x ¢³在区间[]1,1-上恒成立,()f x 在区间[]1,1-上单调递增,所以()()min 1e a f x f -=-=-,()()max 1e af x f ==.当1a >时,111a -<-<,则当11,x a éöÎ--÷êëø时,()0f x ¢<,()f x 在区间11,a éö--÷êëø上单调递减；当1,1x a æùÎ-çúèû时,()0f x ¢>,()f x 在区间1,1a æù-çúèû上单调递增,所以()min 11e f x f a a æö=-=-ç÷èø,而()1e 0a f --=-<,()1e 0a f =>.所以()()max 1e af x f ==综上所述,当01a <£时,()min e a f x -=-,()max e af x =；当1a >时,所以()min 1ef x a =-,()max e af x =.（2）因为0x >,1a ³,所以e e ax x x x ³,欲证e ln 1ax x x x ³++,只需证明e ln 1x x x x ³++,只需证明ln ln e e e e ln 1x x x x x x x x x +==³++,因此构造函数()e 1x h x x =--（x ÎR ）,()e 1xh x ¢=-,当(),0x Î-¥时,()0h x ¢<,()h x 在(),0¥-上单调递减；当()0,x Î+¥时,()0h x ¢>,()h x 在()0,¥+上单调递增：所以()()00h x h ³=,所以e 1x x ³+,所以e ln 1x x x x ³++,因此()ln 1f x x x ³++.【例1】（2024届内蒙古呼和浩特市高三第二次质量监测）对于函数()f x ,若实数0x 满足()00f x x =,则0x 称为()f x 的不动点．已知函数()()e 2e 0x xf x x a x -=-+³．(1)当1a =-时,求证()0f x ³；(2)当0a =时,求函数()f x 的不动点的个数；(3)设*N n Î,()ln 1n +>+L ．【解析】（1）当1a =-时,有()()e 2e 0x xf x x x -=--³,所以()1e 2e x x f x =+-¢()0x ³,所以()1e 220e x x f x =+-³=¢当且仅当1e e xx=,e 1x=,即0x =时,等号成立,所以当[)0,x Î+¥时,()0f x ¢³,()f x 单调递增,所以()()()min 00f x f x f ³==,所以()0f x ³得证.（2）当0a =时,()()e 20xf x x x =-³,根据题意可知：方程e 2x x x -=()0x ³解的个数即为函数()f x 的不动点的个数,化e 2x x x -=()0x ³为e 30x x -=()0x ³,令()e 3xg x x =-()0x ³,所以函数()g x 的零点个数,即为函数()f x 的不动点的个数,()e 3x g x ¢=-()0x ³,令()0g x ¢=,即e 3x =,解得ln 3x =,x[)0,ln 3ln 3()ln 3,¥+()g x ¢-+()g x 单调递减33ln 3-单调递增因为()010g =>,()ln 333ln 30g =-<,所以()g x 在[)0,ln 3上有唯一一个零点,又()555e 15215170g =->-=>,所以()g x 在()ln 3,¥+上有唯一一个零点,综上所述,函数()f x 有两个不动点.（3）由（1）知,()e 2e 0,0,x xx x ¥--->Î+,令ln ,1x s s =>,则12ln 0s s s --->,即12ln ,1s s s s->>,设*N s n =Î,则满足1s >,>1ln 1n æö>+ç÷èø,()1ln ln 1ln n n n n +æö>=+-ç÷èø,()ln 2ln1ln 3ln 2ln(1)ln ln 1n n n >-+-+++-=+L L ,即()ln 1n >+L .【例2】（2024届四川省自贡市高三第三次诊断性考试）已知函数1()1ln (0)f x a x a x=++>(1)求函数()f x 的单调区间；(2)函数()f x 有唯一零点1x ,函数2()sin e ag x x x =--在R 上的零点为2x ．证明：12x x <．【解析】（1）函数1()1ln (0)f x a x a x=++>的定义域为()0,¥+,且2211()a ax f x x x x -¢=-+=,所以当10x a<<时()0f x ¢<,当1x a >时()0f x ¢>,所以()f x 的单调递减区间为10,a æöç÷èø,单调递增区间为1,a æö+¥ç÷èø；（2）法一：由（1）可知若函数()f x 有唯一零点1x ,则11x a=,即1ln 10f a a a a æö=-++=ç÷èø,令()ln 1x x x x j =-++,则()ln x x j ¢=-,当1x >时,()()0,x x j j ¢<单调递减,当01x <<时,()()0,x x j j ¢>单调递增,因为44e 2.753.144127>=>,55e 3243256<=<,所以()433ln 344ln 27ln e ln 270j =-+=-=->,()544ln 455ln 256ln e ln 2560j =-+=-=-<,当01x <<时()()1ln 10x x x j =-+>,当x ®+¥时()x j ®-¥,所以()x j 在()3,4上存在唯一零点,所以33a <<,即11143a <<,令()2e sin h x x x x -=+-,则()22e cos 10h x x x -=-+-<¢,所以()h x 在()0,¥+上单调递减,故22113113111sin sin sin 03e333333h h a æöæö>=+->+-=>ç÷ç÷èøèø,所以211e sin a a a->-,又()2222sin e 0g x x x a -=--=,所以2221111sin e sin sin x x a x x a a--=>-=-,令()sin F x x x =-,则()1cos 0F x x =-³¢,所以()F x 在()0,¥+上单调递增,又()()21>F x F x ,所以21x x >.法二：因为0a >,由（1）可知若函数()f x 有唯一零点1x ,则11x a=,即()()1111111111ln 1ln 10ln 10f x a x x x x x x x =++=++=Þ++=,设211()ln 1,0,0e e h x x x h h æöæö=++><ç÷ç÷èøèø,而()h x 在()0,¥+上单调递增,所以1211,e e x æöÎç÷èø,()1cos 0g x x ¢=-≥,所以()g x 在R 上单调递增,又12(0)0,0e ag x =-<\>,令22211()sin ,()1cos 0e e x x x x x x x j j ¢=--=-+>,所以()j x 在()0,¥+上单调递增,所以()111sin 0e e x j j æö\<=-<ç÷èø,而()222212211sin sin 0e e a g x x x x x x =--=--=,()()11122211221111sin sin e e g x x x g x x x x x x x \=--<=--\<.【例3】（2024届四川省成都市实验外国语学校教育集团高三下学期联考）已知函数()e xf x =,()lng x x =.(1)若函数()()111x h x ag x x +=---,a ÎR ,讨论函数()h x 的单调性；(2)证明：()()()()1212224x f x f x g x -->-.（参考数据：45e 2.23»,12e 1.65»）【解析】（1）由题意()()1ln 1,11x h x a x x x +=-->-,所以()()22,11ax a h x x x -+¢=>-,当0a =时,()0h x ¢>,所以()h x 在()1,+¥上为增函数；当0a ¹时,令()0h x ¢=得21x a=-,所以若0a >时,211a-<,所以()0h x ¢>,所以()h x 在()1,+¥上为增函数,若0<a 时,211a->,且211x a <<-时,()0h x ¢>,21x a >-时,()0h x ¢<,所以()h x 在21,1a æö-ç÷èø上为增函数,在21,a æö-+¥ç÷èø上为减函数,综上：当0a ³时,()h x 在()1,+¥上为增函数,当0<a 时,()h x 在21,1a æö-ç÷èø上为增函数,在21,a æö-+¥ç÷èø上为减函数；（2）()()()()1212224x f x f x g x -->-等价于()2121e e 2ln 204x x x x ---+>,设()()2121e e 2ln 24x x F x x x =---+,则()()()222e 2e 12e e 2e e x xx x xxx x x x F x x x x x-+--¢=--==,因为0x >,所以e 10x x +>,设()e 2x x x j =-,则()()10e xx x j ¢=+>,则()x j 在()0,¥+上单调递增,而()4544e 20,1e 2055j j æö=-<=->ç÷èø,所以存在04,15x æöÎç÷èø,使()00x j =,即00e 2xx =,所以00ln ln 2x x +=,即00ln ln 2x x =-,当00x x <<时,()0F x ¢<,则()F x 在()00,x 上单调递减,当0x x >时,()0F x ¢>,则()F x 在()0,x +¥上单调递增,所以()()00200min 121e e 2ln 24x x F x x x =---+()000220001421212ln 22222ln 224x x x x x x =---++=-+-+,设()21422ln 22,15m t t t t æö=-+-+<<ç÷èø,则()3220m t t ¢=+>,则()m t 在4,15æöç÷èø上单调递增,42581632ln 222ln 20516580m æö=-+-+=->ç÷èø,则()min 0F x >,则不等式()2121e e 2ln 204x x x x ---+>恒成立,即不等式()()()()1212224x f x f x g x -->-成立.【例4】（2024届天津市滨海新区高考模拟检测）已知函数()ln a xf x x+=,其中a 为实数．(1)当1a =时,①求函数()f x 的图象在e x =（e 为自然对数的底数）处的切线方程；②若对任意的x D Î,均有()()m x n x £,则称()m x 为()n x 在区间D 上的下界函数,()n x 为()m x 在区间D 上的上界函数．若()1kg x x =+,且()g x 为()f x 在[)1,+¥上的下界函数,求实数k 的取值范围．。

构造函数证明不等式
发表时间：2011-04-14T16:26:51.527Z 来源：《学习方法报●教研周刊》2010年第27期供稿作者：吴继炎
[导读] 随着新一轮课程改革的不断向前推进，高考数学命题已从理论和实践上发生了深刻的变化。

河南新县职业高中吴继炎
有些不等式证明问题利用常规方法求解时，有较大的困难．但利用其特征构造出一个函数，利用函数的性质，可使问题迎刃而解．一、构造一次函数，利用值域证明不等式
二、构造二次函数，利用判别式证明不等式
三、利用函数的单调性
四、利用二次函数对应方程实根分布
五、利用导数证明不等式
六、综合问题中构造函数证明不等式。