实数指数与等式：统一底数、共同幂值和交叉取幂

约 3791 字大约 13 分钟

指数从有理数推广到实数后，正底数的运算法则仍然成立；但“幂值相等”能否推出“指数相等”，还要排除底数1。求解与证明都应保留这一关，以及所有取倒数、消去因子的合法条件。

一、知识点概念与依据

1. 无理指数是推广，不是有限次乘法

在根式与指数幂中，正底数 $a>0$ 的有理指数幂已经由根定义。现在固定这个正底数，把指数推广到所有实数 $r$ 。无理数不能精确写成有限小数，也不能解释成“重复相乘无理数次”。

直观上，取越来越接近 $r$ 的有理数，用相应有理指数幂去逼近一个确定实数，把这个值定义为 $a^r$ 。这里只说明推广的含义，不把它冒充严格存在性证明：逼近值确实存在、与选择哪一列有理数无关，需要进一步的实数与极限理论。用有限小数近似 $\sqrt2$ ，只得到近似指数，不是把 $\sqrt2$ 精确替换掉。

高中使用这个推广所保持的基本性质：正底数的任意实数幂均严格正， $a^0=1$ ， $a^{-r}=1/a^r$ ； $1^r=1$ 对每个实数 $r$ 成立。负底数的任意无理次幂不在这里的通常实数幂定义内；负底数既约奇分母幂的局部约定不等于对任意实指数开放底数。

2. 运算法则推广，底数条件不取消

若 $a,b>0$ ， $r,s\in\mathbb R$ ，则

a^ra^s=a^{r+s},\qquad(a^r)^s=a^{rs},\qquad(ab)^r=a^rb^r,\qquad \frac{a^r}{a^s}=a^{r-s}.

有理指数部分的证明已由正根唯一性给出；无理指数部分采用上述推广保持这些法则的性质。不能仅凭符号相同便声称前面的有限因子证明已经覆盖无理指数。

每次使用仍查正底数。乘方规则允许指数为零或负，不要求指数正；被取幂的整个量也须正。正底数保证幂值非零，所以除去 $a^h$ 合法；若要除去的是指数 $h$ 本身，则还要单独证明 $h\ne0$ 。这两种除法不能混淆。

3. 为什么比较指数必须排除底数1

当 $a>1$ ，正指数 $h$ 满足 $a^h>1$ ，负指数由倒数得 $0<a^h<1$ ，只有 $h=0$ 时等于1。有理正 $h$ 的结论可由整数幂与正根性质说明。无理正 $h$ 的直观依据是：先取正有理数 $q<h$ ，逼近 $h$ 的指数最终仍大于 $q$ ，幂值在固定的 $a^q>1$ 之上。这里采用推广保持次序的性质，而不是省略严格极限证明后称“显然”。

于是若 $u<v$ ，

\frac{a^v}{a^u}=a^{v-u}>1\quad\Longrightarrow\quad a^v>a^u.

若 $0<a<1$ ，令 $b=1/a>1$ ， $a^u=1/b^u$ ，取正数倒数反向，所以 $a^u$ 随指数严格递减。两种方向都不会让不同指数得到同一幂值，故

a>0,\ a\ne1:\qquad a^u=a^v\ \Longleftrightarrow\ u=v.

也可直接用 $a^u/a^v=a^{u-v}$ ，由“只有零指数给1”判断。底数1则是反例： $1^2=1^7$ ，却不能推出 $2=7$ 。底数为参数时先分清正性与是否为1，不能先比较指数再补条件。

4. 统一底数求解的完整路径

先读准指数与根号的覆盖范围，记录原输入域；把整数幂、倒数或积拆成同一正底数。若两边有公共幂因子，证明其严格正后再消去。最后查共同底数不为1，把幂值等式转成指数等式，解后与原域取交并回代。除以含参数的系数前，零系数支必须单列。

例如 $3^{\sqrt2x-1}=1/9$ 中， $\sqrt2x$ 是 $(\sqrt2)x$ ，不是 $\sqrt{2x}$ ，所以没有因此产生 $x\ge0$ 限制。右边为 $3^{-2}$ ，底数3满足条件，得到 $\sqrt2x-1=-2$ ，故 $x=-\sqrt2/2$ ；回代指数确为 $-2$ 。候选 $-\sqrt2,\sqrt2,\sqrt2/2$ 分别使指数为 $-3,1,0$ ，输出 $1/27,3,1$ ，均不符合原方程。不能只核正确值而不排解集中夹带的多余值。

5. 共同幂值，把底数关系转成指数关系

若多个不同底数的幂相等，可记共同值为 $t$ 。例如已知 $A^u=B^v=C^w=t$ ，想借 $AB=C$ 得到倒数指数关系，就先检查原底数正、 $u,v,w\ne0$ ，才能写

A=t^{1/u},\quad B=t^{1/v},\quad C=t^{1/w}.

底数的乘积对应幂的指数相加，从而 $t^{1/u+1/v}=t^{1/w}$ 。到这里仍需查 $t\ne1$ 才能比较指数，只有 $t>0$ 不够。如果原题给 $A>1,u>0$ ，便能从 $t=A^u>1$ 排除1；若没有排除，应单独讨论退化情形，不能靠待证结论倒推条件。

原底数的商与乘方分别对应指数相减与相乘，不能把底数乘积误写成指数乘积。共同值方法也不是对不同底数直接“令指数相等”。

6. 交叉取幂，尽量不除可能为零的指数

若已知式含同样的两个正底数，目标是两个指数乘积相等，可先把两式化为同一常数，再交叉取幂，让一个底数出现相同的完整指数乘积。随后消去这个严格正的幂因子，剩下同底数等式，再查底数不为1。

这样消去的是幂值，不是指数。即使交叉选取的指数为0，正底数零次幂仍为1，全部运算依旧合法；若贸然先除以这个指数，则会漏掉合法退化支。例3第（2）问保留 $b-1=0$ 或 $d-1=0$ ，正是这个方法的优势。

例3第（1）问所用的基本组合也一起说明：若 $x>0$ ， $xx^{-1}=1$ ，所以 $(x+x^{-1})^2=x^2+2+x^{-2}$ 。平方展开必须保留交叉项2；只求目标组合时无须先分别解出 $x$ 与 $x^{-1}$ 。

7. 含倒数指数的条件先核分母

原条件 $1/x+1/y=1/z$ 已经要求 $x,y,z\ne0$ 。还可推出 $x\ne z$ ，因为若相等便有 $1/y=0$ ，矛盾；同理 $y\ne z$ 。于是才可合法改写

y=\frac{xz}{x-z},\qquad \frac zx+\frac zy=1.

这些关系给取幂所需的指数系数。每次取幂的量仍须正，但指数可以负，不需另加 $x,y,z>0$ 。正底数为1也允许通常乘幂法则；只有想由幂值相等推出指数相等时，才额外要求底数不为1。例4分别展示直接改写与等价的共同值路线。

二、考点方法与例题

例题 01 积与乘方中的共同底数

题目

方程 ${5}^{x-1}\cdot {10}^{3x}={8}^{x}$ 的解集是（　　）

A． $\left\{ 1,4\right\}$ B． $\left\{ \frac{1}{4}\right\}$ C． $\left\{ 1,\frac{1}{4}\right\}$ D． $\left\{ 4,\frac{1}{4}\right\}$

答案与解析

解析

因为所有底数均正， $10^{3x}=2^{3x}5^{3x}$ ， $8^x=(2^3)^x=2^{3x}$ 。原方程等价为

5^{x-1}5^{3x}2^{3x}=2^{3x}.

公共因子 $2^{3x}>0$ ，两边除去它，得到 $5^{4x-1}=1=5^0$ 。底数5正且不为1，故 $4x-1=0$ ， $x=1/4$ 。各变形在所有实数 $x$ 上合法，回代两边确实相同，解集为 $\{1/4\}$ ，选B。

A既漏掉 $1/4$ 又加入1、4；C多加入1；D多加入4。额外值使 $4x-1$ 分别为3或15，不等于0，不能纳入解集。负指数不会令幂值变负，也不妨碍这一步消去正因子。

本题结论

B， $\{1/4\}$

例题 02 从相等幂值建立倒数关系

题目

设 $a,b,c$ 都是正数，且 ${3}^{a}={2}^{b}={6}^{c}$ ，求证： $\frac{1}{c}=\frac{1}{a}+\frac{1}{b}$ ．

答案与解析

解析

设 $t=3^a=2^b=6^c$ 。由 $a>0$ 且 $3>1$ ，有 $t>1$ ，比单纯的 $t>0$ 多完成了排除1这一关。 $a,b,c>0$ ，所以三者倒数都存在。

在正底数上取相应倒数次幂，得

t^{1/a}=3,\qquad t^{1/b}=2,\qquad t^{1/c}=6.

因此 $3\cdot2=6$ 给出

t^{1/a}t^{1/b}=t^{1/c},\qquad t^{1/a+1/b}=t^{1/c}.

因为 $t>0,t\ne1$ ，可比较指数，得到 $1/a+1/b=1/c$ 。

原解析条件补足：所给资料的原解仅在设共同值时写 $t>0$ ，之后直接比较指数；这里排除1的理由来自原题的正 $a$ ，不是临时添加新题设。

本题结论

证明见解析

例题 03 平方组合与交叉取幂的两问

题目

（1）已知 $x+{x}^{-1}=3(x>0)$ ，求 ${x}^{2}+{x}^{-2}$ 的值；

（2）已知 ${2}^{a}\cdot {3}^{b}={2}^{c}\cdot {3}^{d}=6$ ，求证： $\left( a-1\right)\left( d-1\right)=\left( b-1\right)\left( c-1\right)$ ．

答案与解析

解析

（1） $x>0$ 保证倒数存在。平方给

9=(x+x^{-1})^2=x^2+2xx^{-1}+x^{-2}=x^2+2+x^{-2},

所以 $x^2+x^{-2}=7$ 。这是从原条件推出目标组合，不需要把平方式反解成新的 $x$ 候选。

（2）两已知式都除以非零的 $6=2\cdot3$ ，得到

2^{a-1}3^{b-1}=1,\qquad 2^{c-1}3^{d-1}=1.

第一式取 $d-1$ 次幂，第二式取 $b-1$ 次幂，被取幂的量正，指数为零或负也允许：

2^{(a-1)(d-1)}3^{(b-1)(d-1)}=1,

2^{(c-1)(b-1)}3^{(d-1)(b-1)}=1.

两个3的幂因子相同且严格正，消去后有

2^{(a-1)(d-1)}=2^{(c-1)(b-1)}.

底数2正且不为1，比较指数即得待证式。全程没有除以 $b-1$ 或 $d-1$ ，因此它们为0的情况仍被证明覆盖，无须增设非零条件。

本题结论

（1）7；（2）证明见解析

例题 04 倒数条件连接两条幂等式

题目

若a，b为不等于1的正数，并且实数x，y，z满足关系式 $\frac{1}{x}+\frac{1}{y}=\frac{1}{z}$ ．求证：

(1)若 ${a}^{x}={b}^{y}$ ，则 ${a}^{x}={\left( ab\right)}^{z}$ ；

(2)若 ${a}^{x}={\left( ab\right)}^{z}$ ，则 ${b}^{y}={\left( ab\right)}^{z}$ ．

答案与解析

解析

共同合法性。原倒数条件给 $x,y,z\ne0$ 。若 $x=z$ ，则 $1/y=0$ 不可能，因此 $x-z\ne0$ ；同理 $y-z\ne0$ 。两底数 $a,b$ 均正，所以后续任意实数指数的乘幂法则可用。

（1）直接改写指数。由 $1/y=(x-z)/(xz)$ 得 $y=xz/(x-z)$ 。代入 $a^x=b^y$ ，两边取 $1/x$ 次幂，得 $a=b^{z/(x-z)}$ ；再取 $x-z$ 次幂，得 $a^{x-z}=b^z$ 。乘正的 $a^z$ ：

a^x=a^zb^z=(ab)^z.

另一条方法：设共同值。令 $t=a^x=b^y>0$ ，可写 $a=t^{1/x},b=t^{1/y}$ ，故

(ab)^z=(t^{1/x+1/y})^z=(t^{1/z})^z=t=a^x.

这条路线只用乘幂法则，没有通过同底数相等比较指数，因而此步骤不必另外检查 $t\ne1$ ；条件来自原式非零指数与正底数。

（2）直接连接指数。由 $a^x=(ab)^z$ 取 $1/x$ 次幂，得 $a=a^{z/x}b^{z/x}$ 。除去正因子 $a^{z/x}$ ，得 $a^{1-z/x}=b^{z/x}$ 。原条件给 $z/x+z/y=1$ ，故

a^{z/y}=b^{1-z/y}.

两边取 $y$ 次幂，得 $a^z=b^{y-z}$ ；乘正的 $b^z$ ，即 $b^y=(ab)^z$ 。

也可设 $t=a^x=(ab)^z>0$ ，得到 $a=t^{1/x}$ 、 $ab=t^{1/z}$ ，从而 $b=t^{1/z-1/x}=t^{1/y}$ ，再取 $y$ 次幂完成证明。

退化范围说明。这些乘幂法则本身不要求 $ab\ne1$ ，也不要求 $x,y,z>0$ 。若另核本题 $ab=1$ ，则 $b=a^{-1}$ ：第（1）问前提变成 $a^x=a^{-y}$ ，因 $a\ne1$ 得 $x=-y$ ，与原倒数关系矛盾；第（2）问前提给 $a^x=1$ ，从而 $x=0$ ，同样不合法。因此 $ab=1$ 已被各问实际前提排除，不是我们新添的题设。

本题结论

两问证明见解析