导数之数列型不等式证明word版本

利用导数证明数列不等式利用导数证明数列不等式，在高考题中能较好的考查学生灵活运用知识的能力，一方面以函数为背景让学生探寻函数的性质，另一方面体现数列是特殊的函数，进而利用恒成立的不等式将没有规律的数列放缩为为有具体特征的数列，可谓一题多考，巧妙地将函数、导数、数列、不等式结合在一起，也是近年来高考的热门题型. 1、常见类型：（1）利用放缩通项公式解决数列求和中的不等问题 （2）利用递推公式处理通项公式中的不等问题 2、恒成立不等式的来源：（1）函数的最值：在前面的章节中我们提到过最值的一个作用就是提供恒成立的不等式.（2）恒成立问题的求解：此类题目往往会在前几问中进行铺垫，暗示数列放缩的方向.其中，有关恒成立问题的求解，参数范围内的值均可提供恒成立不等式. 3、常见恒成立不等式：（1） 对数→多项式 （2） 指数→多项式4、关于前项和的放缩问题：求数列前项公式往往要通过数列的通项公式来解决，高中阶段求和的方法有以下几种：（1）倒序相加：通项公式具备第项与第项的和为常数的特点.（2）错位相减：通项公式为“等差等比”的形式（例如，求和可用错位相减）.（3）等比数列求和公式（4）裂项相消：通项公式可裂为两项作差的形式，且裂开的某项能够与后面项裂开的某项进行相消. 注：在放缩法处理数列求和不等式时，放缩为等比数列和能够裂项相消的数列的情况比较多见，故优先考虑.5、大体思路：对于数列求和不等式，要谨记“求和看通项”，从通项公式入手，结合不等号方向考虑放缩成可求和的通项公式.6、在放缩时要注意前几问的铺垫与提示，尤其是关于恒成立问题与最值问题所带来的恒成立不等式，往往提供了放缩数列的方向.7、放缩通项公式有可能会进行多次，要注意放缩的方向：朝着可求和的通项公式进行靠拢（等比数列，裂项相消等）.ln 1x x <-1x e x >+n n k 1n k -+⨯2nn a n =⋅n a8、数列不等式也可考虑利用数学归纳法进行证明（有时更容易发现所证不等式与题目条件的联系）.【经典例题】1．（2020·江苏省如皋中学高三三模）已知函数()ln f x kx x x =-，k ∈R ． （1）当2k =时，求函数()f x 的单调区间；（2）当01x <≤时，()f x k ≤恒成立，求k 的取值范围； （3）设n N *∈，求证：ln1ln 2ln (1)2314n n n n -+++≤+． 2．（2020·四川省内江市第六中学高三三模）已知函数2()ln(1)(0,0),()2x f x ax x a g x x -=+≥>=+. （1）讨论函数()()y f x g x =-的单调性；（2）若不等式()()1f x g x ≥+在[0,)x ∈+∞时恒成立，求实数a 的取值范围； （3）当1a =时，证明：1111+35721n +++<+…*1()(N )2f n n ∈. 3．（2020·安徽合肥·三模）已知函数()x xf x e e ax -=--（e 为自然对数的底数），其中a ∈R.（1）试讨论函数f （x ）的单调性；（2）证明：22132ln 2(1)ni n n i i n n =-->+∑. 4．（2020·安徽相山·淮北一中高三三模）已知函数()||ln (0)f x x a x a =-->. （∈）讨论()f x 的单调性；（∈）比较222222ln 2ln 3ln 23n n++⋯+ 与(1)(21)2(1)n n n -++的大小(n N +∈且)2n >，并证明你的结论.5．（2020·云南高三三模）已知函数()1ln f x x a x =-- （１）讨论()f x 的单调性； （2）证明：()*333ln 2ln3ln 1,222332n n N n n n +++<∈≥---．【精选精练】1．（2020·榆林市第二中学高三三模）已知(),()1(xf x eg x x e ==+为自然对数的底数).(1)求证()()f x g x ≥恒成立；(2)设m 是正整数，对任意正整数n ，2111(1)(1)(1)333n m ++⋅⋅⋅+<，求m 的最小值. 2．（2020·广东广州高三三模·）已知函数()()()3214613x f x x ex x g x a x lnx -⎛⎫=-+-=--- ⎪⎝⎭，．（1）求函数()f x 在()0+∞，上的单调区间； （2）用{}max m n ，表示m n ，中的最大值，()f x '为()f x 的导函数，设函数()()(){}h x max f x g x '=，，若()0h x ≥在()0+∞，上恒成立，求实数a 的取值范围； （3）证明：()*11111ln 312313n N n n n n n+++++>∈++-． 3．（2020·安徽蚌埠·高三三模）已知函数()()ln 1x f x x+=.（1）分析函数()f x 的单调性；（2）证明：2111ln 3ln 212n n n ⎛⎫+⎛⎫+++≤ ⎪ ⎪-⎝⎭⎝⎭，2n ≥. 4．（2020·全国高三三模）已知函数2()2ln 1()f x ax x x a =--∈R . (1) 若1x e=时,函数()f x 取得极值,求函数()f x 的单调区间； (2) 证明：()*11111ln(21)3521221nn n n n +++⋯+>++∈-+N . 5．（2020·辽宁沙河口·辽师大附中高三三模）已知函数()()2ln 11f x p x p x =+-+．（1）讨论函数()f x 的单调性；（2）当1p =时，()f x kx ≤恒成立，求实数k 的取值范围； （3）证明：()()*111ln 1123n n N n+<+++⋯+∈．6．（2020·浙江省宁波市鄞州中学高三三模）已知函数()()2f x ax a a R =+∈. （1）讨论函数()f x 的单调性；（2）若()0f x ≤对任意的1x ≥-恒成立，求a 的取值范围；（32600⋅⋅⋅+<.7．（2020·广东广州·高三三模）已知函数()2ln f x a x x =+，其中a R ∈.（1）讨论()f x 的单调性；（2）当1a =时，证明:()21f x x x ≤+-；（3）试比较22222222ln2ln3ln4ln 234n n++++与()()()12121n n n -++ ()*2n N n ∈≥且的大小，并证明你的结论． 8．（2020·黑龙江南岗·哈师大附中三模）已知函数()()2ln 1f x ax bx x =+-+．（∈）当0a =时，函数()f x 存在极值，求实数b 的取值范围；（∈）当1b =时，函数()f x 在()0,∞+上单调递减，求实数a 的取值范围；（∈）求证：()()1*113ln 2122N 14nk n n k =-+<∈-∑． 9．（2020·黑龙江哈尔滨·三模）已知函数()()()()ln 111f x x k x k R =---+∈ （1）求函数()f x 的单调区间；（2）若()0f x ≤恒成立，试确定实数k 的取值范围；（3）证明：()()*1ln 2ln 3ln ,13414n n n n n n -++⋅⋅⋅+<∈>+N . 10．（2020·浙江三模）已知数列{}n a ，112a =，1ln 1n n a a +=-. （1）求证：11n n a a +<<； （2）求证：123201912020a a a a ⋅⋅⋅⋅⋅⋅<.【经典例题】1．（2020·江苏省如皋中学高三三模）已知函数()ln f x kx x x =-，k ∈R ． （1）当2k =时，求函数()f x 的单调区间；（2）当01x <≤时，()f x k ≤恒成立，求k 的取值范围； （3）设n N *∈，求证：ln1ln 2ln (1)2314n n n n -+++≤+． 【答案】（1）单调递增区间为(0,)e ，单调递减区间为(,)e +∞；（2）[1,)+∞；（3）证明见解析.【解析】（1）当2k =时，()2ln f x x x x =-，'()1ln f x x =-，由'()0f x >，解得0x e <<；由'()0f x <，解得x e >，因此函数()f x 单调递增区间为(0,)e ，单调递减区间为(,)e +∞．（2）()ln f x kx x x =-，故'()1ln f x k x --＝．当1k时，因为01x <≤，所以10ln k x -≥≥，因此'()0f x ≥恒成立，即()f x 在(]0,1上单调递增，所以()(1)f x f k ≤=恒成立．当1k <时，令'()0f x =，解得1(0,1)k x e -=∈．当1(0,)k x e -∈，'()0f x >，()f x 单调递增；当1(,1)k x e -∈，'()0f x <，()f x 单调递减； 于是1(1))(k f ef k -=＞，与()f x k ≤恒成立相矛盾．综上，k 的取值范围为[1,)+∞．（3）由（2）知，当01x <≤时，ln 1x x x -≤． 令x =21n *()n N ∈，则21n +22nln 1n ≤，即22ln 1n n -≤， 因此ln 1n n +≤12n -． 所以ln1ln 2ln 011(1) (2312224)n n n n n --+++≤+++=+. 2．（2020·四川省内江市第六中学高三三模）已知函数2()ln(1)(0,0),()2x f x ax x a g x x -=+≥>=+. （1）讨论函数()()y f x g x =-的单调性；（2）若不等式()()1f x g x ≥+在[0,)x ∈+∞时恒成立，求实数a 的取值范围； （3）当1a =时，证明：1111+35721n +++<+…*1()(N )2f n n ∈.【答案】（1）见解析；（2）[1，＋∞)；（3）证明见解析. 【解析】（1）求导数可得2224441(2)(1)(2)a ax a y ax x ax x +-'=-=++++， 当1a 时，0y '，∴函数()()y f x g x =-在[)0+∞，上单调递增； 当01a <<时，由0y '>可得x > ∴函数在⎡⎫∞⎪⎢⎪⎣⎭上单调递增，在0⎡⎢⎣上单调递减； （2）由（1）知当1a 时，函数()()y f x g x =-在[)0+∞，上单调递增， ()()(0)(0)1f x g x f g ∴--=，即不等式()()1f x g x +在[)0x ∈+∞，时恒成立， 当01a <<时，函数在0⎡⎢⎣上单调递减，存在00x ⎡∈⎢⎣使得00()()(0)(0)1f x g x f g -<-=， 即不等式00()()1f x g x +不成立， 综上可知实数a 的取值范围为[1，)+∞；（3）由（2）得当1a 时，不等式()()1f x g x >+在(0,)x ∈+∞时恒成立， 即2(1)2x ln x x +>+，12(1)12ln k k∴+>+，*()k N ∈． 即11[(1)]122ln k lnk k <+-+， ∴11(21)32ln ln <-，11(32)52ln ln <-，11(43)72ln ln <-，11[(1)]212ln n lnn n ⋯<+-+， 将上述式子相加可得11111111(1)(1)()357212222lnn ln lnn ln n f n n +++⋯+<-=<+=+ 原不等式得证．3．（2020·安徽合肥·三模）已知函数()x xf x e e ax -=--（e 为自然对数的底数），其中a ∈R.（1）试讨论函数f （x ）的单调性；（2）证明：22132ln 2(1)ni n n i i n n =-->+∑. 【答案】（1）答案见解析（2）证明见解析.【解析】（1）因为()x xf x e ea -'=+-，且2x x e e -+≥，所以当2a ≤时，()0f x '≥，所以()f x 在R 上为增函数，当2a >时，由()0f x '>，得0x x e e a -+->，所以2()10x xe ae -+>，所以22()124x a a e ->-，所以2x ae ->或2xa e -<，所以2xa e +>2xa e -<，所以24ln2aa x 或24ln2aa x ，由()0f x '<，得0x x e e a -+-<，解得2244ln22aa aax ，所以()f x 在ln 22a a ⎛⎫⎪ ⎪⎝⎭上递减，在,ln2a ⎛--∞ ⎪⎝⎭和ln 2a ⎛⎫++∞ ⎪ ⎪⎝⎭上递增.（2）由（1）知，当2a =时，()2xxf x e e x -=--在R 上为增函数，所以1()(ln )2ln g x f x x x x==--在(0,)+∞上为增函数， 所以当*n N ∈且2n ≥时，13()(2)22ln 2ln 422g n g ≥=--=-=32ln 04e >， 即12ln 0n n n-->，所以212211ln 1(1)(1)11n n n n n n n >==---+-+， 所以211111ln 2ln 23ln 34ln 4ln ni i i n n==++++∑ 1111111121213131414111n n >-+-+-++--+-+-+-+ 111121n n =+--+2322(1)n n n n --=+， 所以22132ln 2(1)ni n n i i n n =-->+∑.4．（2020·安徽相山·淮北一中高三三模）已知函数()||ln (0)f x x a x a =-->. （∈）讨论()f x 的单调性；（∈）比较222222ln 2ln 3ln 23n n++⋯+ 与(1)(21)2(1)n n n -++的大小(n N +∈且)2n >，并证明你的结论.【答案】（I ）见解析；（II ）见解析 【解析】（∈）函数()f x 可化为ln ,()ln ,0x x a x af x a x x x a --≥⎧=⎨--<<⎩，当0x a <<时，1()10f x x '=--<，从而()f x 在(0,)a 上总是递减的， 当x a ≥时，11()1x f x x x'-=-=，此时要考虑a 与1的大小.若1a ≥，则()0f x '≥，故()f x 在[,)a +∞上递增，若01a <<，则当1a x ≤<时，()0f x '<，当1x >时，()0f x '>，故()f x 在[,1)a 上递减， 在(1,)+∞上递增，而()f x 在x a =处连续，所以 当1a ≥时，()f x 在(0,)a 上递减，在[,)a +∞上递增； 当01a <<时，()f x 在(0,1)上递减，在[1,)+∞上递增.（∈）由（∈）可知当1a =，1x >时，1ln 0x x -->，即ln 1x x >-，所以ln 11x x x <-.所以 222222ln 2ln 3ln 23n n+++22211111123n <-+-+-222111123n n ⎛⎫=--+++⎪⎝⎭11112334(1)n n n ⎛⎫<--+++⎪⨯⨯+⎝⎭11121n n ⎛⎫=--- ⎪+⎝⎭1(1)2(1)n n n -=--+ 2221(1)(21)2(1)2(1)n n n n n n --+-+==++.5．（2020·云南高三三模）已知函数()1ln f x x a x =-- （１）讨论()f x 的单调性；（2）证明：()*333ln 2ln3ln 1,222332n n N n n n +++<∈≥---． 【答案】（1）当0a 时，()f x 在(0,)+∞内单调递增；当0a >时，()f x 在(0,)a 内单调递减，在(,)a +∞内单调递增．（2）证明见解析 【解析】（1）解：()1ln (0)f x x a x x =-->，()1af x x'∴=-．∈若0a ，则()0f x '>，()f x ∴在(0,)+∞内单调递增；∈若0a >，则()f x '在(0,)+∞内单调递增，且()0f a '=，∴当(0,)x a ∈时，()0f x '<；当(,)x a ∈+∞时，()0f x '>，()f x ∴在(0,)a 内单调递减，在(,)a +∞内单调递增．综上所述，当0a 时，()f x 在(0,)+∞内单调递增；当0a >时，()f x 在(0,)a 内单调递减，在(,)a +∞内单调递增．（2）证明：当1a =时，()1ln =--f x x x ．由（1）知()(1)0f x f =，ln 1x x ∴-，当且仅当1x =时，等号成立， 令()*,2x n n N n =∈，ln 1n n ∴<-，33ln 1111(1)1n n n n n n n n n n -∴<==---++． 从而3ln 2112223<--， 3ln 3113334<-- …3ln 111n n n n n <--+， 累加可得333ln 2ln3ln 11223321n n n n ++⋯+<----+， 111212n -<+， 333ln 2ln3ln 122332n n n ∴++⋯+<---，证毕．【精选精练】1．（2020·榆林市第二中学高三三模）已知(),()1(x f x e g x x e ==+为自然对数的底数).(1)求证()()f x g x ≥恒成立；(2)设m 是正整数，对任意正整数n ，2111(1)(1)(1)333n m ++⋅⋅⋅+<，求m 的最小值. 【答案】(1)证明见解析；(2) 2.【解析】（1）令()()()1xF x f x g x e x =-=--，则()1xF x e '=-∴当(),0x ∈-∞时，()0F x '<；当()0,x ∈+∞时，()0F x '>()F x ∴在(),0-∞上单调递减；在()0,∞+上单调递增()()0min 0010F x F e ∴==--=，即()()()0F x f x g x =-≥恒成立 ()()f x g x ∴≥恒成立（2）由（1）知：13113n n e +≤221111113333332111111333n n n e e e e++⋅⋅⋅+⎛⎫⎛⎫⎛⎫∴++⋅⋅⋅+≤⋅⋅⋅⋅= ⎪⎪ ⎪⎝⎭⎝⎭⎝⎭又211111111133********13nn n⎛⎫⨯- ⎪⎛⎫⎝⎭++⋅⋅⋅+==⨯-<⎪⎝⎭- 11112322111111333n n e e ⎛⎫⨯- ⎪⎝⎭⎛⎫⎛⎫⎛⎫∴++⋅⋅⋅+≤< ⎪⎪ ⎪⎝⎭⎝⎭⎝⎭又2111111333n m ⎛⎫⎛⎫⎛⎫++⋅⋅⋅+< ⎪⎪ ⎪⎝⎭⎝⎭⎝⎭恒成立 12m e ∴≥ m 为正整数 m ∴的最小值为：22．（2020·广东广州高三三模·）已知函数()()()3214613x f x x ex x g x a x lnx -⎛⎫=-+-=--- ⎪⎝⎭，．（1）求函数()f x 在()0+∞，上的单调区间； （2）用{}max m n ，表示m n ，中的最大值，()f x '为()f x 的导函数，设函数()()(){}h x max f x g x '=，，若()0h x ≥在()0+∞，上恒成立，求实数a 的取值范围； （3）证明：()*11111ln 312313n N n n n n n+++++>∈++-． 【答案】（1）()f x 单调递增区间为()3+∞，;() f x 单调递减区间为()03，；（2）43a ≥；（3）详见解析． 【解析】（1）因为()()3246x f x x ex x -=-+-，所以()()()()3332632x x f x x ex x e --=-+-='-+，令()0f x '=得3x =，当3x >时，()0f x '>，()f x 单调递增； 当03x <<时，()0f x '<，()f x 单调递减；所以函数()f x 在()0+∞，上的单调递增区间为()3+∞，，单调递减区间为()03，； （2）由（1）知()()()332x f x x e-'=-+，当3x ≥时，()0f x '≥恒成立，故()0h x ≥恒成立；当3x <时，()0f x '<，又因为()()(){}0h x max f x g x '=≥，恒成立，所以()0g x ≥在()03，上恒成立， 所以11ln 03a x x ⎛⎫---≥ ⎪⎝⎭，即11ln 3xa x+-≥在()03，上恒成立， 令()()1ln 03x F x x x +=<<，则()13max a F x -≥， 由()()221ln 1ln x xF x x x-+-'==， 令()0F x '=得1x =，易得()F x 在()01，上单调递增，在[)13，上单调递减，所以()()11max F x F ==，所以113a -≥，即43a ≥， 综上可得43a ≥.（3）证明：设()()10xm x e x x =-->，则()10xm x e '=->，所以()m x 在()0+∞，上单调递增，所以()()00m x m >=，即1x e x >+， 所以1111111111312312333112313n n n nn n n nn n n n n ee eeen n n n n++++++++++++=⋅⋅⋅⋅⋅⋅⋅>⋅⋅⋅⋅⋅⋅⋅⋅++- 123331231n n n nn n n n +++>⋅⋅⋅⋅⋅⋅⋅=++-，所以11111ln 312313n n n n n+++++>++-. 3．（2020·安徽蚌埠·高三三模）已知函数()()ln 1x f x x+=.（1）分析函数()f x 的单调性；（2）证明：2111ln 3ln 212n n n ⎛⎫+⎛⎫+++≤ ⎪ ⎪-⎝⎭⎝⎭，2n ≥. 【答案】（1）()f x 在区间()–1,0和()0,∞+上单调递减；（2）证明见解析. 【解析】（1）由题意得：()f x 的定义域为()()–1,00,+∞，且()()2ln 11xx x f x x -++'=，令()()ln 11x g x x x=-++则()()21x g x x -'=+，()–1,0x ∈时，()0g x '>； ()0,x ∈+∞时，()0g x '<.即()g x 在()–1,0上单调递增，在()0,∞+上单调递减.因为()00g =，则在()–1,0和()0,∞+上()0g x <. 因为20x >，所以在()–1,0和()0,∞+上()0f x '<， 即函数()f x 在区间()–1,0和()0,∞+上单调递减. （2）由（1）可知，当02x <≤时，()()ln 322x f f =≥，即()ln 3ln 12x x +≥， 当2n ≥时，2021n <≤-，则2ln 3ln 111n n ⎛⎫+≥⎪--⎝⎭， 即()()2ln 3ln 1ln 1ln 111n n n n ⎛⎫+=+--≥ ⎪--⎝⎭， 所以()()()ln 1ln 1ln ln 2ln 4ln 2ln3ln1n n n n +--+--++-+-111ln 31122n n ⎛⎫≥++++ ⎪--⎝⎭整理得：()111ln 1ln ln 2ln1ln 31122n n n n ⎛⎫++--≥++++⎪--⎝⎭， 即2111ln 3ln 212n n n ⎛⎫+⎛⎫+++≤ ⎪ ⎪-⎝⎭⎝⎭，2n ≥，不等式得证.4．（2020·全国高三三模）已知函数2()2ln 1()f x ax x x a =--∈R . (1) 若1x e=时,函数()f x 取得极值,求函数()f x 的单调区间； (2) 证明：()*11111ln(21)3521221nn n n n +++⋯+>++∈-+N . 【答案】（1）见解析；（2）见解析【解析】（1）由题意可得，()'222(0,)f x ax lnx x a R =-->∈，由1x e =时，函数()f x 取得极值知12'220af e e ⎛⎫=+-= ⎪⎝⎭，所以0a =． 所以()()21,'22(0)f x xlnx f x lnx x =--=-->， 所以10x e <<时，()'0f x >；1x e>时，()'0f x <； 所以()f x 的单调增区间10e ⎛⎫ ⎪⎝⎭，，单调减区间为1e⎛⎫+∞ ⎪⎝⎭，. （2）当1a =时，()221f x x xlnx =--，所以()()'22221f x x lnx x lnx =--=--，令()ln 1g x x x =--，则()11'1x g x x x-=-=，当01x <<时，()'0g x <；当1x >时，()'0g x >，()g x 的单调减区间为()01，，单调增区间为()1+∞，， 所以()()10g x g ≥=，所以()'0f x ≥，()f x 是增函数，所以1x >时，()()22ln 110f x x x x f =-->=，所以1x >时，12ln x x x->， 令*211,21n x n N n +=>∈-，得2121212ln 212121n n n n n n +-+->-+- 即2221112ln 212121n n n n +⎛⎫+--> ⎪-+-⎝⎭ 所以1121111ln 2122122121n n n n n +⎛⎫>+- ⎪---+⎝⎭上式中123n =，，，…，n ，然后n 个不等式相加， 得到()11111...ln 213521221nn n n ++++>++-+ 5．（2020·辽宁沙河口·辽师大附中高三三模）已知函数()()2ln 11f x p x p x =+-+．（2）当1p =时，()f x kx ≤恒成立，求实数k 的取值范围； （3）证明：()()*111ln 1123n n N n+<+++⋯+∈． 【答案】(1) 见详解；(2)1k；(3)证明见解析．【解析】（1）()f x 的定义域为()0 +∞，，()()()221'21p x p p f x p x x x-+=+-=，当1p >时，()'0f x >，故()f x 在()0,∞+单调递增； 当0p ≤时，()'0f x <，故()f x 在()0,∞+单调递减；当10p -<<时，令()'0f x =，解得x =则当x ⎛∈ ⎝时，()'0f x >； x ⎫∈+∞⎪⎪⎭，时，()'0f x <．故()f x 在⎛ ⎝单调递增，在 ⎫+∞⎪⎪⎭，单调递减． （2）因为0x >，所以：当1p =时，()f x kx ≤恒成立11ln ln kx xx k x+⇔+≤⇔≥， 令()1ln xh x x +=，则()max k x h ≥， 因为()2ln 'xh x x-=，由()'0h x =得x =1， 且当()0,1x ∈时，()'0h x >；当()1,x ∈+∞时，()'0h x <．所以()h x 在()0,1上递增，在()1,+∞上递减，所以()()max 11h x h ==， 故1k ．(3)取,则代入由题设可得,取,并将上述各不等式两边加起来可得()()*111ln 1123n n N n+<+++⋯+∈．6．（2020·浙江省宁波市鄞州中学高三三模）已知函数()()2f x ax a a R =+∈.（2）若()0f x ≤对任意的1x ≥-恒成立，求a 的取值范围；（32600⋅⋅⋅+<. 【答案】（1）()f x 在211,14a ⎛⎫-- ⎪⎝⎭上单增；在211,4a ⎛⎫-+∞ ⎪⎝⎭上单减；（2）1,2⎛⎤-∞- ⎥⎝⎦；（3）证明见解析. 【解析】()'f x a =+.（1）当0a ≥时，()'0f x ≥，所以()f x 在()1,-+∞上单调递增； 当0a <时，由()'0f x >解得21114x a -<<-， 所以()f x 在211,14a ⎛⎫-- ⎪⎝⎭上单调递增；在211,4a ⎛⎫-+∞ ⎪⎝⎭上单调递减.（2）当0a ≥时，()()2000f x a x =+≥+=，故不合题意；当0a <时，由（∈）知()max 21104x f f a ⎛⎫=-≤ ⎪⎝⎭，211(21)(21)20141244a a f a a a a a a +-⎛⎫=-+- ⎪⎝-+=≤⎭102a a <∴≤-，综上，a 的取值范围为1,2⎛⎤-∞- ⎥⎝⎦.（3）由（2）知，取12a =-112x ≤+成立.当()1,2,3,,20482020kx k ==时，1111220204040k k =≤⨯+=⨯+，⋅⋅⋅+()11234204820484040++++++<20491024204826004040⨯=+<.7．（2020·广东广州·高三三模）已知函数()2ln f x a x x =+，其中a R ∈. （1）讨论()f x 的单调性；（2）当1a =时，证明:()21f x x x ≤+-；（3）试比较22222222ln2ln3ln4ln 234n n++++与()()()12121n n n -++ ()*2n N n ∈≥且的大小，并证明你的结论． 【答案】（1）见解析；（2）见解析；（3）见解析【解析】（1）函数()f x 的定义域为：()0,∞+，()'f x = 222a a x x x x++=∈当0a ≥时，()'0f x >，所以()f x 在()0,∞+上单调递增∈当0a <时，令()'0f x =，解得x =当0x <<时，220a x +<，所以()'0f x <， 所以()f x 在⎛ ⎝上单调递减；当x >220a x +>，所以()'0f x >，所以()f x 在⎫+∞⎪⎪⎭上单调递增． 综上，当0a ≥时，函数()f x 在()0,∞+上单调递增；当0a <时，函数()f x 在⎛ ⎝上单调递减，在⎫+∞⎪⎪⎭上单调递增. （2）当a 1=时，()2ln f x x x =+，要证明()21f x x x ≤+-，即证ln 1x x ≤-，即证：ln 10x x -+≤. 设()g ln 1x x x =-+，则()g'x =1xx-，令()0g x '=得，1x =. 当()0,1x ∈时，()0g x '>，当()1,x ∈+∞时，()0g x '<. 所以1x =为极大值点，且()g x 在1x =处取得最大值．所以()()10g x g ≤=，即ln 10x x -+≤．故()21f x x x ≤+-.（3）证明：ln 1x x ≤-（当且仅当1x =时等号成立），即11lnx x x≤-, 则有2222ln +22222222223111111111n 132323ln lnn n n n ⎛⎫+⋯+<-+-+⋯+-=--++⋯+ ⎪⎝⎭()111n 123341n n ⎛⎫<--++⋯+ ⎪ ⎪⨯⨯+⎝⎭ ()()()12111111111n 1n 1233412121n n n n n n -+⎛⎫⎛⎫=---+-+⋯+-=---=⎪ ⎪+++⎝⎭⎝⎭, 故：2222ln +()()()22221213321n n ln lnn n n -++⋯+<+ 8．（2020·黑龙江南岗·哈师大附中三模）已知函数()()2ln 1f x ax bx x =+-+．（∈）当0a =时，函数()f x 存在极值，求实数b 的取值范围；（∈）当1b =时，函数()f x 在()0,∞+上单调递减，求实数a 的取值范围；（∈）求证：()()1*113ln 2122N 14nk n n k =-+<∈-∑． 【答案】（∈）0b >；（∈）12a ≤-；（∈）证明见解析． 【解析】（∈）当0a =时，()()()ln 11f x bx x x =-+>-，()()1111bx b f x b x x --'=-=++， ∈当0b ≤时，()0f x '<，则()f x 在()1,-+∞递减，无极值； ∈当0b >时，令()1'0,11f x x b==->-， 1()0,(1,1),()f x x f x b '<∈--单调递减，1()0,(1,),()f x x f x b '>∈-+∞单调递增，所以11,()x f x b=-取得极小值.综上可知：0b >．（∈）当1b =时，()()()2ln 10f x ax x x x =+-+>，()1212011x f x ax ax x x '=+-=+≤++恒成立 121a x ⇔-≥+对一切()0,x ∈+∞恒成立， ∈11x +>，∈1011x <<+，∈21a -≥，∈12a ≤-．（∈）由（∈）知：当12a =-时，()()21ln 12f x x x x =-+-+在()0,∞+递减，∈()()00f x f ≤=，即：()2ln 12x x x -+<，令221x n =-，则()22212ln 212121n n n n +-<---， 当2n ≥时，()2222122ln 212144121n n n n n n +-<=---+- ()21114121n n n n ⎛⎫<=- ⎪--⎝⎭，∈23ln 2ln 311-=- 2511ln 13322⎛⎫-<- ⎪⎝⎭ 27111ln 55223⎛⎫-<- ⎪⎝⎭……221111ln 212121n n n n n +⎛⎫-<- ⎪---⎝⎭累加得，()11112ln 212ln 31212nk n k n =⎛⎫⋅-+<-+- ⎪-⎝⎭∑ 5153ln3ln32222n =--<-<， 当1n =时，131ln 324-<，即：1ln 32>，综上，()1113ln 212124nk n k =-+<-∑． 9．（2020·黑龙江哈尔滨·三模）已知函数()()()()ln 111f x x k x k R =---+∈ （1）求函数()f x 的单调区间；（2）若()0f x ≤恒成立，试确定实数k 的取值范围；（3）证明：()()*1ln 2ln 3ln ,13414n n n n n n -++⋅⋅⋅+<∈>+N . 【答案】（1）答案不唯一，具体见解析；（2）[)1,+∞；（3）证明见解析. 【解析】（1）函数()()()ln 111f x x k x =---+的定义域为()1,+∞，且()11f x k x '=--. ∈当0k ≤时，()0f x '>恒成立，故函数()y f x =在()1,+∞上为增函数； ∈当0k >时，令()0f x '<，得1k x k +>时，即函数()y f x =在1,k k +⎛⎫+∞⎪⎝⎭上单调递减， 令()0f x '>，得11k x k +<<时，即函数()y f x =在11,k k +⎛⎫⎪⎝⎭上单调递增.综上：当0k ≤时，函数()y f x =在()1,+∞上为增函数； 当0k >时，函数()y f x =在11,k k +⎛⎫ ⎪⎝⎭上为增函数，在1,k k +⎛⎫+∞⎪⎝⎭上为减函数； （2）当0k ≤时，()211f k =-+≥，显然()0f x ≤不恒成立； 当0k >时，()max 11ln 0k f x f k k +⎛⎫==≤⎪⎝⎭，即1k .综上：实数k 的取值范围是[)1,+∞；（3）由（2）可知，当1k =时()0f x ≤恒成立，即()ln 12x x -<-，()ln 121x x x-∴<-， ()()22ln ln 11121212n n n n n n n --=<=+++，可得出ln 2132<，ln 3242<，，ln 112n n n -<+， ()()*1ln 2ln 3ln 121,23412224n n n n n N n n --∴+++<+++=∈≥+. 10．（2020·浙江三模）已知数列{}n a ，112a =，1ln 1n n a a +=-. （1）求证：11n n a a +<<； （2）求证：123201912020a a a a ⋅⋅⋅⋅⋅⋅<. 【答案】（1）证明见解析；（2）证明见解析. 【解析】（1）∈先利用数学归纳法证明1n a <. （∈）当1n =时，1112a =<成立； （∈）假设n k =时1k a <成立，则1ln 10k k a a +=-<，11k a +∴<. 综上所述，对任意的n *∈N ，1n a <； ∈利用导数证明1x e x -≥，设()1x f x ex -=-，则()1e 1x f x -'=-，当1x <时，()0f x '<，此时函数()y f x =单调递减； 当1x >时，()0f x '>，此时函数()y f x =单调递增.所以，()()0110f x f e ≥=-=，即1x e x -≥，当且仅当1x =时，等号成立.1n a <，()()10n f a f ∴>=，即1n a n e a ->，1ln 1n n a a +=-，11n a n n a e a -+∴=>，综合∈∈可知11n n a a +<<；（2）利用数学归纳法证明1n n a n ≤+. ∈当1n =时，112a =满足1n n a n ≤+；∈假设n k =时成立，即1k ka k ≤+，则由1ln 1n n a a +=-，得111111k k a k k k a eee---+++==≤，要证1112k k ek -++<+，令11,012t k ⎛⎫-=∈- ⎪+⎝⎭，则要证11012t e t t ⎛⎫<-<< ⎪-⎝⎭，21 / 21 构造()11x f x e x =+-，1,02x ⎛⎫∈- ⎪⎝⎭，()()()()22211111x x e x f x e x x --'=-=--，令()()211x h x e x =--，1,02x ⎛⎫∈- ⎪⎝⎭，则()()()()2212110x x x h x e x e x e x '=-+⋅-=-<， 所以，函数()y f x '=在1,02⎛⎫- ⎪⎝⎭上单调递减，()()00f x f ''∴>=，所以，函数()y f x =在1,02⎛⎫- ⎪⎝⎭上单调递增，()()00f x f ∴<=，即11x e x <-成立，即1112k k e k -++<+，112k k a k ++∴<+， 综上1n na n ≤+，当且仅当1n =时等号成立，由于1ln 1n n a a +=-，可知0n a >， 所以，1102a <≤，2203a <<，，2019201902020a <<，1220191232019123420202020a a a ⋅⋅⋅⋅<⨯⨯⨯⋅⋅⨯=.。

导数数列不等式导数数列不等式，也称前验不等式，是一种数学不等式，它通过研究一个数列对应的模型来验证它们之间的关系。

导数数列不等式属于一类定性性质，能够准确地描述一个数列函数的变化情况。

首先，我们介绍一类特殊的数列，叫做几何数列。

几何数列是一种有规律而递增的数列，每一项的值是前一项的系数乘上某个正值的数字。

几何数列的导数数列不等式，可以用另一种形式表示：begin{eqnarray}t_n leq t_1 cdot r^nend{eqnarray}其中，$t_n$为几何数列的某一项，$t_1$为几何数列的第一项，而$r$为几何数列系数，它也是确定数列每一项和下一项关系的一个基本参数。

换言之，几何数列变化情况可以用该不等式来表示，所以几何数列可以称为导数数列。

几何数列的导数数列不等式是非常重要的，它是用来验证某个几何数列中每一项和下一项系数之间大小关系的一个特殊性质。

当然，几何数列不是唯一一种可以使用导数数列不等式来验证的数字。

除了几何数列，其他类型的数列也可以使用该不等式来进行检验。

比如抛物线数列，导数数列不等式可以用如下方式表示：begin{eqnarray}t_n leq t_1 cdot (1+n/n)^nend{eqnarray}其中，$t_n$为抛物线数列的某一项，$t_1$为抛物线数列的第一项，而$n$为抛物线数列的项数。

抛物线数列也可以用该不等式来验证它们之间的大小关系，所以抛物线数列也可以称为导数数列。

此外，对于其他类型的数列，也可以使用导数数列不等式来验证它们之间的关系。

例如，线性数列的导数数列不等式可以用如下方式表示：begin{eqnarray}t_n leq t_1 cdot (1+n/n) cdot nend{eqnarray}其中，$t_n$为线性数列的某一项，$t_1$为线性数列的第一项，而$n$为线性数列的项数。

线性数列也可以用该不等式来验证它们之间的大小关系，所以线性数列也可以称为导数数列。

数列不等式的放缩与导数不等式的证明一、数列不等式的放缩1.假设法：假设数列的每一项满足其中一条件，通过推导得到结论。

2.数学归纳法：采用数学归纳法来证明数列不等式，即证明当n=k时不等式成立，然后证明当n=k+1时不等式也成立。

3.应用数学方法和技巧：通过使用数学方法和技巧，如均值不等式、柯西-施瓦茨不等式等，对数列不等式进行放缩。

例如，我们考虑数列 a1，a2，...，an，其中 ai > 0（i=1,2,...,n），证明以下不等式成立：（a1 + a2 + … + an）/n ≥ √(a1a2…an)证明：我们使用均值不等式来放缩。

根据均值不等式，有：(a1 + a2 + … + an)/n ≥ √(a1a2…an)即证明得到结论。

导数不等式是通过研究函数的导数，来证明函数的不等式性质。

常用的方法有以下几种：1.函数的单调性：通过研究函数的单调性来证明函数不等式，即证明函数在一些区间内是单调递增或单调递减的。

2.极值点与函数的变化趋势：通过研究函数的极值点和极限，来推导函数的不等式性质。

3.利用导数的性质：通过应用导数的性质，如凹凸性、拐点等，来证明函数的不等式。

例如，我们考虑函数f(x)=x^2，证明以下不等式成立：f(b)-f(a)≥(b-a)(f(b)+f(a))/2证明：首先我们求出函数f(x)的导数f'(x)=2x。

由于f'(x)是正值，因此f(x)是单调递增的。

根据函数f(x)的单调性，对于任意的a<b，有f(b)-f(a)≥0。

同时，由于f(x)是凹函数，根据凹函数的性质，有：f(t)≤f(a)+(t-a)f'(a)f(u)≤f(b)+(u-b)f'(b)其中a<t<b<u。

将两个不等式相加，得到：f(t)+f(u)≤f(a)+f(b)+(t-a)f'(a)+(u-b)f'(b)将f(t)+f(u)替换为2f((t+u)/2)，得到：2f((t+u)/2)≤f(a)+f(b)+(t-a)f'(a)+(u-b)f'(b)即证明得到结论。

导数解答题中数列不等式的证明思路策略张国飞(安徽省桐城中学ꎬ安徽桐城２３１４００)摘㊀要:导数解答题中最后一问设置数列不等式的证明ꎬ是高考函数与导数知识模块中命题时比较常见的一个压轴题型.文章结合实例ꎬ就导数解答题中数列不等式的几个常见的证明思路策略加以剖析ꎬ阐述基本证明思路与技巧方法ꎬ总结证明归纳与策略ꎬ引领并指导数学教学与复习备考.关键词:导数ꎻ数列ꎻ不等式ꎻ证明ꎻ思路ꎻ策略中图分类号:Ｇ６３２㊀㊀㊀文献标识码:Ａ㊀㊀㊀文章编号:１００８－０３３３(２０２３)３０－００３８－０３收稿日期:２０２３－０７－２５作者简介:张国飞(１９８０.７－)ꎬ男ꎬ安徽省安庆人ꎬ本科ꎬ中学一级教师ꎬ从事高中数学教学研究.㊀㊀在函数与导数的综合应用解答题中ꎬ经常会有证明数列不等式ꎬ形如ðｎｉ＝１ａｉ<ｇ(ｎ)或ðｎｉ＝１ａｉ<Ａ(Ａ为常数)等形式成立的数列不等式设置.此类数列不等式的证明问题往往前后联系ꎬ与前面小题中的函数与导数的综合应用等着直接或间接的联系ꎬ需要借助函数的单调性㊁导数的基本性质以及不等式的性质等来应用ꎬ综合性强ꎬ时常是压轴题的首选ꎬ倍受各方关注.下面结合实例ꎬ就证明导数解答题中的数列不等式的思路策略加以剖析与应用ꎬ抛砖引玉[１].１抓住常用思路ꎬ进行逐项比较对于数列不等式ðｎｉ＝１ａｉ<ｇ(ｎ)ꎬ其中不等式的一边是某个数列的前ｎ项和ꎬ而另一边ｇ(ｎ)如果可以看作另一个数列的前ｎ项和ꎬ此时可以采用计算该数列的通项公式ｂｎꎬ借助ａｎ<ｂｎ的转化ꎬ通过逐项比较ꎬ利用累加法加以分析与证明.例１㊀求证:对于任意的ｘɪ(０ꎬ＋ɕ)ꎬ有ｘ１＋ｘ<ｌｎ(１＋ｘ)<ｘ恒成立.根据这个不等式证明:ｌｎ(ｎ＋１)<１＋１２＋ ＋１ｎ<ｌｎｎ＋１(ｎɪＮ∗).解析㊀令函数ｆ(ｘ)＝ｌｎ(１＋ｘ)－ｘ(ｘ>０)ꎬ则ｆᶄ(ｘ)＝１１＋ｘ－１＝－ｘ１＋ｘ<０ꎬ则知函数ｆ(ｘ)在(０ꎬ＋ɕ)上单调递减ꎬ可得ｆ(ｘ)<ｆ(０)＝０ꎬ即ｌｎ(１＋ｘ)<ｘ成立ꎻ令函数ｇ(ｘ)＝ｘ１＋ｘ－ｌｎ(１＋ｘ)(ｘ>０)ꎬ则ｇᶄ(ｘ)＝１(１＋ｘ)２－１１＋ｘ＝－ｘ(１＋ｘ)２<０ꎬ则知函数ｇ(ｘ)在(０ꎬ＋ɕ)上单调递减ꎬ可得ｇ(ｘ)<ｇ(０)＝０ꎬ即ｘ１＋ｘ<ｌｎ(１＋ｘ)成立ꎻ综上分析ꎬ可得对于任意的ｘɪ(０ꎬ＋ɕ)ꎬ有ｘ１＋ｘ<ｌｎ(１＋ｘ)<ｘ恒成立.取ｘ＝１ｎꎬ可得ｘ１＋ｘ＝１ｎ１＋１ｎ＝１ｎ＋１<ｌｎ(１＋ｘ)＝ｌｎ(１＋１ｎ)＝ｌｎｎ＋１ｎ＝ｌｎ(ｎ＋１)－ｌｎｎ<ｘ＝１ｎꎬ即８３１ｎ＋１<ｌｎ(ｎ＋１)－ｌｎｎ<１ｎꎬ令ｎ＝１ꎬ２ꎬ ꎬ对应不等式累加可得１２＋１３＋ ＋１ｎ＋１<ｌｎ(ｎ＋１)<１＋１２＋ ＋１ｎꎬ即ｌｎ(ｎ＋１)<１＋１２＋ ＋１ｎ<ｌｎｎ＋１(ｎɪＮ∗).点评㊀由函数不等式过渡到数列不等式的处理ꎬ就是合理对变量进行赋值处理ꎬ进而实现逐项比较的目的ꎬ同时在累加处理时ꎬ还要对不等式的形式进行巧妙处理ꎬ这里由１２＋１３＋ ＋１ｎ＋１<ｌｎ(ｎ＋１)可得１＋１２＋１３＋ ＋１ｎ<ｌｎｎꎬ进而得到１＋１２＋ ＋１ｎ<ｌｎｎ＋１.注意递推不等式的结构特征与应用.２融合可选思路ꎬ利用数列单调(性)对于数列不等式ðｎｉ＝１ａｉ<ｇ(ｎ)ꎬ通过恒等变形转化为证明ｂｎ＝ðｎｉ＝１ａｉ－ｇ(ｎ)<０ꎬ先验证ｂ１<０ꎬ接下来验证ｂｎ＋１－ｂｎ<０恒成立ꎬ利用数列的单调性(单调递减)实现数列不等式的证明与应用[２].例２㊀设函数ｆ(ｘ)＝(ｘ－１)２＋ｂｌｎｘꎬ其中ｂ为常数.(１)判断函数ｆ(ｘ)在定义域上的单调性ꎻ(２)求证:１３２＋１４２＋ ＋１ｎ２<ｌｎ(ｎ＋１)(ｎȡ３ꎬｎɪＮ∗).㊀解析㊀由函数ｆ(ｘ)＝(ｘ－１)２＋ｂｌｎｘ(ｘ>０)ꎬ则ｆᶄ(ｘ)＝２(ｘ－１)＋ｂｘ＝２(ｘ－１２)２＋ｂ－１２ｘꎬ所以当ｂȡ１２时ꎬｆᶄ(ｘ)ȡ０ꎬ函数ｆ(ｘ)在(０ꎬ＋ɕ)上单调递增ꎻ当ｂ<１２时ꎬ令ｆᶄ(ｘ)＝０ꎬ解得ｘ１＝１２－１－２ｂ２或ｘ２＝１２＋１－２ｂ２ꎬ①当ｂɤ０时ꎬｘ１ɤ０舍去ꎬ而ｘ２ȡ１ꎬ此时ｆᶄ(ｘ)ꎬｆ(ｘ)随ｘ在定义域上的变化情况如下表:表１㊀函数单调性与导数关系ｘ(０ꎬｘ２)ｘ２(ｘ２ꎬ＋ɕ)ｆᶄ(ｘ)－０＋ｆ(ｘ)↘极小值↗ｘ(０ꎬｘ１)ｘ１(ｘ１ꎬｘ２)ｘ２(ｘ２ꎬ＋ɕ)ｆᶄ(ｘ)＋０－０＋ｆ(ｘ)↗极大值↘极小值↗㊀㊀②当０<ｂ<１２时ꎬ０<ｘ１<ｘ２ꎬ此时ｆᶄ(ｘ)ꎬｆ(ｘ)随ｘ在定义域上的变化情况如下表:综上分析ꎬ当ｂȡ１２时ꎬ函数ｆ(ｘ)在(０ꎬ＋ɕ)上单调递增ꎻ当０<ｂ<１２时ꎬ函数ｆ(ｘ)在(０ꎬ１２－１－２ｂ２)ꎬ(１２＋１－２ｂ２ꎬ＋ɕ)上单调递增ꎬ在(１２－１－２ｂ２ꎬ１２＋１－２ｂ２)上单调递减ꎻ当ｂɤ０时ꎬ函数ｆ(ｘ)在(０ꎬ１２＋１－２ｂ２)上单调递减ꎬ在(１２＋１－２ｂ２ꎬ＋ɕ)上单调递增.(２)设ｂｎ＝１３２＋１４２＋ ＋１ｎ２－ｌｎ(ｎ＋１)ꎬｎȡ３ꎬｎɪＮ∗ꎬ则ｂ３＝１９－ｌｎ４<０显然成立ꎻ当ｎȡ３ꎬｎɪＮ∗时ꎬｂｎ＋１－ｂｎ＝１(ｎ＋１)２－ｌｎ(ｎ＋２)＋ｌｎ(ｎ＋１)＝１(ｎ＋１)２－ｌｎｎ＋２ｎ＋１ꎬ设ｘ＝ｎ＋２ｎ＋１＝１＋１ｎ＋１ɪ(１ꎬ５４]ꎬ那么要证ｂｎ＋１－ｂｎ<０ꎬ只需证(ｘ－１)２－ｌｎｘ<０ꎬ取ｂ＝－１ꎬ由(１)知函数ｆ(ｘ)在(０ꎬ１＋３２)上单调递减ꎬ而５４<１＋３２ꎬ则知当ｘɪ(１ꎬ５４]时ꎬｆ(ｘ)＝９３(ｘ－１)２－ｌｎｘ<ｆ(１)＝０ꎬ从而ｂｎ＋１－ｂｎ<０成立ꎬ即数列{ｂｎ}单调递减ꎬ则有ｂｎɤｂ３<０ꎬ原数列不等式得证.点评㊀这里利用数列的单调性来证明相关的数列不等式成立时ꎬ其证明过程与逐项比较写的过程有点差异ꎬ但本质上两种方法之间有着异曲同工之妙.注意证明数列的单调性时ꎬ往往要回归题目前面部分所涉及的函数不等式问题ꎬ合理应用.３借助性质思路ꎬ合理放缩处理对于数列不等式ðｎｉ＝１ａｉ<Ａꎬ经常可以借助函数的单调性质㊁不等式的基本性质等来加强命题ðｎｉ＝１ａｉ<ｇ(ｎ)且ｇ(ｎ)<Ａꎬ通过合理的放缩与变形处理来巧妙转化与应用.放缩的关键是数列的求和与放缩ꎬ以及不等式性质的应用等[３].例３㊀已知函数ｆ(ｘ)＝ｘ－ｍｌｎｘ－１(ｍɪＲ)在ｘ＝１处取得极值Ａ.(１)求出实数ｍ的值ꎬ并判断Ａ是函数ｆ(ｘ)的最大值还是最小值ꎻ(２)证明:对于任意正整数ｎꎬ不等式(１＋１２)(１＋１２２) (１＋１２ｎ)<ｅ恒成立ꎬ其中ｅ＝２.７１８２８ 是自然对数的底数.解析㊀(１)由函数ｆ(ｘ)＝ｘ－ｍｌｎｘ－１(ｘ>０)ꎬ则ｆᶄ(ｘ)＝１－ｍｘꎬ由于ｘ＝１是函数ｆ(ｘ)的极值点ꎬ则有ｆᶄ(１)＝０ꎬ即１－ｍ１＝０ꎬ解得ｍ＝１ꎬ此时函数ｆ(ｘ)＝ｘ－ｌｎｘ－１ꎬｆᶄ(ｘ)＝１－１ｘ＝ｘ－１ｘꎬ则知当０<ｘ<１时ꎬｆᶄ(ｘ)<０ꎬ函数ｆ(ｘ)单调递减ꎻ当ｘ>１时ꎬｆᶄ(ｘ)>０ꎬ函数ｆ(ｘ)单调递增ꎬ所以函数ｆ(ｘ)在ｘ＝１处取得极值Ａ＝ｆ(１)＝０是最小值ꎻ(２)由(１)知ꎬ当ｘ>１时ꎬｆ(ｘ)>ｆ(１)＝０ꎬ即ｘ－１>ｌｎｘꎬ不妨令ｘ＝１＋１２ｎꎬｎɪＮ∗ꎬ则有ｌｎ(１＋１２ｎ)<１２ｎꎬｎɪＮ∗ꎬ所以ｌｎ(１＋１２)＋ｌｎ(１＋１２２)＋＋ｌｎ(１＋１２ｎ)<１２＋１２２＋ ＋１２ｎ＝１２(１－１２ｎ)１－１２＝１－１２ｎ<１ꎬ即ｌｎ[(１＋１２)(１＋１２２) (１＋１２ｎ)]<１＝ｌｎｅꎬ所以不等式(１＋１２)(１＋１２２) (１＋１２ｎ)<ｅ恒成立.点评㊀在解决导数解答题中数列不等式的证明问题时ꎬ往往要先从前面小题的过程或结论中选取合适的函数不等式加以应用ꎬ这非常考验考生的观察能力.而在对数列不等式进行累加求和处理后ꎬ合理的放缩是正确证明的关键ꎬ要注意观察所要证明的数列不等式的结构特征加以巧妙放缩处理.在解决导数解答题中数列不等式的证明时ꎬ除了以上三种基本的证明思路策略ꎬ还可以借助推理与证明思维进一步加以综合与应用ꎬ利用可行的思路方法与技巧策略来剖析ꎬ有时在证明数列不等式时还可以多种证明思路策略联合应用ꎬ实现问题的综合应用与巧妙解决[４].参考文献:[１]韩文美.突出四个 基本点 ꎬ强化导数及应用[Ｊ].中学生数理化(高二数学)ꎬ２０２３ꎬ９７４(０６):２２－２４ꎬ２６.[２]白亚军.求解数列不等式的常见放缩技巧[Ｊ].高中数学教与学ꎬ２０２３(０９):２１－２２ꎬ２０.[３]蔡雯.例析高考中函数与数列不等式证明问题的突破[Ｊ].高中数理化ꎬ２０２３(０７):２６－２７.[４]刘海涛.由一道高考题引发的对证明数列不等式的思考[Ｊ].中学数学月刊ꎬ２０２１(０４):６３－６４.[责任编辑:李㊀璟]０４。

微专题 利用导数证明数列不等式 方法1 利用不等式)0(,1ln 11>-≤≤-x x x x 证明数列型不等式背景知识：12312-⋅⋅=n n n ，1ln 23ln 12ln ln -+++=n nn1. 求证：),2(,11211ln 13121*∈≥-+++<<+++N n n n n n证明：在不等式中令11>-=n n x ，111ln 11--<-<--n nn n n nn n ,3,2=，可得个不等式，相加可以得证。

2.求证：2,N*n n ≥∈，时，n n n 1ln 44ln 33ln 22ln <⋅⋅证明：1ln 0-<<n n ，∴nn n n 1ln 0-<< nn n n n 11433221ln 44ln 33ln 22ln =-⋅⋅<⋅⋅ 3.求证：2222ln(21)ln(31)ln(41)ln(1)12ln !(2,)n n n n N *++++++++<+≥∈证明 1ln -<x x 0>x ，令112+=nx ，则有2211111ln(1)(1)1n n n n n n +<<=---， 变形为1)11ln()141ln()131ln()121ln(2222<+++++++n ，),2(*∈≥N n n)11ln()141ln()131ln()121ln(2222+++++++n 111)111()4131()3121()211(<-=--+-+-+-<n n n4.（2018春•长汀县校级月考）已知函数x x x f ln )(=,)(2)(2R a a x x ax g ∈-+=（Ⅰ）若直线)0(>=t t x 与曲线)(x f y =和)(x g y =分别交于B A ,两点，且曲线)(x f y =在点A 处的切线与)(x g y =在点B 处的切线相互平行，求a 的取值范围； （Ⅱ）设333ln 33ln 22ln n n S n +++= ，证明：eS n 1<（其中*∈>N n n ,1，e=2.71828…是自然对数的底数）解：（Ⅰ）f （x ）=xlnx ，（x ＞0），∴f′（x ）=1+lnx ，∵，∴g′（x ）=ax +1，∵曲线y=f （x ）在点A 处的切线与y=g （x ）在点B 处的切线相互平行， ∴f′（t ）=g′（t ）在（0，+∞）有解，即lnt=at 在（0，+∞）有解，∵t ＞0， ∴．令，则得x=e ，当x ∈（0，e ）时，F′（x ）＞0，F （x ）单调递增， 当x ∈（e ，+∞）时，F′（x ）＜0，F （x ）单调递减，∴，∴a 的取值范围是．证明（Ⅱ）由（Ⅰ）得，且x ＞0，∴，令x=n ，n ∈N +得：，当n 取2，3，4…n 时，有，又=，∴．5.【2017新课标3理】已知函数()1ln f x x a x =--． （1）若()0f x ≥ ，求a 的值；（2）设m 为整数，且对于任意正整数n ，2111(1)(1)(1)222n m +++<，求m 的最小值． 【解析】（1）()f x 的定义域为()0，+∞.①若0a ≤，因为11=-+2＜022f a ln ⎛⎫ ⎪⎝⎭，所以不满足题意；②若＞0a ，由()1a x a f 'x x x-=-=知，当()0x ,a ∈时，()＜0f 'x ；当()，+x a ∈∞时，()＞0f 'x ，所以()f x 在()0,a 单调递减，在()，+a ∞单调递增，故x=a 是()f x 在()0，+x ∈∞的唯一最小值点. 由于()10f =，所以当且仅当a=1时，()0f x ≥.故a=1 （2）由（1）知当()1，+x ∈∞时，1＞0x ln x --，令1=1+2n x 得111+＜22n n ln ⎛⎫ ⎪⎝⎭，从而 2211111111++1+++1+＜+++=1-＜12222222n n n ln ln ln ⎛⎫⎛⎫⎛⎫⋅⋅⋅⋅⋅⋅ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭故21111+1+1+＜222n e ⎛⎫⎛⎫⎛⎫⋅⋅⋅ ⎪⎪ ⎪⎝⎭⎝⎭⎝⎭而231111+1+1+＞2222⎛⎫⎛⎫⎛⎫⎪⎪⎪⎝⎭⎝⎭⎝⎭，所以m 的最小值为3. 方法二 利用不等式)1(21ln xx x -≤)1(≥x6.求证：12)12ln(211n 2151311+++>-++++n nn 证明： x x x ln 21≥- 令11212>-+=n n x ，*N n ∈得1212ln212121212-+>+---+n n n n n n ， 即1212ln 2)1221(1221-+>+---+n n n n ，所以)121-121(211212ln 21121+++>n n n n n上式中n=1，2，3，…，n ，然后n 个不等式相加得到12)12ln(2112151311+++>-++++n nn n7.已知函数R a ax x x x f ∈++=,1ln )(，（1）当0>x 时，若关于x 的不等式0)(≥x f 恒成立，求a 的取值范围 (2)当*∈N n 时，证明11ln 3ln 2ln 42222+<++++<+n nn n n n【分析】（1）由f （x ）≥0，得xlnx +ax +1≥0（x ＞0）．整理，得恒成立，即．令．利用导数研究其单调性极值与最值即可得出． （2）由为数列的前n 项和，为数列的前n 项和．因此只需证明)1(11ln )2)(1(12+<+<++n n n n n n 即可．由（1），当a=﹣1时，有xlnx ﹣x +1≥0，即．令，即得=．可得2111)2)(1(1)11(1ln 22+-+=++>+>+n n n n n n n ． 现证明)1(11ln 2+<+n n n n ，即==．通过构造函数利用导数研究函数的单调性极值即可证明．解：（1）由f （x ）≥0，得xlnx +ax +1≥0（x ＞0）． 整理，得恒成立，即．令．则．∴函数F （x ）在（0，1）上单调递减，在（1，+∞）上单调递增． ∴函数的最小值为F （1）=1．∴﹣a ≤1，即a ≥﹣1．∴a 的取值范围是[﹣1，+∞）． （2）∵为数列的前n 项和，为数列的前n 项和．∴只需证明即可．由（1），当a=﹣1时，有xlnx ﹣x +1≥0，即．（x>1）令，即得=．∴2111)2)(1(1)11(1ln 22+-+=++>+>+n n n n n n n ． 再证明)1(1n 1ln 2+<+n n n ，即111111111ln 2+-+=+-+=+<+n n n n n n n n n n 现证明．构造函数（x ≥1），则=．∴函数G （x ）在[﹣1，+∞）上是增函数，即G （x ）≥G （1）=0． ∴当x ＞1时，有G （x ）＞0，即（x>1）成立．令，则（*）式成立．综上，得)1(112ln )2)(1(1+<+<++n n n n n n对数列，，分别求前n 项和，得．【点评】本题考查了利用导数研究其单调性极值与最值、方程与不等式的解法、构造法，考查了推理能力与计算能力，属于难题．方法三 利用不等式 ：221)1ln(x x x ≤+-)0(>x 8. 求证：)(,2)12ln(1221*=∈<+--∑Nn n i ni证明：令)3,2,1(122n i i x =-=，则有2)12(2)]12ln()12[ln(122-<--+--i i i i 当1=n 时，23ln 2<-当2≥i 时，121321)12(22---<-i i i ，)(,212113ln 2)1n 2ln(1221*=∈<--+-<+--∑N n n i ni方法四 利用1+≥x e x证明不等式9.设()xf x e ax a =--.(Ⅰ)若()0f x ≥对一切1x ≥-恒成立,求a 的取值范围;(Ⅱ)设()()xag x f x e =+,且112212(,),(,)()A x y B x y x x ≠是曲线()y g x =上任意两点,若对任意的1a ≤-,直线AB 的斜率恒大于常数m ,求m 的取值范围;(Ⅲ)求证:*13(21)(2)()1n n nn e n n n N e +++-<∈-. 【答案】（Ⅰ) 1a ≤；（Ⅱ）3m ≤；（Ⅲ）详见解析【错因】第一问中这个恒成立问题学生的主要问题主要出现在一个细节上：运用参数分离时不知道一定要单独考虑一下端点问题;第二问中绝大多数学生无法想到去构建一个新的函数：mx x g x F -=)()(，第三问中不等于的证明绝大多数学生无法想到第一问中的结论再结合放缩法进行对不等于的证明． 【正解】(Ⅰ) ()0f x ≥⇒(1)(1)1x xe x a e a x x +≤⇒≤>-+，令()1xe h x x =+，则2()(1)x xe h x x '=+,由2()0(1)xxe h x x '=>+得0x >.所以()h x 在(0,)+∞上单调递增, ()h x 在(1,0)-单调递减.所以()(0)1(1)h x h x ≥=>-,由此得：1a ≤又1x =-时，(1)xx a e +≤即为10a e -⨯≤ 此时a 取任意值都成立，综上得：1a ≤ (II)由题设得，直线AB 的斜率满足：m x x x g x g >--1212)()(,不妨设21x x <，则2121()()g x g x mx mx ->-即：2211()()g x mx g x mx ->- 令函数mx x g x F -=)()(,则由以上不等式知：()F x 在(,)-∞+∞上单调递增,所以()()0F x g x m ''=-≥恒成立 ,所以，对任意1,a x R ≤-∈, ()m g x '≤恒成立又)(2)(x xx xe a e e a a e x g -⋅≥--='a -=a a -+-231)1(2≥-+-=a ，故3m ≤ (Ⅲ)由(Ⅰ) 知1(0xe x x ≥+=时取等号）,取2ix n=-,,12,3,1-=n i 得212ini e n --< ，即22()2i nn i e n --< 累加得 13232122222123531()()()()()22222n n n n n n nn n e e e e n n n n n--------++⋅⋅⋅+++<++⋅⋅⋅++ 121(1))1n n e e e e e e -----==-<- 所以 135(21))n n n nn e n n +++⋅⋅⋅+-<（2011山西适应性考试文）已知函数2ln (1)()().x x ax x a f x a x--+-=∈R （I ）当1,()2a f x ≥时讨论的单调性； （II ）证明：*111321(2,).2ln 23ln 3ln 2(1)n n n n n n n n ++++>-≥∈+2222)1)(1()1(11)(xa ax x x a x ax x a a x x f -+--=-++-=---=' 解：（1）当 21=a 时，0)(≤'x f 在R 上恒成立，在)(x f ),0(+∞上是减函数 （2）当121<<a 时，在)1,0(a a -上，0)(<'x f 在)(x f )1,0(a a-上为减函数在)1,1(a a -上0)(>'x f ，)(x f 在)1,1(aa -为增函数在),1(+∞上，0)(<'x f )(x f 在),1(+∞上为减函数（3）当1≥a 时，在)1,0(上，0)(>'x f ，)(x f 为增函数。

微专题。

用导数证明数列型不等式方法1：利用不等式1-≤lnx≤x-1,(x>1)证明数列型不等式背景知识：n=2×3×…×n，lnn=ln2+ln3+…+lnn-11.求证：1+1/2+…+1/n<lnn<1+1/2+…+1/n+(1/n+1)+(1/n+2)+…+(1/2n-1)，(n≥2,n∈N*)证明：在不等式中令x＞1，1-x≤lnx≤x-1，n=2,3,…,n，可得个不等式，相加可以得证。

ln2+ln3+…+lnn-1≤1+1/2+…+1/nln2+ln3+…+lnn-1＞1+1/2+…+1/n+(1/n+1)+(1/n+2)+…+(1/2n-1)2.求证：n≥2,n∈N*，时，2×3×…×n<n^n-1证明：2×3×…×n<2×2×…×2=n^(n-1)3.求证：ln(n^2+1)<1+2lnn!(n≥2,n∈N*)证明：由lnx0)，令x=n^2+1，则有ln(n^2+1)<2n^2/(n^2+1)2n^2/(n^2+1)<2lnn。

即n^2/(n^2+1)<lnn。

整理得ln(n^2+1)<1+2lnn!4.已知函数f(x)=xlnx,g(x)=x^2+x-a(a∈R)Ⅰ）若直线x=t(t>0)与曲线y=f(x)和y=g(x)分别交于A,B 两点，且曲线y=f(x)在点A处的切线与y=g(x)在点B处的切线相互平行，求a的取值范围；Ⅱ）设Sn=1/2+1/3+…+1/n，证明：ln(2^2+1)+ln(3^2+1)+…+ln(n^2+1)<2Sn解：（Ⅰ）f（x）=xlnx，（x＞0），∴f′（x）=1+lnx，∵曲线y=f（x）在点A处的切线与y=g（x）在点B处的切线相互平行，∴f′（t）=g′（t）在（0,+∞）有解，即lnt=a-t在（0,+∞）有解，∵t＞0，∴a＞0．令x=e，则得t=e，∴a=e-1 Ⅱ）当x∈(0,e)时，F′(x)>0，F(x)单调递增，其中F(x)=ln(x^2+1)，则有ln(2^2+1)+ln(3^2+1)+…+ln(n^2+1)<F(2)+F(3)+…+F(n)，由于F(x)单调递增，故F(2)+F(3)+…+F(n)<∫(1,n)F(x)dx，又因为F(x)在(0,+∞)上单调递增，故∫(1,n)F(x)dx<∫(1,n)F(n)dx=nF(n)-ln(n^2+1)/2，所以ln(2^2+1)+ln(3^2+1)+…+ln(n^2+1)<nlnn-ln(n^2+1)/2，即ln(2^2+1)+ln(3^2+1)+…+ln(n^2+1)<2(1/2+1/3+…+1/n)=2Sn。

第19炼 利用函数证明数列不等式利用函数证明不等式是在高考导数题中比较考验学生灵活运用知识的能力，一方面以函数为背景让学生探寻函数的性质，另一方面体现数列是特殊的函数，进而利用恒成立的不等式将没有规律的数列放缩为为有具体特征的数列，可谓一题多考，巧妙地将函数，数列，不等式连接在一起，也是近年来高考的热门题型。

一、基础知识： 1、考察类型：（1）利用放缩通项公式解决数列求和中的不等问题 （2）利用递推公式处理通项公式中的不等问题 2、恒成立不等式的（1）函数的最值：在前面的章节中我们提到过最值的一个作用就是提供恒成立的不等式。

（2）恒成立问题的求解：此类题目往往会在前几问中进行铺垫，暗示数列放缩的方向。

其中，有关恒成立问题的求解，参数范围内的值均可提供恒成立不等式 3、常见恒成立不等式：（1）ln 1x x <- 对数→多项式 （2）1x e x >+ 指数→多项式4、关于前n 项和的放缩问题：求数列前n 项公式往往要通过数列的通项公式来解决，高中阶段求和的方法有以下几种：（1）倒序相加：通项公式具备第k 项与第1n k -+项的和为常数的特点（2）错位相减：通项公式为“等差⨯等比”的形式（例如2nn a n =⋅，求和可用错位相减）（3）等比数列求和公式（4）裂项相消：通项公式可裂为两项作差的形式，且na 裂开的某项能够与后面项裂开的某项进行相消。

注：在放缩法处理数列求和不等式时，放缩为等比数列和能够裂项相消的数列的情况比较多见，故优先考虑。

5、大体思路：对于数列求和不等式，要谨记“求和看通项”，从通项公式入手，结合不等号方向考虑放缩成可求和的通项公式。

6、在放缩时要注意前几问的铺垫与提示，尤其是关于恒成立问题与最值问题所带来的恒成立不等式，往往提供了放缩数列的方向7、放缩通项公式有可能会进行多次，要注意放缩的方向：朝着可求和的通项公式进行靠拢（等比数列，裂项相消等）8、数列不等式也可考虑利用数学归纳法进行证明（有时更容易发现所证不等式与题目条件的联系） 二、典型例题： 例1： 已知函数()()2ln f x x a x x=+--在0x =处取得极值（1）求实数a 的值（2）证明：对于任意的正整数n ，不等式23412ln(1)49n n n +++++>+都成立解：（1）()'121f x x x a =--+0x =为()f x 的极值点()'10101f a a ∴=-=⇒=（2）思路一：联想所证不等式与题目所给函数的联系，会发现在()()2ln 1f x x x x=+--中，存在对数，且左边数列的通项公式22111n n a n n n +⎛⎫==+ ⎪⎝⎭也具备()f x 项的特征，所以考虑分析()ln 1x +与2x x +的大小关系，然后与数列进行联系。