手机用户
loga（mn）=logam+logan证明：设logam=p，logan=q，由对数的定义可以写成m=ap，n=aq．所以m·n=ap·aq=ap+q，所以loga（m·n）=p+q=logam+logan．即loga（mn）=logam+logan．每个对数都有意义，即m＞0，n＞0；a＞0且a≠1．除法一样证，谢谢附证明logamn(指数）=nlogamlogam=x，logan=y得a^x=m，a^y=n∴mn=a^xa^y=a^(x+y)得x+y=loga(mn)，即logam+logan=logamn设logam=x，即a^x=m，得(a^x)n=m^n，即a^（nx）=m^n∴loga^m（^n）=nx=nlogam得证 
用^表示乘方，用log(a)(b)表示以a为底，b的对数 *表示乘号，/表示除号 定义式： 若a^n=b(a>0且a≠1) 则n=log(a)(b) 基本性质： a^(log(a)(b))=b log(a)(MN)=log(a)(M)+log(a)(N); log(a)(M/N)=log(a)(M)-log(a)(N); log(a)(M^n)=nlog(a)(M) 推导 这个就不用推了吧，直接由定义式可得(把定义式中的[n=log(a)(b)]带入a^n=b) MN=M*N 由基本性质1(换掉M和N) a^[log(a)(MN)] = a^[log(a)(M)] * a^[log(a)(N)] 由指数的性质 a^[log(a)(MN)] = a^{[log(a)(M)] + [log(a)(N)]} 又因为指数函数是单调函数，所以 log(a)(MN) = log(a)(M) + log(a)(N) 与2类似处理 MN=M/N 由基本性质1(换掉M和N) a^[log(a)(M/N)] = a^[log(a)(M)] / a^[log(a)(N)] 由指数的性质 a^[log(a)(M/N)] = a^{[log(a)(M)] - [log(a)(N)]} 又因为指数函数是单调函数，所以 log(a)(M/N) = log(a)(M) - log(a)(N) 与2类似处理 M^n=M^n 由基本性质1(换掉M) a^[log(a)(M^n)] = {a^[log(a)(M)]}^n 由指数的性质 a^[log(a)(M^n)] = a^{[log(a)(M)]*n} 又因为指数函数是单调函数，所以 log(a)(M^n)=nlog(a)(M) 其他性质： 性质一：换底公式 log(a)(N)=log(b)(N) / log(b)(a) 推导如下 N = a^[log(a)(N)] a = b^[log(b)(a)] 综合两式可得 N = {b^[log(b)(a)]}^[log(a)(N)] = b^{[log(a)(N)]*[log(b)(a)]} 又因为N=b^[log(b)(N)] 所以 b^[log(b)(N)] = b^{[log(a)(N)]*[log(b)(a)]} 所以 log(b)(N) = [log(a)(N)]*[log(b)(a)] {这步不明白或有疑问看上面的} 所以log(a)(N)=log(b)(N) / log(b)(a) 性质二：（不知道什么名字） log(a^n)(b^m)=m/n*[log(a)(b)] 推导如下 由换底公式[lnx是log(e)(x)，e称作自然对数的底] log(a^n)(b^m)=ln(a^n) / ln(b^n) 由基本性质4可得 log(a^n)(b^m) = [n*ln(a)] / [m*ln(b)] = (m/n)*{[ln(a)] / [ln(b)]} 再由换底公式 log(a^n)(b^m)=m/n*[log(a)(b)] 累死了……
对数换底公式推导是若有对数log（a）（b）设a=n^x，b=n^y。则log（a）（b）=log（n^x）(n^y)。换底公式是高中数学常用对数运算公式，可将多异底对数式转化为同底对数式，结合其他的对数运算公式一起使用。计算中常常会减少计算的难度，更迅速的解决高中范围的对数运算。对数在工程技术的应用：在工程技术中，换底公式也是经常用到的公式。例如，在编程语言中，有些编程语言（例如C语言）没有以a为底b为真数的对数函数，只有以常用对数（即以10为底的对数）或自然对数（即e为底的对数）。此时就要用到换底公式来换成以e或者10为底的对数，表示出以a为底b为真数的对数表达式，从而处理某些实际问题。
