用ε-δ定义证明：若limₓ→ₐf(x)=L≠0，则limₓ→ₐ1/f(x)=1/L

没问题！咱们一步步用ε-δ定义完成这个证明，你之前尝试把目标式子转化为$|f(x)-L|$的思路是对的，但推导方向有点绕——ε-δ证明的核心是从给定的$\varepsilon$出发，反向找到对应的$\delta$，而不是从结论往条件推，咱们换个顺畅的路径来：

第一步：代数变形，挂钩已知极限 #

先对要证明的式子做通分化简，把目标绝对值转化为和已知极限相关的形式：
$$\left|\frac{1}{f(x)}-\frac{1}{L}\right| = \left|\frac{L - f(x)}{f(x)L}\right| = \frac{|f(x)-L|}{|f(x)| \cdot |L|}$$
这个变形是关键，直接把我们需要控制的表达式，和已知能通过极限定义控制的$|f(x)-L|$联系了起来。

第二步：给$|f(x)|$找下界（避免分母趋近于0） #

因为$L \ne 0$，我们可以利用极限的性质先让$|f(x)|$保持在一个不太小的范围。根据已知$\lim_{x\to a}f(x)=L$，取$\varepsilon_1 = \frac{|L|}{2}$，根据ε-δ定义，存在$\delta_2 > 0$，当$0 < |x-a| < \delta_2$时：
$$|f(x) - L| < \frac{|L|}{2}$$
再用三角不等式$|L| = |f(x) + (L - f(x))| \leq |f(x)| + |f(x)-L|$，移项可得：
$$|f(x)| \geq |L| - |f(x)-L| > |L| - \frac{|L|}{2} = \frac{|L|}{2}$$
这就保证了$|f(x)|$的下界是$\frac{|L|}{2}$，因此：
$$\frac{1}{|f(x)| \cdot |L|} < \frac{1}{\frac{|L|}{2} \cdot |L|} = \frac{2}{|L|^2}$$

第三步：针对任意$\varepsilon$，找到对应的$\delta$ #

现在，对于任意给定的$\varepsilon > 0$，我们需要让$\frac{|f(x)-L|}{|f(x)| \cdot |L|} < \varepsilon$。结合上面的结论，只要让：
$$\frac{2}{|L|^2} \cdot |f(x)-L| < \varepsilon$$
也就是：
$$|f(x)-L| < \frac{|L|^2}{2} \cdot \varepsilon$$
而根据已知的极限$\lim_{x\to a}f(x)=L$，对于这个$\varepsilon_2 = \frac{|L|^2}{2}\varepsilon$，必然存在$\delta_3 > 0$，当$0 < |x-a| < \delta_3$时，$|f(x)-L| < \varepsilon_2$。

第四步：确定最终$\delta$，完成证明 #

取$\delta = \min(\delta_2, \delta_3)$，这样当$0 < |x-a| < \delta$时，同时满足两个条件：

• $|f(x)| > \frac{|L|}{2}$（分母的下界成立，不会趋近于0）
• $|f(x)-L| < \frac{|L|^2}{2}\varepsilon$（分子的控制满足要求）

把这两个条件代入变形后的式子：
$$\left|\frac{1}{f(x)}-\frac{1}{L}\right| = \frac{|f(x)-L|}{|f(x)| \cdot |L|} < \frac{\frac{|L|^2}{2}\varepsilon}{\frac{|L|}{2} \cdot |L|} = \varepsilon$$
完全符合ε-δ定义的要求，因此$\lim_{x\to a}\frac{1}{f(x)}=\frac{1}{L}$得证。

补充一句：你之前的推导是从$\left|\frac{1}{f(x)}-\frac{1}{L}\right|<\varepsilon$往回推，这其实是把证明的逻辑方向搞反了——ε-δ证明需要先给定$\varepsilon$，再找能满足条件的$\delta$，而不是反过来从结论倒推条件，这也是你绕进去的原因哦~

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