利用ε-δ定义证明limₓ→ₐ x⁴=a⁴，验证斯皮瓦克习题证明正确性

咱们来分析这道习题和你给出的证明过程：

习题内容 #

这是斯皮瓦克《微积分》中的一道习题：
设函数$f: \mathbb{R} \to \mathbb{R}: x \mapsto x^4$，证明$\lim_{x \to a} f(x) = a^4$。

你提供的证明片段 #

证明：设$\epsilon > 0$。若$|x-a| < 1$，则可得$|x| < 1 + |a|$，因此：
$$|x^3 + x^2a + xa^2 + a^3| \leq |x|^3 + |x|^2|a| + |x||a|^2 + |a|^3 $$
$$< (1+|a|)^3 + (1+|a|)^2|a| + (1+|a|)|a|^2 + |a|^3$$
选取$\delta = \min\left{\frac{\epsilon}{(1+|a|)^3 + (1+|a|)^2|a| + (1+|a|)|a|^2 + |a|^3},1\right}$，对于$x \in \mathbb{R}$……

证明正确性判断 #

你的证明思路完全正确！只是最后缺少了收尾的推导步骤，我帮你补全让整个证明更严谨：

当$|x - a| < \delta$时，由于$\delta \leq 1$，所以之前得到的$|x| < 1 + |a|$这个不等式成立。而我们知道$|x^4 - a^4| = |x - a| \cdot |x^3 + x^2a + xa^2 + a^3|$，把之前的上界估计代入：
$$|x^4 - a^4| < \delta \cdot \left[(1+|a|)^3 + (1+|a|)^2|a| + (1+|a|)|a|^2 + |a|^3\right]$$
又因为$\delta \leq \frac{\epsilon}{(1+|a|)^3 + (1+|a|)^2|a| + (1+|a|)|a|^2 + |a|^3}$，把这个代入上式就会得到：
$$|x^4 - a^4| < \epsilon$$
这正好满足函数极限的$\epsilon-\delta$定义，所以整个证明是成立的。

总结一下：你已经精准把握了这类极限证明的核心——先通过限制$|x-a|$的范围来对多项式因式做有界估计，再构造合适的$\delta$满足最终的不等式，逻辑完全没问题，补全最后一步就完美了。

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