请求协助：无穷远处商的ε-δ极限证明及相关疑问

嘿，我完全懂你在ε-δ证明里卡壳的感觉——尤其是当极限值L=0的时候，很容易纠结要不要拆分分子分母来分别求δ。其实不用分开处理，我们可以把整个分式作为一个整体来构建约束，下面我给你理清楚具体思路：

核心逻辑梳理 #

当要证明 $\lim_{x \to a} \frac{f(x)}{g(x)} = 0$ 时，我们的目标是找到一个δ，使得只要 $0 < |x - a| < δ$，就有 $\left| \frac{f(x)}{g(x)} - 0 \right| < ε$，也就是 $\left| \frac{f(x)}{g(x)} \right| < ε$。这里的关键不是拆分分子分母求δ，而是先给分母找一个下界约束（避免分母趋近于0导致分式失控），再结合分子的约束来组合出最终的δ。

举个具体例子更直观 #

比如我们要证明 $\lim_{x \to 1} \frac{x-1}{x+2} = 0$：

1. 先固定一个小的δ₁（比如选δ₁=1），当 $0 < |x-1| < 1$ 时，x的范围是(0,2)，这时候分母 $|x+2| > 2$，所以 $\frac{1}{|x+2|} < \frac{1}{2}$。
2. 接下来，我们需要 $\left| \frac{x-1}{x+2} \right| < ε$，代入刚才得到的分母约束，就变成 $\frac{|x-1|}{2} < ε$，也就是 $|x-1| < 2ε$。
3. 最后取δ为 $\min(δ₁, 2ε)$，这样当 $0 < |x-1| < δ$ 时，两个条件同时满足，分式的绝对值自然就小于ε了。

关键注意事项 #

• 不要单独处理分子或分母的δ：单独处理会让逻辑断裂，我们需要的是同时满足分子和分母约束的δ，所以要先锁定分母的范围，再转化为分子的约束。
• 分母的下界怎么找？通常先选一个小的δ₁（比如1、0.5这类方便计算的正数），通过限制x的范围，让分母远离0，从而得到一个确定的正数下界。
• 最终的δ是多个约束的最小值：因为要同时满足“分母有下界”和“分子足够小”两个条件，所以取之前找到的δ₁和分子约束对应的δ₂的最小值。

通用步骤总结 #

1. 明确目标不等式：$\left| \frac{f(x)}{g(x)} \right| < ε$
2. 选取合适的δ₁，使得当 $0 < |x - a| < δ₁$ 时，$|g(x)| > M$（M是一个正数，即分母的下界）
3. 将不等式转化为 $|f(x)| < Mε$，找到δ₂使得当 $0 < |x - a| < δ₂$ 时，$|f(x)| < Mε$
4. 取δ = $\min(δ₁, δ₂)$，此时就能满足所有条件，完成证明

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