为什么检查几条路径不能满足归结原则中的全称量词？

算术平均数充当当前估计值与下一个迭代值之间的几何桥梁。通过将递推关系 $x_{n+1} = \frac{1}{2}(x_n + \frac{a}{x_n})$ 分解为 $f(x)=x$ 和 $g(x)=\frac{a}{x}$，算术平均数对应于 $x_n$ 处直线和双曲线上两点之间的垂直中点。

适用条件：递推关系为 $x_{n+1} = \frac{1}{2}(x_n + \frac{a}{x_n})$。；函数定义为 $f(x) = x$ 和 $g(x) = \frac{a}{x}$。；几何解释使用垂直距离和中点。

该极限不存在，因为函数沿不同路径趋近原点时会趋向不同的值。epsilon-delta 定义要求对每个附近的定义域点进行统一控制，这意味着所有路径必须产生相同的极限。

适用条件：函数为 $f(x,y)=xy/(x^2+y^2)$。；极限在 $(x,y) \to (0,0)$ 时评估。；定义域排除原点 $(0,0)$。

可视化将数列的离散点绘制在与 $y=3$ 的水平渐近线相对的位置。容差 $\varepsilon$ 定义了一个水平带 $y = 3 \pm \varepsilon$。

适用条件：数列为 $a_n = \frac{3n^2}{n^2-3}$。；极限为 $A=3$。；坐标系绘制离散点与 n 的关系。

条件 $x_n \neq x_0$ 确保极限描述的是函数在 $x_0$ *附近*的行为，而与函数在 $x_0$ *处*的值无关。它排除了数列恒等于 $x_0$ 的平凡情况，这种情况无论周围行为如何，始终产生 $f(x_0)$。

适用条件：$x_0$ 是定义域的聚点。；数列 $x_n$ 趋近于 $x_0$。；函数 $f$ 在 $x_0$ 处可能有定义，也可能没有。

柯西条件指出，对于每一个正容差 $\varepsilon$，都存在一个索引 $N$，使得对于所有大于 $N$ 的索引 $m, n$，数列项之间的距离 $|a_m - a_n|$ 严格小于 $\varepsilon$。这意味着数列中所有足够靠后的项都会彼此任意接近，无论它们的索引相隔多远。

适用条件：数列定义在实数上。；$\varepsilon > 0$ 是任意正容差。；$N$ 是依赖于 $\varepsilon$ 的整数阈值。；$m$ 和 $n$ 是任何严格大于 $N$ 的索引。