指数不等式：去幂方向、复合输入与量词范围

约 3583 字大约 12 分钟

统一底数后，输出比较可以变成输入比较，但方向、原范围和严格号必须一起保留。若题目包含“存在为假”或“对所有输入”，先把量词和范围读清，再处理指数，不让熟练计算掩盖范围缺口。

一、知识点概念与依据

1. 去掉幂符号是严格单调性的等价变形

若 $A>1$ ，则 $A^{U(x)}<A^{V(x)}$ 等价于 $U(x)<V(x)$ ；若 $0<A<1$ ，则等价于 $U(x)>V(x)$ 。把“小于”改为“小于等于”时，同样分别同向或反向，等号仍保留。原理见指数函数的方向，不是符号机械消除。

开始前应查固定正底数、每个原复合输入是否有意义及参数范围。若底数可能为1，先单列：两幂都为1，严格比较为假、非严格比较为真，再与其他原条件取交，不能通过“去幂”获得指数限制。零或负底数不在本节任意实数指数的通用规则内。

2. 统一底数时，负号作用于完整指数

将 $B^{T}$ 改成 $(1/B)^{-T}$ ，负号要作用于整个 $T$ 。例如 $2^{3-2a}=(1/2)^{-(3-2a)}=(1/2)^{2a-3}$ ，不是只改变其中一项。

阈值1可写成任意正底数的零次幂；其他阈值若能写成同底数幂，也先写清楚。随后只按最终统一底数的方向判断一次。若改用倒数底数再推一遍，应得到相同结果，不能中途沿用旧方向后又额外反向。

解完所得一次、二次或双重不等式，最后与原定义范围取交。若消去未知数只剩真命题，原合法全集都成立；若只剩假命题，则无解。未知数“消失”本身不意味着空集。

3. 指数中的平方夹值，需要正负两段

例如正界 $0<r<s$ 下， $r^2<U(x)^2<s^2$ 等价于 $r<|U(x)|<s$ ，再分

r<U(x)<s\quad\text{或}\quad -s<U(x)<-r.

只开正平方根会丢掉另一段。各界是否允许，来自原严格或非严格号；无定义点则无论等号是否允许都必须排除，两类原因不能混为一谈。例2中四个端点都因输出恰到阈值而排除，不是因为函数在端点无定义。

4. 同一个标准指数函数还能合并输出乘积

对标准函数 $f(x)=A^x$ ， $A>0,A\ne1$ ，有

f(u)f(v)=A^{u+v}=f(u+v),\qquad [f(u)]^2=f(2u).

所以两个已知输出的乘积能确定输入和，不一定要分别求两输入。这依赖已经核实的标准结构；若函数另有外系数或平移，不能照搬，例如 $g(x)=2^x+1$ 一般不满足 $g(u)g(v)=g(u+v)$ 。

例3先由过点条件定底数，再用输出乘积求和，最后将复合不等式转成二次不等式；三问在同一个条件下连接，不能拆掉前问后忘记底数小于1。

5. “存在为假”保留原范围，不预设非空

记原范围为 $D(a)$ 。命题“存在 $x\in D(a)$ 使 $P(x,a)$ 成立”为假，等价于“对所有 $x\in D(a)$ ， $P$ 不成立”。量词范围不变，否定 $\le$ 成为严格 $>$ 。这不是“存在某个 $x$ 不满足”，也不会自动增加 $D(a)\ne\varnothing$ 。

若把 $[L(a),R(a)]$ 理解为集合 $\{x\mid L(a)\le x\le R(a)\}$ ，应先分三支： $L>R$ 为空，存在命题自动为假； $L=R$ 是单点，直接代入； $L<R$ 才是非退化区间。若题目另约定“区间必须非空”或“必须非退化”，应把这条附加要求与最终范围取交并说明，不能默默补入。

例4原文字把存在量词与“恒成立”并列，措辞冲突；解析按“存在一个输入使不等式成立”为假来解释，同时分别列字面集合、另要求非空、另要求非退化三种范围。这是对原资料缺口的说明，不把其中一种修订说成原题已经明确。

6. 含参全称比较，先范围分类再求最不利输入

把指数不等式按底数方向变成普通代数式后，仍是同一范围内的全称或存在问题。若线性式为 $k(a)x+c(a)$ ，有对象的范围内才按 $k(a)$ 的正负选端点；空范围不需要先研究斜率，单点也不必套最大值流程。

闭区间上的严格全称不等式，最不利端点的值也必须严格满足；开区间边界是否取得则另核。所有参数分支最后合并，再用等号边界回查原命题真假，既证明必要也检查充分。需要复习一般流程可见逻辑参数中的量词范围。

二、考点方法与例题

例题 01 统一后参数项相消

题目

若 ${\left( \frac{1}{2}\right)}^{2a+1}<{2}^{3-2a}$ ，则实数 $a$ 的取值范围是（）

A． $(0,+\infty )$ B． $R$ C． $(-\infty ,0)$ D．全不对

答案与解析

解析

右边 $2^{3-2a}=(1/2)^{2a-3}$ 。统一底数 $1/2<1$ ，原小于号等价于指数大于：

2a+1>2a-3\quad\Longleftrightarrow\quad 1>-3.

最后是真命题，且所有实数 $a$ 都让原幂合法，所以解集 $\mathbb R$ ，选B。A、C各只保留一部分解， $a=0$ 也成立却都不在其中；D被正确的B否定。

另一种核验是作正数商：左边除右边恒为 $2^{-4}=1/16<1$ ，直接说明对所有实数成立。不能因参数相消便断言无解。

本题结论

B， $\mathbb R$

例题 02 两点定参数与双重比较

题目

已知函数 $f\left( x\right)={a}^{{x}^{2}+bx+1}$ （ $a>0$ ，且 $a\ne 1$ ）的图象过点 $\left( 0,3\right)$ ， $\left( 1,1\right)$ ．

(1)求 $a$ ， $b$ 的值；

(2)求不等式 $3<f\left( x\right)<81$ 的解集．

答案与解析

解析

（1）过 $(0,3)$ 给 $a=3$ ；过 $(1,1)$ 给 $3^{b+2}=1=3^0$ 。底数3正且非1，因此 $b+2=0$ ， $b=-2$ 。代回两点均符合。

（2）现在 $f(x)=3^{x^2-2x+1}=3^{(x-1)^2}$ 。由于 $3=3^1,81=3^4$ 且底数3递增，

3<f(x)<81\quad\Longleftrightarrow\quad 1<(x-1)^2<4.

令 $u=x-1$ ，得 $1<|u|<2$ ，即 $1<u<2$ 或 $-2<u<-1$ 。分别加1，得到 $2<x<3$ 或 $-1<x<0$ ，解集为 $(-1,0)\cup(2,3)$ 。

$x=-1,3$ 给输出81， $x=0,2$ 给输出3，两原比较都严格，所以四界都排除。区间内的两支均合法；只保留正 $u$ 会丢掉 $(-1,0)$ 。

本题结论

（1） $a=3,b=-2$ ；（2） $(-1,0)\cup(2,3)$

例题 03 同一底数下的三个任务

题目

已知指数函数 $f(x)={a}^{x}$ （ $a>0$ 且 $a\ne 1$ ）的图象过点 $(-2,9)$ ．

(1)求 $a$ 的值；

(2)若 $f(m)=2$ ， $f(n)=\frac{9}{2}$ ，求 $m+n$ 的值；

(3)求不等式 $f\left( {x}^{2}-5x-6\right)>1$ 的解集．

答案与解析

解析

（1） $a^{-2}=9$ ，由 $a>0$ 得 $a=1/3$ ；负候选不符指数函数定义，故 $f(x)=(1/3)^x$ 。

（2）两输出相乘：

f(m)f(n)=2\cdot\frac92=9=\left(\frac13\right)^{-2}.

同底数乘法使左边等于 $(1/3)^{m+n}$ ，底数正且非1，故 $m+n=-2$ 。不需要分别解出 $m,n$ 。

（3） $1=(1/3)^0$ ，该指数函数严格递减，故

f(x^2-5x-6)>1\quad\Longleftrightarrow\quad x^2-5x-6<0.

因式分解为 $(x-6)(x+1)<0$ ，得到 $-1<x<6$ 。两根令指数为0、输出为1，原严格号排除；两根外指数正，底数小于1使输出小于1，不能取外侧。

本题结论

（1） $a=1/3$ ；（2） $m+n=-2$ ；（3） $(-1,6)$

题面说明：下一题原文将“存在”与“恒成立”混写。原题照录，解析按原详解明确采用的“存在一个输入使不等式成立”为假这一意图展开，并区分范围是否另要求非空或非退化，不将一种约定冒充原题明示条件。

已知 $f\left( x\right)=\left( {m}^{2}-2m-2\right)\cdot {m}^{x}+n-9$ （ $m>0$ 且 $m\ne 1$ ）是指数函数，若“ $\exists x\in \left[ -1-a,a-2\right]$ ，不等式 $f\left( -x-2{a}^{2}\right)\le {\left[ f\left( ax\right)\right]}^{2}$ 恒成立”为假命题，则实数a的取值范围是．

答案与解析

解析

第一步：确认标准指数结构。已给 $m>0,m\ne1$ 。由标准结构判据，系数与外平移须满足

m^2-2m-2=1,\qquad n-9=0.

即 $(m-3)(m+1)=0$ ，取合法 $m=3$ ，另 $n=9$ ，从而 $f(x)=3^x$ 。回代确为标准指数函数。

第二步：按存在命题的意图作完整否定。原详解把题中混杂的“存在……恒成立”改述为“存在……能成立”，这里沿该意图，不宣称原文字已无歧义。存在 $x\in[-1-a,a-2]$ 使原 $\le$ 成立为假，等价于同一范围内每个 $x$ 都使严格 $>$ 成立。

因为 $[f(ax)]^2=(3^{ax})^2=3^{2ax}$ ，底数3严格递增，

\begin{aligned} f(-x-2a^2)>[f(ax)]^2 &\Longleftrightarrow 3^{-x-2a^2}>3^{2ax}\\ &\Longleftrightarrow -x-2a^2>2ax\\ &\Longleftrightarrow (2a+1)x+2a^2<0. \end{aligned}

第三步：先分范围，不能预先删空集或单点。将原括号理解为满足 $-1-a\le x\le a-2$ 的集合。

$a<1/2$ ：左端大于右端，范围为空，没有任何输入能让原存在命题成立，因此存在命题为假，全部这些参数应收。
$a=1/2$ ：范围为单点 $x=-3/2$ ，上式左边为 $2(-3/2)+1/2=-5/2<0$ ，原 $\le$ 不成立，存在命题仍为假，应收。
$a>1/2$ ：范围非退化，线性式斜率 $2a+1>0$ ，最大在闭右端 $x=a-2$ 。全称严格小于0等价于

4a^2-3a-2<0.

设 $\alpha=(3-\sqrt{41})/8$ 、 $\beta=(3+\sqrt{41})/8$ ，二次式开口向上，两根之间为负。由于 $\alpha<1/2<\beta$ ，与 $a>1/2$ 取交得 $(1/2,\beta)$ 。反向在这段中，最大值已负，所以每个原输入都使严格 $>$ 成立，原存在命题确实为假。

$\beta$ 使右端线性值恰为0，原两幂在该输入相等，原 $\le$ 成立，因此“存在为假”不满足，必须删掉这个界；更大参数在右端也不满足所需全称严格号。

三种口径分别列明。按字面集合范围与上述存在意图，完整答案为 $(-\infty,\beta)$ ；若另明示范围非空，取交为 $[1/2,\beta)$ ；若另要求非退化区间，才是 $(1/2,\beta)$ 。

所给原答案是最后一种，但原题没有明示非退化，并混写存在与恒成立。这是原资料的量词/范围缺口，不能静默补条件。指数结构与端点计算如上确定；若另把原句改成不同的全称命题，就应重新说明所问命题，而非沿用此答案。

本题结论

按存在意图及字面集合口径： $a<(3+\sqrt{41})/8$ ；另加非空/非退化要求时见解析