对数换底公式是一个数学公式，用于将一个对数从一个底数转换为另一个底数。具体来说，换底公式如下：
```
loga（b） = logc（b） / logc（a）
```
其中，`a`、`b` 和 `c` 是正数，并且 `a` 不等于 1，`c` 不等于 1。这个公式表明，任何以 `a` 为底的对数 `loga（b）` 可以通过除以以 `c` 为底的对数 `logc（a）` 来转换为以 `c` 为底的对数 `logc（b）`。
换底公式的推导基于对数的定义和指数的性质。如果 `a^t = b`，那么 `t` 就是 `b` 以 `a` 为底的对数，记作 `t = loga（b）`。如果我们将 `a^t = b` 两边同时取以 `c` 为底的对数，我们得到 `logc（a^t） = logc（b）`。根据对数的指数法则，`logc（a^t）` 可以写为 `t * logc（a）`，因此 `t * logc（a） = logc（b）`。由于 `t = loga（b）`，我们可以将 `t` 替换回去，得到 `loga（b） = logc（b） / logc（a）`。
换底公式在数学、科学、工程和计算机科学等领域都有广泛的应用，因为它允许对数以不同的底进行计算，简化了计算过程并使得对数方程的求解变得更加容易