高中数学讲义微专题19 利用函数证明数列不等式 18页

- 1 - 微专题 19 利用函数证明数列不等式 利用函数证明不等式是在高考导数题中比较考验学生灵活运用知识的能力，一方面以函 数为背景让学生探寻函数的性质，另一方面体现数列是特殊的函数，进而利用恒成立的不等 式将没有规律的数列放缩为为有具体特征的数列，可谓一题多考，巧妙地将函数，数列，不 等式连接在一起，也是近年来高考的热门题型。 一、基础知识： 1、考察类型： （1）利用放缩通项公式解决数列求和中的不等问题 （2）利用递推公式处理通项公式中的不等问题 2、恒成立不等式的 （1）函数的最值：在前面的章节中我们提到过最值的一个作用就是提供恒成立的不等式。 （2）恒成立问题的求解：此类题目往往会在前几问中进行铺垫，暗示数列放缩的方向。其中， 有关恒成立问题的求解，参数范围内的值均可提供恒成立不等式 3、常见恒成立不等式： （1） 对数→多项式 （2） 指数→多项式 4、关于前 项和的放缩问题：求数列前 项公式往往要通过数列的通项公式来解决，高中阶 段求和的方法有以下几种： （1）倒序相加：通项公式具备第 项与第 项的和为常数的特点 （2）错位相减：通项公式为“等差 等比”的形式（例如 ，求和可用错位相减） （3）等比数列求和公式 （4）裂项相消：通项公式可裂为两项作差的形式，且 裂开的某项能够与后面项裂开的某项 进行相消。 注：在放缩法处理数列求和不等式时，放缩为等比数列和能够裂项相消的数列的情况比较多 见，故优先考虑。 5、大体思路：对于数列求和不等式，要谨记“求和看通项”，从通项公式入手，结合不等号 方向考虑放缩成可求和的通项公式。 6、在放缩时要注意前几问的铺垫与提示，尤其是关于恒成立问题与最值问题所带来的恒成立 不等式，往往提供了放缩数列的方向 ln 1x x  1xe x  n n k 1n k   2n na n  na - 2 - 7、放缩通项公式有可能会进行多次，要注意放缩的方向：朝着可求和的通项公式进行靠拢 （等比数列，裂项相消等） 8、数列不等式也可考虑利用数学归纳法进行证明（有时更容易发现所证不等式与题目条件的 联系） 二、典型例题： 例 1： 已知函数 在 处取得极值 （1）求实数 的值 （2）证明：对于任意的正整数 ，不等式 都成立 解：（1） 为 的极值点 （2）思路一：联想所证不等式与题目所给函数的联系，会发现在 中，存在对数，且左边数列的通项公式 也具备 项的特征，所以考 虑分析 与 的大小关系，然后与数列进行联系。 解：下面求 的单调区间 ,令 即 （每一个函数的最值都会为我们提供一个恒成立的不等式， 不用白不用！观察刚好与所证不等式不等号方向一致） 令 ，则 即     2lnf x x a x x    0x  a n 2 3 4 12 ln( 1)4 9 n nn        ' 1 2 1f x xx a   0x   f x  ' 10 1 0 1f aa          2ln 1f x x x x    2 2 1 1 1 n na n n n          f x  ln 1x  2x x     2ln 1f x x x x       ' 2 31 2 11 1 x xf x xx x        ' 0 0f x x   x  1,0  0,+  'g x    g x      0 0f x f     2ln 1x x x   1x n 21 1 1ln 1n n n             2 1 1ln n n n n       2 2 3 1 3 1ln ln ln 21 2 4 n n n n           - 3 - 即 小炼有话说： （1）此不等式实质是两组数列求和后的大小关系（ ），通过对应项的 大小关系决定求和式子的大小。此题在比较项的大小时关键是利用一个恰当的函数的最值， 而这个函数往往由题目所给。另外有两点注意：①关注函数最值所产生的恒成立不等式 ②注 意不等号的方向应该与所证不等式同向 （2）解决问题后便明白所证不等式为何右边只有一个对数，其实也是在作和，只是作和时对 数合并成一项（与对数运算法则和真数的特点相关），所以今后遇到类似问题可猜想对数是经 历怎样的过程化简来的，这往往就是思路的突破点 思路二：发现不等式两边均有含 的表达式，且一侧作和，所以考虑利用数学归纳法给予证明： 解：用数学归纳法证明： ① 当 时，不等式为 成立 ② 假设 时，不等式成立（即 ） 当 时，若要证 只需证 （下同思路一：分析 的最值可得 ） 令 ，由恒成立不等式 可得 即所证不等式成立 ③ ，均有 小炼有话说：利用数学归纳法证明要注意两点：（1）格式的书写 （2）要利用 所假设 的条件 例 2： 已知函数 2 3 4 12 ln( 1)4 9 n nn       2 1 1, lnn n n na bn n    n 1n  2 ln2  1n k k  2 3 4 12 ln( 1)4 9 k kk       1n k     22 3 4 1 22 ln 24 9 1 k k kk k          2 3 4 12 ln( 1)4 9 k kk                2 2 1 12 2 1ln( 1) ln 2 ln ln 11 11 1 kk kk k k kk k                  f x   2ln 1x x x   1 1x k    2ln 1x x x      2 1 1 1ln 1 11 k kk        n N   2 3 4 12 ln( 1)4 9 n nn       n k    2 ln 1f x ax x   - 4 - （1）当 时，求函数 的单调区间 （2）当 时，函数 图像上的点都在 所表示的平面区域内，求实 数 的取值范围 （3）求证： （其中 是自然对数的底数） 解：（1）常规解法，求出单调区间找最值 ,令 求出单调区间如下： （2）解： 函数 图像上的点都在 区域内， 条件等价于 , 恒成立，即 令 令 即 ① 时， 不符合题意 （此时发现单调性并不能直接舍掉 的情况，但可估计函数值的趋势， 恒为正，而 早晚会随着 值的变大而为正数，所以必然不符合题意。在书写时可构造反例来说明，此题只需 即可，所以选择 ） 1 4a    f x  0,x  ( )y f x 0 0 x y x     a   1 2 4 8 21 1 1 12 3 3 5 5 8 2 1 2 1 n n n e                           ,n N e    21 ln 14f x x x             2 ' 2 11 1 2 2 1 2 1 2 1 x xx xf x x x x x             ' 0f x  x  1,1  1,  'f x    f x    ( )y f x 0 0 x y x       0,x    2 ln 1ax x x    2 ln 1 0ax x x       2 ln 1g x ax x x     0 0g       2 ' 2 2 1 2 2 112 11 1 1 ax a x x ax ag x ax x x x            ' 0 2 2 1 0g x ax a     2 1 2ax a  0a  21 1 1 1 1ln 1 ln 1 0g aa a a a a                             0a   ln 1x  2ax x x 2 0ax x  1x a - 5 - ② 时， 即 在 单调递减 ，符合题意 综上所述： （3）思路：观察所证不等式 ， 左边连乘，右边是 ，可以想到利用两边取对数“化积为和”，同时利用第二问的结论。第二 问给我们提供了恒成立的不等式， 时， ，取 ，即 ， 则可与左边的求和找到联系。 解：所证不等式等价于 由（2）可得 ，令 ，即 （左边可看做是数列求和，利用结论将不等式左边的项进行放缩，转化成可求和的数列——裂项相消） 不等式得证 小炼有话说： （1）第二问中代数方法与数形结合方法的抉择（体会为什么放弃线性规划思路），以及如何 将约束条件转变为恒成立问题 （2）对数运算的特点：化积为和。题目中没有关于乘积式的不等关系，于是决定变为和式 （3）利用上一问的结论放缩通项公式，将不可求和转变为可求和，进而解决问题 例 3： 已知函数 （1）当 时，讨论 的单调性； （2）当 时，若 恒成立，求满足条件的正整数 的值； 0a  2 2 1 0ax a    ' 0g x   g x  0,    0 0g x g   0a    1 2 4 8 21 1 1 12 3 3 5 5 8 2 1 2 1 n n n e                           e 0a   2 ln 1ax x x   0a   ln 1x x    1 2 4 2ln 1 ln 1 ln 1 12 3 3 5 2 1 2 1 n n n                            ln 1x x    1 2 2 1 2 1 n n nx          11 1 2 2 1 1ln 1 =2 2 1 2 12 1 2 1 2 1 2 1 n n n nn n n n                        1 1 2 11 2 2 1 1 1 1 1ln 1 ln 1 2 12 3 2 1 2 1 2 1 2 1 2 12 1 2 1 n n nn n                                  1 12 12 2 1n        )1(1 )ln1()(   xx xaxxf 0a   xfxxg  2)1()( 1a nxf )( n - 6 - （3）求证： . 解：（1） 若 当 时， 在 上单调递增 当 时， 在 上单调递减 （2）思路： 不等式等价于 ，即 而在第（1）问中 即为 的分子，故考虑利用 来确定 的符号，进而求出 的单调区间及最值 解： ，由（1）得 单调递增 , ( 尽 管 无 法 直 接 求 出 的 零 点 ， 但 可 估 计 出 且 ，所以可估计零点的所在区间） 的单调区间如下：        2 52 11321211   n enn     ' 2 ln 1 1 ax a x af x x       ln 1g x ax a x a      ' 1a xg x a ax x        ' 0 1 0g x a x    0a   g x  1 +， 0a   g x  1 +，    1 ln 1 x xf x x    1 ln 1 x x nx     min 1 ln 1 x xn x       g x  'f x  g x  'f x  f x     ' 2 ln 2 1 x xf x x      ln 2g x x x     g x  3 3 ln3 2 0, (4) 4 ln4 2 0g g         3,4b    ln 2 0g b b b     g x  1 2, 0,x g x    , 0x g x          1, , 0; , , 0x b g x x b g x       f x x  1,b  ,b   'f x  +  f x         min 1 ln 1 b bn f x f b b      ln 2b b       1 3,41 b bf b bb     - 7 - （3）思路：由第（2）问得 时，均有 ，所证不等式可两边同取对 数“化积为和”，再考虑利用结论进行放缩 解：所证不等式等价于： 由第（2）问可得： 即原不等式成立。 （如果从第一项就进行缩小，则 ，发现缩 小过度但差距不大，所以进行调整，第一项不变，其余放缩。这样不仅减少缩小的尺度，同时不改变求和规 律） 小炼有话说：这道题是对书中几篇文章所讲技巧的一个综合。所涉内容如下： （1）第二问中对零点 的处理，参见：3.1.3 最值分析法 （2）第三问中数列放缩后的调整值得注意，放缩的过程中有可能存在“放过头”的情况，往 往是由于前几项放缩程度过大造成的（通常 越大，放缩的程度越小），所以考虑数列前几项 不进行放缩，然后再看不等式能否成立，若一直都“过度”一点点，那么就要考虑是否另选 放缩方案了。 例 4：设函数 ，其中 。: （1）当 时，讨论函数 在其定义域上的单调性； （2）证明：对任意的正整数 ，不等式 都成立。 解析：  1,2,3n   1,2,3n  1 ln 1 x x nx         5ln 1 1 2 ln 1 2 3 ln 1 1 2 2n n n              1 ln 33 ln 21 x x xx x             3 3 1 1ln 1 1 2 2 2 31 1 1 1n n n n n n n n                      1 1 1 7 3 5ln 1 1 ln3 2 1 3 =2 ln3 22 1 2 1 2 n i i i n n nn n                       1 1 3ln 1 1 2 3 1 2 31 1 n i i i n nn n                 x b n    2 ln 1f x x a x   a R 0a  ( )f x n   2 3 1 1 1ln 1 n k n k k       - 8 - （1） ，令 即解不等式 ① 时 方程 的两根 ， 的单调区间为： ② 时， 恒成立 在 单调递增 （2）考虑 时，则 令 在 恒成立 在 单调递增 ，令 即： 例 5：已知函数 的最小值为 0，其中 。 （1）求 的值 （2）若对任意的 ，有 成立，求实数 的最小值   2 ' 2 22 1 1 a x x af x x x x       ' 0f x  22 2 0x x a   10 02 a      22 2 0x x a   1 2 1 1 2 1 1 2,2 2 a ax x       2 11 x x    f x x 1 1 21, 2 a       1 1 2 1 1 2,2 2 a a           1 1 2 ,2 a         'f x     f x    10 2a     22 2 0x x a    f x  1,  1a     2 ln 1f x x x        3 3 2 ln 1h x x f x x x x         23 ' 3 1 01 x xh x x      0,  h x  0,    0 0h x h    2 3ln 1x x x     1x n Nn   2 3 2 3 1 1 1 1 1 1ln 1 ln n n n n n n n                 2 3 1 1 1 1 1ln n n k k k k k k           2 3 1 1 1ln 1 n k n k k       )ln()( axxxf  0a a ),0[ x 2)( kxxf  k 4 8a   - 9 - （3）证明： 解：（1） ,定义域 令 解得 ， 的单调区间为： （2）当 时，取 ，有 ，故 不合题意。 当 时，令 ，即 。 ，令 ，得 当 时， 在 上恒成立 因此 在 上单调递减， 对于任意的 ，总有 ，即 在 上恒成立。 故 符合题意。 当 时， ， ， 在 内单调递增， 取 时， ，即 不成立。 故 不合题意 综上， 的最小值为 。 （3）由第（2）问可得：当 时，不等式 恒成立 令    n i Nnni1 * )(2)12ln(12 2  ' 1 11 x af x x a x a       ,a   ' 0f x  1x a   f x x  ,1a a   1 ,a   'f x    f x      min 1 1 0f x f a a      1a  0k 1x 02ln1)1( f 0k 0k 2)()( kxxfxg  2)1ln()( kxxxxg  1 ))21(2(21)(   x kkxxkxx xxg 0)(  xg 1 2 1 20, 12 kx x k     2 1k 0)(,02 21  xgk k ),0(  )(xg ),0[   ),0[ x 0)0()(  gxg 2)( kxxf  ),0[  2 1k 2 10  k 02 21  k k )2 21,0( k kx  0)(  xg  )(xg )2 21,0( k k )2 21,0(0 k kx  0)0()( 0  gxg 2 00 )( kxxf  2 10  k 1 2k  k 2 1 1 2k    21ln 1 2x x x   2 2 1x i  - 10 - 即 即 例 6： 已知函数 （1）求 的最大值； （2）证明不等式： 。 解：（1） ，令 ， 单调区间如下： （2）思路：左边可看做数列求和，其通项公式为 ，无法直接求和，所以考虑利用 条件进行放缩，右边是分式，可以猜想是等比数列求和后的结果，所以将 放缩为等比数列 模型。由（1）可得 ，令 进行尝试 解：由（1）可得 令 ，即 （寻找 次方的来源）     2 2 2 2 1 1 2 1 1 1ln 2 2,2 1 2 1 2 2 1 2 3 2 12 1 i i i Ni i i i ii                  1 2 2 1 1 1 1 1 1ln 2 ln3 12 1 2 1 3 3 5 2 3 2 1 n i i i i n n                         1 1 2 2 1 1ln 2 ln3 1 22 1 2 1 2 1 n n i i i i i n              n i Nnni1 * )(2)12ln(12 2   3( ) ln 1, 0, , ( )f x x x x g x x ax       ( )f x 1 2 1 n n nn e n n n e                      ' 1 11 xf x x x     ' 0 1f x x    f x x  0,1  1,  'f x    f x    max 1 0y f   n i ia n      ia ln 1 0 ln 1x x x x      ix n ln 1 0 ln 1x x x x      ix n ln 1i i i n n n n    ln ln ni in i n i nn n          n n i ni en      - 11 - 不等式得证 小炼有话说：此题的第（3）问将数列通项公式放缩为等比数列求和，如果不等式的一侧是一 个分数，则可向等比数列求和的结果考虑（猜想公比与首项）。 例 7：函数 . （1）若 在 上恒成立，求实数 的取值范围； （2）证明： . （1）解：恒成立不等式等价于： ，令 (注：在 中这三个自变量的函数值最便于计算，进而选择代入） 可视为关于 的一次函数且递增 令 则对 恒成立。 若要 ，只需 ，下面进行证明： ,只需证 即可 考虑 时， 从而 （注：导数无法求出极值点，故引入抽象的极值点 ,但 要利用零点存在性定理估计 所在区间） ,使得  1 1 1 2 11 2 = 1 1 1 n nn n n n n n n n e en e e ee e en n n e e e                                     xxf sin)(  xaxxf cos1)(   ,0 a )12(4 )1(23)12 )1((...)12 2()12(    n n n nfnfnf  cos sin 1 0ax x x      cos sin 1g x ax x x        0 0 20 02 g g a g                  0, cos sin 1y ax x x    a    2 cos sin 1h x x x x     2 , 0,a x        g x h x    0g x    0h x     0 0, 0h h   max 2 cos sin 1 0x x x         ' 2 sin cosh x x x   0, 2x     sin cos 2 1, 24x x x           ' 2 2sin cos 1 0h x x x       0x 0x ' 3 20, 02 4h h                '3 , , sin cos 0 04x x x h x          0 3,2 4x        ' 0 0h x  - 12 - 且当 在 单调递减，在 单调递增 恒成立 ,进而对每一个 均满足 （2）思路：将左边视为数列求和，其通项公式为 (注意左边是 项求和）， 考虑利用前面条件对通项公式放缩：令 ，则 恒成立，但如果直 接进行代入，不等号右边的 无法处理，进而无法与所证不等式的右边找到联系。考虑将 挪至左侧并与 合角，进而将三角函数放缩为多项式。再根据求和特点进行求和 解：由（2）可得： 令 可得 ( 注 ： 通 项 公 式 为 ， 而 恒 成 立 不 等 式 中 的 三 角 函 数 为 ， 所 以 令 ，反求 即可）        ' ' 0 00, , 0; , , 0x x h x x x h x     h x  00, x  0,x       max 0 0h x h h       0h x      0g x h x   2a  2a   ( )2 1k ka f n    1n  2a  2sin 1 cosx x x   cos x cos x sin x 2 2sin 1 cos sin cos 1x x x x x x        2 2 22 sin 1 sin4 4 2x x x x                         4 2 1 4 2 1 k nx n             4 2 1 2 4 2 12 2 2sin2 1 2 1 4 2 1 2 4 2 1 2 k n k nk kf n n n n                          sin 2 1k ka n      sin 4x     4 2 1 kx n     x      1 1 2 4 2 12 ( 1) 2( ) ( ) ... ( )2 1 2 1 2 1 4 2 1 2 n k k nnf f fn n n n                                  1 1 1 24 2 2 1 2 12 4 2 1 2 22 14 2 1 2 4 2 1 2 n k n n n nk n nn n                   3 2( 1)= 4(2 1) n n    )12(4 )1(23)12 )1((...)12 2()12(    n n n nfnfnf  - 13 - 小炼有话说： （1）关注本题第二问恒成立的求法（具体可参见 3.3.3 有关内容），在证明上需要极值点而 无法直接求出时可先用抽象的 代替，但要确定好 所处的大概区间 （2）第三问对第二问的结论稍加变形（即将 与 进行合角，而不是直接代入 ) 的应用是本题的一大亮点。方程，不等式的变形目的是将条件与结论能够连接起来，所以构 造时要关注所求不等式的结构特点。 （3）第三问不等式的左边有两个细节：第一个是左边求和的项数是 项，第二个在 中，同一个 所代表的含义不同。分母每一项都是 , 与项数相关。给定 一个 ，数列项的分母就固定了。而分子的 代表的是序数，可发现数列中分子是在不断变化 的，从 1 变到 ,在 ，同一个 在分子分母中扮演的角色不同。所以在写通项公 式时，引入了字母 用来区分序数与项数。 例 8 ：定义：若 在 上为增函数，则称 为“ 次比增函数”，其中 ，已知 : （1）当 时，求函数 在 上的最小值 （2）求证： 解： （1） 令 解得 在 单调递减，在 单调递增 ① 时， ② ， 0x 0x cos x sin x  f x  1n  ( )2 1 nf n   n  2 1n  n n n 1n  ( )2 1 nf n   n k   k f xy x  ,k   f x k k N    axf x e 1 2a     f xg x x   , 1 0m m m         1 2 3 1 1 1 1 7 21 2 3 n ee e e n e            1 2 x eg x x     1 1 12 2 2 ' 2 2 1 22 2 x x xxe e x eg x x x      ' 0g x  2x   g x  0,2  2,+ 2m      2 min m eg x g m m  2 1 1 2m m m         min 2 2 eg x g  - 14 - ③ ， 综上所述： （2）由第（1）问可得： 时， ，即 所求和的通项公式为 ，由 可得： ， 令 ，可得： 例 9：已知函数 （1）设 ，讨论函数 在区间 上的零点个数 1 2 1m m        1 2 min 1 1 m eg x g m m        2 min +1 2 , 2 ,1 22 , 11 m m e mm eg x m e mm             0,x      2 2 eg x g  1 2 2 x e e x    1 n na n e  1 2 2 x e e x          2 2 2 2 1 2 1 2 x x x x e e x x x e e e xe x e x e         x n    2 1 2 1 2 1 1n e n e n nn e               2 1 2 3 2 2 1 1 1 1 1 1 11 + + +2 21 2 3 n e ne e e n e                1 1 1 1 112 4 2 3 3 4 1e n n              1 1 1 1 1 1 1 1 1 1 1 1 11 12 4 2 3 3 4 1 2 4 2 3 3 4 1e n n e n n                            1 1 1 1 1 7 7= 12 4 2 2 4 2e n e e            ln xf x x    lng x f x x m   g x 21 ,ee      - 15 - （2 ）记 ，若对任意正整数 ， 对任意 恒成立，则称 在 上是“高效”的。试 判断 是否在 上是“高效”的？若是，请给出证明，若不是，请说明理由 解：（1） ，令 即 的零点个数即为函数 与 交点的个数 设 ， ，令 解得 单调区间如下： ，草图如下： 或 时， 无零点 或 ， 一个零点 ， 两个零点 （2）思路：观察到 结构上与（2）中的 很相似，而 实质上是 ，故考虑对每一项进行放缩使得求和具有规律性， 结合 的特点 可写成 （将 视为整体），进而利用 单 调性进行放缩             2 * 1 23 ln , ,n n n nxF x S x F x F x F x n Nn      p     4 n p nS x S x n   x D  nS x x D  nS x 2,x e e      2ln xg x mx    0g x   2ln x mx   g x  2ln xy x y m    2ln xh x x   2 ' 2 2ln lnx xh x x   ' 0h x   21,x e x 1 ,1e      21,e  'h x    h x      2 2 1 4, 1 0,h e h h ee e        0m  m e  g x 0m  2 4 m ee    g x 2 40 m e   g x    2 3 ln n nxF x n  h x    n p nS x S x       1 2n n n pF x F x F x      h x  nF x    2 2 ln n nxxF x n nx  nx  h x - 16 - 解： 单调区间如下： （ ，进而放缩为 ，而 可放 缩为能够裂项求和的式子。） 在 上是“高效”的 小炼有话说： （1）此题中的第（2）问对第（3）问的函数构造提供了方便，对于证明数列不等式，同学要 善于利用前面问题的条件与结论 （2）第（3）问的关键之处在于寻找 与 的联系，以及通过不等关系消 （3）求和时通项公式放缩的方向为构造具备裂项求和的数列，其中 的放缩技巧如下： 而左右两边均可裂项求和 例 10： 已知函数 （1）若 在定义域内为减函数，求 的范围 （2）若 满足 ，试证明： 时，    2ln xh x x x 1 ,1e      21,e  2,e   'h x     h x    2,x e e   2,nx ne ne       2 2 4h nx h e e        2 2 3 2 2 2 2 ln ln 4 4 n nx nxx xF x n n nx n e n       2,x e e   2 14 n 2 1 n      2 4 1 1 14 4 21 1nF x nn n n n n                     1 2=n p n n n n pS x S x F x F x F x        1 1 1 1 1 1 44 + =41 1n n n p n p n n p n                     nS x 2,x e e    nF x  h x x 2 1 n    2 1 1 1 1 1n n n n n      ln 1f x x p x    f x p  na  1 1 22 1 13, 1 41n n na a a n n          2n  3 44 4na e  - 17 - 解：（1） 为减函数 （ 2 ） 思 路 ： 由 （ 1 ） 可 得 为 减 函 数 ， 进 而 即 ，所求是有关 的不等关系（①有 的指数幂，所以可能与自然对数相关，② 考虑数列的单调性），已知条件是递推数列，可尝试利用递推公式寻找不等关系求解。 解： 单调递增 时， 即 （ 利 用 进行放缩，消掉多余的 ，由 ，联想到 是可裂项的。再由 的特点 决定两边同取对数） 由（1）可得 为减函数，进而 即 （再次利用不等关系去掉根式，且降低项的次 数，进而不等号右侧可求和。  f x  ' 1 01 2 pf x x x      0,x   max max 2 2 111 xp x x x                    ln 1f x x x      0 0f x f   ln 1x x  na e   1 1 22 1 13, 1 41n n na a a n n           1 22 1 1 041n n n na a a n n       na 2 12 1 11+ 41 2 4a a      2n  1 2 4n na a a     4 2,na n n N          1 1 2 2 2 12 2 2 1 1 1 1 1 11 1 14 4 41 1 1 n n n n n n n n aa a a an n n n n n                     4na  na  22 1 1n n    1 1n n   f x   1 2 +12 1 1ln ln 1 41 n n n a a n n              ln 1f x x x      0 0f x f   ln 1x x      1 2 +1 12 1 1 1 1ln 4 1 21 n n n n a a n nn n       - 18 - 所用不等关系： ） 得证 小炼有话说： （1）对付较复杂的题目，首先要把准备工作做好，在第三问中你可做的准备工作有这些： ①如果你计算了 ，也许就知道左边的 的来源进而决定进行数列单调性分析。 ②如果你观察了递推公式，便可发现 有可处理的地方 ③如果你观察了所证不等式的右边，便会由 的指数幂联想到对数不等式 ④如果利用第一问出个可用的不等式结论，也许你就发现了对数与根式的不等关系 这些准备工作不会直接得到答案，但是起码会给你提供一些方法和可选择的道路 （2）第三问依然用到了数列求和，有关消项的求和通常有两种，一种是相邻的项做差（累加 法），另外一种就是相邻的项做商，此时利用对数即可将“累乘消项”转变为“累加消项”      2 22 2 2 0, 0a b a b ab a b a b a b            3 4 3 4 2 3 1 1 1 1 1 1 1ln + ,ln + ln2 3 2 3 4 2 1 2 n n n a a a a a a n n          3 2 1 1 1 1ln 2 3 1 2 2 n n a a n n                   2 1 1 118 21 1 3 1 1 3 12 4 2 41 2 n n n n                     3 3 4 4 2 4n n a e a ea    3 44 4na e   2a 4  22 1 1n n  e