复对数乘以实标量的周期性疑问：关于证明ln(i³)=3·ln(i)的困惑

嘿，你的观察非常敏锐——这确实触及了复对数多值性的核心细节，很多初学者都会在这里卡壳。咱们一步步拆解清楚：

首先，明确问题里的定义：这里的$\text{ln}(z)$是多值复对数，定义为$\text{ln}(z) = \text{log}_e|z| + i\cdot\text{arg}(z)$，其中$\text{arg}(z)$表示复数z的所有辐角，即$\text{arg}(z) = \theta + 2n\pi$（$n\in\mathbb{Z}$，$\theta$是某个主值辐角）。

先重新梳理两边的取值集合：

• 计算$i^3$：$i^3 = -i$，它的模$|i^3|=1$，所以$\text{log}_e|i^3|=0$。$-i$的辐角集合是$\text{arg}(-i) = -\frac{\pi}{2} + 2n\pi$（$n\in\mathbb{Z}$），也可以等价写成$\frac{3\pi}{2} + 2m\pi$（因为$-\frac{\pi}{2} + 2\pi = \frac{3\pi}{2}$，这里$m = n-1$，同样是整数）。因此$\text{ln}(i^3)$的所有值构成的集合是：
  $\{ i\cdot(-\frac{\pi}{2} + 2n\pi) \mid n\in\mathbb{Z} \} = \{ i\cdot(\frac{3\pi}{2} + 2m\pi) \mid m\in\mathbb{Z} \}$
• 计算$3\cdot\text{ln}(i)$：$i$的辐角集合是$\text{arg}(i) = \frac{\pi}{2} + 2k\pi$（$k\in\mathbb{Z}$），所以$\text{ln}(i) = i\cdot(\frac{\pi}{2} + 2k\pi)$，乘以3后得到：
  $3\cdot\text{ln}(i) = \{ i\cdot(\frac{3\pi}{2} + 6k\pi) \mid k\in\mathbb{Z} \}$

现在对比两个集合：

• $\text{ln}(i^3)$的取值是$i\cdot(\frac{3\pi}{2} + 2t\pi)$，其中t可以是任意整数，所以取值包括..., -\frac{5\pi}{2}i, -\frac{\pi}{2}i, \frac{3\pi}{2}i, \frac{7\pi}{2}i, \frac{11\pi}{2}i, ...$
• $3\cdot\text{ln}(i)$的取值是$i\cdot(\frac{3\pi}{2} + 6k\pi)$，其中k是任意整数，取值是..., -\frac{9\pi}{2}i, \frac{3\pi}{2}i, \frac{15\pi}{2}i, ...$

你说得完全没错：$3\cdot\text{ln}(i)$的所有值都在$\text{ln}(i^3)$的集合里，但反过来，$\text{ln}(i^3)$有很多值（比如$-\frac{\pi}{2}i$、$\frac{7\pi}{2}i$）是$3\cdot\text{ln}(i)$取不到的。那问题要求证明$\text{ln}(i^3)=3\cdot\text{ln}(i)$，到底是怎么回事？

这里有两种常见的解释：

1. 问题中的$\text{ln}$指主值对数：如果把$\text{ln}$限定为主值复对数（通常记作$\text{Ln}(z)$，辐角取特定范围，比如$(-\pi, \pi]$或$[0, 2\pi)$），结果会因主值范围定义不同而变化：
   • 若主值辐角取$(-\pi, \pi]$，$\text{Ln}(i)=i\frac{\pi}{2}$，$3\text{Ln}(i)=i\frac{3\pi}{2}$；但$\text{Ln}(i^3)=\text{Ln}(-i)=-i\frac{\pi}{2}$，此时不相等。
   • 若主值辐角取$[0, 2\pi)$，$\text{Ln}(-i)=i\frac{3\pi}{2}$，和$3\text{Ln}(i)$完全相等，这可能是问题默认的设定。
2. 问题表述的是“分支对应下的存在性”：有些入门教材会简化多值性的讨论，这里的等式实际是指：对于$\text{ln}(i^3)$的任意一个值，都存在$\text{ln}(i)$的某个值使得等式成立（虽然反过来不成立）。或者更严谨地说，$3\cdot\text{ln}(i)$的值集是$\text{ln}(i^3)$的值集的子集——这是因为给复对数乘以整数后，辐角的周期从$2\pi$变为$6\pi$，相当于只取了原多值函数的部分分支。

其实你的困惑恰恰说明你真正理解了复对数的多值本质，这是非常关键的一步！很多初学者容易忽略多值函数的“集合相等”和“单点相等”的区别，你能注意到这一点，已经比大多数人走得更深了。

备注：内容来源于stack exchange，提问作者Conor_Meise