下列命题中正确的是()A 对任意复数zneq0,infty，ln z^2=2ln zB 对任意复数zneq0,infty，overline(ln z)=ln overline(z)C 在复数域中，(a^b)^c=a^bcD 对任意复数zneq0,infty，ln(-z)=ln z

我们来逐个分析这四个关于复数对数和幂运算的命题，判断哪一个在复数域中是恒成立的。

背景知识回顾：复数对数的定义

在复数域中，对数函数是多值函数。对于复数 $ z \neq 0 $，定义：

$\ln z = \ln|z| + i\arg z$

其中，$\arg z$ 是 $z$ 的辐角，是多值的：$\arg z = \theta + 2k\pi i$，$k \in \mathbb{Z}$。因此，$\ln z$ 也是多值的。

通常我们取主值（principal value），记作 $\text{Log}\,z = \ln|z| + i\text{Arg}\,z$，其中 $\text{Arg}\,z \in (-\pi, \pi]$。

但题目中写的是 $\ln z$，未说明是主值，因此我们应理解为多值函数。

选项 A：对任意复数 $z \neq 0, \infty$，$\ln z^2 = 2\ln z$

我们来分析这个等式是否成立。

左边：
$\ln z^2 = \ln|z^2| + i\arg(z^2) = \ln(|z|^2) + i\arg(z^2) = 2\ln|z| + i(\arg z^2)$
而 $\arg(z^2) = 2\arg z + 2k\pi$（因为辐角是模 $2\pi$ 的），但由于是多值函数，$\arg(z^2)$ 的取值是 $2\arg z$ 的所有可能值。

右边：
$2\ln z = 2(\ln|z| + i\arg z) = 2\ln|z| + 2i\arg z$

所以：

• $\ln z^2$ 的值是：$2\ln|z| + i(2\arg z + 2k\pi)$，$k \in \mathbb{Z}$
• $2\ln z$ 的值是：$2\ln|z| + i(2\arg z + 4k\pi)$，因为 $\arg z$ 本身有 $2k\pi$ 的差异，乘以 2 后是 $4k\pi$

注意：$\ln z^2$ 的虚部相差 $2\pi$ 的整数倍，而 $2\ln z$ 的虚部相差 $4\pi$ 的整数倍。

举个例子：设 $z = -1$，则：

• $z^2 = 1$，$\ln z^2 = \ln 1 = 0 + i(0 + 2k\pi) = 2k\pi i$
• $\ln z = \ln(-1) = i(\pi + 2k\pi) = i(2k+1)\pi$
• $2\ln z = 2i(2k+1)\pi = i(4k+2)\pi$

所以 $2\ln z$ 的值是 $i(2\pi), i(6\pi), i(-2\pi), \dots$，即虚部是 $2\pi$ 的偶数倍

而 $\ln z^2 = \ln 1 = 2k\pi i$，虚部是 $2\pi$ 的任意整数倍

所以 $\ln z^2$ 包含 $0, 2\pi i, 4\pi i, \dots$，但 $2\ln z$ 只包含 $2\pi i, 6\pi i, -2\pi i, \dots$，缺少 $0, 4\pi i$ 等。

因此，两个集合不相等：$\ln z^2 \neq 2\ln z$

> 更准确地说：$\ln z^2 = 2\ln z + 2k\pi i$，但多值集合不完全一致。

所以 A 是错误的。

选项 B：对任意复数 $z \neq 0, \infty$，$\overline{\ln z} = \ln \overline{z}$

我们来验证这个等式。

设 $z = re^{i\theta}$，则 $\overline{z} = re^{-i\theta}$

那么：

• $\ln z = \ln r + i(\theta + 2k\pi)$
• $\overline{\ln z} = \ln r - i(\theta + 2k\pi) = \ln r + i(-\theta - 2k\pi)$

另一方面：

• $\ln \overline{z} = \ln r + i\arg(\overline{z}) = \ln r + i(-\theta + 2m\pi)$，$m \in \mathbb{Z}$

比较：

• $\overline{\ln z} = \ln r - i\theta - 2k\pi i$
• $\ln \overline{z} = \ln r - i\theta + 2m\pi i$

注意：$ -2k\pi i $ 和 $ +2m\pi i $ 都是 $2\pi i$ 的整数倍，所以集合是相同的。

即：$\overline{\ln z}$ 的所有值正好是 $\ln \overline{z}$ 的所有值。

因此，作为多值函数，这个等式是成立的。

> 举例：$z = i$，则 $\ln z = i(\frac{\pi}{2} + 2k\pi)$，$\overline{\ln z} = -i(\frac{\pi}{2} + 2k\pi)$

> $\overline{z} = -i$，$\ln \overline{z} = i(-\frac{\pi}{2} + 2m\pi) = -i(\frac{\pi}{2} - 2m\pi)$，和上面集合一致。

所以 B 是正确的。

选项 C：在复数域中，$(a^b)^c = a^{bc}$

这个等式在实数中对正实数成立，但在复数中不恒成立。

复数幂的定义是：
$a^b = e^{b\ln a}$
所以：
$(a^b)^c = e^{c \ln(a^b)} = e^{c \ln(e^{b\ln a})}$

但 $\ln(e^{b\ln a})$ 不一定等于 $b\ln a$，因为指数函数是周期性的，$\ln(e^w) = w + 2k\pi i$，所以：

$(a^b)^c = e^{c(b\ln a + 2k\pi i)} = e^{bc\ln a + 2ck\pi i} = a^{bc} \cdot e^{2ck\pi i}$

而 $a^{bc} = e^{bc\ln a}$

所以除非 $e^{2ck\pi i} = 1$，否则不相等。

举个经典反例：

设 $a = e$，$b = 2\pi i$，$c = i$

• $a^b = e^{2\pi i} = 1$
• $(a^b)^c = 1^i = 1$
• $a^{bc} = e^{(2\pi i)\cdot i} = e^{-2\pi} \approx 0.00187$

显然 $1 \ne e^{-2\pi}$

所以 $(a^b)^c \ne a^{bc}$

因此 C 是错误的。

选项 D：对任意复数 $z \neq 0, \infty$，$\ln(-z) = \ln z$

显然错误。

因为：

• $\ln(-z) = \ln| -z | + i\arg(-z) = \ln|z| + i\arg(-z)$
• $\ln z = \ln|z| + i\arg z$

而 $\arg(-z) = \arg z + \pi + 2k\pi$（模 $2\pi$）

所以 $\ln(-z) = \ln z + i\pi + 2k\pi i$，比 $\ln z$ 多了 $i\pi$ 的奇数倍。

例如：$z = 1$，$\ln z = 0 + 2k\pi i$，$\ln(-z) = \ln(-1) = i\pi + 2k\pi i$，两者不同。

所以 D 是错误的。

结论

四个选项中，只有 B 是正确的。

✅ 正确答案是：$\boxed{B}$