关于$f(z)=[(z-1)(z-2)]^{1/3}$的分支割线与分支点的疑问

嘿，我来帮你把这个困惑捋清楚！首先直接给你肯定的答案：你的推测完全正确，z=1和z=2就是这个函数的分支点，而且它确实是个多值函数——这正是它需要分支割线的原因。下面一步步拆解你的疑问：

为什么复数里的三次方根是多值的？ #

你觉得实数的三次方根没多值问题，这是因为我们在实数域里默认只取主值分支（也就是那个实根），但到了复数域，规则就变了：
任何非零复数$c$，方程$w^3 = c$都有三个不同的解。把$c$写成极坐标形式$c = r e^{i\theta}$，那三个解就是：

• $w_1 = r^{1/3} e^{i\theta/3}$（我们常说的主值）
• $w_2 = r^{1/3} e^{i(\theta/3 + 2\pi/3)}$
• $w_3 = r^{1/3} e^{i(\theta/3 + 4\pi/3)}$

这三个解对应函数的三个不同分支。当你在复平面上移动$z$，让$(z-1)(z-2)$的辐角变化$2\pi$时，函数值就会从一个分支跳到另一个分支。

为什么z=1和z=2是分支点？ #

分支点的核心特征是：当你绕着这个点逆时针转一圈回到起点时，函数值不会回到原来的分支，而是跳到另一个分支。

• 当$z$绕着$z=1$转一圈时，$(z-1)$的辐角会增加$2\pi$，但$(z-2)$的辐角没变化（因为$z=2$不在这个环路里），所以整个$(z-1)(z-2)$的辐角增加了$2\pi$。这时候它的三次方根的辐角会增加$2\pi/3$，函数值就变成了原来的$e^{2\pi i/3}$倍，不再是原来的分支——所以$z=1$是分支点。
• 同理，绕$z=2$转一圈时，$(z-2)$的辐角增加$2\pi$，整个乘积的辐角也加$2\pi$，三次方根的辐角加$2\pi/3$，函数值切换分支——$z=2$自然也是分支点。

额外提一句：无穷远点也是个分支点。当你绕无穷远点转一圈（相当于在复平面上画一个大环路，把$z=1$和$z=2$都包进去），$(z-1)$和$(z-2)$的辐角各增加$2\pi$，总辐角加$4\pi$，三次方根的辐角加$4\pi/3$，函数值变成原来的$e^{4\pi i/3}$倍，同样会切换分支。

可行的分支割线有哪些选择？ #

分支割线的作用就是把复平面“割开”，让$z$没法绕着分支点转，从而固定一个单值分支。常见的靠谱选择有：

• 连接$z=1$和$z=2$的直线段（或者任意曲线）：这样$z$不能单独绕1或2转，只能在割线的一侧移动，函数值就能保持单值。
• 连接$z=1$到无穷远点的射线（比如实轴上从1延伸到+∞的部分）：这样既限制了$z$绕1转，也处理了无穷远点的分支问题。
• 连接$z=2$到无穷远点的射线：原理和上面一样。

只要割线能阻止$z$绕单个分支点（或者同时绕两个导致函数值切换），都是可行的。

最后再总结下：复数域的多值性和实数域的直觉不一样，三次方根照样有多个分支；$z=1$和$z=2$是明确的分支点，选对分支割线就能得到函数的单值分支啦。

内容的提问来源于stack exchange，提问作者MathIsHard