去年复盘一套数学卷子的时候,我在笔记本上给最后一道解答题随手标了个编号——2024年题22。这个编号一直保留到现在:它代表的不只是某一次考试的压轴题,更是一类"指数函数零点 + 恒成立"问题的标准样本。前阵子不少读者在后台问这类导数题到底怎么抓分,与其零散回复,不如把这题的完整复盘整理出来。文章会从题干翻译、标准解到踩坑点都过一遍,适合高三复习阶段,也适合高二下刚开始接触导数综合题的同学参考。
1. 我为什么把这道题单独记为"2024年题22"
1.1 第22题在整张卷子里的"时间陷阱"
先说一个很现实的问题:大多数考生做到这里,留给这道题的时间只剩十几分钟。第22题被安排在试卷最后,不是因为难度一定比其他题高出一大截,而是它天然承担了区分度功能。命题组很清楚,前面的题已经消耗了大量脑力,到了最后一道题,考生需要在紧张状态下完成分类讨论和书写组织,这本身就是一种考核。
我自己复盘时的建议很简单:如果只剩15分钟,第一问必须拿稳,第二问至少写到 f'(x)=e^x-a、求出临界点 x₀=ln a,并写出 a 的初步分类;第三问哪怕答案没算完,也先把 a≤e^x/(x+1) 这个等价变形摆上试卷。这套保分路径听起来很功利,但压轴题本来就是拿来争分的,不是拿来赌满分的地方。
为什么这题值得单独编号?因为它的三问结构非常典型:第一问是具体参数下的极值,第二问把参数放开问零点个数,第三问再反过来问恒成立参数范围。三道小问不是三个孤立问题,而是同一张图的三次观察。能把这种题彻底吃透,收益不只是会做一道题,而是掌握一类题的思考框架。
1.2 三问设计背后的隐藏递进
这道题的三问表面看是"求极值→数零点→求范围",实际上层层递进。第一问取 a=1 并不是随便取的。a=1 时 f(x)=e^x-x-1,它的极小值正好是0,这直接给出了一个极重要的不等式:e^x≥x+1,等号只在 x=0 处成立。这个不等式在高中导数题里出场率极高,第一问等于先用一个具体例子把最关键的切线支撑结论铺垫好了。
第二问把 a 放回一般位置,问题变成 f(x) 在 (-1,+∞) 上有几个零点。表面看是数零点,本质上是看直线 y=a(x+1) 与指数曲线 y=e^x 有几个交点。第三问又问 f(x)≥0 恒成立时 a 的范围,这其实是在问:直线在哪条斜率范围内可以一直待在曲线下方。第一问的切线斜率1,恰好就是这道题的分界线。可以说,整道题设计得非常紧凑,每一问都在为下一问铺路。
2. 把 f(x)=0 翻译成图像:直线与指数曲线的位置关系
2.1 直线恒过定点,切线斜率1就是临界点
大多数同学拿到零点问题,第一反应就是求导、找极值,这没错。但在这之前,我建议先做一步"翻译":把 f(x)=0 写成 e^x=a(x+1)。左边是指数曲线 y=e^x,右边是直线 y=a(x+1),而且这条直线有一个很特别的性质——它恒过点 (-1,0)。因为不管 a 取什么值,代入 x=-1 时,右边总是0。
指数曲线 y=e^x 在 x=0 处的切线是 y=x+1,这个结论可以用导数验证:e^x 在0处的导数值是1,且切线过点 (0,1),所以切线方程就是 x+1。这条切线恰好就是 a=1 时的那条直线。于是答案的临界点1从图形上就长出来了:a=1 时直线与曲线相切于 (0,1),这对应唯一零点;a>1 时直线更陡,会从曲线的左侧穿到右侧,出现两个交点;a<1 时直线更平缓,始终待在曲线下方,没有交点。
有读者会问:凭一张草稿图就敢下结论?当然不能只靠画图,但画图的价值是帮我们确定该往哪个方向分类讨论。后面代数推演会发现,这种几何直觉和严格证明完全吻合,只是代数需要把每条边界都写清楚。我见过不少同学把这个问题做成了"背模板":看到指数函数就分 a 的范围,完全不看图像。结果一旦题设区间变化、直线不过定点,模板立刻失灵。所以先抓几何本质,再看代数细节,才是稳定拿分的路子。
2.2 区间 (-1,+∞) 设置的特殊用意
这道题把研究区间定在 (-1,+∞),不是随意写的。原因要从分离参数说起。如果要处理 f(x)≥0,通常会把 a 单独分到一边,而 f(x)=e^x-a(x+1),要得到 a≤e^x/(x+1),就必须除以 x+1。只有在 x+1>0 的条件下除过去才不会变号,而区间 (-1,+∞) 恰好保证这一点。
如果把区间换成整个实数集 R,情况会麻烦很多:x<-1 时 x+1<0,除以一个负数,不等号方向要翻转,讨论量立刻翻倍。所以命题组把区间直接卡在直线定点的右侧,等于告诉考生:"这里是安全的,放心除。"这种区间设计在近两年很多导数压轴题里都能看到,拿到题目先看区间,就是为了判断分离参数时要不要额外处理符号。
那么,在 (-1,+∞) 上研究辅助函数 h(x)=e^x/(x+1),图像是什么样子?x 趋于 -1 的右侧时,分母趋于0正,所以 h(x) 趋于正无穷;x 趋于正无穷时,指数增长比一次函数快,h(x) 也趋于正无穷。也就是说,这个函数两头翘、中间低。求导之后,它会呈现一个非常干净的"先减后增"结构,最值点在 x=0,最小值正好是1。这个1,就是第三问的答案边界。
3. 完整推演:第一问求极值,第二问数零点,第三问定范围
3.1 第一问:e^x≥x+1 是整道题的根基
把 a=1 代入,f(x)=e^x-x-1,求导得 f'(x)=e^x-1。令 f'(x)=0,得到 x=0。当 x<0 时,e^x<1,所以 f'(x)<0,函数单调递减;当 x>0 时,e^x>1,所以 f'(x)>0,函数单调递增。因此 f(x) 在 x=0 处取得极小值 f(0)=0,没有极大值。
这个极小值0非常关键,因为函数在 x=0 左边单调递减、右边单调递增,意味着全定义域内 f(x)≥0,也就是 e^x-x-1≥0,整理就是 e^x≥x+1。我建议读者在第一问这里停一下,把这个不等式单独抄出来,后面很多地方要用到它。它可以看作指数函数图像位于其切线之上的代数表达,也是导数几何意义最直观的体现。
顺便说一句,有同学会纠结"极小值"和"最小值"的区别。在这道题里,极小值同时也是最小值,因为两侧都是单调的,且没有其他极值点。但写解答时最好还是分两步:先说"唯一驻点 x=0,且为极小值",再说"因此它在整个定义域上取最小值0"。这样既严谨,又为后面的零点讨论埋伏笔。
3.2 第二问:分类讨论的顺序与零点唯一性
第二问是整道题的核心,讨论顺序必须规范。f'(x)=e^x-a,临界点 x₀=ln a。但要注意,a 的正负会直接改变导数符号,所以第一步先按 a≤0 和 a>0 分开。
若 a≤0,那么 f'(x)=e^x-a>0 在区间 (-1,+∞) 上恒成立,函数严格递增。再看两端:x 从 -1 右侧趋于 -1 时,f(x) 趋于 e^{-1},这是一个正数;x 趋于正无穷时,e^x 增长速度远超一次项,所以 f(x) 趋于正无穷。一个严格递增且左右两端都为正的函数,显然没有零点。
若 a>0,情况就进入重点。f'(x)=0 解得 x₀=ln a。求出驻点后,第一件事是检查这个点到底在不在区间 (-1,+∞) 内。ln a 与 -1 的分界点在 a=e^{-1}。如果 0<a≤e^{-1},那么 ln a≤-1,驻点不在研究区间里,函数在 (-1,+∞) 上依旧严格递增,同样没有零点。这一步非常容易被跳过,但它属于完整分类的一部分。
当 a>e^{-1} 时,ln a 才真正落在区间内部。此时函数在 (-1,ln a) 上递减,在 (ln a,+∞) 上递增,f(x) 在 x₀=ln a 处取到最小值:f(x₀)=e^{ln a}-a(ln a+1)=a-a ln a-a=-a ln a。这个最小值符号决定了零点个数,而 -a ln a 的符号取决于 ln a 的符号,也就是 a 与1的大小关系。
于是再分三段。当 e^{-1}<a<1 时,ln a<0,所以 -a ln a>0,最小值仍为正,结合两端都趋于正无穷,函数没有零点。当 a=1 时,ln a=0,最小值等于0,且在 x=0 取到;由于函数先减后增,这是唯一零点。当 a>1 时,ln a>0,最小值 -a ln a<0;左端 x→-1^+ 时函数趋于 e^{-1}>0,右端趋于正无穷,所以函数在最小值点两侧各穿过一次 x 轴,恰好有两个零点。
整段讨论做完,可以把结论合并成干净的答案:a<1 时无零点;a=1 时有一个零点;a>1 时有两个零点。注意,0<a≤e^{-1} 这一段虽然在中间被单独处理过,但最终可以合并进"a<1 无零点",因为它们确实都无零点。合并结论没问题,但试卷上不要跳步,要把这段分类写完整,否则完整逻辑链会受影响。
3.3 第三问:分离参数后的最小值
第三问要处理"对任意 x∈(-1,+∞),f(x)≥0 恒成立"。最快的写法是分离参数。因为 x+1>0,f(x)≥0 等价于 a≤e^x/(x+1),于是问题变成:a 要小于等于右侧函数的所有取值,也就是小于等于它的最小值。
设 h(x)=e^x/(x+1),求导:h'(x)=[e^x(x+1)-e^x]/(x+1)^2=x e^x/(x+1)^2。分母恒正,e^x 恒正,所以 h'(x) 的正负完全由 x 决定。在 (-1,0) 上,x<0,所以 h'(x)<0,h(x) 单调递减;在 (0,+∞) 上,x>0,所以 h'(x)>0,h(x) 单调递增。因此 h(x) 在 x=0 处取得最小值 h(0)=e^0/(0+1)=1。要让 a≤h(x) 恒成立,就必须 a≤1。所以第三问的答案是 (-∞,1]。
这道题还有一个不走分离参数的解法:直接利用第二问结论。a<1 时,f(x) 无零点,由于端点极限都为正,函数恒大于0;a=1 时,f(x) 只有一个零点 x=0,两端为正,所以 f(x)≥0 成立;a>1 时,函数有两个零点,在两个零点之间函数值为负,不满足恒成立。因此仍然是 a≤1。这种解法体现了三问之间的连贯性,但在考场上,分离参数通常更直接,步骤也更好写,我推荐优先掌握。
4. 考场真实翻车点:驻点范围、不等号方向、唯一性论证
4.1 翻车点一:漏比较 ln a 与 -1
我看这类题的草稿时,最常见的省略是:一看到 x₀=ln a,就直接分"0<a<1、a=1、a>1"三类讨论,完全不提 ln a 是否大于 -1。这样写,恰好把 0<a≤e^{-1} 这一小段漏掉了。更隐蔽的是,很多同学知道要讨论 a>0,但没有意识到"研究区间"限制了驻点的有效性。
正确的书写节奏应该是:令 f'(x)=0,得 x₀=ln a。因为 x₀ 要在 (-1,+∞) 内,所以先判断 ln a>-1,即 a>e^{-1}。确定了这个前提之后,再去讨论 a 和1的大小关系。漏掉这一步,虽然最终答案可能碰巧一样,但逻辑链是断的,分数会受影响。建议把"检查驻点是否落在给定区间"养成条件反射,凡是临界点表达式里有对数、根号、分式,都要额外确认一遍定义域。
4.2 翻车点二:分离参数时不等号方向写反
分离参数这步看着简单,实际错误率很高。很多人在 f(x)=e^x-a(x+1)≥0 之后,直接写成 a≥e^x/(x+1),方向反了。原因多半是没有检查"除的是正数还是负数"。这道题幸好是 (-1,+∞),x+1 恒正,移除去不变号;但如果考场上一紧张,这个判断很容易被跳过。
这里分享一个快速验证法:先猜后验。假设你算出来 a≥1,那么取 a=2 代回原函数,f(0)=e^0-2(0+1)=1-2=-1<0,说明 a=2 根本不满足恒成立,所以答案应该是 a≤1。反过来,如果算的是 a≤1,取 a=0 代回,f(x)=e^x,恒大于0,说明边界方向正确。解题时用特殊值做方向校验,几乎不花时间,但能救回一整道大题。
4.3 翻车点三:零点唯一性论证不完整
第二问里 a=1 的情况,容易犯的毛病是:f(0)=0,且0是极小值,就写"所以只有一个零点"。严格来说,这还缺了半句。要说明为什么只有一个零点,必须依赖单调区间:在 (-1,0) 上函数单调递减,且左端极限为正、末尾降到0,所以这段区间内函数始终大于0,不可能有其他零点;在 (0,+∞) 上函数单调递增,从0开始往上升,也不可能再有零点。这两句话补齐了唯一性的论证。
同样,a>1 的情况要写"有两个零点"时,单说"极小值小于0"也不够。你需要说:左端极限为正,极小值点为负,且区间 (-1,ln a) 上单调递减,所以由零点存在定理,这段区间内恰有一个零点;右半区间同理恰有一个。单调性保证最多一个,极限和函数值异号保证至少一个,两头夹出来才是"恰好两个"。很多同学写到这里只写"由图像可知""显然有两个零点",这在压轴题解答里是要被扣步骤分的。
4.4 做完后的五分钟自检表
最后给一张实用的自检表,做完题之后按顺序扫一遍,能把低级失误降到最低:
| 检查点 | 重点看什么 | 典型错误 |
|---|---|---|
| 导数符号 | f'(x)=e^x-a 是否少看负号 | 把 -a 写成 +a |
| 驻点范围 | ln a 是否在 (-1,+∞) 内 | 漏掉 0<a≤e^{-1} 的分类 |
| 开区间端点 | x=-1 只能取极限,不能直接代值 | 把 f(-1) 当作零点依据 |
| 恒成立取等 | a=1 时 f(0)=0 满足题意 | 误写成 a<1 |
| 特殊值验证 | 代 a=2 和 a=0 看方向 | 不等号方向反了 |
这五条是我从实际做题和复盘经验里总结出来的,几乎每题都能用上。尤其是"开区间端点"这一条,很多压轴题会把零点正好卡在开区间边界上,那就需要格外小心。
5. 从"2024年题22"到一类题:三个可迁移的解题思路
5.1 先画草图,让临界参数自己露出来
拿到零点题,第一反应不应该是埋头求导,而是先在草稿纸上画一下"谁和谁相交"。这道题里,把 e^x=a(x+1) 看成直线与指数曲线的交点;临界情况就是切线相切。画完图你会立刻知道,答案一定在某个斜率上发生"从无交点到两个交点"的突变,而突变的斜率就是 a=1。后续分类讨论只是把这个直觉严格化。
换一道题,比如讨论 x 与 ln x 的位置关系,或者讨论 e^x 与二次函数的交点,做法也一样:先把两条曲线画出来,看临界位置发生在哪。草图不需要精确到数值,只需要表达出大致的单调性和相对位置。它能帮你少走很多弯路,也能在最后检查答案时提供直觉依据。我自己做题的顺序始终是:看区间→画简图→定临界→写代数,四步缺一不可。
5.2 分离参数时,优先选导数能因式分解的辅助函数
分离参数的核心是让参数 a 独立成一条水平直线,剩下的问题就是研究一个函数的值域。但不是所有函数都适合分离。选辅助函数时要优先考虑三个条件:分母符号好判断、导数能因式分解、最值点能精确求出来。这道题选 h(x)=e^x/(x+1),导数分子是 x e^x,一个因式正数、一个因式一次,单调区间一目了然,完全满足三个条件。
反过来说,如果分离出来的函数求导后得到的是超越方程,比如 h'(x)=e^x-ln x 之类的,那分离参数就不是好选择,就得退回原函数讨论极值的思路。判断标准很简单:分离之后,右侧函数好不好研究;不好研究,就别硬分。这也是为什么这题不算超难题——辅助函数的一切都很干净,命题人有意控制计算量。学会识别这种"可分离、可研究"的信号,比死记分离公式重要得多。
5.3 用切线不等式做放缩和检验
第一问得到的 e^x≥x+1 不只是一个结论,更是一个工具。本题中,当 a<1 时,由于 x+1>0,有 a(x+1)<x+1≤e^x,所以 f(x)>0 恒成立,这直接可以解释"a<1 无零点";当 a=1 时,e^x=x+1 只在 x=0 成立,所以有一个零点。这种放缩视角让讨论变得非常轻快。
进阶用法是取对数版本。对 e^x≥x+1 两边取自然对数,可得到 x≥ln(x+1)(在 x>-1 时),把变量替换一下就是 ln t≤t-1。这类不等式经常用在"找一个足够大的点"来配合零点存在定理,或者在证明分式不等式时做中间放缩。记住它们,能省去很多无谓计算。但要注意等号条件,如果在严格不等式的证明里用放缩,最后要单独说明等号取不到。
5.4 我的错题整理小习惯
最后分享一个我一直在用的习惯:整理错题时,把第二问的"零点个数化简结论"和第三问的"恒成立范围"两行答案并排写在一起,你会发现它们其实只差一个边界符号。理解了这道题的几何背景之后,再遇到类似的指数型零点题,大概率能一眼判断出临界参数在哪,剩下的就是按部就班地把讨论写严实。
具体操作上,我还会在题目旁边补一张小图,就是直线绕定点转动、与指数曲线相交相离的那张草图。下次复习时,不用重新读完整段推导,只看图就能唤醒整个思考链路。这个方法帮我节省了大量重复刷题的时间,也让每道题真正变成一类题的样本。