a^loga(mn)=mn; a^(logam+logan)=(a^logam)(a^logan)=mn; 即a^loga(mn)=a^(logam+logan)； 故loga(mn)=logam+logan
设n=10，m=100，a=10验证lg(10*100)=lg10+log100=3以后遇到此类公式有疑问统一代入确切数值验证
