复变量实值函数全微分证明：求证∀z∈ℂ，f'(z)=0

先明确问题：

设$f$是定义在全体复数$\mathbb{C}$上的复变量实值函数，且在每一点$z \in \mathbb{C}$处均可微。证明对所有$z \in \mathbb{C}$，有$f'(z)=0$。

我来顺着你的思路补全这个证明，核心就是利用复可微的极限不依赖于趋近路径这个关键性质：

首先，根据复导数的定义，对任意$z \in \mathbb{C}$，导数是这个极限：
$$f'(z)=\lim_{\lambda\to0} \frac{f(z+\lambda)-f(z)}{\lambda}$$
这里$\lambda$是任意趋近于0的复数（可以从实轴方向趋近，也可以从虚轴方向趋近）。

因为$f$是实值函数，所以$f(z+\lambda)-f(z)$一定是个实数——这是关键的突破口！

我们分两种路径让$\lambda$趋近于0：

• 路径1：沿实轴趋近
  取$\lambda = t$，其中$t$是实数且$t \to 0$。此时极限变为：
  $$f'(z)=\lim_{t\to0} \frac{f(z+t)-f(z)}{t}$$
  分子分母都是实数，所以这个极限的结果必然是一个实数，记为$a \in \mathbb{R}$。

• 路径2：沿虚轴趋近
  取$\lambda = it$，其中$t$是实数且$t \to 0$。此时极限变为：
  $$f'(z)=\lim_{t\to0} \frac{f(z+it)-f(z)}{it} = \frac{1}{i}\lim_{t\to0} \frac{f(z+it)-f(z)}{t}$$
  同样，分子是实数，分母里的$t$是实数，所以里面的极限也是一个实数，记为$b \in \mathbb{R}$。那么整个极限结果就是$\frac{b}{i} = -ib$，这是个纯虚数。

复可微的要求是：不管从哪个路径趋近，极限必须是同一个值。那现在我们得到了一个数，它既是实数，又是纯虚数——满足这个条件的数只有0！所以$f'(z)=0$。

再回到你提到的展开式$f(z+\lambda) - f(z) = \lambda L + g(\lambda)$（其中$\lim_{\lambda\to0} \frac{g(\lambda)}{\lambda}=0$）：
因为左边是实数，所以当$\lambda$趋近于0时，$\lambda L$必须是实数（高阶无穷小$g(\lambda)$可以忽略）。如果$L \neq 0$，那当$\lambda$取虚数时，$\lambda L$会是虚数或者非实的复数，这和左边是实数矛盾。比如取$\lambda=i$，则$iL$必须是实数，设$L=x+iy$，则$i(x+iy)=ix - y$是实数意味着$x=0$；但之前沿实轴趋近时$L$是实数，所以$y=0$，只能是$L=0$。

这样就完整证明了对所有$z \in \mathbb{C}$，$f'(z)=0$。

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