对数基本定理及应用

• 对数函数在实际计算机计算时的重要意义在于，使乘除转换为加减的形式；

1、证明

1. case 1

$$\log_A^B=\frac{\log_C^B}{\log_C^A}$$

证：令 $X=\log_C^B,Y=\log_C^A,Z=\log_A^B$，则根据对数定义可知，

$$C^X=B\\ C^Y=A\\ A^Z=B$$
所以得， $X=YZ$，得证；

2. case 2

$$\log{AB}=\log{A}+\log{B}$$

同理也是令，$X=\log{A},Y=\log{B},Z=\log{AB}$，则得：

$$A=C^X\\ B=C^Y\\ AB=C^Z$$
所以， $Z=X+Y$。

3. case 3

$$\log X < X$$

分 $0<X<1$，$X=1$，$1<X$ 三种情况；

这里不妨提供另外的证明方法，使用泰勒展开：

$$\ln(x)\leq \ln(1+x)=x-\frac{x^2}2+o(x^2)< x$$

4. case 4

$$\log_a^b\cdot \log_b^c=\log_a^c$$

证明：根据 case 1 的证明可令，$\log_a^b=\frac{\log_d^b}{\log_d^a}$，同理，$\log_b^c=\frac{\log_d^c}{\log_d^b}$，

所以有：

$$\log_a^b\cdot \log_b^c=\frac{\log_d^b}{\log_d^a}\cdot \frac{\log_d^c}{\log_d^b}=\frac{\log_d^c}{\log_d^a}=\log_a^c$$

2、简单应用

$$\log_3(n!)=\log_3 e\ln(n!)$$

$$x=10^{\log_{10}x}\\ x=2^{\log_2x}$$

证明方法，只需两边同时取对数；

所以 $\log_{10}x$（取整再加一） 即为该数 $x$ 十进制下的位数；

3. 泰勒展开与常见不等式

当 $|x|<1$ 时，$\ln(1+x)$ 存在一种简单的级数展开：

$$\ln(1+x)=x-\frac{x^2}2+\frac{x^3}3-\frac{x^4}4+\frac{x^5}5+\cdots$$

则：$\ln(2)=\ln(1+1)=1-\frac12+\frac13-\frac14+\frac15+\cdots$

对 $x>-1$，还有下面的不等式：

$$\frac{x}{1+x}\leq \ln(1+x) \leq x$$
（对 $\ln(1+x)$ 进行二阶泰勒展开即可得证）当且仅对 $x=0$ 等号成立。

4. 对数与自然对数

对数 $\log$ 出现的场景有两个：

• （1）建立映射，转换range（区间），可以避免浮点数的下溢（1-100 ⇒ 1-2）
• （2）将乘法转化为加法

而自然对数 $\ln$ 则是在此基础上，简化求导，自然对数的求导极为简单：

$$\left(\ln f(x)\right)'=\frac1{f(x)}f(x)'$$