第19炼 利用函数证明数列不等式

第三章 第19炼 利用函数证明数列不等式 导数

第19炼 利用函数证明数列不等式

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

（1）利用放缩通项公式解决数列求和中的不等问题 （2）利用递推公式处理通项公式中的不等问题 2、恒成立不等式的来源：

（1）函数的最值：在前面的章节中我们提到过最值的一个作用就是提供恒成立的不等式。 （2）恒成立问题的求解：此类题目往往会在前几问中进行铺垫，暗示数列放缩的方向。其中，有关恒成立问题的求解，参数范围内的值均可提供恒成立不等式 3、常见恒成立不等式：

x（1）lnx?x?1 对数→多项式 （2）e?x?1 指数→多项式

4、关于前n项和的放缩问题：求数列前n项公式往往要通过数列的通项公式来解决，高中阶段求和的方法有以下几种：

（1）倒序相加：通项公式具备第k项与第n?k?1项的和为常数的特点

（2）错位相减：通项公式为“等差?等比”的形式（例如an?n?2n，求和可用错位相减） （3）等比数列求和公式

（4）裂项相消：通项公式可裂为两项作差的形式，且an裂开的某项能够与后面项裂开的某项进行相消。

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

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

6、在放缩时要注意前几问的铺垫与提示，尤其是关于恒成立问题与最值问题所带来的恒成立不等式，往往提供了放缩数列的方向

本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

7、放缩通项公式有可能会进行多次，要注意放缩的方向：朝着可求和的通项公式进行靠拢（等比数列，裂项相消等）

8、数列不等式也可考虑利用数学归纳法进行证明（有时更容易发现所证不等式与题目条件的联系） 二、典型例题：

例1： 已知函数f?x??ln?x?a??x2?x在x?0处取得极值 （1）求实数a的值

（2）证明：对于任意的正整数n，不等式2?解：（1）f ?f''34n?1????2?ln(n?1)都成立 49n?x??1?2x?1 ?x?0为f?x?的极值点 x?a?0??1?1?0?a? 1a2（2）思路一：联想所证不等式与题目所给函数的联系，会发现在f?x??ln?x?1??x?xn?11?1?中，存在对数，且左边数列的通项公式an?2????也具备f?x?项的特征，所以

nn?n?考虑分析ln?x?1?与x?x的大小关系，然后与数列进行联系。

22解：下面求f?x??ln?x?1??x?x的单调区间

2' f?x??x?2x?3?1'?2x?1??,令f?x??0?x?0 x?1x?1x g'?x? ??1,0? ? ? ?0,+?? ? ? g?x? ?f?x??f?0??0即ln?x?1??x2?x（每一个函数的最值都会为我们提供一个恒成立的不等

式，不用白不用！观察刚好与所证不等式不等号方向一致）

1?n?1?n?1?1??1?1令x?，则ln??1?????即ln???2

nnnnnn??????23n?13n?1?ln?ln???ln?2????2

12n4n本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

2第三章 第19炼 利用函数证明数列不等式 导数

即2?

34n?1????2?ln(n?1) 49nn?1n?1,b?ln），通过对应项nn2n小炼有话说：

（1）此不等式实质是两组数列求和后的大小关系（an?的大小关系决定求和式子的大小。此题在比较项的大小时关键是利用一个恰当的函数的最值，而这个函数往往由题目所给。另外有两点注意：①关注函数最值所产生的恒成立不等式 ②注意不等号的方向应该与所证不等式同向

（2）解决问题后便明白所证不等式为何右边只有一个对数，其实也是在作和，只是作和时对数合并成一项（与对数运算法则和真数的特点相关），所以今后遇到类似问题可猜想对数是经历怎样的过程化简来的，这往往就是思路的突破点

思路二：发现不等式两边均有含n的表达式，且一侧作和，所以考虑利用数学归纳法给予证明：

解：用数学归纳法证明：

① 当n?1时，不等式为2?ln2成立 ② 假设n?k?k?1?时，不等式成立（即2?当n?k?1时，若要证2?34k?1????2?ln(k?1)） 49k34k?1k?2????2??ln?k?2? 249k?k?1??2?34k?1????2?ln(k?1) 49k?只需证ln(k?1)?k?2?k?1?2?ln?k?2???k?1??1?lnk?2?ln?1?1?

??2k?1?k?1??k?1?2（下同思路一：分析f?x?的最值可得ln?x?1??x?x） 令x??k?1??1?ln?1?1?12，由恒成立不等式ln?x?1??x?x可得?? 2k?1k?1???k?1?34n?1????2?ln(n?1) 49n即所证不等式成立 ③ ??n?N，均有2??小炼有话说：利用数学归纳法证明要注意两点：（1）格式的书写 （2）要利用n?k所假设的条件

本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

例2： 已知函数f?x??ax2?ln?x?1? （1）当a??1时，求函数f?x?的单调区间 4（2）当x??0,???时，函数y?f(x)图像上的点都在?实数a的取值范围

?x?0所表示的平面区域内，求

y?x?0??2??4??8??2n???（3）求证：?1?（其中1?n?1?en?N,e??1???1????n???2?3??3?5??5?8???2?1??2?1??是自然对数的底数）

解：（1）常规解法，求出单调区间找最值 f?x???'12x?ln?x?1? 4?x?2??x?1?,令f'x?0求出单调区间如下：11x2?x?2 f?x???x???????2x?12?x?1?2?x?1?x f'?x? ??1,1? ? ? ?1,??? ? ? f?x? （2）解：?函数y?f(x)图像上的点都在?2?x?0区域内，

?y?x?02 ?条件等价于?x??0,???,ax?ln?x?1??x恒成立，即ax?ln?x?1??x?0 令g?x??ax?ln?x?1??x ?g?0??0

22ax2??2a?1?xx?2ax?2a?1?1?1?? g?x??2ax? x?1x?1x?1'令g?x??0?2ax?2a?1?0即2ax?1?2a

'?1??1??1?1?1?① a?0时， g???a???ln??1???ln??1??0 不符合题意

?a??a??a?a?a?（此时发现单调性并不能直接舍掉a早晚会随着

2?0的情况，但可估计函数值的趋势，而ax?xln?x?1?恒为正，

2x值的变大而为正数，所以必然不符合题意。在书写时可构造反例来说明，此题只需

本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

ax2?x?0即可，所以选择x?1a）

② a?0时，2ax?2a?1?0即g'?x??0 ?g?x?在?0,???单调递减 ?g?x??g?0??0，符合题意 综上所述：a?0

?2??4??8??2n???e，（3）思路：观察所证不等式?1?1?n?1??1???1????n??2?3??3?5??5?8???2?1??2?1???左边连乘，右边是e，可以想到利用两边取对数“化积为和”，同时利用第二问的结论。第

2二问给我们提供了恒成立的不等式，a?0时，ax?ln?x?1??x，取a?0，即

ln?x?1??x，则可与左边的求和找到联系。

??2?4?2n??解：所证不等式等价于ln?1?1?n?1??1 ??ln?1?????ln?n???2?3??3?5???2?1??2?1??2n由（2）可得ln?x?1??x，令x?n?1，即 n?2?1??2?1???2n2n1??1ln?1?n?1?=2??? n?1n??2?1??2n?1???2n?1?1??2n?1???2?12?1???（左边可看做是数列求和，利用结论将不等式左边的项进行放缩，转化成可求和的数列——裂项相消）

??2?2n11111? ??ln?1????ln1??21??????????????2n?1?1??2n?1??21?121?122?12n?1?12n?1??2?3???? ?2?1??1?n??1 22?1???不等式得证

小炼有话说：

（1）第二问中代数方法与数形结合方法的抉择（体会为什么放弃线性规划思路），以及如何将约束条件转变为恒成立问题

（2）对数运算的特点：化积为和。题目中没有关于乘积式的不等关系，于是决定变为和式 （3）利用上一问的结论放缩通项公式，将不可求和转变为可求和，进而解决问题 例3： 已知函数f(x)?x(1?alnx)(x?1)

x?1本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

（1）当a?0时，讨论g(x)?(x?1)2f??x?的单调性；

（2）当a?1时，若f(x)?n恒成立，求满足条件的正整数n的值； （3）求证：?1?1?2???1?2?3?????1?n?n?1???e'f解：（1）?x??2n?52.

ax?alnx?a?1?x?1?2

?g?x??ax?lan' g?x??a?x?a?1ax?1?a? xx 若g'?x??0?a?x?1??0

当a?0时，g?x?在?1，+??上单调递增 当a?0时，g?x?在?1，+??上单调递减 （2）思路：f?x??x?1?lnx?x?1?lnx??x?1?lnx???n，即n??不等式等价于?

x?1x?1x?1??min而在第（1）问中g?x?即为f'?x?的分子，故考虑利用g?x?来确定f'?x?的符号，进而求出f?x?的单调区间及最值 解：f'?x??x?lnx?2?x?1?2

?g?x??x?lnx?2，由（1）得g?x?单调递增 g?3??3?ln3?2?0,g(4)?4?ln4?2?0 ??b??3,4?,g?b??b?lnb?2?0(尽管无法直接求出

g?x?的零点，但可估计出

且1?x?2,g?x,x???,g?x??0，所以可估计零点的所在区间） ??0?x??1,b?,g?x??0;x??b,???,g?x??0 f?x?的单调区间如下：

x f'?x? f?x? ?1,b? ? ? ?b,??? + ? 本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

?n?f?x?min?f?b???f?b??b?1?lnb? lnb?b?2

b?1b?b?1??b??3,4?

b?1?n??1,2,3?

（3）思路：由第（2）问得n??1,2,3?时，均有对数“化积为和”，再考虑利用结论进行放缩 解：所证不等式等价于：

x?1?lnx??n，所证不等式可两边同取

x?1ln?1?1?2??ln?1?2?3????ln??1?n?n?1????2n?5 2x?1?lnx?3?3?lnx?2? 由第（2）问可得：

x?1x?ln?1?n?n?1???2?n331??1?2??2?3???

1?n?n?1?n?n?1??nn?1?1?735?1 1?ii?1?ln3?2n?1?3?=2n?ln3???2n???ln??????????2n?12?2n?1?i?1即原不等式成立。

（如果从第一项就进行缩小，则

?ln??1?i?i?1????2n?3?1?n?1??2n?3?n?1，发现

??i?1n?1?3缩小过度但差距不大，所以进行调整，第一项不变，其余放缩。这样不仅减少缩小的尺度，同时不改变求和规律）

小炼有话说：这道题是对书中几篇文章所讲技巧的一个综合。所涉内容如下： （1）第二问中对零点x?b的处理，参见：3.1.3 最值分析法

（2）第三问中数列放缩后的调整值得注意，放缩的过程中有可能存在“放过头”的情况，往往是由于前几项放缩程度过大造成的（通常n越大，放缩的程度越小），所以考虑数列前几项不进行放缩，然后再看不等式能否成立，若一直都“过度”一点点，那么就要考虑是否另选放缩方案了。

例4：设函数f?x??x?aln?x?1?，其中a?R。:

2本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

（1）当a?0时，讨论函数f(x)在其定义域上的单调性； （2）证明：对任意的正整数n，不等式ln?n?1??解析：

?11???2?3?都成立。

k?k?1?kna2x2?2x?a2?（1）f?x??2x?，令f'?x??0即解不等式2x?2x?a?0 x?1x?1'??4?8a

① ??0??1?a?0时 2方程2x?2x?a?0的两根x1?2?1?1?2a?1?1?2a，?1?x2?x1 ,x2?22?f?x?的单调区间为：

x f'?x? ???1?1?2a???1?1?2a?1?1?2a???1?1?2a?1,,,?? ?????? 2222??????? ? ? ? ? ? f?x? ② ??0?a??12时，2x?2x?a?0恒成立 ?f?x?在??1,???单调递增 22（2）考虑a?1时，则f?x??x?ln?x?1?

令h?x??x?f?x??x?x?ln?x?1?

3323x3??x?1?'?h?x???0在?0,???恒成立

x?12?h?x?在?0,???单调递增 h?x??h?0??0 ?ln?x?1??x2?x3，令x?1n?N?? ?n?1?11?n?1?11?ln?1???2?3?ln???2?3

nnnn????nnk?1n?11?ln???2?3? ?kk?k?1k?1?k本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

n第三章 第19炼 利用函数证明数列不等式 导数

即：ln?n?1?????kk?1n?12?1? 3?k?例5：已知函数f(x)?x?ln(x?a)的最小值为0，其中a?0。 （1）求a的值

（2）若对任意的x?[0,??)，有f(x)?kx2成立，求实数k的最小值 （3）证明：

2?ln(2n?1)?2(n?N*) ?i?12i?11x?a?1?,定义域??a,??? x?ax?an解：（1）f令f''?x??1??x??0解得x?1?a，?f?x?的单调区间为：

x f'?x? ??a,1?a? ? ? ?1?a,??? ? ? f?x? ?f?x?min?f?1?a??1?a?0 ?a?1

（2）当k?0时，取x?1，有f(1)?1?ln2?0，故k?0不合题意。 当k?0时，令g(x)?f(x)?kx2，即g(x)?x?ln(x?1)?kx2。

x?x(2kx?(1?2k))1?2k?2kx???1 ，令g?(x)?0，得x1?0,x2?2kx?1x?111?2k?0,g?(x)?0在(0,??)上恒成立 当k?时，

22kg?(x)?因此g(x)在[0,??)上单调递减，

?对于任意的x?[0,??)，总有g(x)?g(0)?0，即f(x)?kx2在[0,??)上恒成立。

1

符合题意。 2

11?2k?0 当0?k?时，

22k1?2k1?2kx?(0,)，g?(x)?0，?g(x)在(0,)内单调递增，

2k2k1?2k2)时，g(x0)?g(0)?0，即f(x0)?kx0取x0?(0,不成立。 2k故k?

本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

11不合题意 ?k?

221综上，k的最小值为。

2112（3）由第（2）问可得：当k?时，不等式x?ln?x?1??x恒成立

222令x?

2i?1故0?k?22i?11?2?111?ln???2?? ??i?2,i?N? ?22i?12i?12?2i?1?2i?32i?1?2i?1?22i?1?11??2?111????ln?2?ln3?1??????????

2i?12i?13352n?32n?1???i?1?n22i?11即???ln?2?ln3?1??2

2i?12n?1i?12i?1i?1nn即

2?ln(2n?1)?2(n?N*) ?i?12i?1n例6： 已知函数f(x)?lnx?x?1,x??0,???,g(x)?x3?ax （1）求f(x)的最大值；

e?1??2??n?（2）证明不等式：???????????。

?n??n??n?e?1解：（1）f'nnn?x??x 11?x'?1?，令f?x??0?x?1，f?x?单调区间如下： xx?0,1? ? ? ?1,??? ? ? f'?x? f?x? ?ymax?f?1??0

?i?（2）思路：左边可看做数列求和，其通项公式为ai???，无法直接求和，所以考虑利

?n?用条件进行放缩，右边是分式，可以猜想是等比数列求和后的结果，所以将ai放缩为等比数列模型。由（1）可得lnx?x?1?0?lnx?x?1，令x?解：由（1）可得lnx?x?1?0?lnx?x?1

本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

ni

进行尝试 n

第三章 第19炼 利用函数证明数列不等式 导数

令x?

iiii?n，即ln??1? nnnnni?i? ?nln?i?n?ln???i?n（寻找n次方的来源）

n?n??i?i?n ????e

?n?1?nnnnnee?1?e?e1?n?12ne??????1?n2?nn?n ????????????e?e???e=??e?1e?1e?1?n??n??n?n?不等式得证

小炼有话说：此题的第（3）问将数列通项公式放缩为等比数列求和，如果不等式的一侧是一个分数，则可向等比数列求和的结果考虑（猜想公比与首项）。 例7：函数f(x)?sinx.

（1）若f(x)?1?ax?cosx在?0,??上恒成立，求实数a的取值范围；

（2）证明：f(2?(n?1)?32(n?1). )?f()?...?f()?2n?12n?12n?14(2n?1)

?（1）解：恒成立不等式等价于：ax?cosx?sinx?1?0，令g?x??ax?cosx?sinx?1??g?0??0?2???g????0?a? (注：在?0,??中这三个自变量的函数值最便于计算，进而选择代入）

?????g????0??2???y?ax?cosx?sinx?1可视为关于a的一次函数且递增

?令h?x??2?x?cosx?sinx?1 则对?a?2?,?x??0,??

g?x??h?x?恒成立。?若要g?x??0，只需h?x??0，下面进行证明： ?2?h?0??0,h????0,只需证?x?cosx?sinx?1??0即可

???maxh'?x??'???????sinx?cosx 考虑x??0,?时，sinx?cosx?2?x???1,2?

??4???2?2?从而 h?x??2??sinx?cosx?2??1?0 （注：导数无法求出极值点，故引入抽象的极值点x0,

本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

但要利用零点存在性定理估计x0所在区间）

????3?h'???0,h??2??4??3???x0??,?24?2?3?' ??0x????,??,?sinx?cosx?0?h?x??0

???4??'?,使得h?x0??0 ?且当x??0,x0?,h'?x??0;x??x0,??,h'?x??0

?h?x?在?0,x0?单调递减，在?x0,??单调递增 ?h?x?max?h?0??h????0 ?h?x??0恒成立 ?g?x??h?x??0,进而对每一个a?2?均满足 ?a?2（2）思路：将左边视为数列求和，其通项公式为ak?f(?k?

2n?1221?x?cosx恒成立，但如果直考虑利用前面条件对通项公式放缩：令a?，则sinx?)(注意左边是?n?1?项求和），

??接进行代入，不等号右边的cosx无法处理，进而无法与所证不等式的右边找到联系。考虑将cosx挪至左侧并与sinx合角，进而将三角函数放缩为多项式。再根据求和特点进行求和 解：由（2）可得：sinx?1?2?x?cosx?sinx?cosx?2?x?1

?2sin?x?????2??22? ?x?1?sinx??x????4??4??2?令x?4k???2n?1??

4?2n?1?24k???2n?1??2?k???k???sin???????2n?12n?1?42n?12??????2?4k?2n?1?2? 4?2n?1?2可得f?(注：通项公式为

???k???，而恒成立不等式中的三角函数为ak?sin?sinx????，所以令

4??2n?1??x??4?k?，反求x即可）

2n?1n?1?2?4k?2n?1?2?(n?1)?2?)?f()?...?f()???? ?f(???2n?12n?12n?142n?12??k?1???本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

?2?4k?2n?1?2????????4?2n?1?2?k?1?n?142??n?1??n?2??22?n?1??2n?1?4?2n?1??2?n?1? 2 =32(n?1)

4(2n?1)?f(2?(n?1)?32(n?1) )?f()?...?f()?2n?12n?12n?14(2n?1)?小炼有话说：

（1）关注本题第二问恒成立的求法（具体可参见3.3.3有关内容），在证明上需要极值点而无法直接求出时可先用抽象的x0代替，但要确定好x0所处的大概区间

（2）第三问对第二问的结论稍加变形（即将cosx与sinx进行合角，而不是直接代入f?x?)的应用是本题的一大亮点。方程，不等式的变形目的是将条件与结论能够连接起来，所以构造时要关注所求不等式的结构特点。

（3）第三问不等式的左边有两个细节：第一个是左边求和的项数是?n?1?项，第二个在

f(n?)中，同一个n所代表的含义不同。分母每一项都是?2n?1?,n与项数相关。给2n?1n?)，同一个n在分子分母中扮演的角色不同。所以在写2n?1定一个n，数列项的分母就固定了。而分子的n代表的是序数，可发现数列中分子是在不断变化的，从1变到n?1,在f(通项公式时，引入了字母k用来区分序数与项数。

f?x??例8：定义：若y?在?k,???上为增函数，则称f?x?为“k次比增函数”，其中k?N，kx已知f?x??e:

ax（1）当a?f?x?1时，求函数g?x??在?m,m?1??m?0?上的最小值 2x（2）求证：

11??e??11x212??e?2?3?1?e?3???n?1?e?n?7 2e1xx111x22xe?e2x?2ee??

解： （1）g?x?? ?g'?x??2?xx22x2本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

令g'?x??0解得x?2

?g?x?在?0,2?单调递减，在?2,+??单调递增

① m?2时，g?x?min?g?m??e me 2m2② m?2?m?1?1?m?2，g?x?min?g?2??③ m?1?2?m?1，g?x?min?g?m?1??m?12e m?1综上所述：g?x?min?m2?e,m?2?m?e???,1?m?2 ?2?m2+1?e,m?1?m?1?eee? ，即

2x21x2（2）由第（1）问可得：x??0,???时，g?x??g?2??1x2

所求和的通项公式为an?1n?e?n，由

ee

?可得： x2

??exxe??2x??enx2x2??exe1???x?21?exe??x?21?2， ex令x?n，可得：

?e?2n2121?2?? enen?n?1??1?1?e?1?2?1?e??3?1?e?3???n?1?e?n?1?211?1++?+?? 2e?22n2??1?1111???? ??1???

2e?42?33?4n?1n?????1?111111?111111?1????????????1????????2e?42?33?4n?1n??n?1?n?2e?42334本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

=

1?111?177?1??????? 2e?42n?2e42e例9：已知函数f?x??lnx x（1）设g?x??f?x?lnx?m，讨论函数g?x?在区间?,e2?上的零点个数

?1?e??ln2?nx?（2）记Fn?x??,Sn?x??F1?x??F2?x????Fn?x?,n?N*，若对任意正整数3np，Sn?p?x??Sn?x??4对任意x?D恒成立，则称Sn?x?在x?D上是“高效”的。n2?e,e试判断Sn?x?是否在x????上是“高效”的？若是，请给出证明，若不是，请说明理

由

解：（1）g?x? ?g?x? 设h?x??lnx??x2?m，令g?x?lnx??即?0x22?m

?lnx?的零点个数即为函数y?x与y?m交点的个数

?lnx??x22lnx?ln2x2'，h?x??，令h?x??0解得x??1,e? 2x' 单调区间如下：

x h'?x? h?x? ?1??,1? ?e?? ? ?1,e? 2? ? 4?1?h???e,h?1??0,h?e2??2，草图如下：

e?e??m?0或m?e时，g?x?无零点

m?0或 0?m?4?m?e，g?x?一个零点 e24，g?x?两个零点 e2本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

ln2?nx?（2）思路：观察到Fn?x??结构上与（2）中的h?x?很相似，而Sn?p?x??Snx?n3?实质上是Fn?1?x??Fn?2?x????Fn?p?x?，故考虑对每一项进行放缩使得求和具有规律

2xln?nx?性，结合h?x?的特点Fn?x?可写成Fn?x??2?（将nx视为整体），进而利用h?x?nnx单调性进行放缩 解：h?x??lnx??x2单调区间如下：

x h'?x? ?1??,1? ?e?? ? ?1,e? 2?e,??? 2? ? ? ? h?x? 22?x??e ?e,e?? ?nx???n,en???h?nx??h?e2??4 e2，而

ln2?nx?xln2?nx?x4142??x?e,e4??Fn?x???????（，进而放缩为??n2n3n2nxn2e2n2放缩为能够裂项求和的式子。）

1n2可

?Fn?x??411??1?4??4????n?2? 2nn?n?1??n?1n??Sn?p?x??Sn?x?=Fn?1?x??Fn?2?x????Fn?p?x?

?4??1111??11?4???+?=4???nn?p??n nn?1n?p?1n?p????2?e,e?Sn?x?在x????上是“高效”的

小炼有话说：

（1）此题中的第（2）问对第（3）问的函数构造提供了方便，对于证明数列不等式，同学要善于利用前面问题的条件与结论

（2）第（3）问的关键之处在于寻找Fn?x?与h?x?的联系，以及通过不等关系消x （3）求和时通项公式放缩的方向为构造具备裂项求和的数列，其中

1的放缩技巧如下： n2本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

111 而左右两边均可裂项求和 ?2?n?n?1?n?n?1?n例10： 已知函数f?x??ln?x?1??px （1）若f?x?在定义域内为减函数，求p的范围

3??114（2）若?an?满足a1?3,an?1??1??a?，试证明：n?2时，4?an?4e

?n2?n?1?2?n4n??解：（1）?f?x?为减函数 ?f'?x??1p??0 x??0,??? x?12x?????2x?2 ?p????1 ???1x?1???max??x??x?max?（2）思路：由（1）可得f?x??ln?x?1??x为减函数，进而f?x??f?0??0即

ln?x?1??x，所求是有关an的不等关系（①有e的指数幂，所以可能与自然对数相关，

②考虑数列的单调性），已知条件是递推数列，可尝试利用递推公式寻找不等关系求解。

??11a?解：?a1?3,an?1??1? ??n2?n?1?2?n4n?? ?an?1?an?1n2?n?1?a?2n1?0 ??an?单调递增 n4 a2??1+??1?1a??4 ?n?2时，an?an?1???a2?4 ?11?22?4?即an?4n?2,n?N

??

??11an?11111an?1??1?2a???1???1???22nn?122?n?n?1?2?n4na4a4nn?1nn?1????nn??（利用an?4进行放缩，消掉多余的an，由

1n2?n?1?2，联想到

1是可裂项的。再由f?x?n?n?1?本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

第三章 第19炼 利用函数证明数列不等式 导数

的特点决定两边同取对数）

?an?111? ?ln?ln?1?2?n+1? 2??an?n?n?1?4?由（1）可得f?x??ln?x?1?? ?lnx为减函数，进而f?x??f?0??0即ln?x?1??x an?11111????（再次利用不等关系去掉根式，且降低项的2n+1n?12an4nn?12??n?n?1?次数，进而不等号右侧可求和。 所用不等关系：a2?b2??a?b?2?2ab??a?b?2?a?b?a?0,b?0?）

?lna311a11a11?+3,ln4?+4?lnn??na22?32a33?42an?1?n?1?n2??1an?111????????????? a2?2?3n?n?1???232n?n?2?ln1??1?1?????118??2? ???12n1?2??n?1?31?????1??3

??4n?2?4333an??e4?an?4e4 ?4?an?4e4得证 a2小炼有话说：

（1）对付较复杂的题目，首先要把准备工作做好，在第三问中你可做的准备工作有这些： ①如果你计算了a2，也许就知道左边的4的来源进而决定进行数列单调性分析。 ②如果你观察了递推公式，便可发现

1n?n?1?22有可处理的地方

③如果你观察了所证不等式的右边，便会由e的指数幂联想到对数不等式

④如果利用第一问出个可用的不等式结论，也许你就发现了对数与根式的不等关系 这些准备工作不会直接得到答案，但是起码会给你提供一些方法和可选择的道路 （2）第三问依然用到了数列求和，有关消项的求和通常有两种，一种是相邻的项做差（累加法），另外一种就是相邻的项做商，此时利用对数即可将“累乘消项”转变为“累加消项”

本书由作者独家授权“学易书城”，其所含章节未经作者与学易书城同意不得随意转载

本文来源：https://www.bwwdw.com/article/8d03.html