Change of Base of Logarithm/Proof 2

Proof
We begin with an equation that relates two exponentials with two different bases, $a$ and $b$, both positive and neither equal to one:
 * $b^y = a^z$

Randomly select and solve for one of the bases. If $b$ is selected:
 * $b=a^{z/y}$

Take the logarithm of both sides, randomly taking the logarithm's base to be either $a$ or $b$. If $a$ is selected:

Now define $x = b^y = a^z$, and note that:

Substituting these values of $y$ and $z$ into our expression, $\log_a b=z/y$, yields the desired version of the change-of-base formula:


 * $\log_a b = \dfrac {\log_a x} {\log_b x} \implies \log_b x = \dfrac {\log_a x} {\log_a b}$

Other choices involving $a$ and $b$
This proof achieved the desired result only because two consecutive decisions were made regarding the selection of $a$ or $b$. Fortunately, there is little reason to remember these choices, provided the goal is to derive a useful formula. Suppose, for example, that we chose to solve for $b=a^{z/y}$, but instead take the logarithm of both sides at base $b$ instead of $a$. A slightly different change-of-base formula would be obtained:
 * $\log_b b=1=\log_b\left(a^{z/y}\right)= \dfrac{\log_a x}{\log_b x}\log_b a \implies \log_b x = (\log_b a)\cdot(\log_a x)$

Both formulas are useful, since:
 * $\left(\log_a b\right)\cdot\left(\log_b a\right)=1$

To understand why this identity is important, imagine that you are converting between base-2 and base-10, and have a numerical value for $\log_{10}2$, while your change-of-base formula involves $\log_2 10.$