对数转换同底公式证明

背景

看逻辑回归函数的发展过程，追溯到了指数函数，而指数函数最初是研究人口增长和时间关系了，里面提到增长率，而增长率又用微分函数来表示。但是我只记得导数也是代表斜率的，导数和微分的区别是什么呢？太久远了。

指数函数求导

直接找到近20年前的《高等数学》看看导数的定义，看到求指数函数的导数问题：
求函数 $f(x)=a^x（a>0,a\ne 1)$ 的导数。

根据导数定义：
$$\begin{array}{rl}{f}^{\prime }(x)& =\underset{x\to 0}{\lim }\frac{f(x+h)-f(x)}{h}\\ & =\underset{x\to 0}{\lim }\frac{a^{(x+h)}-a^x}{h}\\ & =\underset{x\to 0}{\lim }\frac{a^x{a}^h-a^x}{h}\\ & =a^x\underset{x\to 0}{\lim }\frac{a^h-1}{h}\\ & =a^{x}lna\end{array}$$

第（4）步计算导数的过程，令 $a^h-1=t$，则 $h=lo{g}_a(t+1)$。

当 $h\to 0$ 时，$t=a^0-1=0，即t\to 0$，将对 x 求极限等价转换对 t 求极限：
$$\begin{array}{rl}\underset{x\to 0}{\lim }\frac{a^h-1}{h}& =\underset{t\to 0}{\lim }\frac{t}{lo{g}_a(t+1)}\\ & =\underset{t\to 0}{\lim }\frac{1}{\frac{1}{t}lo{g}_a(t+1)}\\ & =\underset{t\to 0}{\lim }\frac{1}{lo{g}_a(t+1{)}^{\frac{1}{t}}}\\ & =\frac{1}{lo{g}_{a}e}\\ & =lna\end{array}$$

第 6 步到第 7 步变换是通过对分子分母同时除以 t 得到的，第 7 步到第 8 步用到了对数的特征 $lo{g}_a{M}^N=Nlo{g}_{a}M$。

第 8-10 步推导过程用到了自然数 e 的定义：
$$e=\underset{n\to \infty }{\lim }(1+\frac{1}{n}{)}^n$$

将公式 (8) 和自然数 e 的公式对比，令 $n=\frac{1}{t}$，因此公式(8) 的分母中的真数就为自然数 e，得到公式 （9） 了。

利用对数换底公式将公式（9）的分母换成同底 e。$lo{g}_{a}e=\frac{lo{g}_{e}e}{lo{g}_{e}a}=\frac{1}{lna}$。代入公式 （9）就得到公式 (10)。

为什么指数函数求导后最终有无理数的对数 $lna$ 的部分呢？这里用到了对数换底公式，将 $lo{g}_{a}e$ 换成自然对数 $ln$。为什么可以换底呢？

对数换同底证明方法一

对数有换底公式：
$$lo{g}_{a}b=\frac{lo{g}_{c}b}{lo{g}_{c}a}，取c=e，则lo{g}_{a}b=\frac{lnb}{lna}$$

这个换底公式怎么证明的呢？刷了两遍一个证明视频，自己理了一遍。

$$\begin{array}{r}1.lo{g}_{a}b=x\\ 2.lo{g}_{c}b=y\\ 3.lo{g}_{c}a=z\end{array}$$
换底公式就是要证明：$y=xz$，使用对数和指数的互逆性质和指数运算规则进行推导。

$$\begin{gathered} 4.a^x=b \\ 5.c^y=b \\ 6.c^z=a \\ 7.a^x=c^y \end{gathered}$$

由公式 4 和公式 5 得到等式 7 ，再对等式 6 左右两侧都进行 $y$ 次方：
$$9.(c^z{)}^y=a^y$$

根据指数乘法特点 $(c^z{)}^y=(c^y{)}^z$，替换公式9 的到：
$$10.(c^y{)}^z=a^y$$

用公式 7 替换公式 10 的到新的等式：
$$(a^x{)}^z=a^y$$
而 $(a^x{)}^z=a^{xz}=a^y$，因此得到 $y=xz$。

对数换同底证明方法二

根据文章发布后底部的推荐算法，看到了一个更完整的对数函数的概述《对数换底公式及推导证明》，还有一种更简单的推导方法，直接从定义和对数的特性进行推导。

启示录

发现捣鼓一下数学公式，还挺有意思的！甚至萌生了买一套高中数学书的想法，提前温故高中知识，为将来孩子上高中做准备……