设 ,
则a^Y=M^n ,
则a^(Y/n)=M^(n/n)=M ,
则有logɑM=Y/n
即Y=nlogɑM
又logɑM^n=Y
所以logɑM^n=nlogɑM；
证毕