利用定义证明数列极限不存在

该证明使用了收敛形式定义的反面。它确立了对于每一个实数 $L$，存在一个 $\varepsilon > 0$（具体为 $\varepsilon=1$），使得对于每一个自然数 $N$，都存在一个索引 $n > N$，其中 $|a_n - L| \ge \varepsilon$。

适用条件：数列为 $a_n = (-1)^n$。；收敛的定义是 $\forall \varepsilon > 0, \exists N, \forall n > N: |a_n - L| < \varepsilon$。；其否定是 $\forall L, \exists \varepsilon > 0, \forall N, \exists n > N: |a_n - L| \ge \varepsilon$。

发散性的证明断言如下：对于每一个实数 $L$，存在一个 $\varepsilon > 0$，使得对于每一个整数 $N$，都有一个索引 $n > N$ 满足 $|a_n - L| \ge \varepsilon$。

适用条件：假设标准的序列收敛定义。；$a_n = (-1)^n$。

当假设 $L=-1$ 且 $\varepsilon=0.5$ 时，有效范围是 $(-1.5, -0.5)$。偶数索引项等于 $1$，远高于此上界。

适用条件：候选极限 $L=-1$。；容差 $\varepsilon=0.5$。；序列 $a_n = (-1)^n$。

该数列不收敛于 $L=-1$，因为偶数项始终为 $1$，与 $-1$ 保持固定距离。类似于 $L=1$ 的情况，无论截断索引 $N$ 有多大，总会有后续的偶数项落在以 $-1$ 为中心的容差带之外，违反了收敛条件。

适用条件：数列定义为 $a_n = (-1)^n$。；候选极限为 $L=-1$。；容差 $\varepsilon$ 的选择满足 $0 < \varepsilon < 2$（例如 $\varepsilon=0.5$）。

基本定理指出，如果一个序列收敛于 $L$，那么每个子序列也必须收敛于相同的 $L$。在这里，奇数项趋近于 $-1$，偶数项趋近于 $1$。

适用条件：定理：收敛蕴含唯一的子序列极限。；奇数子序列极限为 $-1$。；偶数子序列极限为 $1$。

三角不等式表明，对于任何实数 $L$，从 $L$ 到 $1$ 的距离与从 $L$ 到 $-1$ 的距离之和至少为 $2$。这意味着这两个距离中至少有一个必须大于或等于 $1$。

适用条件：数列为 $a_n = (-1)^n$。；$L$ 是任意实数。；$\varepsilon$ 选择为 $1$。

增加 $N$ 是为了检验序列是否最终稳定在围绕 $L=1$ 的容差带内。对于 $a_n=(-1)^n$，奇数索引项始终保持在 $-1$，无论 $N$ 变得多大，这些都落在带 $(0.5, 1.5)$ 之外。

适用条件：候选极限 $L=1$。；容差 $\varepsilon=0.5$（带宽 1.0）。；序列项 $a_n = (-1)^n$。

排除特定数值（如 1 或 -1）只能证明这些特定的数不是极限。要严格证明极限不存在，必须表明**每一个**可能的实数 $L$ 都不满足收敛的定义。

适用条件：序列定义为 $a_n = (-1)^n$。；证明需要排除所有 $L \in \mathbb{R}$。

该数列不收敛于 $L=1$，因为对于任何选定的容差 $\varepsilon$，奇数项始终为 $-1$，与 $1$ 保持固定距离。无论截断索引 $N$ 有多大，总会有后续的奇数项落在以 $1$ 为中心的容差带之外，违反了 $N$ 之后的所有项必须保持在极限 $\varepsilon$ 范围内的要求。

适用条件：数列定义为 $a_n = (-1)^n$。；候选极限为 $L=1$。；容差 $\varepsilon$ 的选择满足 $0 < \varepsilon < 2$（例如 $\varepsilon=0.5$）。