sigmoid 函数与 logit 函数互为反函数 - 需要看的 幂的对数运算（4）

sigmoid 函数与 logit 函数互为反函数 - 需要看的 幂的对数运算（4）

flyfish

表述
对于任意正实数 $M>0$ 和任意实数 $k$，自然对数的幂运算法则满足：
$$k\cdot \ln (M)=\ln \left(M^k\right)$$
即：常数与对数的乘积，等于将该常数作为真数的指数，再取对数。
公式右边 $\ln (M^k)$ 是完整主体：整体是一个对数，对数的真数 $M^k$ 是一个幂的形式，所以叫幂的对数。

分步推导

1. 设辅助变量，将对数转化为指数形式
   设 $a=\ln (M)$。
   根据自然对数的定义，其等价的指数形式为：
   $$e^a=M$$

对数的定义：对数是指数的逆运算，$\ln (M)$ 就是求 $e$ 的多少次方等于 $M$。

2. 等式两边同时取 $k$ 次幂
   对等式 $e^a=M$ 左右两边同时取 $k$ 次方，等式仍然成立：
   $${\left(e^a\right)}^k=M^k$$

等式两边同时进行相同的乘方运算，等式保持成立。

3. 左边应用指数幂运算法则化简
   根据指数的幂运算法则（幂的乘方，底数不变，指数相乘），左边化简为：
   $${\left(e^a\right)}^k=e^{a\cdot k}$$
   代入原式得到：
   $$e^{a\cdot k}=M^k$$

指数幂运算法则 $(a^m{)}^n=a^{m\times n}$。

为什么 底数不变，指数相乘（2）

4. 等式两边同时取自然对数
   对等式左右两边同时取以 $e$ 为底的自然对数，等式仍然成立：
   $$\ln \left(e^{a\cdot k}\right)=\ln \left(M^k\right)$$

等式两边同时取相同底数的对数，等式保持成立。

5. 左边利用逆运算性质抵消
   根据对数与指数的互逆性质 $\ln (e^x)=x$，左边的对数和指数直接抵消：
   $$\ln \left(e^{a\cdot k}\right)=a\cdot k$$
   代入原式得到：
   $$a\cdot k=\ln \left(M^k\right)$$

为什么 对数与指数互为逆运算（1）

对数与指数互为逆运算，同底数的对数与指数先后作用相互抵消。

6. 代回原变量，得到最终结论
   将第一步中设的辅助变量 $a=\ln (M)$ 代入上式左边：
   $$k\cdot \ln (M)=\ln \left(M^k\right)$$

等量代换。

负系数的情况

为什么 x 的负一次方等于 x 分之一（3）

当 $k=-1$ 时，代入上述法则可得：
$$-\ln (M)=\ln \left(M^{-1}\right)$$
结合负指数幂的定义 $M^{-1}=\frac{1}{M}$（推导：由同底数幂除法 $\frac{a^0}{a^1}=a^{-1}$，即 $\frac{1}{a}=a^{-1}$），进一步得到：
$$-\ln (M)=\ln \left(\frac{1}{M}\right)$$