本题导读

本题是一道以导数微积分为核心工具的代数压轴题。第一问通过参变分离,将多变量恒成立问题转化为求一元函数的最值问题;第二问通过引入二阶导数精确判定导函数的正负,进而利用原函数的严格单调性与零点完成符号同步性的分类证明。

📌【题干】

Question

(2010年大纲卷I(理)) 已知函数 .

(1)若 ,求 的取值范围;

(2)证明:.

🔍【思路分析】

破题导航

  1. 第一问:对原函数求导得到 ,代入条件化简为 。利用 进行参变分离得到 ,通过求右侧新构造函数的最大值确定 的范围。

  2. 第二问:分析目标式 ,核心在于探讨 在关键分界点 两侧的符号。通过对 求二阶导数判定其单调性并确定 恒成立,从而得知 严格单调递增,结合 即可完成分段符号对应证明。

点击查看答案

对一切 ,均有 恒成立

✍【详细解析】

Abstract

解:(1)函数 的定义域为 。 求导得:。 所以 。 由题意, 对一切 恒成立, 化简得:。 因为 ,两边同除以 得:。 设 (),则只需 。 对 求导得:. 令 ,解得 。 当 时,, 单调递增; 当 时,, 单调递减。 所以 的最大值为 。 故 的取值范围是 。

(2)证明:由(1)可知 ()。 对 再次求导(二阶导数)得:。 当 时,, 单调递减; 当 时,, 单调递增。 所以 的最小值为 。 因为 恒成立,所以函数 在 上严格单调递增。 又 。 下面对 的范围分类讨论:

  • 当 时,,且由单调性得 ,此时 ;

  • 当 时,,且由单调性得 ,此时 ;

  • 当 时,,,此时 。 综上所述,对一切 ,均有 恒成立。

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

Danger

  1. 核心考点:参变分离解决恒成立问题、二阶导数控制导函数最值、单调性判定函数符号。
  2. 核心方法:构造辅助递进函数(如本题中的 和 ),将复杂的多元或多项式不等式降维。
  3. 避坑指南:
  • 第一问完成参变分离除以 时,必须交代 的前提。

  • 第二问中切不可直接对 盲目断定其最值,由于 包含对数项与多项式混合结构,其一阶导数符号无法一步看清时,必须通过二阶导数 递进剥离,防止步骤断层。

📖【试题探源与推广】

Tip

  1. 试题探源:本题源自经典的对数基础不等式 的深刻变式。第二问的结论 揭示了函数 与直线 的符号完全同步,在高等数学中常作为构造凸函数或概率论中信息熵边界估计(如 KL 散度非负性定理)的代数原型。

  2. 结论推广:对于任意形如 的函数,当 时,其在 上均恒满足 。

🔗【关联脉络】

Multi column