对数与指数函数的求导

Derivative of Logarithm and Exponential Function

背景

在了解自然常数e与对数的历史背景之后，对其相关的问题有了兴趣。本文的根源来自对指数函数求导的困难.

指数求导遇到的困难

$$(a^x)' = \lim_{dx\to 0}\frac{a^{x+dx}-a^x}{dx} = \lim_{dx\to 0}a^x(\frac{a^{dx}-1}{dx})$$

对于$\lim_{dx\to 0}\frac{a^{dx}-1}{dx}$
无法转化成e的形式，通过表达式的可见，这也是指数函数在x=0处的导数.

指数函数的直接求导不成功，从它的反函数对数入手，让对数函数的变量为指数函数，于是有了对复合函数的求导。
所以顺带推导复合函数求导公式

后经过查阅，发现有网友已经化解了这个表达式。见 化解x=0导数

在对对数函数求导之前，先明确几个对数规律。

规律1

$$\log_BA = \frac{\ln A}{\ln B}$$

规律1证明

$$A = e^a \quad B = e^b$$

$$A = B^{\log_BA}$$

$$e^a = e^{b\log_BA}$$

$$a = b\log_BA$$

$$\log_BA = \frac{a}{b} =\frac{\ln A}{\ln B}$$

规律2

logAB=1