联招数学·导数含参问题：分离参数与端点效应

题目性质：自编仿真题——题目、材料、选项、数据与情境均为按课程标准与联招常见考点独立编写的原创仿真题，非真题原文，未取自任何题库、教辅或试卷；解析与采分点为教研整理，非官方评分标准。

一、考点定位与做题顺序

先把三句口径背准：「对任意 x，a ≤ g(x)」⇔ a ≤ g 的最小值（恒成立）；「存在 x，a ≤ g(x)」⇔ a ≤ g 的最大值（能成立）；若最小值在开区间端点取不到，取的是下确界 inf，等号能否取到必须单独验。分离参数的动作是：把含参项移到一侧，使另一侧成为不含参的函数 g(x)，再研究 g 的最值。

四步流程：①分离写成 a ≤ g(x) 或 a ≥ g(x)（注意乘除负数要变号、除以 x 要先定 x 的符号）；②求 g′定 g 的单调与最值／极限；③定界恒成立取下界、能成立取上界，端点取不到时写 inf/sup；④回代验边界把 a 取边界值代回原式，看等号或严格不等号是否真的成立。下面函数式与数值均为自编并逐处回代。

二、题目呈现

题1

已知 x > 0 时，x ln x − a x + 1 ≥ 0 恒成立，求实数 a 的取值范围，并验证边界值。

题2（端点效应）

已知 f(x) = e^x − 1 − a x。若对任意 x ≥ 0 都有 f(x) ≥ 0，求 a 的取值范围。
（提示：x = 0 时 f(0) = 0 对任意 a 都成立，无法直接给出信息，需考察 x → 0⁺ 的极限。）

题3（单选）

若存在 x ∈ [1, 2]，使 x² − 2x + a ≤ 0 成立，则 a 的取值范围是（　）

A. a ≤ 0　B. a ≤ 1　C. a ≤ 2　D. a ≥ 1

三、分步解析

题1　由 x > 0，把不等式 x ln x − a x + 1 ≥ 0 除以正数 x 不变号：
ln x + 1/x ≥ a，即 a ≤ g(x) = ln x + 1/x（对所有 x > 0 恒成立）。
g′(x) = 1/x − 1/x² = (x − 1)/x²。0 < x < 1 时 g′ < 0（减），x > 1 时 g′ > 0（增），故 g 在 x = 1 取最小值 g(1) = 0 + 1 = 1。
于是 a ≤ 1。
边界回代验证：取 a = 1，原式化为 F(x) = x ln x − x + 1；F′(x) = ln x + 1 − 1 = ln x，0<x<1 时 F′<0、x>1 时 F′>0，F(1) = 0 − 1 + 1 = 0 为最小值，故 F(x) ≥ 0 成立 ✓。再取 a = 1.2（超出范围），代入 x = 1 得 F(1) = 0 − 1.2 + 1 = −0.2 < 0，恒成立被破坏 ✓。结论自洽。

题2　x = 0 时 f(0) = 1 − 1 − 0 = 0，对任意 a 都满足，端点本身不提供约束——这正是端点效应的入口。
对 x > 0 分离：e^x − 1 ≥ a x ⇒ a ≤ g(x) = (e^x − 1)/x。
求 g′(x) = [x e^x − (e^x − 1)]/x² = [(x − 1)e^x + 1]/x²。令 h(x) = (x − 1)e^x + 1，则 h(0) = −1 + 1 = 0，h′(x) = e^x + (x − 1)e^x = x e^x > 0（x > 0），故 h(x) > 0，从而 g′(x) > 0，g 在 (0, +∞) 严格递增。
于是 g 在开区间 (0, +∞) 上没有最小值，其下确界为 x → 0⁺ 时的极限：lim_x→0⁺ (e^x − 1)/x = 1（可由 e^x ≥ 1 + x 或导数定义得到）。故 a ≤ 1。
边界回代验证：a = 1 时 f(x) = e^x − 1 − x ≥ 0（即「构造辅助函数」已证的经典不等式），x ≥ 0 恒成立 ✓。若 a = 1.1，取 x 很小：e^x − 1 = x + x²/2 + o(x²)，故 f(x) ≈ (1 − 1.1)x + x²/2 = −0.1x + x²/2 < 0（当 0 < x < 0.2），恒成立被破坏 ✓。关键说明：此处 1 是下确界而非取到的最小值（g 在 x=0 无定义），所以 a = 1 能成立靠的是原不等式在 x=0 处单独取等，不是 g 取到了最小值——这一点必须写清，否则会被判「最值概念错误」。

题3　「存在 x ∈ [1,2] 使 x² − 2x + a ≤ 0」⇔ a ≤ 2x − x² 在 [1,2] 上的最大值（能成立取上界，与题1 的恒成立取下界正好相反）。
令 φ(x) = 2x − x² = −(x − 1)² + 1，在 [1, 2] 上单调递减，最大值在 x = 1 处为 φ(1) = 2 − 1 = 1。故 a ≤ 1，选 B。
边界回代验证：a = 1 时取 x = 1，原式 = 1 − 2 + 1 = 0 ≤ 0 ✓，确实存在这样的 x。a = 1.2（超出范围）时，x² − 2x 在 [1,2] 上的最小值为 −1（x=1 处），故 x² − 2x + 1.2 ≥ 0.2 > 0，无任何 x 满足 ✓。反观 A 项 a ≤ 0 是把「存在」误当「任意」后得到的过窄范围；C 项 a ≤ 2 用了 φ 的另一个错误上界；D 项方向反了。

三种口径对照　题1 恒成立 ⇒ 取 g 的最小值（在 x=1 取到，是真正的最小值）；题2 恒成立但端点取不到 ⇒ 取下确界 inf，且必须回原不等式单独验证边界；题3 能成立 ⇒ 取最大值。三题分别对应「最值可取」「最值不可取」「存在性取上界」三种情形，最容易混的是把题3 按恒成立写成 a ≤ min。

四、采分点对照

五、高频易错点

• 分离参数时除以 x 不先声明 x > 0，或乘除负数忘记变号。
• 把「存在」按「任意」处理，题3 错取最小值而选 A。
• 题2 把 g 在开区间上的下确界说成「最小值」，或漏掉 a=1 时须回原式单独验证 x=0。
• 求 g′ 后不判符号就写结论，尤其 h(x)=(x−1)e^x+1 需要用 h′>0 才能判正。
• 求出范围后不回代边界值，无法确认等号能否取到、也无法排除范围外的反例。

六、小结与自查清单

• □ 先把「任意 / 存在」圈出来，写下该取下界还是上界。
• □ 分离时声明变量符号，除以负数必须变号。
• □ 求 g′ 后完整判号；端点取不到时改用极限并写明 inf/sup。
• □ 把边界 a 值代回原不等式验证，再取一个范围外的值做反例。
• □ 答案里写清等号能否取到，别把下确界叫成最小值。

含参导数题的难点从来不是求导，而是「对谁成立」：任意取下界、存在取上界、端点取不到改取下确界。三道题的边界值都是 1，但来得完全不一样——题1 是取到的最小值，题2 是极限，题3 是最大值。把边界代回原式验一下，口径对不对立刻见分晓。本组函数式与数值均为原创自编，并逐处回代验证。