微积分-前置6（对数）

转换

$a^x=y⟺{\log }_{a}y=x$

定理

(a) ${\log }_{a}M+{\log }_{a}N={\log }_a(MN)$
(b) ${\log }_{a}M-{\log }_{a}N={\log }_a\frac{M}{N}$
(c) ${\log }_a{M}^n=n{\log }_{a}M$（推广形式：${\log }_{a^m}{M}^n=\frac{n}{m}{\log }_{a}M$）
(d) $a^{{\log }_{a}m}=m$

换底公式

(a) ${\log }_{a}b=\frac{{\log }_{c}b}{{\log }_{c}a}$（特别地，当 $c=b$ 时，$lo{g}_{a}b=\frac{1}{{\log }_{b}a}$）

证明

1. 定理(a)
   令 $x={\log }_{a}M,y={\log }_{a}N,z={\log }_{a}MN$
   可得：
   $a^x=M$
   $a^y=N$
   $a^z=MN$
   因此：$a^z=MN=a^x\times a^y=a^{x+y}$
   由此可得：$x+y=z$
   所以：${\log }_{a}M+{\log }_{a}N={\log }_a(MN)$
2. 定理(c)
   令 $x={\log }_a{M}^n,z=n{\log }_{a}M$
   可得：
   $a^x=M^n$
   $a^{\frac{z}{n}}=M\Rightarrow a^z=M^n$
   由此可得：$a^x=a^z\Rightarrow x=z$
   所以：${\log }_a{M}^n=n{\log }_{a}M$
3. 换底公式
   令 $x={\log }_{a}b,y={\log }_{c}b,z={\log }_{c}a$
   可得：
   $a^x=b$
   $c^y=b$
   $c^z=a\Rightarrow c^{xz}=a^x=b=c^y$
   由此可得： $xz=y\Rightarrow x=\frac{y}{z}$
   所以：${\log }_{a}b=\frac{{\log }_{c}b}{{\log }_{c}a}$