(1)

両辺に\(\log\)を作用させると成り立っている。

(2)

両辺に\(\log_{b}\)を作用させると成り立っている。

(3)

\begin{align*} a^{\log_{b}c} & =c^{\left(\log_{c}a\right)\log_{b}c}\\ & =c^{\frac{\log_{c}a}{\log_{c}b}}\\ & =c^{\log_{b}a} \end{align*}