$log_ab^x=t$ olsun.
bu durumda
$a^t=b^x$ elde edilir.
her iki tarafın $x.$ mertebeden kökünü alırsak
$a^{\frac{t}{x}}=b \Rightarrow log_ab=\frac{t}{x} \Rightarrow t=xlog_ab$ elde edilir.
benzer şekilde $log_{a^{x}}b=k$ olsun.
bu durumda
$( a^x)^k=b \Rightarrow (a^k)^x=b$ elde edilir.
her iki tarafın $x.$ mertebeden kökü alınırsa
$a^k=b^{\frac{1}{x}} \Rightarrow log_ab^{\frac{1}{x}}=k$
burdan da üstteki ispat gereği
$ log_ab^{\frac{1}{x}}=\frac{1}{x}log_ab=k \Rightarrow log_{a^{x}}b= \frac{1}{x}log_ab $ elde edilir.