对数的定义、指对互化与合法范围

约 3796 字大约 13 分钟

对数不是多添一种运算符号，而是用另一个方向记录指数关系。先分清底数、真数和结果，再处理整块幂值、未知底数与多层对数。

一、知识点概念与依据

1. 对数是在合法底数下反求指数

固定 $a>0,a\ne1$ 。对任意 $N>0$ ，满足 $a^x=N$ 的唯一实数 $x$ 叫作以 $a$ 为底、 $N$ 的对数，记作 $\log_aN=x$ 。其中 $a$ 是底数， $N$ 是真数， $x$ 是对数值；真数是原来的幂值，不是原来的指数。

这是定义。指数函数在全实数域严格单调、值域为全部正数，保证每个正真数都能找到且只能找到一个指数。 $1^x=1$ 不能唯一反求指数；负底数的某些整数幂虽有意义，却不能覆盖任意实数指数。因此不是任何指数式都能改成这里的实数对数式，例如 $(-2)^3=-8$ 不能写成合法的 $\log_{-2}(-8)=3$ 。

正底数的实数幂始终正，所以零和负数没有本章所讨论的实数对数。这限制的是真数，不限制对数值必须正： $\log_2(1/8)=-3$ 、 $\log_21=0$ 都完全合法。

2. 三个量各守原来的角色

在 $a>0,a\ne1,N>0$ 的范围内，

a^x=N\quad\Longleftrightarrow\quad\log_aN=x.

底数始终是 $a$ ，幂值 $N$ 改称真数，原指数 $x$ 才成为对数结果。双向互化保持同一条关系，不能将三个数任意轮换。

指数式 a的x次幂等于N 与对数式 log以a为底N等于x 对应，底数不变，幂值对应真数，指数对应对数

保留字母角色的短例。若 $m^{2024}=n$ ， $m>0,m\ne1$ ，则 $\log_mn=2024$ 。原四个候选为 $\log_mn=2024$ 、 $\log_nm=2024$ 、 $\log_{2024}m=n$ 、 $\log_{2024}n=m$ 。第一式正确； $n>0,n\ne1$ ，第二式本身有意义，但由 $n^{1/2024}=m$ 可知它的值为 $1/2024$ 。后两式不是原条件的必然结果：取允许的 $0<m<1$ ，便有 $0<n<1$ ，两式左边为负而右边为正。不是“底数真数互换仍相同”。

3. 两种专用记号和四个基本恒等式

以10为底的对数叫常用对数， $\lg N=\log_{10}N$ ；以 $e$ 为底的叫自然对数， $\ln N=\log_eN$ 。 $e$ 是约为2.71828的固定无理常数，大于1。这两种记号并不改变真数必须正的条件。

原知识短例的四句话为：①以10为底称常用对数；②任何指数式都能化为对数式；③以 $e$ 为底称自然对数；④零和负数没有对数。按本章实数范围，①③④正确，②须补底数正且非1；正确数为3。原计数候选1、2、3、4中只有3符合。这里的④不是关于复数对数的断言。

由 $a^0=1$ 、 $a^1=a$ ，直接得到

\log_a1=0,\qquad\log_aa=1.

令 $x=\log_aN$ ，定义即给 $a^x=N$ ，所以

a^{\log_aN}=N\quad(N>0),\qquad\log_a(a^r)=r\quad(r\in\mathbb R).

第二式的真数 $a^r$ 自动正，唯一性保证其对数就是 $r$ 。这是两种逆向关系的复合，不是把 $a$ 与 $\log_a$ 当乘法因子约去。

4. 结果的符号由底数方向和真数位置共同决定

以指数0对应的 $a^0=1$ 为分界。底数大于1时，指数越大幂值越大；底数在0与1之间时方向相反。因此：

底数	$0<N<1$	$N=1$	$N>1$
$a>1$	$\log_aN<0$	$0$	$\log_aN>0$
$0<a<1$	$\log_aN>0$	$0$	$\log_aN<0$

负对数值不是负真数。内层结果允许为负或零，但若它又被放入外层对数的真数位置，就必须再满足严格正。

5. 定义范围要按每一层取交集

每个实际底数 $B$ 都须 $B>0,B\ne1$ ；每个完整真数 $M$ 都须 $M>0$ 。真数内部的根号、分母和幂式还要满足自身条件，全部条件取交集，不能任选其中一条。

真数是乘积时，要求整体正，并不要求各因数都正。若两个因数都负，乘积也正，但不能拆成两个实数对数。若真数是 $\sqrt u$ ，根号先要求 $u\ge0$ ，外层再要求 $\sqrt u>0$ ，合并后是 $u>0$ ；等号在根号这一层合法，在对数这一层却不合法。

四式范围对照短例。对原题的四个函数分别检查： $\lg(x^2-4)$ 的定义域为 $(-\infty,-2)\cup(2,+\infty)$ ，不能丢负侧； $\log_2\sqrt{x-2}$ 的定义域为 $(2,+\infty)$ ，根号能取0不代表对数能取零真数； $\log_{3/4}(2^x+2)$ 对所有实数 $x$ 都合法，因为 $2^x+2>2$ ； $\ln(2x-2)$ 的定义域为 $(1,+\infty)$ 。因而原题要求定义域恰为 $(2,+\infty)$ 时，只有第二式符合。底数小于1影响增减方向，不改变真数必须正。

6. 多层对数与整块幂值的两种思路

嵌套式 $\log_b(\log_ax)$ 先要求 $x>0$ ，再要求 $\log_ax>0$ ，两层底数都须合法。若已知最外层结果为 $c$ ，求输入应先反解 $\log_ax=b^c$ ，再反解 $x=a^{b^c}$ ；验算则从内到外。外层对数结果 $c$ 可以是任意实数，因为 $b^c$ 自动正。

目标若含指数和、差或倍数，先保留已知的整块幂值：

a^{u+v}=a^ua^v,\qquad a^{u-v}=\frac{a^u}{a^v},\qquad a^{ku}=(a^u)^k.

这些正底数幂法则能避免先近似求每个指数。系数乘对数时先移项、除非零系数再互化；若除数本身是某个对数值，必须额外说明它不为0，即该对数真数不为1。只是使用对数、不涉及除法时，不应擅自加上真数非1的限制。另一路是把系数转入正真数的指数：令 $u=\log_aN$ ，由 $a^{ku}=(a^u)^k=N^k$ ，定义给 $k\log_aN=\log_a(N^k)$ ，这里始终保留 $N>0$ 。

二、考点方法与例题

1. 保持角色互化，再利用整块幂值

先写底数、指数、幂值的对应，检查正性与底数非1。求未知输入按外层向内反解；求幂值组合则先用幂法则连接已知块。每步保留等价所需条件，最后按原式的层次验算，不把计算得到的指数误报为原输入。

例题 01 四种指数与对数关系的互化

题目

将下列指数式与对数式互化．

(1) ${5}^{3}=125$ ；

(2) ${4}^{-2}=\frac{1}{16}$ ；

(3) ${\log }_{\frac{1}{2}}8=-3$ ；

(4) ${\log }_{3}\frac{1}{27}=-3$ ．

答案与解析

解析

四个底数都正且非1，真数都正，可以双向互化。

（1）底数5不变，幂值125成为真数，指数3成为结果： $\log_5125=3$ 。

（2） $4^{-2}=1/16$ 对应 $\log_4(1/16)=-2$ 。负指数给倒数，不能把真数写成−16。

（3） $\log_{1/2}8=-3$ 对应 $(1/2)^{-3}=8$ ，因为 $(1/2)^{-3}=2^3=8$ 。原材料的答案是8，但详解中一行写成 $(1/2)^{-3}=1/8$ ，这行错误；后者实际对应正指数3，不能照抄。

（4） $\log_3(1/27)=-3$ 对应 $3^{-3}=1/27$ 。同为−3，底数小于1时幂值可大于1，底数大于1时幂值在0与1之间。

本题结论

（1） $\log_5125=3$ ；（2） $\log_4(1/16)=-2$ ；（3） $(1/2)^{-3}=8$ ；（4） $3^{-3}=1/27$ 。

例题 02 嵌套对数中的未知输入

题目

${\log }_{4}\left( {\log }_{5}x\right)=0$ ，则 $x=$ ( )

A．0 B．1 C．5 D．625

答案与解析

解析

先列 $x>0$ 与 $\log_5x>0$ 。因5大于1，后者等价 $x>1$ 。从外层等式开始：

\log_5x=4^0=1,\qquad x=5^1=5.

代回内层为1正、外层为0，故C正确。A的0使内层无定义；B的1使内层为0，外层真数为0无定义；D的625使内层为4、外层为1，不等于0。

原材料思路写“由内到外求值”，但此题反求未知输入实际从外到内；由内到外是最后的验算次序。

本题结论

C， $x=5$ 。

例题 03 对数条件与指数和的幂值

题目

已知 ${a}^{x}=4$ ， ${\log }_{a}3=y$ ，则 ${a}^{x+y}=$ （）

A．5 B．6 C．7 D．12

答案与解析

解析

$\log_a3$ 的存在已包含 $a>0,a\ne1$ ，不必额外猜底数。由定义 $a^y=3$ ，故

a^{x+y}=a^xa^y=4\cdot3=12.

D正确。A、B、C给出的5、6、7都不是12。指数相加对应同底数幂相乘，不是把4与3相加；也无需求出 $x,y$ 的近似值。

本题结论

D，12。

例题 04 指数线性组合与互为倒数的幂

题目

求满足下列条件的各式的值：

(1)若 ${10}^{m}=4$ ， ${10}^{n}=5$ ，求 $m+2n$ 的值；

(2)若 $x{\log }_{3}2=1$ ，求 ${4}^{x}+{4}^{-x}$ 的值．

答案与解析

解析

（1）先将目标放到以10为底的指数中：

10^{m+2n}=10^m(10^n)^2=4\cdot25=100=10^2.

因底数10正且非1，同底数幂相等可比较指数，得 $m+2n=2$ 。

（2）令 $t=\log_32$ ，则 $3^t=2$ 且 $t>0$ 。由题设 $xt=1$ ，不用预先调用换底公式也可得到

2^x=(3^t)^x=3^{tx}=3.

因此 $4^x=(2^x)^2=9$ ， $4^{-x}=1/9$ ，和为 $82/9$ 。所有幂值正，倒数合法。

另一种写法是由 $t\ne0$ 得 $x=1/\log_32$ ；由于刚才已经证明 $2^x=3$ ，定义又给 $x=\log_23$ ，这同时说明本题的倒数换底关系，而不是无条件地把对数符号颠倒。原答案写的带分数“9又1/9”等于 $82/9$ ，不是乘积 $9\times1/9$ 。

本题结论

（1）2；（2） $82/9$ 。

2. 逐层列条件，再取全部限制的交集

先标底数和整个真数，底数查正且非1，真数查严格正；内部若有根号或分母，保留其原条件。乘积真数按整体符号分段，参数同时出现在底数和真数时所有限制取交。每个被排除的边界都要说明理由，不能只记答案区间。

例题 05 二次式作为一个完整真数

题目

若代数式 ${\log }_{8}\left( {x}^{2}-2x-3\right)$ 有意义，则实数 $x$ 的取值范围为（）

A． $\left( -\infty ,-1\right)$ B． $\left( -1,3\right)$

C． $\left( 3,+\infty \right)$ D． $\left( -\infty ,-1\right)\cup \left( 3,+\infty \right)$

答案与解析

解析

底数8已合法，需 $(x-3)(x+1)>0$ 。两零点−1、3分出三段： $x<-1$ 时两因数都负，积正； $-1<x<3$ 时异号，积负； $x>3$ 时都正，积正。两零点使真数为0，必须排除。

故范围是 $(-\infty,-1)\cup(3,+\infty)$ ，D正确；A、C各漏一段，B恰好取了非法中段。

特别是合法左段的两个因数都负，所以不能将原式拆成 $\log_8(x-3)+\log_8(x+1)$ 。原式只要求积正，拆出的两个实数对数却各自要求真数正，拆分会无依据地删掉左段。

本题结论

D， $(-\infty,-1)\cup(3,+\infty)$ 。

例题 06 同一参数同时进入底数和真数

题目

对数 ${\log }_{\left( a+3\right)}\left( 5-a\right)$ 中实数a的取值范围是（）

A． $\left( -\infty ,5\right)$ B． $\left( -3,5\right)$ C． $\left( -3,-2\right)\cup \left( -2,5\right)$ D． $\left( -3,+\infty \right)$

答案与解析

解析

分别列出三条必要条件，并同时满足：

a+3>0,\qquad a+3\ne1,\qquad5-a>0.

即 $a>-3,a\ne-2,a<5$ ，取交集得 $(-3,-2)\cup(-2,5)$ ，C正确。

A只留真数限制，包含非法的 $a\le-3$ 及−2；B没有排除−2；D没有保留真数限制，也包含−2。三个禁值各有理由：−3使底数0，−2使底数1，5使真数0，不是同一种边界。

本题结论

C， $(-3,-2)\cup(-2,5)$ 。