首先，先帮你理清楚核心逻辑——我们要证明的是复平面上的绝对值函数 ( f(z) = |z| ) 在整个复平面上连续，对吧？结合你提到的不等式 ( ||z| - |w|| \leq |z - w| )，这个证明其实比你想象的要直接，我一步步拆解给你看：

第一步：回忆连续性的ε-δ定义 #

要证明函数 ( f(z) ) 在某点 ( a \in \mathbb{C} ) 处连续，我们需要满足：

对于任意给定的 ( \varepsilon > 0 )，总能找到一个 ( \delta > 0 )，使得当 ( |z - a| < \delta ) 时，有 ( |f(z) - f(a)| < \varepsilon )。

简单说就是：只要z离a足够近（距离小于δ），那f(z)和f(a)的距离就能小于任意你指定的ε。

第二步：结合已知不等式关联目标 #

我们的目标是让 ( |f(z) - f(a)| = ||z| - |a|| < \varepsilon )。而你已经知道关键不等式：
[ ||z| - |a|| \leq |z - a| ]
这意味着左边的差值永远不会超过z和a之间的距离。那反过来想：如果我们能让 ( |z - a| < \varepsilon )，那根据这个不等式，必然有 ( ||z| - |a|| < \varepsilon )，这不就正好满足我们的要求吗？

第三步：构造δ并完成证明 #

现在把这个逻辑整理成严谨的ε-δ证明：

1. 任取 ( a \in \mathbb{C} )，任给 ( \varepsilon > 0 )。
2. 取 ( \delta = \varepsilon )（没错，就这么简单！）。
3. 当 ( |z - a| < \delta = \varepsilon ) 时，根据已知不等式：
   [ ||z| - |a|| \leq |z - a| < \delta = \varepsilon ]
   也就是 ( |f(z) - f(a)| < \varepsilon )。

这样就满足了连续性的定义，说明 ( f(z) = |z| ) 在点a处连续。因为a是任意取的，所以这个函数在整个复平面上都连续。

额外补充：如果是其他复函数的连续性？ #

如果你的问题是要证明其他复变函数（比如多项式函数、有理函数等）的连续性，这个不等式也经常会用到。比如证明 ( g(z) = z^2 ) 的连续性时，会用到 ( |z^2 - a^2| = |z - a||z + a| )，这时候可能需要先限制z的范围（比如让 ( |z - a| < 1 )，从而得到 ( |z + a| < |a| + 1 )），再取δ为ε和1中的较小值。但核心逻辑还是一样的：找到δ和ε的关系，让|f(z)-f(a)|能被ε控制。

别担心，ε-δ刚开始学确实容易懵，多拆几个简单例子，慢慢就会理解“给定ε找δ”这个核心思路了。

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