幂、指数与对数函数的大小比较

系统整理幂的大小比较、指数函数的单调性以及对数函数的定义域与大小比较，归纳同底、同指数、换底和数形结合等常用方法。

1. 知识结构

Mindmap比较大小的主线

幂的大小比较
- 同底数
- 同指数
- 底数与指数都不同
- 转化为同底或同指数
指数函数
- 定义域和值域
- 底数分类
- 单调性
对数函数
- 真数与底数条件
- 定义域
- 底数分类
- 大小比较

2. 幂的大小比较

2.1 同底数幂

当底数 $a > 1$ 时，指数越大，幂越大：

x_{1} < x_{2} ⟹ a^{x_{1}} < a^{x_{2}}

当 $0 < a < 1$ 时，指数越大，幂越小：

x_{1} < x_{2} ⟹ a^{x_{1}} > a^{x_{2}}

定理同底数幂的比较Theorem

设 $a > 0$ 且 $a \neq = 1$ 。比较 $a^{m}$ 与 $a^{n}$ 时，先比较指数 $m, n$ ；若 $a > 1$ ，不等号方向不变，若 $0 < a < 1$ ，不等号方向改变。

2.2 同指数幂

当指数为正数 $r > 0$ 时，底数越大，幂越大：

0 < a < b ⟹ a^{r} < b^{r}

当指数为负数 $r < 0$ 时，底数越大，幂越小：

0 < a < b ⟹ a^{r} > b^{r}

当指数为零时，只要底数非零，就有：

a^{0} = b^{0} = 1

2.3 底数和指数都不同时

底数和指数都不同，不能直接比较底数或指数。常用策略如下：

化同底：利用平方、立方、分数指数或换底，把两式化为同一底数的幂。
化同指数：利用开方、乘方或提取公因指数，把两式化为同一指数的幂。
取对数：两边均为正时，对不等式两边取同一个底数的对数。
构造函数：把比较转化为指数函数、对数函数或差函数的单调性问题。

3. 指数函数的单调性

3.1 定义与基本性质

指数函数是：

y = a^{x}

其中：

a > 0, a \neq = 1

条件	定义域	值域	单调性
$a > 1$	$R$	$(0, + \infty)$	在 $R$ 上严格递增
$0 < a < 1$	$R$	$(0, + \infty)$	在 $R$ 上严格递减

并且：

a^{0} = 1, a^{x} > 0

定义指数函数Definition

给定常数 $a > 0$ 且 $a \neq = 1$ ，函数 $f (x) = a^{x}$ 称为指数函数。

Important指数函数比较口诀

底数大于 $1$ ，指数越大函数值越大；底数在 $0$ 和 $1$ 之间，指数越大函数值越小。

3.2 利用图像或单调性比较

若 $a > 1$ ：

a^{u} > a^{v} ⟺ u > v

若 $0 < a < 1$ ：

a^{u} > a^{v} ⟺ u < v

3.3 指数式的变形

比较中常用：

a^{x + y} = a^{x} a^{y}

a^{x - y} = \frac{a ^{x}}{a ^{y}}

(a^{x})^{r} = a^{x r}

a^{- x} = \frac{1}{a ^{x}}

当底数不便统一时，可以先将根式写成分数指数：

n a^{m} = a^{\frac{m}{n}}

4. 对数函数的定义域

4.1 对数的定义

若：

a > 0, a \neq = 1, N > 0

且：

a^{b} = N

则称 $b$ 是以 $a$ 为底 $N$ 的对数，记作：

lo g_{a} N = b

定义对数的三项条件Definition

$lo g_{a} N$ 有意义必须同时满足：

a > 0, a \neq = 1, N > 0

其中 $a$ 是底数， $N$ 是真数。

4.2 对数函数的定义域和值域

对数函数：

y = lo g_{a} x

的定义域和值域为：

D = (0, + \infty), R = R

其图像恒过点：

(1, 0)

并且：

当 $a > 1$ 时， $y = lo g_{a} x$ 在 $(0, + \infty)$ 上严格递增；
当 $0 < a < 1$ 时， $y = lo g_{a} x$ 在 $(0, + \infty)$ 上严格递减；
$x = 0$ 是其竖直渐近线。

方法含对数式的定义域Method

求含对数式的定义域时，先列出每一个对数的条件：

每个底数都满足 $a > 0$ 且 $a \neq = 1$ ；
每个真数都严格大于 $0$ ；
分母不能为 $0$ ；
偶次根式内的式子满足非负条件。

最后取所有条件的交集。

5. 对数函数的大小比较

5.1 同底数对数

当 $a > 1$ 时：

x_{1} < x_{2} ⟹ lo g_{a} x_{1} < lo g_{a} x_{2}

当 $0 < a < 1$ 时：

x_{1} < x_{2} ⟹ lo g_{a} x_{1} > lo g_{a} x_{2}

这里必须先确认：

x_{1} > 0, x_{2} > 0

5.2 同真数对数

对同一个真数 $x > 0$ ，可利用换底公式：

lo g_{a} x = \frac{ln x}{ln a}

由于 $ln x$ 的正负会影响结果，需要分类讨论：

当 $x > 1$ 时， $ln x > 0$ ，底数越大， $lo g_{a} x$ 越小；
当 $0 < x < 1$ 时， $ln x < 0$ ，底数越大， $lo g_{a} x$ 越大；
当 $x = 1$ 时，对任意合法底数都有 $lo g_{a} 1 = 0$ 。

5.3 对数与常数比较

常用特殊值：

lo g_{a} 1 = 0, lo g_{a} a = 1, lo g_{a} (a^{r}) = r

比较 $lo g_{a} x$ 与 $0$ 、 $1$ 时，可先把它们写成同底对数：

0 = lo g_{a} 1, 1 = lo g_{a} a

再根据底数范围判断单调性。

5.4 不能直接比较时

当底数和真数都不同，可采用：

统一底数：使用换底公式，比较分式。
统一真数：把真数写成同一个数的幂。
转成指数式：令 $y = lo g_{a} x$ ，得到 $a^{y} = x$ 。
利用函数图像：比较同一函数在两个自变量处的函数值。
取自然对数：对正数两边取 $l n$ ，再比较 $l n$ 的结果。

6. 在定积分比较大小中的使用

设在区间 $[a, b]$ 上函数可积。定积分比较大小的核心是先比较被积函数，再利用积分的保序性。

定理定积分的保序性Theorem

若在 $[a, b]$ 上有 $f (x) \leq g (x)$ ，则：

\int_{a}^{b} f (x) d x \leq \int_{a}^{b} g (x) d x

若严格不等式在除有限个点外成立，且两函数可积，则积分也通常严格不等。

6.1 用幂的单调性比较被积函数

对 $u (x), v (x) > 0$ ：指数 $r > 0$ 时， $u < v$ 推出 $u^{r} < v^{r}$ ；指数 $r < 0$ 时不等号反向。分数指数先确认底数非负，负指数还要排除底数为零。

6.2 用指数函数单调性比较被积函数

对 $a^{u (x)}$ 与 $a^{v (x)}$ ：当 $a > 1$ 时指数大小规律保持；当 $0 < a < 1$ 时指数大小规律反向。指数函数始终为正，但取倒数会改变不等号方向。

6.3 用对数函数单调性比较被积函数

使用 $lo g_{a} u (x)$ 必须满足 $a > 0$ 、 $a \neq = 1$ 、 $u (x) > 0$ 。当 $a > 1$ 时真数大小规律保持；当 $0 < a < 1$ 时真数大小规律反向。对数在分母中时还要排除 $u (x) = 1$ 。

6.4 乘以非负函数

若 $f (x) \leq g (x)$ 且 $h (x) \geq 0$ ，则 $h (x) f (x) \leq h (x) g (x)$ ，因此可以直接积分比较。若 $h (x)$ 可能为负，必须按符号分区间讨论。

6.5 定积分比较流程

确认被积函数在积分区间上有定义且可积。
检查底数、真数、幂指数和乘数的符号。
使用幂、指数函数或对数函数的单调性比较函数值。
处理倒数、负数乘法等会改变方向的步骤。
应用定积分的保序性得到积分关系。

7. 指数与对数的互化

指数式和对数式是等价的：

a^{b} = N ⟺ lo g_{a} N = b

常用运算律：

lo g_{a} (M N) = lo g_{a} M + lo g_{a} N

lo g_{a} \frac{M}{N} = lo g_{a} M - lo g_{a} N

lo g_{a} (M^{r}) = r lo g_{a} M

lo g_{a} b = \frac{1}{lo g _{b} a}

lo g_{a} b \cdot lo g_{b} c = lo g_{a} c

Formula换底公式

lo g_{a} b = \frac{lo g _{c} b}{lo g _{c} a} (c > 0, c \neq = 1)

8. 一页速查

三类问题的判断表

问题	先检查	核心规则
$a^{u}$ 与 $a^{v}$ 比较	$a$ 的范围	$a > 1$ 同向； $0 < a < 1$ 反向
$a^{x}$ 的单调性	$a$ 的范围	$a > 1$ 增； $0 < a < 1$ 减
$lo g_{a} x$ 的定义域	底数和真数	$a > 0, a \neq = 1, x > 0$
$lo g_{a} x$ 的单调性	$a$ 的范围	$a > 1$ 增； $0 < a < 1$ 减
$lo g_{a} u$ 与 $lo g_{a} v$ 比较	$u, v > 0$	依据对数函数单调性
不同底不同真数	正值条件	换底、转指数或构造函数

Important最终检查顺序

做大小比较题时，先看定义域，再看底数范围，最后选择同底、同指数、换底或函数单调性。任何一步都不能省略。