引理
logmn=1lognm
证
∵m=nlognm
∴logmn=lognlognmn=1lognm∗lognn=1lognm
下证
logmn=logtnlogtm
logmn ⇔ mlogmn=logtnlogtm=mlogtnlogtm
LHS RHS =n=mlogmt⋅logtn(由引理)=tlogtn=n
∴LHS=RHS
则 logmn=1lognm■