ThmDex – An index of mathematical definitions, results, and conjectures.
P3309
Directly from the definitions, we have \begin{equation} \frac{\log_b x}{\log_b a} = \frac{\frac{\log_e x}{\log_e b}}{\frac{\log_e a}{\log_e b}} = \frac{\log_e x}{\log_e a} = \log_a x \end{equation} $\square$