复变方程cos(z)=3/2推导核验：我的结果与WolframAlpha不符

先梳理你的推导步骤，我们逐行排查问题：

推导步骤拆解与核验 #

• 起始方程：$\cos(z)=\frac{3}{2}$
  没问题，复数域内余弦函数的值域不再局限于$[-1,1]$，这个方程确实存在复数解。
• 复指数展开：$\frac{e^{iz}+e{-iz}}{2}=\frac{3}{2}$
  这是复数余弦函数的标准定义，完全正确。
• 化简方程：$e^{iz}+e{-iz}=3$
  两边同乘2，操作合理。
• 转化为二次方程：$e^{2iz}-3e{iz}+1=0$
  两边同乘$e^{{iz}$得到关于$e}{iz}$的二次方程，变量替换$Z=e^{{iz}$后方程变为$Z}2-3Z+1=0$，这一步也没有问题。
• 求解二次方程：$Z=\frac{3\pm\sqrt{3^2-4(1)(1)}}{2}=\frac{3\pm\sqrt{5}}{2}$
  求根公式应用正确，判别式计算无误，两个根的结果是对的。
• 解指数方程：$e^{iz}=\frac{3\pm\sqrt{5}}{2}$
  到这里都没有问题，但接下来的步骤有两处需要修正的地方：

关键错误点 #

1. 对数展开的表述优化

你最后一步写的$z=-i\ln(3\pm\sqrt 5)+i\ln(2)$，代数展开上是对的（等价于$z=-i\ln\left(\frac{3\pm\sqrt{5}}{2}\right)$），但通常我们会把对数内的分式合并，这样表述更简洁，也不容易产生混淆。

2. 遗漏复数对数的多值性

复数的对数是多值函数，对于任意正实数$w$，$\ln w = \ln|w| + i(2k\pi)$（其中$k\in\mathbb{Z}$，因为正实数的辐角可以取$2k\pi$，$k$为任意整数）。这是你和WolframAlpha结果不一致的核心原因。

完整的解应该包含这个多值项：

• 当$e^{iz}=\frac{3+\sqrt{5}}{2}$时：
  $iz = \ln\left(\frac{3+\sqrt{5}}{2}\right) + 2k\pi i$，两边乘$-i$得：
  $z = 2k\pi - i\ln\left(\frac{3+\sqrt{5}}{2}\right)$，$k\in\mathbb{Z}$
• 当$e^{iz}=\frac{3-\sqrt{5}}{2}$时：
  注意到$\frac{3-\sqrt{5}}{2} = \frac{1}{\frac{3+\sqrt{5}}{2}}$，所以$\ln\left(\frac{3-\sqrt{5}}{2}\right) = -\ln\left(\frac{3+\sqrt{5}}{2}\right)$，代入后得：
  $iz = -\ln\left(\frac{3+\sqrt{5}}{2}\right) + 2k\pi i$，两边乘$-i$得：
  $z = 2k\pi + i\ln\left(\frac{3+\sqrt{5}}{2}\right)$，$k\in\mathbb{Z}$

把两个解合并后，可写成更简洁的统一形式：
$$z = 2k\pi \pm i\ln\left(\frac{3+\sqrt{5}}{2}\right),\quad k\in\mathbb{Z}$$

内容的提问来源于stack exchange，提问作者Caleb C.