关于极限标量乘法ε-δ证明中常数c取绝对值的疑问

嘿，我完全懂你现在的困惑——当初我第一次啃ε-δ证明的时候，也对着这个绝对值卡了好久！咱们一点点把这个问题掰明白：

首先回忆一下标量乘法极限的核心目标：我们要证明，如果 $\lim_{x \to a} f(x) = L$，那么 $\lim_{x \to a} c f(x) = cL$（其中c是常数）。按照ε-δ的逻辑，就是对任意给定的 $\epsilon > 0$，要找到一个 $\delta > 0$，使得当 $0 < |x - a| < \delta$ 时，$|c f(x) - cL| < \epsilon$。

接下来看关键的一步：把左边的绝对值拆开，利用绝对值的基本性质 $|ab| = |a| \cdot |b|$，我们可以得到：
$$|c f(x) - cL| = |c \cdot (f(x) - L)| = |c| \cdot |f(x) - L|$$

现在我们的目标就变成了让 $|c| \cdot |f(x) - L| < \epsilon$，两边同时除以 $|c|$（这里先假设 $c \neq 0$，c=0的情况后面说），就得到：
$$|f(x) - L| < \frac{\epsilon}{|c|}$$

为什么这里一定要给c加绝对值？核心有两个原因：

• 保证分母是正数：$\epsilon$ 本身是我们任意给定的正数，如果c是负数，直接写 $\frac{\epsilon}{c}$ 就会得到一个负数，但 $|f(x) - L|$ 是绝对值，必然是非负的，不可能小于一个负数，这就完全违背了ε-δ的逻辑要求。而 $|c|$ 不管c是正还是负，结果都是正数，这样 $\frac{\epsilon}{|c|}$ 就始终是正数，符合我们对不等式右边的要求。
• 统一处理正负情况：用绝对值的话，不管c是正还是负，我们都能通过同一个式子推导δ，不用分开讨论c>0和c<0的情况，让证明更简洁通用。

举个具体的例子帮你理解：假设c=-3，ε=6。如果不用绝对值，$\frac{\epsilon}{c} = -2$，但 $|f(x)-L|$ 不可能小于-2（因为绝对值最小是0），这显然行不通。但用绝对值的话，$\frac{\epsilon}{|c|}=2$，我们只需要找到δ使得 $|f(x)-L| < 2$，就能推出 $|-3f(x) - (-3)L| = 3|f(x)-L| < 3 \times 2 = 6 = \epsilon$，完美符合要求。

至于c=0的情况就更简单了：不管x取什么，$|0 \cdot f(x) - 0 \cdot L| = 0$，而ε是正数，所以0 < ε始终成立，随便取一个δ都能满足条件，绝对值的写法也能兼容这种情况（虽然此时$\frac{\epsilon}{|c|}$无意义，但我们可以单独说明c=0的情况显然成立）。

备注：内容来源于stack exchange，提问作者Chris Sherlock