对数运算性质3的推导用^表示乘方,用log(a)(b)表示以a为底,b的对数log(a)(M^n)=nlog(a)(M)