∵loga(b)=logb(a)
∴换底,可得：
(lnb)/(lna)=(lna)/(lnb)
ln²a=ln²b
(lna+lnb)(lna-lnb)=0
[ln(ab)][ln(a/b)]=0
∵a≠b
∴a/b≠1
∴ln(a/b)≠0
∴必有：ln(ab)=0
∴ab=1