ch02数学分析之极限
有界序列与无穷小序列 知识点详解与推导证明
本节是数列极限的核心基础，我们从定义出发，逐步拆解概念、完成严格证明，最终归纳核心知识点。
一、实数序列的基础概念
从自然数集\(\mathbb{N}\)到实数集\(\mathbb{R}\)的映射\(x:\mathbb{N}\to\mathbb{R}\)，等价于按自然数编号的一串实数\(x_1=x(1),x_2=x(2),\dots,x_n=x(n),\dots\)，这样的映射或编号实数串\(\{x_n\}\)，称为实数序列（数列），\(x_n\)称为数列的通项。
二、有界序列
1. 核心定义
设\(\{x_n\}\)为实数序列，定义如下：
| 概念 | 定义表述 | 核心解读 |
|---|---|---|
| 有上界 | 存在\(M\in\mathbb{R}\)，使得\(\forall n\in\mathbb{N}\)，有\(x_n\leq M\)，称\(\{x_n\}\)有上界，\(M\)是一个上界 | 所有项都不超过\(M\)，上界不唯一，比\(M\)大的实数都是上界 |
| 有下界 | 存在\(m\in\mathbb{R}\)，使得\(\forall n\in\mathbb{N}\)，有\(x_n\geq m\)，称\(\{x_n\}\)有下界，\(m\)是一个下界 | 所有项都不小于\(m\)，下界不唯一，比\(m\)小的实数都是下界 |
| 有界序列 | 序列\(\{x_n\}\)既有上界又有下界，称其为有界序列 | 数列的所有项都被限制在有限区间\([m,M]\)内 |
2. 有界序列的充要条件
命题：序列\(\{x_n\}\)有界\(\iff\)存在\(K\in\mathbb{R}\)，使得\(\forall n\in\mathbb{N}\)，有\(|x_n|\leq K\)。
严格证明：
- 必要性（有界\(\implies |x_n|\leq K\)）：
已知\(\{x_n\}\)有界，故存在上界\(M\)、下界\(m\)，满足\(m\leq x_n\leq M,\forall n\in\mathbb{N}\)。
取\(K=\max\{|m|,|M|\}\)，则\(-K\leq -|m|\leq m\leq x_n\leq M\leq |M|\leq K\)，即\(|x_n|\leq K\)。 - 充分性（\(|x_n|\leq K\)\(\implies\)有界）：
已知\(|x_n|\leq K\)，由绝对值定义等价于\(-K\leq x_n\leq K\)。取上界\(M=K\)，下界\(m=-K\)，满足有界定义，故\(\{x_n\}\)有界。
3. 有界与无界的逻辑表述与量词否定规则
| 命题 | 逻辑符号表述 |
|---|---|
| \(\{x_n\}\)有界 | \((\exists K\in\mathbb{R})(\forall n\in\mathbb{N})(|x_n|\leq K)\) |
| \(\{x_n\}\)无界 | \((\forall K\in\mathbb{R})(\exists n\in\mathbb{N})(|x_n|>K)\) |
量词否定规则：对带量词的陈述做否定时，需将全称量词\(\forall\)与存在量词\(\exists\)互换，再否定最终的陈述。
例：“有界”的原陈述是\(\exists K, \forall n, P(n)\)，否定后为\(\forall K, \exists n, \neg P(n)\)，即“无界”的定义。
4. 典型例题证明
例1 证明\(x_n=(-1)^n\)有界
证明：\(\forall n\in\mathbb{N}\)，\(|x_n|=|(-1)^n|=1\)，取\(K=1\)，则\(|x_n|\leq1\)，故\(\{x_n\}\)有界。
例2 证明\(x_n=\frac{n+1}{n}\)有界
证明：\(|x_n|=\left|\frac{n+1}{n}\right|=\frac{n+1}{n}\leq\frac{n+n}{n}=2\)，取\(K=2\)，则\(|x_n|\leq2\)，故\(\{x_n\}\)有界。
例3 证明\(x_n=\left(1+\frac{1}{n}\right)^n\)有界
证明：由二项式定理展开：
同时\(x_n>0\)，故\(|x_n|<3\)，\(\{x_n\}\)有界。
例4 证明\(x_n=1+\frac{1}{2}+\dots+\frac{1}{n}\)无界
证明：对任意\(K\in\mathbb{R}\)，取\(n=2^{2N}\)（\(N=[K]+1\)），将\(x_n\)分组放缩：
每组和均大于\(\frac{1}{2}\)，共\(2N\)个\(\frac{1}{2}\)，故\(x_{2^{2N}}>2N\cdot\frac{1}{2}=N>K\)，满足无界定义，因此\(\{x_n\}\)无界。
三、无穷小序列
1. 核心定义
设\(\{x_n\}\)为实数序列，若对任意\(\varepsilon>0\)，都存在自然数\(N\)，使得只要\(n>N\)，就有\(|x_n|<\varepsilon\)，则称\(\{x_n\}\)为无穷小序列（极限为0的数列）。
定义深度解读
- 逻辑符号表述：\((\forall \varepsilon>0)(\exists N\in\mathbb{N})(\forall n>N)(|x_n|<\varepsilon)\)
- 核心要点：
- \(\varepsilon\)的任意性：\(\varepsilon\)是可无限小的正数，保证\(|x_n|\)能无限接近0；
- \(N\)的存在性：\(N\)依赖于\(\varepsilon\)，\(\varepsilon\)越小，通常\(N\)越大，只需存在无需最小；
- 不等式的全局性：\(|x_n|<\varepsilon\)对所有\(n>N\)的项成立，而非单个项。
- 几何意义：无论0点的\(\varepsilon\)邻域\((-\varepsilon,\varepsilon)\)多小，数列从某一项之后的所有项，都会全部进入这个邻域，不再跳出。
- 非无穷小序列的逻辑表述：\((\exists \varepsilon>0)(\forall N\in\mathbb{N})(\exists n>N)(|y_n|\geq\varepsilon)\)
2. 核心放缩引理
引理：设\(\{\alpha_n\},\{\beta_n\}\)为实数序列，若存在\(N_0\in\mathbb{N}\)，使得\(\forall n>N_0\)，有\(|\alpha_n|\leq\beta_n\)，且\(\{\beta_n\}\)是无穷小序列，则\(\{\alpha_n\}\)也是无穷小序列。
证明：
已知\(\{\beta_n\}\)是无穷小序列，对\(\forall \varepsilon>0\)，存在\(N_1\in\mathbb{N}\)，当\(n>N_1\)时，\(|\beta_n|<\varepsilon\)。
取\(N=\max\{N_0,N_1\}\)，则\(n>N\)时，\(|\alpha_n|\leq\beta_n<\varepsilon\)，满足无穷小定义，故\(\{\alpha_n\}\)是无穷小序列。
3. 典型例题证明
例1 证明\(x_n=\frac{1+(-1)^n}{n}\)是无穷小序列
证明：\(|x_n|=\frac{|1+(-1)^n|}{n}\leq\frac{2}{n}\)。
对\(\forall \varepsilon>0\)，要使\(|x_n|<\varepsilon\)，只需\(\frac{2}{n}<\varepsilon\)，即\(n>\frac{2}{\varepsilon}\)。
取\(N=\left[\frac{2}{\varepsilon}\right]+1\)，则\(n>N\)时，\(|x_n|\leq\frac{2}{n}<\varepsilon\)，故\(\{x_n\}\)是无穷小序列。
例2 设\(|a|>1\)，证明\(s_n=\frac{1}{a^n}\)是无穷小序列
证明：令\(h=|a|-1>0\)，由伯努利不等式\((1+h)^n\geq1+nh>nh\)，得\(|s_n|=\frac{1}{|a|^n}=\frac{1}{(1+h)^n}<\frac{1}{nh}\)。
对\(\forall \varepsilon>0\)，取\(N=\left[\frac{1}{\varepsilon h}\right]+1\)，则\(n>N\)时，\(|s_n|<\frac{1}{nh}<\varepsilon\)，故\(\{s_n\}\)是无穷小序列。
例3 设\(|a|>1\)，证明\(t_n=\frac{n}{a^n}\)是无穷小序列
证明：令\(h=|a|-1>0\)，对\(n\geq2\)，由二项式展开\((1+h)^n\geq\frac{n(n-1)}{2}h^2\)，得：
\(|t_n|=\frac{n}{(1+h)^n}\leq\frac{2}{(n-1)h^2}\)。
对\(\forall \varepsilon>0\)，取\(N=\max\left\{2,\left[\frac{2}{\varepsilon h^2}\right]+2\right\}\)，则\(n>N\)时，\(|t_n|<\varepsilon\)，故\(\{t_n\}\)是无穷小序列。
四、有界序列与无穷小序列的核心性质
1. 基础引理
命题：无穷小序列一定是有界序列。
证明：
对\(\varepsilon=1\)，由无穷小定义，存在\(N\in\mathbb{N}\)，当\(n>N\)时，\(|\alpha_n|<1\)。
取\(K=\max\{|\alpha_1|,|\alpha_2|,\dots,|\alpha_N|,1\}\)，则\(\forall n\in\mathbb{N}\)，\(|\alpha_n|\leq K\)，故\(\{\alpha_n\}\)有界。
注：逆命题不成立，有界序列不一定是无穷小序列，如\(x_n=(-1)^n\)有界，但不是无穷小序列。
2. 核心运算定理
设\(\{x_n\},\{y_n\}\)为有界序列，\(\{\alpha_n\},\{\beta_n\}\)为无穷小序列，有如下结论：
| 序号 | 结论 | 严格证明 |
|---|---|---|
| (1) | 两个有界序列的和\(\{x_n+y_n\}\)、乘积\(\{x_n y_n\}\)仍是有界序列 | 已知\(|x_n|\leq K,|y_n|\leq L\)，则\(|x_n+y_n|\leq|x_n|+|y_n|\leq K+L\)，\(|x_n y_n|=|x_n||y_n|\leq KL\)，故有界 |
| (2) | 两个无穷小序列的和\(\{\alpha_n+\beta_n\}\)仍是无穷小序列 | 对\(\forall \varepsilon>0\)，存在\(N_1,N_2\)，\(n>N_1\)时\(|\alpha_n|<\varepsilon/2\)，\(n>N_2\)时\(|\beta_n|<\varepsilon/2\)。取\(N=\max\{N_1,N_2\}\)，则\(n>N\)时\(|\alpha_n+\beta_n|<\varepsilon/2+\varepsilon/2=\varepsilon\) |
| (3) | 无穷小序列与有界序列的乘积\(\{\alpha_n x_n\}\)仍是无穷小序列 | 已知\(|x_n|\leq K\)，对\(\forall \varepsilon>0\)，存在\(N\)，\(n>N\)时\(|\alpha_n|<\varepsilon/K\)，故\(|\alpha_n x_n|\leq|\alpha_n|K<\varepsilon\) |
| (4) | \(\{\alpha_n\}\)是无穷小序列\(\iff\)\(\{|\alpha_n|\}\)是无穷小序列 | 由\(||\alpha_n||=|\alpha_n|\)，定义完全等价，显然成立 |
3. 推论
- 两个无穷小序列的乘积\(\{\alpha_n\beta_n\}\)是无穷小序列；
- 实数\(c\)与无穷小序列的乘积\(\{c\alpha_n\}\)是无穷小序列；
- 有限个无穷小序列的和、乘积仍是无穷小序列。
五、核心知识点归纳总结表
| 分类 | 核心概念/性质 | 定义/结论 | 关键要点 |
|---|---|---|---|
| 基础概念 | 实数序列 | 自然数集\(\mathbb{N}\)到\(\mathbb{R}\)的映射，记为\(\{x_n\}\) | 按正整数编号的一串实数，\(n\)为项数，\(x_n\)为通项 |
| 有界序列 | 有上界 | \(\exists M\in\mathbb{R},\forall n\in\mathbb{N},x_n\leq M\) | 所有项不超过\(M\)，上界不唯一 |
| 有界序列 | 有下界 | \(\exists m\in\mathbb{R},\forall n\in\mathbb{N},x_n\geq m\) | 所有项不小于\(m\)，下界不唯一 |
| 有界序列 | 有界的充要条件 | \(\exists K\in\mathbb{R},\forall n\in\mathbb{N},|x_n|\leq K\) | 数列被限制在\([-K,K]\)区间内 |
| 有界序列 | 无界的定义 | \(\forall K\in\mathbb{R},\exists n\in\mathbb{N},|x_n|>K\) | 对任意大数\(K\)，总有项超出\([-K,K]\) |
| 有界序列 | 运算性质 | 两个有界序列的和、乘积仍是有界序列 | 有限个有界序列的和、乘积仍有界 |
| 无穷小序列 | 核心定义 | \(\forall \varepsilon>0,\exists N\in\mathbb{N},\forall n>N,|x_n|<\varepsilon\) | 项数足够大时，\(|x_n|\)可小于任意正数\(\varepsilon\)，即趋近于0 |
| 无穷小序列 | 几何意义 | 0点的任意\(\varepsilon\)邻域，都能包含数列某一项之后的所有项 | 数列最终会无限靠近0点 |
| 无穷小序列 | 基础性质 | 无穷小序列一定是有界序列 | 有界是无穷小的必要非充分条件 |
| 无穷小序列 | 核心放缩引理 | 若$ | \alpha_n |
| 无穷小序列 | 运算性质1 | 两个无穷小序列的和、乘积仍是无穷小序列 | 有限个无穷小序列的和、乘积仍为无穷小 |
| 无穷小序列 | 运算性质2 | 无穷小序列与有界序列的乘积仍是无穷小序列 | 经典应用：\(\frac{\sin n}{n}\)是无穷小序列 |
| 无穷小序列 | 运算性质3 | 常数与无穷小序列的乘积仍是无穷小序列 | 常值序列是有界序列的特例 |
| 无穷小序列 | 延伸结论1 | 无穷小序列的前\(n\)项算术平均值仍是无穷小序列 | 数列趋近于0，其平均值也趋近于0 |
| 无穷小序列 | 延伸结论2 | 非负无穷小序列的前\(n\)项几何平均值仍是无穷小序列 | 由均值不等式结合算术平均值结论推导 |
例14与无穷小定义中ε的核心知识点详解
一、例14 序列\(z_n=\sqrt[n]{\frac{1}{n!}}\)的无穷小性证明
1. 题干与课本结论解读
考察序列 \(z_n=\sqrt[n]{\frac{1}{n!}},\ n=1,2,\dots\)，课本直接引用例13的结论判定其为无穷小序列，我们先补全完整的推导逻辑，再补充更直观的直接证明方法。
2. 基于例13的完整证明
首先回顾例13的核心结论：
设\(\{\alpha_n\}\)是非负的无穷小序列（即\(\alpha_n\geq0\)，且\(\{\alpha_n\}\)为无穷小序列），记其前\(n\)项的几何平均值为\(\gamma_n=\sqrt[n]{\alpha_1\alpha_2\cdots\alpha_n}\)，则\(\{\gamma_n\}\)也是无穷小序列。
证明步骤：
- 选取非负无穷小序列：取\(\alpha_n=\frac{1}{n}\)，显然\(\alpha_n>0\)，且\(\left\{\frac{1}{n}\right\}\)是经典的无穷小序列，满足例13的前提条件。
- 计算前\(n\)项的乘积：\[\alpha_1\alpha_2\cdots\alpha_n = \frac{1}{1}\cdot\frac{1}{2}\cdot\frac{1}{3}\cdot\cdots\cdot\frac{1}{n} = \frac{1}{n!} \]
- 关联目标序列：前\(n\)项的几何平均值为\[\gamma_n=\sqrt[n]{\alpha_1\alpha_2\cdots\alpha_n}=\sqrt[n]{\frac{1}{n!}}=z_n \]
- 引用结论：根据例13，非负无穷小序列的几何平均值仍是无穷小序列，因此\(\{z_n\}\)是无穷小序列。
3. 补充：基于放缩引理的直接证明（更直观）
我们可以不依赖例13，直接通过放缩结合无穷小的定义完成证明，贴合之前的核心方法：
- 先做不等式放缩：由之前例3的结论\(\left(1+\frac{1}{n}\right)^n<3\)，可推导得\(n!>\frac{n^n}{3^n}\)（即\(\frac{n^n}{n!}<3^n\)），因此：\[0<\frac{1}{n!}<\frac{3^n}{n^n} \]
- 对不等式两边同时开\(n\)次方（开方不改变不等号方向）：\[0<\sqrt[n]{\frac{1}{n!}}<\frac{3}{n} \]
- 应用放缩引理：\(\left\{\frac{3}{n}\right\}\)是无穷小序列，因此被其控制的\(\left\{\sqrt[n]{\frac{1}{n!}}\right\}\)也是无穷小序列。
二、无穷小序列定义中\(\varepsilon\)的核心解读
这部分是极限理论的核心逻辑基石，也是初学者最容易产生误区的地方，我们从本质、等价性、证明应用三个层面完整拆解。
1. \(\varepsilon\)的本质：任意小性是核心
无穷小序列的定义是：对任意\(\varepsilon>0\)，存在自然数\(N\)，使得只要\(n>N\)，就有\(|x_n|<\varepsilon\)。
- 定义中\(\varepsilon\)的核心属性是任意性：\(\varepsilon\)是一个可以无限缩小的正数，它的作用是刻画“\(|x_n|\)可以无限接近0”——只要能证明\(|x_n|\)能小于任何一个预先给定的正数，就说明\(|x_n|\)能无限趋近于0。
- 关键误区纠正：\(\varepsilon\)不是一个固定的“很小的数”，如果\(\varepsilon\)是固定值，只能说明\(|x_n|\)小于这个固定数，无法说明趋近于0。例如\(x_n=1+\frac{1}{n}\)满足\(|x_n|<3\)，但它不是无穷小，因为当\(\varepsilon=0.5\)时，永远找不到满足条件的\(N\)。
2. 核心等价性：\(K\varepsilon\)与\(\varepsilon\)的作用完全一致
课本给出了关键结论：对取定的常数\(K>0\)，如果\(\varepsilon\)是可以任意选取的正数，那么\(K\varepsilon\)也是可以任意选取的正数。我们先严格证明这个等价性，再说明它的应用价值。
等价性的严格证明
命题：以下两个表述完全等价
- 原定义：\((\forall \varepsilon>0)(\exists N\in\mathbb{N})(\forall n>N)(|x_n|<\varepsilon)\)
- 等价形式：\((\forall \varepsilon'>0)(\exists N\in\mathbb{N})(\forall n>N)(|x_n|<K\varepsilon')\)（\(K>0\)为固定常数，与\(n\)无关）
证明：
- 必要性（原定义→等价形式）：对任意\(\varepsilon'>0\)，取\(\varepsilon=K\varepsilon'\)，根据原定义，存在\(N\)，当\(n>N\)时\(|x_n|<\varepsilon=K\varepsilon'\)，等价形式成立。
- 充分性（等价形式→原定义）：对任意\(\varepsilon>0\)，取\(\varepsilon'=\frac{\varepsilon}{K}\)，根据等价形式的条件，存在\(N\)，当\(n>N\)时\(|x_n|<K\varepsilon'=K\cdot\frac{\varepsilon}{K}=\varepsilon\)，恰好满足原定义。
核心结论
只要\(K\)是与\(n\)无关的固定正数，用\(K\varepsilon\)、\(2\varepsilon\)、\(\frac{\varepsilon}{2}\)等形式代替原定义中的\(\varepsilon\)，本质上没有任何区别，完全不影响证明的严谨性，反而可以简化书写，不用提前对\(\varepsilon\)做拆分。
3. 定理证明的简化写法解读
课本以定理1的(2)(3)为例，给出了更顺手的证明写法，我们对比原严谨证明，说明其合理性：
（1）定理1(2)：两个无穷小序列的和仍是无穷小序列
| 原严谨证明 | 简化证明 | 合理性说明 |
|---|---|---|
| 对任意\(\varepsilon>0\)，存在\(N_1,N_2\)，使得\(n>N_1\)时\(|\alpha_n|<\frac{\varepsilon}{2}\)，\(n>N_2\)时\(|\beta_n|<\frac{\varepsilon}{2}\)。取\(N=\max\{N_1,N_2\}\)，则\(n>N\)时\(|\alpha_n+\beta_n|\leq|\alpha_n|+|\beta_n|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon\)。 | 对任意\(\varepsilon>0\)，存在\(N_1,N_2\)，使得\(n>N_1\)时\(|\alpha_n|<\varepsilon\)，\(n>N_2\)时\(|\beta_n|<\varepsilon\)。取\(N=\max\{N_1,N_2\}\)，则\(n>N\)时\(|\alpha_n+\beta_n|\leq|\alpha_n|+|\beta_n|<2\varepsilon\)。 | 简化证明最终得到\(|x_n|<2\varepsilon\)，根据之前的等价性，\(2\varepsilon\)和\(\varepsilon\)的任意性完全一致。若要贴合原定义，只需在简化证明中取\(\varepsilon=\frac{\varepsilon_0}{2}\)，即可还原为原证明形式，二者完全等价。 |
（2）定理1(3)：无穷小序列与有界序列的乘积仍是无穷小序列
| 原严谨证明 | 简化证明 | 合理性说明 |
|---|---|---|
| 设\(|x_n|\leq K\)（有界），对任意\(\varepsilon>0\)，存在\(N\)，使得\(n>N\)时\(|\alpha_n|<\frac{\varepsilon}{K}\)。则\(n>N\)时\(|\alpha_n x_n|=|\alpha_n||x_n|<\frac{\varepsilon}{K}\cdot K=\varepsilon\)。 | 设\(|x_n|\leq K\)（有界），对任意\(\varepsilon>0\)，存在\(N\)，使得\(n>N\)时\(|\alpha_n|<\varepsilon\)。则\(n>N\)时\(|\alpha_n x_n|=|\alpha_n||x_n|<K\varepsilon\)。 | 简化证明最终得到\(|x_n|<K\varepsilon\)，\(K\)是固定常数，因此\(K\varepsilon\)仍具备任意小性，与原定义完全等价。无需提前将\(\varepsilon\)除以\(K\)，大幅简化了证明的书写步骤。 |
三、初学者常见误区总结
- 误区1：\(\varepsilon\)是固定的小数，证明中用\(2\varepsilon\)、\(K\varepsilon\)会破坏严谨性。
纠正：只要\(K\)是与\(n\)无关的固定正数，\(K\varepsilon\)就和\(\varepsilon\)有完全相同的“任意小性”，证明完全严谨，只是书写更简便。 - 误区2：必须找到满足条件的最小的\(N\)，证明才成立。
纠正：定义只要求\(N\)存在，无需是最小的。这也是我们可以通过放缩不等式放宽条件找\(N\)的核心依据。 - 误区3：只要序列的项越来越小，就是无穷小序列。
纠正：无穷小的核心是“项可以小于任意正数”，而非“越来越小”。例如\(x_n=1+\frac{1}{n}\)越来越小，但永远大于1，不是无穷小序列。
收敛序列 知识点详解与完整推导证明
承接上一节的有界序列与无穷小序列，本节是数列极限的核心内容，我们从定义出发，拆解本质、完成严格证明、梳理核心方法，最终归纳总结。
一、收敛序列的核心定义
1. 定义的严格表述
设\(\{x_n\}\)是实数序列，\(a\)是实数。如果对任意实数\(\varepsilon>0\)，都存在自然数\(N\)，使得只要\(n>N\)，就有
则称序列\(\{x_n\}\)收敛，称\(a\)为序列\(\{x_n\}\)的极限（也称序列\(\{x_n\}\)收敛于\(a\)），记作：
不收敛的序列称为发散序列。
2. 定义的深度拆解
（1）核心逻辑符号
- 收敛于\(a\)的符号表述：\(\boldsymbol{(\forall \varepsilon>0)(\exists N\in\mathbb{N})(\forall n>N)(|x_n - a|<\varepsilon)}\)
- 不收敛于\(b\)的符号表述：\(\boldsymbol{(\exists \varepsilon>0)(\forall N\in\mathbb{N})(\exists n>N)(|y_n - b|\geq\varepsilon)}\)
量词否定规则：对带量词的陈述做否定时，需将全称量词\(\forall\)与存在量词\(\exists\)互换，再否定最终的不等式结论，与上一节有界/无界的否定规则完全一致。
（2）定义的三大核心要点
- \(\varepsilon\)的任意性：\(\varepsilon\)是可无限缩小的正数，它的作用是刻画\(x_n\)与\(a\)的接近程度。只有当\(|x_n-a|\)能小于任意预先给定的正数\(\varepsilon\)，才能说明\(x_n\)无限趋近于\(a\)。若\(\varepsilon\)是固定值，仅能说明\(x_n\)与\(a\)的距离小于该固定值，无法说明趋近。
- \(N\)的存在性：\(N\)依赖于\(\varepsilon\)（通常\(\varepsilon\)越小，\(N\)越大），定义仅要求\(N\)存在，无需找到最小的\(N\)。这是我们可以通过放缩不等式简化\(N\)的选取的核心依据。
- 不等式的全局性：\(|x_n-a|<\varepsilon\)必须对所有\(n>N\)的项成立，而非有限个项。即序列从第\(N+1\)项开始，所有项都要满足不等式，仅有限项不满足不影响收敛性。
（3）几何意义
对任意\(\varepsilon>0\)，称开区间\((a-\varepsilon,a+\varepsilon)\)为\(a\)点的\(\varepsilon\)邻域。
极限的几何意义可表述为：无论\(a\)点的\(\varepsilon\)邻域多么小，序列\(\{x_n\}\)从某一项之后的所有项，都会全部进入这个邻域，不再跳出。
这个几何解释是理解极限本质、证明核心定理的关键工具。
二、收敛序列的核心定理与严格证明
定理1 极限的唯一性
命题：如果序列\(\{x_n\}\)有极限，那么它的极限是唯一的。
证明（反证法）：
假设序列\(\{x_n\}\)存在两个不同的极限\(a\)和\(b\)，不妨设\(a < b\)。
取\(\varepsilon\)满足\(0<\varepsilon<\frac{b-a}{2}\)，此时\(a\)的\(\varepsilon\)邻域\((a-\varepsilon,a+\varepsilon)\)与\(b\)的\(\varepsilon\)邻域\((b-\varepsilon,b+\varepsilon)\)完全不相交（因为\(a+\varepsilon < b-\varepsilon\)）。
根据极限定义：
- 因为\(\lim x_n = a\)，存在\(N_1\in\mathbb{N}\)，当\(n>N_1\)时，\(x_n\in(a-\varepsilon,a+\varepsilon)\)；
- 因为\(\lim x_n = b\)，存在\(N_2\in\mathbb{N}\)，当\(n>N_2\)时，\(x_n\in(b-\varepsilon,b+\varepsilon)\)。
取\(N=\max\{N_1,N_2\}\)，则当\(n>N\)时，\(x_n\)必须同时属于两个不相交的邻域，即\(b-\varepsilon < x_n < a+\varepsilon\)，这与\(a+\varepsilon < b-\varepsilon\)矛盾。
因此假设不成立，序列的极限唯一。
定理2 夹挤原理（迫敛性定理）
命题：设\(\{x_n\},\{y_n\},\{z_n\}\)都是实数序列，满足条件
如果\(\lim_{n\to\infty}x_n = \lim_{n\to\infty}z_n = a\)，那么\(\{y_n\}\)也收敛，且\(\lim_{n\to\infty}y_n = a\)。
证明：
对任意\(\varepsilon>0\)，根据极限定义：
- 由\(\lim x_n = a\)，存在\(N_1\in\mathbb{N}\)，当\(n>N_1\)时，\(a-\varepsilon < x_n < a+\varepsilon\)；
- 由\(\lim z_n = a\)，存在\(N_2\in\mathbb{N}\)，当\(n>N_2\)时，\(a-\varepsilon < z_n < a+\varepsilon\)。
取\(N=\max\{N_1,N_2\}\)，则当\(n>N\)时，有
即\(|y_n - a| < \varepsilon\)，满足收敛定义，故\(\lim y_n = a\)。
几何意义：两边的序列\(\{x_n\}\)和\(\{z_n\}\)都被“挤”到了\(a\)点，夹在中间的\(\{y_n\}\)自然也被挤到\(a\)点。这是求极限的核心工具之一，可大幅简化复杂序列的极限计算。
定理3 收敛序列与无穷小序列的等价性
命题：设\(\{x_n\}\)是实数序列，\(a\)是实数，则以下三个陈述完全等价：
- 序列\(\{x_n\}\)以\(a\)为极限（\(\lim x_n = a\)）；
- \(\{x_n - a\}\)是无穷小序列；
- 存在无穷小序列\(\{\alpha_n\}\)，使得\(x_n = a + \alpha_n,\ n=1,2,\dots\)。
证明（循环推导）：
-
(1) ⇒ (2)：
已知\(\lim x_n = a\)，根据定义，对任意\(\varepsilon>0\)，存在\(N\in\mathbb{N}\)，当\(n>N\)时，\(|x_n - a| < \varepsilon\)。这恰好是无穷小序列的定义，因此\(\{x_n - a\}\)是无穷小序列。 -
(2) ⇒ (3)：
设\(\alpha_n = x_n - a\)，由(2)知\(\{\alpha_n\}\)是无穷小序列，移项即得\(x_n = a + \alpha_n\)，满足(3)的条件。 -
(3) ⇒ (1)：
已知存在无穷小序列\(\{\alpha_n\}\)使得\(x_n = a + \alpha_n\)，根据无穷小定义，对任意\(\varepsilon>0\)，存在\(N\in\mathbb{N}\)，当\(n>N\)时，\(|\alpha_n| < \varepsilon\)。
此时\(|x_n - a| = |\alpha_n| < \varepsilon\)，恰好满足\(\lim x_n = a\)的定义，故(1)成立。
核心意义：这个等价性是数列极限的核心转化思想——所有收敛序列的问题，都可以等价转化为无穷小序列的问题，直接用上一节学过的无穷小序列的性质解决，后续收敛序列的运算性质、极限计算，都基于这个等价性。
三、典型例题详解（含思路分析与完整推导）
极限证明的核心步骤：
- 计算\(|x_n - a|\)，化简表达式；
- 对\(|x_n - a|\)做适当放缩，使其小于一个简单的无穷小序列（如\(\frac{C}{n},\frac{C}{\sqrt{n}}\)等，\(C\)为固定常数）；
- 对任意\(\varepsilon>0\)，解不等式找到满足条件的\(N\)；
- 验证\(n>N\)时\(|x_n - a|<\varepsilon\)，完成证明。
例1 证明\(\lim_{n\to\infty}\frac{n}{n+1}=1\)
思路分析：先化简\(|x_n - 1|\)，得到一个简单的无穷小，直接找\(N\)。
证明：
对任意\(\varepsilon>0\)，计算误差项：
要使\(\left|\frac{n}{n+1} - 1\right| < \varepsilon\)，只需\(\frac{1}{n+1} < \varepsilon\)，即\(n > \frac{1}{\varepsilon} - 1\)。
取\(N = \left[\frac{1}{\varepsilon}\right]\)（取整函数，保证\(N\)为自然数），则当\(n>N\)时，有
故\(\lim_{n\to\infty}\frac{n}{n+1}=1\)。
例2 证明\(\lim_{n\to\infty}\frac{n^2 - n + 2}{3n^2 + 2n + 4}=\frac{1}{3}\)
思路分析：有理分式的极限，先通分化简\(|x_n - 1/3|\)，再通过放缩去掉复杂的分母，转化为简单的无穷小\(\frac{1}{n}\)。
证明：
先化简误差项：
对\(n\geq1\)，做放缩：分子\(5n-2 < 5n\)，分母\(3(3n^2 + 2n + 4) > 9n^2\)，因此
对任意\(\varepsilon>0\)，要使误差项小于\(\varepsilon\)，只需\(\frac{1}{n} < \varepsilon\)，即\(n > \frac{1}{\varepsilon}\)。
取\(N = \left[\frac{1}{\varepsilon}\right] + 1\)，则当\(n>N\)时，有
故\(\lim_{n\to\infty}\frac{n^2 - n + 2}{3n^2 + 2n + 4}=\frac{1}{3}\)。
例3 设\(a>1\)，证明\(\lim_{n\to\infty}\sqrt[n]{a}=1\)
思路分析：利用定理3，将\(\sqrt[n]{a}\)拆分为\(1+\alpha_n\)，证明\(\{\alpha_n\}\)是无穷小序列，借助伯努利不等式放缩。
证明：
因为\(a>1\)，所以\(\sqrt[n]{a} > 1\)，令\(\alpha_n = \sqrt[n]{a} - 1\)，则\(\alpha_n > 0\)，且\(a = (1+\alpha_n)^n\)。
根据伯努利不等式：\((1+\alpha_n)^n \geq 1 + n\alpha_n\)，因此
移项得\(\alpha_n \leq \frac{a-1}{n}\)。
\(\left\{\frac{a-1}{n}\right\}\)是无穷小序列，根据放缩引理，\(\{\alpha_n\}\)是无穷小序列。
由定理3，\(\sqrt[n]{a} = 1 + \alpha_n\)，故\(\lim_{n\to\infty}\sqrt[n]{a}=1\)。
例4 证明\(\lim_{n\to\infty}\sqrt[n]{n}=1\)
思路分析：同样拆分为\(1+\alpha_n\)，用二项式展开放缩，得到\(\alpha_n\)的上界，证明其为无穷小。
证明：
令\(\alpha_n = \sqrt[n]{n} - 1\)，则\(\alpha_n \geq 0\)，且\(n = (1+\alpha_n)^n\)。
对\(n\geq2\)，用二项式定理展开，仅保留二次项即可完成放缩：
两边约去\(n\)，得\(1 \geq \frac{n-1}{2}\alpha_n^2\)，移项得
对任意\(\varepsilon>0\)，要使\(\alpha_n < \varepsilon\)，只需\(\sqrt{\frac{2}{n-1}} < \varepsilon\)，即\(n > \frac{2}{\varepsilon^2} + 1\)。
取\(N = \left[\frac{2}{\varepsilon^2}\right] + 2\)，则当\(n>N\)时，\(0\leq\alpha_n < \varepsilon\)，即\(\{\alpha_n\}\)是无穷小序列。
由定理3，\(\sqrt[n]{n} = 1 + \alpha_n\)，故\(\lim_{n\to\infty}\sqrt[n]{n}=1\)。
例5 证明\(\lim_{n\to\infty}(\sqrt{n^2 + n} - n) = \frac{1}{2}\)
思路分析：根式差的极限，先有理化化简，再放缩为简单的无穷小序列。
证明：
先对根式做有理化处理：
再化简误差项：
做放缩：分母\(2(\sqrt{n^2 + n} + n)^2 > 2(2\sqrt{n})^2 = 8n\)，因此
对任意\(\varepsilon>0\)，只需\(\frac{1}{8n} < \varepsilon\)，即\(n > \frac{1}{8\varepsilon}\)，取\(N = \left[\frac{1}{8\varepsilon}\right] + 1\)，则\(n>N\)时误差项小于\(\varepsilon\)，故\(\lim_{n\to\infty}(\sqrt{n^2 + n} - n) = \frac{1}{2}\)。
例6 已知\(\lim_{n\to\infty}x_n = a\)，证明\(\lim_{n\to\infty}\frac{x_1 + x_2 + \dots + x_n}{n} = a\)
思路分析：利用定理3，将\(x_n\)拆分为\(a+\alpha_n\)（\(\{\alpha_n\}\)是无穷小序列），转化为无穷小序列的算术平均问题，直接用上一节例12的结论。
证明：
由\(\lim x_n = a\)，根据定理3，令\(\alpha_n = x_n - a\)，则\(\{\alpha_n\}\)是无穷小序列，且\(x_n = a + \alpha_n\)。
对前\(n\)项做算术平均：
根据上一节例12的结论：无穷小序列的前\(n\)项算术平均仍是无穷小序列，因此\(\left\{\frac{\alpha_1 + \dots + \alpha_n}{n}\right\}\)是无穷小序列。
再由定理3，算术平均序列收敛于\(a\)，即
注：这个结论是Cesàro平均定理，是极限理论中的经典结论，即使原序列不收敛，只要算术平均收敛，也可定义为序列的Cesàro和，在级数求和中有重要应用。
四、核心知识点归纳总结表
| 分类 | 核心内容 | 严格表述/结论 | 关键要点与应用 |
|---|---|---|---|
| 基础定义 | 收敛序列的定义 | 对\(\forall \varepsilon>0\)，\(\exists N\in\mathbb{N}\)，\(\forall n>N\)，有\(|x_n - a|<\varepsilon\)，则\(\lim x_n = a\) | 核心是\(\varepsilon\)的任意性、\(N\)的存在性，刻画\(x_n\)无限趋近于\(a\) |
| 基础定义 | 发散序列 | 不收敛的序列，不收敛于\(b\)的符号：\((\exists \varepsilon>0)(\forall N\in\mathbb{N})(\exists n>N)(|y_n - b|\geq\varepsilon)\) | 否定陈述需互换\(\forall\)与\(\exists\)，否定最终不等式 |
| 基础定义 | 几何意义 | 无论\(a\)的\(\varepsilon\)邻域多小，序列从某一项后所有项都进入该邻域 | 直观理解极限，辅助证明唯一性、夹挤原理 |
| 核心定理 | 极限的唯一性 | 若序列收敛，则极限唯一 | 反证法证明，利用两个不同极限的邻域不相交导出矛盾 |
| 核心定理 | 夹挤原理（迫敛性） | 若\(x_n\leq y_n\leq z_n\)，且\(\lim x_n=\lim z_n=a\)，则\(\lim y_n=a\) | 求极限的核心工具，可简化复杂序列的极限计算 |
| 核心定理 | 收敛与无穷小的等价性 | \(\lim x_n=a \iff \{x_n -a\}\)是无穷小序列\(\iff x_n=a+\alpha_n\)（\(\{\alpha_n\}\)无穷小） | 极限问题的核心转化思想，将收敛问题转化为无穷小问题 |
| 证明方法 | 极限定义证明的核心步骤 | 1. 化简$ | x_n -a |
| 常用结论1 | 有理分式极限 | \(\lim_{n\to\infty}\frac{a_k n^k + \dots + a_0}{b_m n^m + \dots + b_0}=\begin{cases}\frac{a_k}{b_k},&k=m\\0,&k<m\\\infty,&k>m\end{cases}\) | 分子分母最高次项系数比，例2是该结论的特例 |
| 常用结论2 | 根式极限 | \(\lim_{n\to\infty}\sqrt[n]{a}=1\ (a>0)\)；\(\lim_{n\to\infty}\sqrt[n]{n}=1\) | 经典极限，用伯努利不等式、二项式展开放缩证明 |
| 常用结论3 | Cesàro平均定理 | 若\(\lim x_n=a\)，则\(\lim_{n\to\infty}\frac{x_1+\dots+x_n}{n}=a\) | 序列收敛则其算术平均必收敛于同一极限，逆命题不成立 |
| 易错点1 | \(\varepsilon\)的理解 | \(\varepsilon\)是任意小的正数，不是固定的小数 | 固定的\(\varepsilon\)无法刻画“无限趋近”，必须具备任意性 |
| 易错点2 | \(N\)的理解 | \(N\)依赖于\(\varepsilon\)，只需存在，无需最小 | 放缩的核心依据，无需追求最小的\(N\)，简化计算 |
| 易错点3 | 收敛的全局性 | 收敛性由\(n\)足够大的项决定，与前有限项无关 | 改变序列的前有限项，不改变序列的收敛性和极限值 |
收敛序列的性质 知识点详解与完整推导证明
本节是数列极限的核心运算基础，我们将逐一拆解收敛序列的核心性质、完成严格证明，解析典型例题的思路与技巧，最终归纳核心知识点。
一、收敛序列的有界性
定理4 收敛序列必是有界序列
命题：若序列\(\{x_n\}\)收敛，则\(\{x_n\}\)是有界序列。
完整证明
设\(\lim_{n\to\infty}x_n = a\)，根据极限的定义，对固定的\(\varepsilon=1>0\)，必然存在自然数\(N\)，使得当\(n>N\)时，有
由绝对值不等式展开得：\(a-1 < x_n < a+1\)。
结合绝对值的放缩，进一步可得：
即当\(n>N\)时，\(|x_n| < |a|+1\)。
对于前\(N\)项\(x_1,x_2,\dots,x_N\)，这是有限个实数，必然存在最大值，记
则对所有的\(n\in\mathbb{N}\)，都有\(|x_n| \leq K\)，满足有界序列的定义，故\(\{x_n\}\)有界。
关键推论与误区纠正
- 逆否命题（判断发散的核心工具）：无界序列一定发散。
例：\(x_n = n\)、\(x_n = n\sin\frac{n\pi}{2}\)都是无界序列，因此必然发散。 - 逆命题不成立：有界序列不一定收敛。
反例：\(x_n = (-1)^n\)，满足\(|x_n|\leq1\)（有界），但序列在1和-1之间震荡，没有极限，是发散序列。 - 核心逻辑：有界是收敛的必要非充分条件。
二、收敛序列的四则运算性质
定理5 收敛序列的极限运算法则
设\(\lim_{n\to\infty}x_n = a\)，\(\lim_{n\to\infty}y_n = b\)，则有以下结论：
(1) 绝对值的极限：\(\lim_{n\to\infty}|x_n| = |a|\)
证明：
由绝对值的三角不等式，有核心关系：
对任意\(\varepsilon>0\)，由\(\lim x_n = a\)，存在\(N\in\mathbb{N}\)，当\(n>N\)时，\(|x_n - a| < \varepsilon\)，因此
满足极限定义，故\(\lim |x_n| = |a|\)。
误区纠正：逆命题不成立。
反例：\(x_n = (-1)^n\)，\(|x_n|\to1\)，但\(\{x_n\}\)本身不收敛。
(2) 和差法则：\(\lim_{n\to\infty}(x_n \pm y_n) = a \pm b\)
证明1（定义法）：
由三角不等式，有
对任意\(\varepsilon>0\)：
- 由\(\lim x_n = a\)，存在\(N_1\in\mathbb{N}\)，当\(n>N_1\)时，\(|x_n - a| < \frac{\varepsilon}{2}\)；
- 由\(\lim y_n = b\)，存在\(N_2\in\mathbb{N}\)，当\(n>N_2\)时，\(|y_n - b| < \frac{\varepsilon}{2}\)。
取\(N = \max\{N_1,N_2\}\)，则当\(n>N\)时，
满足极限定义，故\(\lim(x_n \pm y_n) = a \pm b\)。
证明2（无穷小等价法，更简洁）：
由收敛与无穷小的等价性，令\(x_n = a + \alpha_n\)，\(y_n = b + \beta_n\)，其中\(\{\alpha_n\},\{\beta_n\}\)是无穷小序列。
则\(x_n \pm y_n = (a \pm b) + (\alpha_n \pm \beta_n)\)，而\(\{\alpha_n \pm \beta_n\}\)是无穷小序列，故\(\lim(x_n \pm y_n) = a \pm b\)。
(3) 乘法法则：\(\lim_{n\to\infty}(x_n y_n) = a b\)
证明1（定义法）：
第一步：拆分误差项，用加减辅助项的核心技巧：
第二步：用三角不等式放缩：
第三步：利用收敛序列的有界性：
\(\{y_n\}\)收敛，故存在\(K>0\)，使得\(|y_n| \leq K\)对所有\(n\in\mathbb{N}\)成立；取\(L = |a|\)，则
第四步：按极限定义找\(N\)：
对任意\(\varepsilon>0\)，存在\(N_1,N_2\)，当\(n>N_1\)时\(|x_n - a| < \frac{\varepsilon}{2K}\)，当\(n>N_2\)时\(|y_n - b| < \frac{\varepsilon}{2L}\)。
取\(N = \max\{N_1,N_2\}\)，则\(n>N\)时，
满足极限定义，故\(\lim(x_n y_n) = ab\)。
证明2（无穷小等价法）：
令\(x_n = a + \alpha_n\)，\(y_n = b + \beta_n\)，\(\{\alpha_n\},\{\beta_n\}\)为无穷小序列，则
其中\(a\beta_n, b\alpha_n, \alpha_n \beta_n\)均为无穷小序列，因此\(\lim(x_n y_n) = ab\)。
(4) 倒数法则：若\(x_n \neq 0\ (\forall n\in\mathbb{N})\)，且\(\lim_{n\to\infty}x_n = a \neq 0\)，则\(\lim_{n\to\infty}\frac{1}{x_n} = \frac{1}{a}\)
证明：
第一步：先证明\(n\)足够大时，\(|x_n|\)有正的下界，保证分母不为0且可放缩。
由\(\lim x_n = a \neq 0\)，对\(\varepsilon = \frac{|a|}{2}>0\)，存在\(N_0\in\mathbb{N}\)，当\(n>N_0\)时，\(|x_n - a| < \frac{|a|}{2}\)。
由绝对值不等式\(|x_n| = |a - (a - x_n)| \geq |a| - |a - x_n|\)，得
第二步：拆分误差项：
第三步：放缩并按定义找\(N\)：
当\(n>N_0\)时，\(|x_n| > \frac{|a|}{2}\)，因此
对任意\(\varepsilon>0\)，存在\(N_1\in\mathbb{N}\)，当\(n>N_1\)时，\(|x_n - a| < \frac{|a|^2}{2}\varepsilon\)。
取\(N = \max\{N_0,N_1\}\)，则\(n>N\)时，
满足极限定义，故\(\lim\frac{1}{x_n} = \frac{1}{a}\)。
推论 拓展运算法则
(5) 数乘法则：设\(\lim x_n = a\)，\(c\in\mathbb{R}\)，则\(\lim(c x_n) = c a\)。
证明：乘法法则的特例，取\(y_n = c\)（常序列，极限为\(c\)）即可。
(6) 除法法则：设\(x_n \neq 0\)，\(\lim x_n = a \neq 0\)，\(\lim y_n = b\)，则\(\lim\frac{y_n}{x_n} = \frac{b}{a}\)。
证明：乘法法则+倒数法则，\(\frac{y_n}{x_n} = y_n \cdot \frac{1}{x_n}\)，取极限即可。
运算法则的核心注意事项
- 前提条件：所有参与运算的序列必须收敛，且除法法则要求分母极限不为0。
反例：\(x_n = n\)，\(y_n = -n\)，\(\lim(x_n+y_n)=0\)，但\(\lim x_n\)和\(\lim y_n\)均不存在，不能直接用和差法则。 - 有限性要求：四则运算法则仅对有限个收敛序列成立，无限个序列不适用。
反例：\(n\)个\(\frac{1}{n}\)相加，和为1，极限为1；但每个\(\frac{1}{n}\)的极限为0，无限个0相加为0，矛盾。 - 公式的形式化写法仅为记忆方便，使用时必须验证前提条件，否则会出现错误。
三、典型例题详解
例7 证明：对\(0<b\leq1\)，有\(\lim_{n\to\infty}\sqrt[n]{b}=1\)
证明：
- 当\(b=1\)时，\(\sqrt[n]{1}=1\)，显然极限为1。
- 当\(0<b<1\)时，令\(a = \frac{1}{b}\)，则\(a>1\)，且\(\sqrt[n]{b} = \frac{1}{\sqrt[n]{a}}\)。
由之前的结论，对\(a>1\)，\(\lim_{n\to\infty}\sqrt[n]{a}=1\)，根据倒数法则，\[\lim_{n\to\infty}\sqrt[n]{b} = \lim_{n\to\infty}\frac{1}{\sqrt[n]{a}} = \frac{1}{1} = 1 \]
结论拓展：对任意\(a>0\)，都有\(\lim_{n\to\infty}\sqrt[n]{a}=1\)，覆盖了\(a>1\)、\(a=1\)、\(0<a<1\)所有情形。
例8 求极限\(\lim_{n\to\infty}\sqrt[n]{c + \frac{1}{n}}\)，其中\(c\geq0\)
解：分两种情形讨论
-
当\(c=0\)时，原式\(=\lim_{n\to\infty}\sqrt[n]{\frac{1}{n}} = \lim_{n\to\infty}\frac{1}{\sqrt[n]{n}}\)。
由\(\lim\sqrt[n]{n}=1\)，根据倒数法则，极限为\(\frac{1}{1}=1\)。 -
当\(c>0\)时，用夹挤原理：
对所有\(n\in\mathbb{N}\)，有\(\sqrt[n]{c} < \sqrt[n]{c + \frac{1}{n}} \leq \sqrt[n]{c+1}\)。
由例7的结论，\(\lim\sqrt[n]{c}=1\)，\(\lim\sqrt[n]{c+1}=1\)，根据夹挤原理，原式极限为1。
综上，对任意\(c\geq0\)，\(\lim_{n\to\infty}\sqrt[n]{c + \frac{1}{n}}=1\)。
例9 求极限\(\lim_{n\to\infty}\sum_{k=1}^n q^{k-1}\)，其中\(|q|<1\)
解：
先求等比数列的前\(n\)项和：
因为\(|q|<1\)，所以\(\{q^n\}\)是无穷小序列，即\(\lim_{n\to\infty}q^n=0\)。
根据极限的四则运算法则：
核心意义：这是无穷等比级数的求和公式，是级数理论的基础结论，后续会频繁使用。
例10 设\(a_n>0\ (\forall n\in\mathbb{N})\)，\(\lim_{n\to\infty}a_n = A>0\)，证明\(\lim_{n\to\infty}\sqrt[n]{a_1 a_2 \dots a_n} = A\)
证明：
利用均值不等式：调和平均 ≤ 几何平均 ≤ 算术平均，即
分别计算左右两边的极限：
- 右边（算术平均）：由Cesàro平均定理，\(\lim_{n\to\infty}\frac{a_1 + \dots + a_n}{n} = A\)。
- 左边（调和平均）：由\(\lim a_n = A>0\)，得\(\lim\frac{1}{a_n} = \frac{1}{A}\)，再由Cesàro平均定理，\[\lim_{n\to\infty}\frac{\frac{1}{a_1} + \dots + \frac{1}{a_n}}{n} = \frac{1}{A} \]因此调和平均的极限为\(\lim_{n\to\infty}\frac{n}{\frac{1}{a_1} + \dots + \frac{1}{a_n}} = \frac{1}{\frac{1}{A}} = A\)。
根据夹挤原理，几何平均的极限为\(A\)，即
结论拓展：该定理对\(A=0\)也成立，是数列极限的经典结论，称为几何平均的Cesàro定理。
例11 设\(\lim x_n = a\)，\(\lim y_n = b\)，记\(u_n = \frac{x_1 y_n + x_2 y_{n-1} + \dots + x_n y_1}{n}\)，证明\(\lim u_n = ab\)
证明：
利用无穷小分解，令\(x_n = a + \alpha_n\)，\(y_n = b + \beta_n\)，其中\(\{\alpha_n\},\{\beta_n\}\)是无穷小序列。
将\(u_n\)展开：
分别证明后三项均为无穷小序列：
- 由Cesàro平均定理，\(\frac{\alpha_1 + \dots + \alpha_n}{n}\)和\(\frac{\beta_1 + \dots + \beta_n}{n}\)都是无穷小序列，因此前两项是无穷小。
- 无穷小序列\(\{\beta_n\}\)有界，即存在\(L>0\)，使得\(|\beta_n|\leq L\)对所有\(n\)成立，因此\[\left|\frac{\alpha_1\beta_n + \dots + \alpha_n\beta_1}{n}\right| \leq L\cdot\frac{|\alpha_1| + \dots + |\alpha_n|}{n} \]右边是无穷小序列，因此第三项也是无穷小。
综上，$u_n = ab + \(无穷小序列，故\)\lim u_n = ab$。
例12 设\(\lim x_n = a\)，证明\(\lim_{n\to\infty}\frac{x_1 + 2x_2 + \dots + nx_n}{n^2} = \frac{a}{2}\)
证明：
同样用无穷小分解，令\(x_n = a + \alpha_n\)，\(\{\alpha_n\}\)是无穷小序列，展开分子：
两边除以\(n^2\)，得
分别计算两项的极限：
- 第一项：\(\lim_{n\to\infty}a\cdot\frac{n+1}{2n} = a\cdot\frac{1}{2} = \frac{a}{2}\)。
- 第二项：对\(\{\alpha_n\}\)，有\(|\alpha_n|\to0\)，且\[\left|\frac{1}{n^2}\sum_{k=1}^n k\alpha_k\right| \leq \frac{1}{n^2}\sum_{k=1}^n k|\alpha_k| \leq \frac{n}{n^2}\sum_{k=1}^n |\alpha_k| = \frac{|\alpha_1| + \dots + |\alpha_n|}{n} \]右边是无穷小序列，因此第二项的极限为0。
综上，原式极限为\(\frac{a}{2} + 0 = \frac{a}{2}\)。
四、核心知识点归纳总结表
| 分类 | 核心结论 | 成立条件 | 关键注意事项 |
|---|---|---|---|
| 基础性质 | 收敛序列必是有界序列 | 序列\(\{x_n\}\)收敛 | 逆命题不成立，有界不一定收敛；逆否命题：无界必发散 |
| 基础性质 | 若\(\lim x_n = a\)，则\(\lim |x_n| = |a|\) | 序列\(\{x_n\}\)收敛 | 逆命题不成立，\(|x_n|\)收敛不能推出\(x_n\)收敛 |
| 四则运算 | 和差法则：\(\lim(x_n\pm y_n)=\lim x_n \pm \lim y_n\) | \(\{x_n\},\{y_n\}\)均收敛 | 仅对有限个序列成立，逆命题不成立 |
| 四则运算 | 乘法法则：\(\lim(x_n y_n)=\lim x_n \cdot \lim y_n\) | \(\{x_n\},\{y_n\}\)均收敛 | 常序列的数乘是其特例，仅对有限个序列成立 |
| 四则运算 | 倒数法则：\(\lim\frac{1}{x_n}=\frac{1}{\lim x_n}\) | \(\{x_n\}\)收敛，\(\lim x_n \neq 0\)，且\(x_n\neq0\) | 分母极限为0时不能使用，需单独分析 |
| 四则运算 | 除法法则：\(\lim\frac{y_n}{x_n}=\frac{\lim y_n}{\lim x_n}\) | \(\{x_n\},\{y_n\}\)均收敛，\(\lim x_n \neq0\)，\(x_n\neq0\) | 乘法法则+倒数法则的结合，前提条件缺一不可 |
| 核心技巧 | 无穷小等价转化 | \(\lim x_n = a \iff x_n = a + \alpha_n\)（\(\{\alpha_n\}\)无穷小） | 大幅简化极限的证明与运算，是核心转化思想 |
| 核心技巧 | 加减辅助项拆分 | \(|x_n y_n - ab|=|(x_n-a)y_n + a(y_n -b)|\) | 乘法法则证明的核心技巧，广泛用于乘积型极限证明 |
| 经典结论1 | 对任意\(a>0\)，\(\lim\sqrt[n]{a}=1\) | \(a>0\)为常数 | 覆盖\(a>1\)、\(a=1\)、\(0<a<1\)所有情形 |
| 经典结论2 | \(\lim\sqrt[n]{n}=1\) | - | 常用放缩工具，需牢记 |
| 经典结论3 | 无穷等比级数和：\(\sum_{k=0}^\infty q^k=\frac{1}{1-q}\) | \(|q|<1\) | \(|q|\geq1\)时级数发散，公式不成立 |
| 经典结论4 | Cesàro平均定理：若\(\lim x_n=a\)，则\(\lim\frac{x_1+\dots+x_n}{n}=a\) | \(\{x_n\}\)收敛 | 逆命题不成立，平均收敛不能推出原序列收敛 |
| 经典结论5 | 几何平均定理：若\(a_n>0\)，\(\lim a_n=A\)，则\(\lim\sqrt[n]{a_1\dots a_n}=A\) | \(a_n>0\)，\(\{a_n\}\)收敛 | 由均值不等式+夹挤原理+Cesàro定理推导 |
收敛序列与不等式 知识点详解与完整推导
本节核心是收敛序列的保序性与保不等式性，这两个定理是极限理论中判断序列大小、符号、放缩的核心工具，我们将逐一拆解定理本质、完成严格证明、解析易错点与典型应用。
一、定理6 收敛序列的保序性
定理内容
设\(\{x_n\},\{y_n\}\)均为收敛序列，且\(\lim_{n\to\infty}x_n = a\)，\(\lim_{n\to\infty}y_n = b\)，若\(a < b\)（即\(\lim x_n < \lim y_n\)），则存在自然数\(N\)，使得当\(n > N\)时，有
完整证明
证明的核心思路：利用极限的几何意义，取合适的\(\varepsilon\)，让两个序列的极限邻域完全分离，从而保证\(n\)足够大时\(x_n\)落在\(a\)的邻域，\(y_n\)落在\(b\)的邻域，自然满足\(x_n < y_n\)。
- 取\(\varepsilon = \frac{b-a}{2}\)，因为\(a < b\)，所以\(\varepsilon > 0\)，符合极限定义中\(\varepsilon\)的要求。
- 根据极限的定义：
- 对\(\{x_n\}\)，存在\(N_1\in\mathbb{N}\)，当\(n > N_1\)时，\(|x_n - a| < \varepsilon\)，展开得：\[a - \varepsilon < x_n < a + \varepsilon \]
- 对\(\{y_n\}\)，存在\(N_2\in\mathbb{N}\)，当\(n > N_2\)时，\(|y_n - b| < \varepsilon\)，展开得：\[b - \varepsilon < y_n < b + \varepsilon \]
- 对\(\{x_n\}\)，存在\(N_1\in\mathbb{N}\)，当\(n > N_1\)时，\(|x_n - a| < \varepsilon\)，展开得：
- 取\(N = \max\{N_1, N_2\}\)，则当\(n > N\)时，上述两个不等式同时成立。
- 代入\(\varepsilon = \frac{b-a}{2}\)，可得\(a + \varepsilon = a + \frac{b-a}{2} = \frac{a+b}{2}\)，\(b - \varepsilon = b - \frac{b-a}{2} = \frac{a+b}{2}\)，因此：\[x_n < a + \varepsilon = b - \varepsilon < y_n \]即\(x_n < y_n\)，定理得证。
核心解读与常用推论（保号性）
定理6的本质是：收敛序列的极限大小关系，会在\(n\)足够大时，传递到序列的项本身。它有3个高频使用的特殊情形，统称为极限的保号性：
-
推论1（常数列下界）
设\(x_n \equiv a\)为常数列，若\(\lim y_n > a\)，则存在\(N\in\mathbb{N}\)，当\(n > N\)时，\(y_n > a\)。最常用的特例：\(a=0\)，即若序列的极限为正数，则\(n\)足够大时，序列的所有项都为正数。
-
推论2（常数列上界）
设\(y_n \equiv b\)为常数列，若\(\lim x_n < b\)，则存在\(N\in\mathbb{N}\)，当\(n > N\)时，\(x_n < b\)。最常用的特例：\(b=0\)，即若序列的极限为负数，则\(n\)足够大时，序列的所有项都为负数。
-
推论3（双边夹逼）
若\(a < \lim z_n < b\)，则存在\(N\in\mathbb{N}\)，当\(n > N\)时，\(a < z_n < b\)。说明：极限落在区间\((a,b)\)内，则\(n\)足够大时，序列的项也会全部落在这个区间内。
二、定理7 收敛序列的保不等式性
定理内容
设\(\{x_n\},\{y_n\}\)均为收敛序列，若存在自然数\(N_0\)，使得当\(n > N_0\)时，有\(x_n \leq y_n\)，则
完整证明
采用反证法，结合定理6导出矛盾：
- 设\(\lim x_n = a\)，\(\lim y_n = b\)，反设结论不成立，即\(a > b\)（也就是\(\lim x_n > \lim y_n\)）。
- 根据定理6（保序性），若\(a > b\)，则存在自然数\(N_1\)，当\(n > N_1\)时，有\(x_n > y_n\)。
- 取\(N = \max\{N_0, N_1\}\)，则当\(n > N\)时，同时满足：
- 题设条件：\(x_n \leq y_n\)
- 反设导出的结论：\(x_n > y_n\)
二者明显矛盾，因此反设不成立，故\(a \leq b\)，即\(\lim x_n \leq \lim y_n\)，定理得证。
核心易错点（重中之重）
即使对所有\(n\in\mathbb{N}\)都有严格不等关系\(x_n < y_n\)，也只能推出\(\lim x_n \leq \lim y_n\)，无法推出\(\lim x_n < \lim y_n\)。
反例说明
设\(x_n = \frac{1}{2n}\)，\(y_n = \frac{1}{n}\)，显然对所有\(n\in\mathbb{N}\)，都有\(x_n < y_n\)，但
即\(\lim x_n = \lim y_n\)，严格不等关系取极限后变成了等号。
本质原因
极限刻画的是序列的最终趋势，而非有限项的大小。两个序列即使每一项都严格不等，但可以无限趋近于同一个极限，严格不等关系在极限过程中会被“抹平”，只能保留非严格的不等关系。
三、典型例题详解
例13 设自然数\(k\geq2\)，判断\(n\)充分大时，\(n^k\)、\(k^n\)、\(n!\)的大小顺序
核心思路
利用定理6的推论：若\(\lim \frac{u_n}{v_n} < 1\)，则\(n\)充分大时\(\frac{u_n}{v_n} < 1\)，即\(u_n < v_n\)，通过比较两个序列比值的极限，判断最终的大小关系。
完整解析
-
比较\(n^k\)与\(k^n\)：
由之前的结论（§1例10），对\(k\geq2\)，有\(\lim_{n\to\infty}\frac{n^k}{k^n} = 0 < 1\)。
根据定理6的推论，存在\(N_1\in\mathbb{N}\)，当\(n > N_1\)时，\(\frac{n^k}{k^n} < 1\)，即\(n^k < k^n\)。 -
比较\(k^n\)与\(n!\)：
由之前的结论（§1例11），对\(k\geq2\)，有\(\lim_{n\to\infty}\frac{k^n}{n!} = 0 < 1\)。
根据定理6的推论，存在\(N_2\in\mathbb{N}\)，当\(n > N_2\)时，\(\frac{k^n}{n!} < 1\)，即\(k^n < n!\)。 -
最终结论：
取\(N = \max\{N_1, N_2\}\)，当\(n > N\)（\(n\)充分大）时，有\[\boldsymbol{n^k < k^n < n!} \]
拓展结论
这是数列极限中经典的无穷大增长速度排序：
多项式增长（\(n^k\)）< 指数增长（\(k^n\)）< 阶乘增长（\(n!\)）
这个结论是求复杂序列极限的核心放缩工具，后续会频繁使用。
例14 设\(A>0\)，\(a\neq0\)，判断\(n\)充分大时，\(An^2+Bn+C\)与\(\frac{an^2+bn+c}{An^2+Bn+C}\)的符号
核心思路
利用极限的保号性（定理6的推论）：序列的极限符号，决定了\(n\)充分大时序列本身的符号。
完整解析
-
判断\(An^2+Bn+C\)的符号
对式子做恒等变形，提取最高次项\(n^2\)：\[An^2+Bn+C = n^2 \cdot \left(A + B\cdot\frac{1}{n} + C\cdot\frac{1}{n^2}\right) \]计算括号内部分的极限：
\[\lim_{n\to\infty}\left(A + B\cdot\frac{1}{n} + C\cdot\frac{1}{n^2}\right) = A > 0 \]根据保号性，存在\(N_1\in\mathbb{N}\)，当\(n > N_1\)时，\(A + B\cdot\frac{1}{n} + C\cdot\frac{1}{n^2} > 0\)。
又因为\(n^2 > 0\)对所有自然数\(n\)成立，因此\(n\)充分大时：\[An^2+Bn+C = n^2 \cdot (\text{正数}) > 0 \]即\(An^2+Bn+C\)的符号为正。
-
判断\(\frac{an^2+bn+c}{An^2+Bn+C}\)的符号
先计算分式的极限，分子分母同时除以\(n^2\)：\[\lim_{n\to\infty}\frac{an^2+bn+c}{An^2+Bn+C} = \lim_{n\to\infty}\frac{a + b\cdot\frac{1}{n} + c\cdot\frac{1}{n^2}}{A + B\cdot\frac{1}{n} + C\cdot\frac{1}{n^2}} = \frac{a}{A} \]根据保号性，\(n\)充分大时，分式的符号与极限\(\frac{a}{A}\)的符号一致。
已知\(A>0\)，因此\(\frac{a}{A}\)与\(a\)同号，即\(n\)充分大时，\(\frac{an^2+bn+c}{An^2+Bn+C}\)的符号与\(a\)的符号完全相同。
四、核心知识点归纳总结表
| 定理名称 | 核心内容 | 前提条件 | 关键结论 | 高频易错点 |
|---|---|---|---|---|
| 保序性定理（定理6） | 若\(\lim x_n < \lim y_n\)，则\(n\)充分大时\(x_n < y_n\) | \(\{x_n\},\{y_n\}\)均收敛，且极限满足严格不等 | 极限的严格大小关系，最终会传递到序列项 | 逆命题不成立：\(n\)充分大时\(x_n < y_n\)，只能推出\(\lim x_n \leq \lim y_n\) |
| 保不等式性定理（定理7） | 若\(n\)充分大时\(x_n \leq y_n\)，则\(\lim x_n \leq \lim y_n\) | \(\{x_n\},\{y_n\}\)均收敛，且项满足非严格不等 | 序列项的不等关系，会传递到极限的不等关系 | 即使项是严格不等\(x_n < y_n\)，极限也可能相等，无法推出\(\lim x_n < \lim y_n\) |
| 极限保号性（推论1） | 若\(\lim x_n > 0\)，则\(n\)充分大时\(x_n > 0\)；若\(\lim x_n < 0\)，则\(n\)充分大时\(x_n < 0\) | \(\{x_n\}\)收敛，且极限不为0 | 极限的符号决定了序列最终项的符号 | 逆命题不成立：\(x_n > 0\)只能推出\(\lim x_n \geq 0\)，无法推出极限一定为正 |
| 极限保号性（推论2） | 若\(\lim x_n > a\)，则\(n\)充分大时\(x_n > a\)；若\(\lim x_n < b\)，则\(n\)充分大时\(x_n < b\) | \(\{x_n\}\)收敛，极限与常数有严格不等 | 极限与常数的大小关系，最终传递到序列项 | 仅对\(n\)充分大的项成立，前有限项可以不满足 |
核心应用总结
- 判断序列最终大小：通过计算两个序列极限的大小，直接判断\(n\)充分大时序列项的大小，无需逐项比较。
- 判断序列最终符号：通过计算序列的极限符号，直接确定\(n\)充分大时序列的符号，是后续证明、放缩的核心工具。
- 极限不等式证明：通过序列项的不等关系，推导极限的不等关系，是夹挤原理、极限存在性证明的基础。
posted on 2026-03-10 08:44 Indian_Mysore 阅读(2) 评论(0) 收藏 举报
浙公网安备 33010602011771号