对数换底公式的严谨推导

对数的两个基本性质：幂法则与换底公式的推导

1. 对数的幂法则

定理表述

$\log_a (b^c) = c \cdot \log_a b$

其中 $a, b > 0$，$a \neq 1$，$c \in \mathbb{R}$。

推导过程

步骤 1：设变量
令 $x = \log_a b$
根据对数定义：

$a^x = b$

步骤 2：两边取 $c$ 次幂

$(a^x)^c = b^c$

利用指数法则 $(a^x)^c = a^{xc}$：

$a^{xc} = b^c$

步骤 3：再用对数定义
由 $a^{xc} = b^c$ 可得：

$xc = \log_a (b^c)$

步骤 4：代回 $x$
因为 $x = \log_a b$，所以：

$(\log_a b) \cdot c = \log_a (b^c)$

即：

$\log_a (b^c) = c \cdot \log_a b$

---

2. 对数的换底公式

定理表述

$\log_a b = \frac{\log_c b}{\log_c a}$

其中 $a, b, c > 0$，且 $a \neq 1, c \neq 1$。

推导过程

步骤 1：设变量
令 $x = \log_a b$
根据对数定义：

$a^x = b$

步骤 2：两边取以 $c$ 为底的对数

$\log_c (a^x) = \log_c b$

步骤 3：应用幂法则
这正是我们刚刚证明的幂法则！左边变为：

$x \cdot \log_c a = \log_c b$

步骤 4：解出 $x$

$x = \frac{\log_c b}{\log_c a}$

步骤 5：代回原变量

$\log_a b = \frac{\log_c b}{\log_c a}$

---

3. 两个公式的内在联系

从推导过程中我们可以看到这两个公式之间的深刻联系：

1. 推导顺序：我们先证明了幂法则，然后在推导换底公式时直接使用了幂法则。

2. 依赖关系：

   $\text{换底公式的推导} \Rightarrow \text{需要用到幂法则}$

3. 内在逻辑：幂法则是更基本的性质，它来源于对数和指数的基本定义；而换底公式则是幂法则的一个巧妙应用。

推导关系图

对数定义 → 幂法则 → 换底公式

---

总结

通过从最基本的对数定义出发，我们：

1. 首先推导出幂法则 $\log_a (b^c) = c \cdot \log_a b$
2. 然后利用幂法则推导出换底公式 $\log_a b = \frac{\log_c b}{\log_c a}$