1. 对数公式推论的推导过程是从基本的对数定义出发，即：
如果a^x=b，那么x=log_a b
2. 从这个定义出发，可以推导出以下公式：
log_a (b^c) = c log_a b
3. 将上面的公式推广到多个变量的情况，可以得到：
log_a (b^c * d^e) = c log_a b + e log_a d
4. 将上面的公式推广到任意多个变量的情况，可以得到：
log_a (b_1^c_1 * b_2^c_2 * ... * b_n^c_n) = c_1 log_a b_1 + c_2 log_a b_2 + ... + c_n log_a b_n
5. 最后，将上面的公式简化，可以得到最终的对数公式：
log_a (b_1 * b_2 * ... * b_n) = log_a b_1 + log_a b_2 + ... + log_a b_n
用的是极限中的一个结论：x趋近于0时ln(1+x)和x是等价无穷小
。
h趋近于0时，ln(1+h/x)和h/x是等价无穷小。
例如:
对数函数
的推导需要利用反函数
的求导法则
指数函数
的求导，定义法：
f(x)=a^x
f'(x)=lim(detaX->0)[(f(x+detaX)-f(x))/detax]=lim(detaX->0)[(a^(x+detaX)-a^x/)detax]=(a^x).........
(x)=lim(h->0)[f(x+h)-f(x)]/h
=lim(h->0)[loga(x+h)-logax]/h
=lim(h->0)1/hloga[(x+h)/x]
=1/xIna
实数域
在实数域中，真数
式子没根号那就只要求真数式大于零，如果有根号，要求真数大于零还要保证根号里的式子大于等于零（若为负数，则值为虚数
），底数
则要大于0且不为1。
对数函数的底数为什么要大于0且不为1，在一个普通对数式里 a<0，或=1 的时候是会有相应b的值。但是，根据对数定义：log以a为底a的对数；如果a=1或=0那么log以a为底a的对数就可以等于一切实数（比如log11也可以等于2，3，4，5，等等）。
