如果你做过几道导数压轴题大概率见过这种狼狈场面不等式一边是指数 (e^x)一边是对数 (\ln x)稍微求个导就撞上 (e^x \frac{1}{x}) 这种解不出来的方程然后整个人卡在原地。比如要证明 (e^x \ln x 2)直接构造函数求导极值点算不出来考场心态当场就崩了。今天这篇要聊的指对互化和指对同构就是专门处理这种“指数与对数混战”的。它不是竞赛黑科技本质是把 (e^x) 和 (\ln x) 翻译成同一种语言再强行凑成同一个函数结构结构一出题目基本就结束了。内容按我自己的教学顺序展开先讲两个恒等式和三个母模型再拿三道由浅入深的题完整走一遍最后补上隐零点代换和比大小这两个互化的高频场景以及常见坑。适合正在复习导数专题的高三学生、准备强基或竞赛入门的学生还有想给学生讲透同构的老师。1. 指对互化先看懂题目里的两种“语言”1.1 两个恒等式就是互化的全部家底指对互化说起来玄乎实际上所有操作都建立在两个恒等式上[ x e^{\ln x} \quad (x 0) ][ x \ln(e^x) ]第一个式子说的是任何一个正数都可以改写成以 (e) 为底的指数形式。第二个式子说的是任何一个实数都可以改写成对数形式。这两条合在一起就是整个“指对互化”的根基。你可能觉得这太简单了但真正做题时它的威力来自四个常用“翻法”把 (x) 写成 (e^{\ln x})适合处理“(x) 和对数相乘”的式子比如 (x\ln x)。把 (x) 写成 (\ln(e^x))适合处理“(x) 和指数相加”的式子比如 (e^x x)。把幂式 (x^a) 写成 (e^{a\ln x})适合处理幂指混合的结构。把 (a e^x) 写成 (e^{x \ln a})适合处理含参数的指数式稍后你会看到这是2020年那道高考题的关键一步。说白了互化就是“换一身衣服”。(e^x) 和 (\ln x) 互为反函数就像同一个人在学校叫“同学”、在家叫“儿子”其实是同一个对象。题目难就难在它一会儿以指数身份出现一会儿又以对数身份出现你认不出来是同一个东西。1.2 指数和对数的“性格差”决定了为什么要折腾很多学生问我直接求导不行吗为什么非要互化原因在于指数和对数的“性格”差得太远。指数函数 (e^x) 定义域是全体实数值域是正数最妙的是它求导之后还是 (e^x)结构完全不变。对数函数 (\ln x) 正好相反定义域只有正数求导之后变成 (\frac{1}{x})次数降了一级结构被破坏了。所以单独处理指数或对数都还好一旦两者混在一起求导就会出现“指数还在、对数又变成倒数”的混乱局面。互化的本质就是把两种不同性格的函数强行拉到同一个框架里。举一个最简单的例子(x\ln x) 这个式子利用 (x e^{\ln x}) 可以改写成[ x\ln x \ln x \cdot e^{\ln x} ]表面上看变复杂了但注意右边其实是“同一个函数 (F(t)te^t) 在 (t\ln x) 处的取值”。也就是说一个看似是“(x) 乘对数”的式子其实是指数结构。能看出这一层同构的大门就打开了。这个“性格差”也解释了一个现象为什么指数和对数混杂的题目直接做会越做越乱。你试图用导数研究单调性但极值点方程往往是超越方程根本解不出来。互化相当于先把题目“翻译成人话”再动手。1.3 互化直接产出的不等式亲戚链互化最直接的收获是一串可以随手使用的不等式。其中最核心的起点是[ e^x \ge x 1 ]这个不等式对任意实数 (x) 都成立等号在 (x0) 处取得。它可以通过求导证明令 (\varphi(x)e^x-x-1)(\varphi(x)e^x-1)最小值正是0。现在对它两边取自然对数。因为 (e^x 0)右边 (x1) 必须大于0才有意义所以当 (x -1) 时[ x \ge \ln(x1) ]再把 (x) 换成 (t-1)就得到对数版[ \ln t \le t - 1 \quad (t 0) ]继续换元令 (t \frac{x}{e})得到[ \ln x \le \frac{x}{e} ]这串“亲戚不等式”看着多其实都是互化之后换了个变量而已。做题时最常用的是前两个(e^x \ge x1) 和 (\ln x \le x-1)。它们可以处理大量“指数放缩成一次函数、对数放缩成一次函数”的问题。比如证明 (x \ln x)直接用 (\ln x \le x-1 x) 就结束了。2. 指对同构把混战变成同一个函数的两点比较2.1 同构的本质是“找同一个老友函数”如果说互化是把指数和对数翻译成同一种语言那同构就是更进一步把不等式两边分别写成“同一个函数在不同点处的取值”。具体来说我们的目标是把[ F(A) \ge F(B) ]这种结构凑出来然后利用 (F) 的单调性把问题转化成比较 (A) 和 (B) 的大小。难点从来不在最后的单调性判断而在于怎么把原式“凑”成这个结构。这个找函数的过程可以理解为“对暗号”。题目里同时出现 (e^x) 和 (\ln x)你要做的就是在心里问自己这两个东西能不能分别变成 (F(\text{某个东西})) 的形式如果能说明这就是一道同构题如果不能及时止损回落到求导。所以同构不是靠灵光一现而是靠几个固定的“母模型”去套。就像背过乘法口诀再做乘法题一样先把母模型印在脑子里再去找题目里对应的影子。2.2 母模型一积型最经典的同构母模型是[ F(t) t e^t ]这个函数的神奇之处在于它既能装下指数侧的式子也能装下对数侧的式子指数侧(F(x) x e^x)本身就是 (x) 乘指数。对数侧(F(\ln x) \ln x \cdot e^{\ln x} x \ln x)注意这里用到了互化 (x e^{\ln x})。所以一旦题目中出现 (x e^x) 与 (x \ln x) 的比较往往就是积型同构。一个典型的考法是给出不等式 (a e^{a x} \ge \ln x)求参数范围。处理手段是两边同乘 (x)左边变成[ a x e^{a x} (a x) e^{a x} F(a x) ]右边变成[ x \ln x \ln x \cdot e^{\ln x} F(\ln x) ]这样原式就成了 (F(a x) \ge F(\ln x))。因为 (F(t) t e^t) 在 (\mathbb{R}) 上单调递增直接转化为 (a x \ge \ln x)问题瞬间简化。这种“两边同乘一个东西”的手法是同构里最常用的扳机。2.3 母模型二商型第二个常见母模型是[ F(t) \frac{e^t}{t} \quad (t 0) ]指数侧的写法是 (F(x) \frac{e^x}{x})。对数侧呢把 (x) 换成 (e^{\ln x})[ F(\ln x) \frac{e^{\ln x}}{\ln x} \frac{x}{\ln x} ]所以遇到“指数除以变量”与“变量除以对数”这种分式结构优先考虑商型同构。例如比较 (\frac{e^x}{x}) 与 (\frac{x}{\ln x}) 的大小本质上就是比较 (F(x)) 与 (F(\ln x))。但要注意商型函数 (F(t)\frac{e^t}{t}) 的单调性不是全程一致它在 ((0,1)) 上单调递减在 ((1,\infty)) 上单调递增。所以使用时必须看清自变量落在哪个区间否则很容易把不等号方向写反。这一点我会在第5部分展开讲。2.4 母模型三和差型第三个母模型在近年高考里出现频率最高[ F(t) e^t t ]指数侧(F(x) e^x x)。对数侧[ F(\ln x) e^{\ln x} \ln x x \ln x ]也就是说(e^x x) 与 (x \ln x) 可以同构。类似地还有 (F(t)e^t - t)对应 (e^x - x) 与 (x - \ln x)。这类结构特别适合处理“指数项加一次项”对“一次项加对数项”的式子。操作时经常需要人为补一个相同的量来让两边同时凑成 (e^u u) 的形式。最经典的就是2020年新高考那道导数压轴题下面实操部分我会完整走一遍。三个母模型可以整理成一个速查表母模型指数侧写法对数侧写法常见触发词(F(t)te^t)(xe^x(x)e^x)(x\ln x \ln x \cdot e^{\ln x})乘、积、系数(F(t)\dfrac{e^t}{t})(\dfrac{e^x}{x})(\dfrac{x}{\ln x}\dfrac{e^{\ln x}}{\ln x})分式、商(F(t)e^tt)(e^xx)(x\ln x e^{\ln x}\ln x)加、和差3. 三道递进例题从看懂套路到独立写过程3.1 热身题证明 (x \ln x)这道题看着太基础但它能很好地展示互化和同构的底层思路。题目证明对任意 (x 0)都有 (x \ln x)。方法一直接互化。令 (t \ln x)则 (x e^t)原不等式变成证明 (e^t t)。而由基础不等式 (e^t \ge t1 t)立即得证。方法二用对数放缩亲戚。因为 (\ln x \le x-1)而 (x-1 x)所以 (\ln x x)。这道题的启发是遇到指数和对数混杂可以考虑把它们放到同一个变量下比较。(x) 和 (\ln x) 本来就是一对反函数谁大谁小在图像上非常直观但落到纸面上需要借助“翻译”才能严谨说明。变式训练可以顺手做一下证明 (e^x x)。把 (x) 看成 (\ln(e^x))原式变成证明 (e^x \ln(e^x))这正是上面结论的另一种写法。你看互化让两个题变成同一个题。3.2 积型实战求 (a e^{a x} \ge \ln x) 的参数范围这道题是同构入门的标准练习几乎每本教辅都会收录。题目已知 (a 0)若对任意 (x 0)不等式[ a e^{a x} \ge \ln x ]恒成立求 (a) 的取值范围。第一步先别急着求导观察结构。左边是指数乘系数右边是孤立对数典型的“积型同构”触发场景。第二步两边同乘 (x)因为 (x0)不等号方向不变[ a x e^{a x} \ge x \ln x ]第三步分别凑母模型。左边[ a x e^{a x} (a x) e^{a x} F(a x) ]右边[ x \ln x \ln x \cdot e^{\ln x} F(\ln x) ]其中 (F(t)te^t)。第四步因为 (F(t)e^t(t1))当 (t-1) 时 (F(t)0)在 (\mathbb{R}) 上其实也单调递增(t-1) 只是驻点不影响单调性所以由 (F(ax)\ge F(\ln x)) 得[ a x \ge \ln x ]第五步分离参数[ a \ge \frac{\ln x}{x} ]对一切 (x0) 恒成立所以 (a) 必须大于等于 (\frac{\ln x}{x}) 的最大值。设[ g(x)\frac{\ln x}{x} ]求导[ g(x)\frac{1-\ln x}{x^2} ]所以在 ((0,e)) 上递增在 ((e,\infty)) 上递减最大值[ g(e)\frac{1}{e} ]最终答案 (a \ge \frac{1}{e})。取等条件是 (xe)、(a\frac{1}{e})此时 (ax1\ln e)同构中的等号也能取到说明答案很紧凑。这道题的核心经验有三条第一看到 (e^{ax}) 和 (\ln x) 同时出现先想积型第二乘 (x) 是为了让指数部分 (ax) 和 (x) 形成一个整体同时让右边的 (x\ln x) 暴露成 (F(\ln x))第三分离参数后求最值是恒成立问题的常规收尾。3.3 和差型压轴一道高考真题的完整拆解这道题是2020年新高考全国卷的导数压轴题当年不少学生做不出来其实它就是一道非常标准的和差型同构。题目已知[ f(x)a e^{x-1}-\ln x\ln a ]若 (f(x)\ge 1)求 (a) 的取值范围。第一次看到这个式子很多人的反应是“参数在对数里又在指数边上怎么求导都难受”。但如果你想到把 (a e^{x-1}) 合并成 (e^{x-1\ln a})思路就打开了。因为 (\ln a) 本来就是对数跟指数合并后整个式子变成了“指数加对数减对数”的结构。完整过程如下[ f(x)\ge 1 ]移项[ e^{x-1\ln a}\ln a-\ln x \ge 1 ]两边同时加上 (x-1)。为什么要加这个量因为左边已经有一个 (e^{x-1\ln a})加一个 (x-1\ln a) 就能凑出 (e^tt)同时右边加上 (x-1) 后会出现 (x\ln x)正好是 (e^{\ln x}\ln x)。这一步是整个解法的灵魂[ e^{x-1\ln a}(x-1\ln a) \ge x\ln x ]令 (g(t)e^tt)则左边是[ g(x-1\ln a) ]右边是[ g(\ln x) ]因为 (g(t)e^tt) 在 (\mathbb{R}) 上严格单调递增所以[ x-1\ln a \ge \ln x ]整理[ \ln a \ge \ln x - x 1 ]设 (h(x)\ln x-x1)求导[ h(x)\frac{1}{x}-1\frac{1-x}{x} ]所以 (h(x)) 在 ((0,1)) 上递增在 ((1,\infty)) 上递减最大值[ h(1)0 ]因此 (\ln a \ge 0)解得[ a \ge 1 ]最后检查取等条件当 (a1)、(x1) 时(f(1)1)取等成立答案没问题。这道题最值得回味的就是“两边同时加上 (x-1)”这一步。它不是瞎猜的而是先看左边能形成什么函数再看右边需要形成什么函数然后取一个“公共增量”把两边补齐。以后遇到“指数项旁边差一个一次项”的题目要立刻反应到和差型同构。3.4 取对数型幂指不等式先翻译再求解指数与对数互化的另一种重要用法是两边取对数。来看这道题已知 (a0)若不等式[ e^x \ge x^a ]对一切 (x0) 恒成立求 (a) 的最大值。第一步因为 (x0)所以 (x^a0)两边都是正数可以安全地取自然对数。底数 (e1)取对数后不等号方向不变[ x \ge a\ln x ]这一步就是幂指互化的典型应用把指数位置上的 (a) 从“头顶”拉下来变成普通乘积。第二步分类讨论。当 (0x1) 时(\ln x0)右边 (a\ln x0)左边 (x0)不等式恒成立对 (a) 没有任何限制。当 (x1) 时左右都等于0恒成立。只有当 (x1) 时(\ln x0)可以分离参数[ a \le \frac{x}{\ln x} ]第三步求 (\frac{x}{\ln x}) 在 ((1,\infty)) 上的最小值。设[ k(x)\frac{x}{\ln x} ]求导[ k(x)\frac{\ln x-1}{(\ln x)^2} ]所以在 ((1,e)) 上递减在 ((e,\infty)) 上递增最小值[ k(e)e ]因此 (a \le e)最大值为 (e)。最后验证 (ae) 时原不等式确实成立此时要证 (e^x\ge x^e)两边取对数即 (\ln x\le \frac{x}{e})这正是第1.3节里的那个“不等式亲戚”显然成立。这道题的经验是见到幂指结构比如 (x^a)、(a^x)、(x^x)第一反应就是两边取对数把指数结构转换成对数结构。取对数的安全性只需要确认两边都是正数即可。4. 指对互化的另外两个高分场景4.1 隐零点代换让超越式变成普通代数式同构并不是指对互化的全部用途。在“隐零点”问题里互化经常能救你于水火。比如前面开头提到的那个例子证明[ e^x \ln x 2 ]如果你直接构造函数 (f(x)e^x-\ln x-2)求导[ f(x)e^x-\frac{1}{x} ]令 (f(x)0)得到[ e^{x_0}\frac{1}{x_0} ]这个方程解不出来但它本身就是互化的黄金机会。两边取对数[ x_0 -\ln x_0 ]于是 (\ln x_0 -x_0)。把这个代回 (f(x_0))[ f(x_0)e^{x_0}-\ln x_0-2\frac{1}{x_0}x_0-2 ]由基本不等式 (\frac{1}{x_0}x_0\ge 2)得 (f(x_0)\ge 0)。因为等号成立需要 (x_01)而 (x_01) 不满足 (e^11)所以等号取不到严格大于0原不等式得证。这个操作的厉害之处在于超方程的根 (x_0) 虽然求不出来但通过互化我们能拿到它的两个关系式 (e^{x_0}\frac{1}{x_0}) 和 (\ln x_0-x_0)把超越式全部替换成普通代数式然后问题就变成了均值不等式。以后遇到隐零点问题记住一个原则驻点条件里只要同时出现 (e^{x_0}) 和 (\ln x_0)就先利用互化把其中一个替换掉再代入原函数化简。这一步往往决定了你能不能把最小值表达式化到能判断正负的程度。4.2 比较大小与放缩指数与对数站在同一把尺子上互化在比大小和放缩题里也是高频出场。最经典的例子是证明[ e^\pi \pi^e ]两个数都是正的指数幂直接比较很难看。两边取自然对数比较 (\pi) 和 (e\ln\pi) 的大小[ e^\pi \pi^e \iff \pi e\ln\pi ]现在用第1.3节的不等式亲戚 (\ln x\le \frac{x}{e})取 (x\pi)[ \ln\pi \frac{\pi}{e} ]因为 (\pi\ne e)所以严格不等。两边乘 (e)[ e\ln\pi \pi ]于是 (e^\pi\pi^e) 得证。整个过程只有两步第一步取对数把指数放下来第二步用放缩不等式收尾。这类题的通用套路是先取对数把“指数比大小”转化成“普通式子比大小”再借助切线不等式 (e^x\ge x1) 或 (\ln x\le x-1) 放缩。平时可以把常用不等式链记牢[ e^x\ge x1,\quad \ln x\le x-1,\quad \ln x\le \frac{x}{e},\quad e^x\ge ex ]一旦题目里出现指数与对数、幂与对数的混合比较大小时这些“亲戚不等式”就是你的弹药库。5. 常见问题与避坑实录5.1 同构方向写反单调性不只是用来证明的同构题做完 (F(A)\ge F(B)) 之后最关键的一步是判断 (F) 的单调性方向。很多学生一看 (F) 增就写 (A\ge B)但商型这类函数在部分区间是递减的稍不留神就反了。我建议每道题都明确写出“因为 (F(t)) 在区间 (I) 上单调递增/递减所以原不等式等价于……”不要在心里默认方向。判断单调性前先看自变量落在哪个区间。比如 (F(t)\frac{e^t}{t})在 ((0,1)) 上递减在 ((1,\infty)) 上递增如果题目条件限定 (0x1)那不等号方向就必须反过来。5.2 定义域和取对数稍不注意就翻车对数函数 (\ln x) 的存在意味着默认 (x0)这个条件在做同构时非常关键。比如积型同构中(F(\ln x)) 里的 (\ln x) 可以是负数但这不影响 (F) 的定义因为 (F(t)te^t) 对任意实数都有意义。可一旦你在式子中出现 (\ln(\ln x))就要额外要求 (\ln x0)即 (x1)。两边取对数也有条件必须是两边都是正数取自然对数后不等号方向才不改变。如果一边可能为负就不能直接取对数。比如 (x\ln x)虽然 (x0)但如果草率地两边取对数就会出现 (\ln x\ln(\ln x)) 这种自找麻烦的式子纯属画蛇添足。5.3 跳步直接消 F会丢关键得分点“因为 (F(A)\ge F(B))所以 (A\ge B)”这句话如果中间没有写单调性在考试里是会被扣步骤分的。因为 (F(A)\ge F(B)) 推不出 (A\ge B)除非你明确说明 (F) 严格单调。举个反例(F(t)t^2)(F(-2)\ge F(1))但 (-21)。所以单调性这几个字是得分点也是逻辑闭环里不可缺少的一环。更稳妥的写法是分成两句第一句判断 (F(t)) 在某区间上严格单调第二句再写“故由同构得 (A\ge B)”。宁可多写一步也不要跳。5.4 同构不是万能模板学会止损最后一句大实话同构虽然好用但它不是万能的。判断一道题该不该同构可以按这个标准来题目中同时出现 (e^x)或 (a e^{bx})和 (\ln x)且结构上存在“乘积、分式、和差”的对应关系优先试同构。如果题目里只有指数或只有对数那通常是求导单调性、隐零点或放缩的问题不要硬凑。如果参数同时出现在指数和对数里并且像2020年那道题一样能写成 (e^{x\ln a})那大概率是同构题。如果同构试了两次都凑不出母模型果断止损回到常规求导。硬凑同构最典型的翻车现场是式子确实变成了 (F(A)\ge F(B))但 (A) 和 (B) 仍然含有参数且无法比较大小这时候同构并没有真正简化问题反而多绕了一圈。判断的标准很简单同构之后的不等式是否比原来的不等式更容易处理如果答案是否定的就说明方向选错了。常见现象可能原因正确处理同构后不等号方向反了没注意 (F) 的单调区间先求导判断单调性再说方向取对数后范围出错没检查两边是否为正先说明“两边均为正”再取对数写出 (F(A)\ge F(B)) 直接去掉 (F)跳过了单调性说明补上“(F) 单调故等价于……”凑不出结构越凑越乱题目根本不是同构题止损回到求导或放缩路线我自己在教学里还有一个习惯每讲完一道同构题都会把取等条件算出来。取等条件既能检验答案是否正确也能反过来验证单调性方向有没有写反。比如积型例题里 (a\frac1e)、(xe) 时取等和分离参数后最值点完全吻合说明全过程逻辑闭环。如果算出来取等条件不成立那一定在某个环节出错了。最后再分享一个小技巧。练同构不用做太多题把积型、商型、和差型三个母模型抄在笔记本第一页然后每天做一道同构题连续练一周就够了。每道题拿到手先圈出指数项和对数项在旁边写三个词积商和差一个一个试很快你就能形成条件反射。等这种反射建立起来再遇到指数对数混战的压轴题你第一反应就不会是崩溃而是自然地想它们俩能不能见个面。