如何证明一个数列收敛：常用方法对比
如何证明一个数列收敛，核心思路分为四类，分别是单调有界定理、夹逼准则、柯西收敛准则、转化为函数极限，你优先根据数列表达式形式挑选工具；单调有界适合递推式数列，要同时证明单调性与有界性；夹逼准则适合可放缩的n项求和数列，需要找到上下界数列且二者极限相等；柯西收敛准则不依赖求极限值，仅判断项之间的差距；函数极限转化仅适用于通项是连续函数表达式的数列，该方法不能用于递推定义的数列。所有方法都有适用边界，单调有界定理只能判定收敛，无法直接算出极限数值，仅在递推数列场景下可后续解方程求出极限。
如何证明一个数列收敛：方法对比
| 证明方法 | 适用数列类型 | 核心操作要点 | 局限 |
|---|---|---|---|
| 单调有界定理 | 递推数列，$x_{n+1}=f(x_n)$ | 证单调递增/递减，再证有上界或下界 | 只能判定收敛，不能直接求极限 |
| 夹逼准则 | n项和、根式放缩型通项 | 构造$y_n\lex_n\lez_n$，且$\limy_n=\limz_n$ | 放缩尺度不好把控，放缩过松失效 |
| 柯西收敛准则 | 无法预估极限值的抽象数列 | 对任意$\varepsilon>0$，找到N，n,m>N时$|x_n-x_m|<\varepsilon$ | 不等式推导计算量偏大 |
| 函数极限转化 | 通项$x_n=f(n)$，f在$x\to+\infty$连续 | 求$\lim\limits_{x\to+\infty}f(x)$，结果即为数列极限 | 不可用于递推定义的数列 |
使用单调有界定理，你先处理有界性，用数学归纳法验证，比如递推数列$x_1=\sqrt{2},x_{n+1}=\sqrt{2+x_n}$，先假设$x_n<2$，代入递推式得到$x_{n+1}<\sqrt{2+2}=2$，完成上界证明。单调性可以比较$x_{n+1}-x_n$的正负，或者作比值$\frac{x_{n+1}}{x_n}$和1比较。证明收敛之后，才能对递推式两边同时取极限，建立方程求解极限，提前取极限会出现逻辑错误。
夹逼准则操作的关键是适度放缩，不能放得太宽。处理$\lim\limits_{n\to\infty}\left(\frac{1}{\sqrt{n^2+1}}+\frac{1}{\sqrt{n^2+2}}+\dots+\frac{1}{\sqrt{n^2+n}}\right)$这类求和式，缩小分母放大整体，放大分母缩小整体，得到左右两个简单数列，再计算左右两端极限，两端极限相等就能判定中间数列收敛到该数值。放缩后两个极限不相等，代表放缩无效，你需要调整放缩的松紧程度。
柯西收敛准则不需要猜测极限。你要证明对于任意给定的很小正数$\varepsilon$，总能找到正整数N，只要下标n、m都大于N，两项差值的绝对值小于$\varepsilon$。它是收敛的充要条件，既能证收敛，也能证发散。抽象证明题里使用较多，计算题很少选用，因为寻找N的不等式推导步骤较长。
通项写成初等函数形式时，可直接转成自变量趋向正无穷的函数极限。$x_n=\frac{\lnn}{n}$对应函数$f(x)=\frac{\lnx}{x}$，使用洛必达法则算出x趋向无穷的极限，就得到数列极限。这个方法的漏洞在于，函数极限存在能推出数列极限存在，但反过来数列极限存在，对应的函数极限不一定存在，你不能反向套用这个结论。
子列判定可以快速否定收敛。一个数列收敛，则任意子列都收敛且极限相同。你只要找到两个子列，各自极限不一样，就直接判定原数列发散。$x_n=(-1)^n$，奇数项子列极限为-1，偶数项子列极限为1，两个极限不等，数列发散。
数列有界是收敛的必要条件。
如果数列无界，数列一定发散。反过来数列有界，不能推出数列收敛，$(-1)^n$就是典型反例，它各项绝对值不超过1，属于有界数列，但不存在极限，无法收敛。这个边界条件在选择题和证明题里高频出现，你不能混淆必要条件和充分条件。
运算性质可以辅助判断收敛。两个收敛数列做加减乘运算，得到的新数列同样收敛；除法需要分母数列极限不为0。一个收敛数列和发散数列相加，结果必然发散；两个发散数列相加，结果不一定发散，需要单独验证，不能直接下结论。
