Ответ:
Пусть \(x=\log_{a^k}b\). По определению логарифма \(b=(a^k)^x=a^{kx}\), поэтому \(\log_ab=kx\).
Подставляя \(x=\log_{a^k}b\), получаем \(\log_ab=k\log_{a^k}b\). Делим обе части на \(k\), что допустимо, поскольку \(k\ne0\):
\[\log_{a^k}b=\frac{1}{k}\log_ab.\]
