本题导读

本题作为全卷的压轴题,是一道极具综合性的函数与数列交汇题。第一问考查利用导数求函数的单调区间;第二问通过函数在闭区间上的最值成功构建出结构极其简单的等差数列 ;其分分支①利用函数单调性解决不等式恒成立问题,分支②则属于高难度的数列不等式证明,核心在于利用巧妙的放缩将通项转化为可裂项相消的结构。

📌【题干】

Question

(2008年福建卷(理)) 已知函数 .

(1) 求 的单调区间;

(2) 记 在区间 上的最小值为 ,令 . ① 如果对一切 ,不等式 恒成立,求实数 的取值范围; ② 求证:.

🔍【思路分析】

破题导航

  1. 第一问:求出 的定义域,对其求导,由导数的正负确定增减区间。
  2. 第二问的基础:结合第一问的单调性,确定 在 上的最小值点为右端点 ,从而求出 并极其简练地化简出 。
  3. 第二问①:将 代入不等式中,通过去分母、移项,将问题转化为 恒成立,进而利用函数的单调性求出 的下确界。
  4. 第二问②:将 代入待证式,通项变为 。利用经典的乘积放缩法证明 ,再将其进一步放缩为可裂项的形式 ,求和即证。

点击查看答案

可知,通项满足:

✍【详细解析】

Abstract

解:

(1) 函数 的定义域为 。 求导得:。 当 时,,函数 单调递增; 当 时,,函数 单调递减。 综上所述, 的单调递增区间为 ,单调递减区间为 。

(2) 因为 在 上单调递减, 所以当 时, 的最小值为右端点处的值,即 。 从而可得:。

① 将 代入已知不等式得:。 因为 ,两边同乘以 得: 要使不等式对一切 恒成立,只需 小于数列 的最小值。 对 进行分子有理化变形: 令 ,由于 ,则 。 构造函数 。 显然,当 在 上减小时, 减小,从而 增大,最终 严格单调递减。 由此可知,数列 随 的增大而严格单调递减。 当 时,,此时 。 由于 严格递减向 1 靠拢,故对任意 均有 。 因此,实数 的取值范围是 。

② 将 代入,原不等式等价于证明: 记通项 。 因为 (不便直接裂项,采用标准放缩技巧): 注意到 ,从而有: 所以可得放缩基本式:。 进一步将 进行分母有理化放缩以达到裂项的目的: 综上可知,通项满足:。 从而待证式左端: 即原不等式获证。

💡【考点归纳与避坑指南】

Danger

  1. 核心考点:利用导数发现隐藏的等差数列 ;函数有理化后的极限与最值判定;沃利斯公式(Wallis)背景下的通项平方放缩。
  2. 核心方法:
  • 证明关于 “” 结构的级数不等式时,平方后错位相乘法(即利用 )是斩断乘积链条的标准普适手段。
  • 裂项放缩法:将 放大为 从而创造出中间项成对消去的条件。
  1. 避坑指南:
  • 第二问①中求得 时,必须严谨证明 的单调性,以此确认 1 是下确界而非最小值,从而断定等号 可以取到。

📖【试题探源与推广】

Tip

  1. 试题探源: 本题具有极高的高等数学背景。第二问②中对乘积项的构造,其本质来源于高等数学微积分中的**沃利斯公式(Wallis’ integrals)**在定积分求极限中的古典估计式。
  2. 结论推广: 借助更精细的斯特林公式(Stirling’s approximation)可以证明,当 时,该乘积项 。

🔗【关联脉络】

Multi column