loga(mn)=logam+logan,这对数怎么推导出来的