复变量的求导法则与三角恒等式：与实数域形式是否一致？有无例外？

这个问题问得非常好——很多人刚接触复变函数时都会有这个疑问，你观察到的结论大部分是对的，但确实存在一些容易踩坑的例外情况，我来给你拆解清楚：

一、三角恒等式的例外：多值函数带来的“非严格恒等” #

复数域里的三角函数是通过指数函数定义的（比如 $\sin z = \frac{e^{iz} - e^{-iz}}{2i}$，$\cos z = \frac{e^{iz} + e^{-iz}}{2}$），所以像 $\sin^2 z + \cos^2 z = 1$、$\sin(a+b)=\sin a \cos b + \cos a \sin b$ 这类基础代数恒等式，在复数域里完全成立，推导过程和实数域几乎一致。

但涉及反三角函数的恒等式就会出现明显例外：

• 在实数域中，当 $x \in [-\frac{\pi}{2}, \frac{\pi}{2}]$ 时，$\arcsin(\sin x) = x$；但复数域里 $\arcsin z$ 是多值函数，$\arcsin(\sin z)$ 的结果不是单一的 $z$，而是 $z + 2k\pi$ 或 $\pi - z + 2k\pi$（$k$ 为任意整数），这就打破了实数域里的“严格恒等”关系。
• 类似的，$\arccos(\cos z)$、$\arctan(\tan z)$ 也都是多值的，无法像实数域那样在特定区间内得到单一的 $z$。

另外还有个值得注意的点：实数域里 $\sin x$、$\cos x$ 是有界的（$|\sin x| \leq 1$），但复数域里它们可以取任意复数值（比如 $\sin(iz) = i\sinh z$，当 $z$ 是大的实数时，$\sinh z$ 会趋于无穷，$\sin(iz)$ 的模也会无限大），这会让一些基于实数域有界性的“直觉性结论”失效，但不影响代数恒等式本身。

二、求导法则的例外：仅针对非解析函数 #

复数域里的求导法则（乘积法则、链式法则、商法则，以及基本初等函数的导数公式，比如 $(\sin z)' = \cos z$、$(e^z)' = e^z$），只要函数是解析的（满足柯西-黎曼方程），就和实数域完全一致，没有例外。

但如果函数不解析，求导法则就彻底不适用：

• 比如 $f(z) = |z|^2 = x^2 + y^2$（$z = x + iy$），这个函数仅在原点处可导，在其他点都不解析，所以你不能用乘积法则（把 $|z|^2$ 当成 $z \cdot \overline{z}$ 来求导，因为 $\overline{z}$ 不是解析函数），强行套用的话会得到错误结果。
• 简单来说，求导法则的“例外”不是法则本身有问题，而是复数域里函数可导的条件比实数域更严格（需要解析），不满足条件的函数自然不能用这些法则。

总结一下：基础的代数三角恒等式和解析函数的求导法则，在复数域和实数域形式完全一致；例外主要集中在涉及多值反三角函数的恒等式，以及非解析函数的求导场景。

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