对数的定义及其性质

1. 定义

若$a^b=N(a>0且a\neq 1)$，则称$b$为以$a$为底$N$的对数，记作$\log_a^N=b$，$a$叫做对数的底数，$N$叫做真数。

注意：①$a$的取值范围
②表示底数、指数、幂的关系的三种形式
e.g. 底数为2，指数为5，幂为32的三种表示：
A. $2^5=32$ （底数+指数$\rightarrow$幂）
B. $\log_2^{32}=5$（底数+幂$\rightarrow$指数）
C. $\sqrt[5]{32}=2$（指数+幂$\rightarrow$底数）

一般地，我们记$\log_{10}^n$为$\log n$或者$\lg n$，记$\log_e^n$为$\ln n$。

2. 基本性质

①$N>0$

②$\log_a^1=0$
证明：设$x=\log_a^1$
$\therefore a^x=1$
$\because a\neq 1$
$\therefore x=0$
$\therefore \log_a^1=0$

③$\log_a^a=1$
证明：设$x=\log_a^a$
$\therefore a^x=a$
$\because a\neq 1$
$\therefore x=1$
$\therefore log_a^a=1$

⑤$a^{\log_a^n}=n$
证明：设$x=\log_a^n$
$\therefore a^x=n$
将$x=\log_a^n$代入$a^x=n$，
得$a^{\log_a^n}=n$，证毕。

④$\log_a^{a^x}=x$
证明：设$n=a^x$
$\therefore \log_a^n=x$
$\therefore log_a^{a^x}=x$

3. 运算性质

若$a>0，a\neq 1，M>0，N>0$，则

①$\log_a^{M\times N}=\log_a^M+\log_a^N$
证明：
设$m=\log_a^M$，$n=\log_a^N$
$\therefore a^m=M,a^n=N$
$\therefore a^{m+n}=M\times N$
$\therefore \log_a^{M\times N}=m+n=\log_a^M+\log_a^N$

②$\log_a^{M\over N}=\log_a^M-\log_a^N$
证明：
设$m=\log_a^M$，$n=\log_a^N$
$\therefore a^m=M,a^n=N$
$\therefore {M\over N}={a^m\over {a^n}}=a^{m-n}$
$\therefore log_a^{M\over N}=m-n=\log_a^M-\log_a^N$

③$log_a^{(M^N)}=N\times log_a^M$
证明：$\log_a^{M^N}=log_a^{M*M...*M}=n log_a^M$

④换底公式：$\log_M^N={\log_a^M\over {\log_a^N}}$
证明：设$n=\log_a^N$，$m=\log_a^M$
$\therefore a^n=N,a^m=M$
$\therefore N=a^n=a^{m\times {n\over m}}={(a^m)}^{n\over m}=M^{n\over m}$
$\therefore \log_M^N={n\over m}={log_a^N\over log_a^M}$