lg公式运算法则：lnx+lny=lnxy，lnx-lny=ln(x/y)，lnxⁿ=nlnx，ln(ⁿ√x)=lnx/n，lne=1，ln1=0。

对数公式的运算法则

对数公式性质

基本知识

恒等式及证明

a^log(a)(N)=N (a>0 ，a≠1）

推导：log(a) (a^N)=N恒等式证明

在a>0且a≠1，N>0时

设：当log(a)(N)=t，满足(t∈R)

则有a^t=N;

a^(log(a)(N))=a^t=N;

证明完毕。