如何证明这个对数换底公式的推论a^logc b=b^logc a(a>0,b>0,c>0,c≠1)