19.07 一般数列的性质

数列的性质知识点整理

数列（Sequence）可以看作是一种定义在正整数集（或其有限子集）上的特殊函数 $f(n)=a_n$。因此，函数的许多重要性质在数列中都有所体现。以下是关于一般数列的常用概念与性质（通项、前 $n$ 项和、单调性、最值、周期性、有界性及收敛性）的系统整理：

---

一、 数列的核心基本概念

1. 通项公式 (General Term)

• 定义：如果数列 $\{a_n\}$ 的第 $n$ 项 $a_n$ 与项数 $n$ 之间的函数关系可以用一个公式来表示，这个公式就叫做这个数列的通项公式，记作 $a_n=f(n)$。
• 理解：通项公式是数列的“DNA”，知道了通项公式，就可以求出数列中的任意一项。
• 注意：并非所有数列都有通项公式（例如质数排列构成的数列），同一个数列的通项公式形式也可能不唯一。

2. 前 $n$ 项和 (Sum of the First $n$ Terms)

• 定义：数列 $\{a_n\}$ 从第 1 项到第 $n$ 项的和，通常用 $S_n$ 表示，即： $S_n=a_1+a_2+a_3+\cdots +a_n$
• $a_n$ 与 $S_n$ 的关键递推关系（核心考点）： $a_n=\{\begin{array}{ll}{S}_1,& n=1\\ S_n-S_{n-1},& n\ge 2\end{array}$ 在利用此公式求通项时，务必注意分 $n=1$ 和 $n\ge 2$ 两种情况讨论，最后观察两段能否合并。

---

二、 数列的单调性 (Monotonicity)

单调性反映了数列项随项数 $n$ 增加而呈现的增减趋势。

1. 定义

• 严格递增数列：对于任意的 $n\in {\mathbf{N}}^{\ast }$，都有 $a_{n+1}>a_n$。
• 严格递减数列：对于任意的 $n\in {\mathbf{N}}^{\ast }$，都有 $a_{n+1}<a_n$。
• 常数数列：对于任意的 $n\in {\mathbf{N}}^{\ast }$，都有 $a_{n+1}=a_n$（既是递增也是递减）。

2. 常用的单调性判断方法

• 作差法：考察 $a_{n+1}-a_n$ 的符号。
  • 若 $a_{n+1}-a_n>0$ 恒成立 $\Rightarrow$ 数列 $\{a_n\}$ 严格递增。
  • 若 $a_{n+1}-a_n<0$ 恒成立 $\Rightarrow$ 数列 $\{a_n\}$ 严格递减。
• 作商法（适用于各项均为正数的数列）：考察 $\frac{a_{n+1}}{a_n}$ 与 $1$ 的大小关系。
  • 若 $\frac{a_{n+1}}{a_n}>1$ 恒成立 $\Rightarrow$ 数列 $\{a_n\}$ 严格递增。
  • 若 $\frac{a_{n+1}}{a_n}<1$ 恒成立 $\Rightarrow$ 数列 $\{a_n\}$ 严格递减。
• 函数法：将通项公式中的 $n$ 视为连续变量 $x$，转化为函数 $f(x)$。
  • 若 $f(x)$ 在 $[1,+\infty )$ 上单调递增，则数列 $\{a_n\}$ 必然递增。
  • 注意：反之不一定成立，因为函数在非整数点波动并不影响离散点（数列项）的单调性。

---

三、 数列的最值 (Extrema)

因为数列的自变量 $n$ 是离散的正整数，所以其最值（最大值和最小值）的求法与连续函数略有不同。

1. 定义

• 若存在正整数 $M$，使得对任意 $n\in {\mathbf{N}}^{\ast }$ 都有 $a_n\le a_M$，则 $a_M$ 为该数列的最大值，记为 $(a_n{)}_{\max }$。
• 若存在正整数 $m$，使得对任意 $n\in {\mathbf{N}}^{\ast }$ 都有 $a_n\ge a_m$，则 $a_m$ 为该数列的最小值，记为 $(a_n{)}_{\min }$。

2. 常用求最值方法

• 利用单调性：
  • 若 $\{a_n\}$ 严格递增，则必然有最小值 $a_1$，无最大值（若项趋于正无穷）。
  • 若 $\{a_n\}$ 严格递减，则必然有最大值 $a_1$，无最小值（若项趋于负无穷）。
• 邻项比较法（最常用）：
  • 寻找最大值，只需解不等式组：$\{\begin{array}{l}{a}_n\ge a_{n+1}\\ a_n\ge a_{n-1}\end{array}$，解出的正整数 $n$ 即为最大值所在的项。
  • 寻找最小值，只需解不等式组：$\{\begin{array}{l}{a}_n\le a_{n+1}\\ a_n\le a_{n-1}\end{array}$。
• 二次函数对称轴法：
  • 若通项或前 $n$ 项和是关于 $n$ 的二次函数（如等差数列的 $S_n$），其最值通常在离二次函数对称轴最近的正整数点处取得。

---

四、 数列的周期性 (Periodicity)

某些数列的项会随着项数的增加而循环出现。

1. 定义

如果对于数列 $\{a_n\}$，存在一个正整数 $T$，使得当 $n$ 取任意正整数时，都有 $a_{n+T}=a_n$ 恒成立，则称 $\{a_n\}$ 为周期数列，$T$ 称为该数列的一个周期。满足条件的最小正整数 $T$ 称为最小正周期。

2. 常见形式与递推特征

• 直接型：如 $a_n=\sin \left(\frac{n\pi }{2}\right)$，项依次为 $1,0,-1,0,1,0\dots$，最小正周期 $T=4$。
• 隐式递推型（通常需要动手写出前几项以观察循环规律）：
  • 若 $a_{n+1}=-a_n$，则 $a_{n+2}=a_n$，周期 $T=2$。
  • 若 $a_{n+1}=\frac{1}{a_n}$，则 $a_{n+2}=a_n$，周期 $T=2$。
  • 若 $a_{n+1}=\frac{1}{1-a_n}$，通常周期 $T=3$。
  • 若 $a_{n+2}-a_{n+1}+a_n=0$，可推得 $a_{n+3}=-a_n$，从而 $a_{n+6}=a_n$，周期 $T=6$。

---

五、 数列的有界性 (Boundedness)

有界性决定了数列的取值范围是否会被限制在某个有限区间内。

1. 定义

• 上有界：存在常数 $M$，使得对一切 $n\in {\mathbf{N}}^{\ast }$，都有 $a_n\le M$。
• 下有界：存在常数 $m$，使得对一切 $n\in {\mathbf{N}}^{\ast }$，都有 $a_n\ge m$。
• 有界数列：既有上有界又有下有界。即存在正数 $M$，使得 $|a_n|\le M$ 对一切 $n\in {\mathbf{N}}^{\ast }$ 成立。

2. 典型示例

• 数列 $a_n=\frac{1}{n}$ 是有界的，因为对任意 $n$，都有 $0<a_n\le 1$。
• 数列 $a_n=2^n$ 是下有界的（$a_n\ge 2$），但不是上有界的，因而是无界数列。

---

六、 数列的收敛性与极限 (Convergence)

这是研究一般数列进阶（高等数学）性质时的核心内容。

1. 定义

当 $n$ 趋向于无穷大（$n\to \infty$）时，如果数列的项 $a_n$ 无限接近于一个确定的常数 $A$，则称数列 $\{a_n\}$ 收敛，记作： ${\lim }_{n\to \infty }{a}_n=A$ 如果不存在这样的常数，则称数列发散。

2. 重要定理：单调有界原理

任何单调且有界的数列必然收敛。

• 如果一个数列单调递增且有上有界，它一定存在极限。
• 如果一个数列单调递减且有下有界，它一定存在极限。

---

💡 解题思维方法

在面对一个陌生的一般数列时，推荐按以下步骤进行分析：

1. 列举法：先动手写出数列的前 4~5 项，直观观察它是在变大、变小、摆动还是循环，从而为单调性和周期性提供猜想。
2. 公式互化：若已知 $S_n$ 表达式，立刻通过 $a_n=S_n-S_{n-1}(n\ge 2)$ 尝试转化为通项公式进行研究。
3. 公式验证与边界确定：通过 $a_{n+1}-a_n$ 严格证明单调性，并结合首项 $a_1$ 或对称轴锁定最值与有界范围。