loga^b=lnb/lna,怎么证明的?