Primero Probar y convencer a ti mismo que para $x> 0; y > 0; n > 0; n \ne 1$ entonces $x = y \iff \log_n x = \log_n y$.
Pf: Si $x = y$ entonces $f(x) = f(y)$ para todas las funciones $f$ lo $\log_n x = \log_n y$
Y si $\log_n x = \log_n y = k$ entonces $n^k = x$... y $n^k = y$. Por lo $x = y$.
(Para que esto sea aceptable es ESENCIAL que usted acepta por todos los $n > 0$ e $n \ne 1$ e $x$ luego no existe una única $k$ , de modo que $n^k = x$. Eso en realidad no es trivial y no debe ser tomado como obvio, pero es esencial que este ser demostrado y verificado por la mera definición de logaritmos para incluso tener sentido).
.....
Okays lo $a^{\log_b c} = c^{\log_b a} \iff \log_b (a^{\log_b c}) = \log_b (c^{\log_b a})$.
Y $\log_b (a^{\log_b c}) = \log_b c\log_b a$ (debido a $\log_n a^m = m\log_n a$).
Y $\log_b (c^{\log_b a})=\log_b a\log_b c$
Y es que.
....
Otra manera de pensar acerca de esto es:
$a^{\log_b c} = (b^{\log_b a})^{\log_b c} = b^{\log_b a\cdot \log_b c}=(b^{\log_b c})^{\log_b a} = c^{\log_b a}$.