设
l
o
g
a
n
M
=
t
log_{a^n}M=t
loganM=t
根据对数定义:
a
n
t
=
M
a^{n^t}=M
ant=M
两边取对数:
l
o
g
a
log_{a}
loga
l
o
g
a
(
a
n
)
t
=
l
o
g
a
M
log_{a}{(a^n)}^t=log_{a} M
loga(an)t=logaM
根据对数的性质:
t
l
o
g
a
a
n
=
l
o
g
a
M
tlog_{a}a^{n}=log_{a}M
tlogaan=logaM
再有:
n
t
l
o
g
a
a
=
l
o
g
a
M
ntlog_{a}a=log_{a}M
ntlogaa=logaM
因为:
l
o
g
a
a
=
1
log_{a}a=1
logaa=1
所以:
t
=
1
n
l
o
g
a
M
t=\frac{1}{n}log_{a}M
t=n1logaM
l
o
g
a
n
M
=
1
n
l
o
g
a
M
log_{a^n}M=\frac{1}{n}log_{a}M
loganM=n1logaM
思考:
为什么不能:
l
o
g
a
(
a
)
n
t
=
l
o
g
a
M
log_{a}{(a)^n}^t=log_{a} M
loga(a)nt=logaM
进而推出:
n
t
l
o
g
a
(
a
)
=
l
o
g
a
M
n^tlog_{a}(a)=log_{a} M
ntloga(a)=logaM
我认为是因为
(
a
n
)
t
{(a^n)}^t
(an)t并不等同于
(
a
)
n
t
{(a)^n}^t
(a)nt
指数幂的结合性是从左到右的。