单调有界定理证明
什么是单调有界定理？
在数学分析（Mathematical Analysis）与高等数学的核心体系中，单调有界定理（Monotone Convergence Theorem）是实数完备性的重要体现之一。它不仅是判断数列极限存在的有力工具，也是后续学习级数收敛性、函数极限性质的重要基石。许多学生在面对复杂的递推数列时，往往感到无从下手，而该定理提供了一套标准化的解题逻辑。
📌 核心定义
若数列 {aₙ} 单调递增且有上界，则 {aₙ} 收敛；若数列 {aₙ} 单调递减且有下界，则 {aₙ} 收敛。简言之：单调且有界的数列必收敛。
⚙️ 几何直观
想象一条曲线，如果它一直在向上爬（单调递增），但头顶有一块天花板（有上界），那么它最终一定会停在某个高度，而不会无限上升或震荡。
🔗 逻辑关系
单调性 + 有界性 ⇒ 收敛性。注意：收敛 ⇏ 单调，但有界是收敛的必要条件。
单调有界定理的严格证明
很多读者关心单调有界定理证明的过程。该定理的证明依赖于实数系的确界原理（Supremum Principle）。以下是标准的数学推导过程。
设数列 {aₙ} 单调递增且有上界，则 {aₙ} 收敛，且 lim(n→∞) aₙ = sup{aₙ}。
证明步骤详解
- 利用确界原理： 由于数列 {aₙ} 有上界，根据实数的确界原理，集合 S = {aₙ | n ∈ N⁺} 必有上确界。记 A = sup{aₙ}。
- 利用上确界定义： 对于任意给定的 ε > 0，由于 A - ε 不是上界（因为 A 是最小上界），故存在某一项 aₙ₀，使得 aₙ₀ > A - ε。
- 利用单调性： 因为数列 {aₙ} 单调递增，所以当 n > n₀ 时，有 aₙ ≥ aₙ₀ > A - ε。
- 结合上界性质： 又因为 A 是上界，所以对于所有 n，都有 aₙ ≤ A < A + ε。
- 得出结论： 当 n > n₀ 时，有 |aₙ - A| < ε。根据极限的定义，lim(n→∞) aₙ = A。
对于单调递减且有下界的数列，证明方法类似，只需考虑下确界 inf{aₙ} 即可。
解题技巧与常见误区
在实际考试（如考研数学、大学生数学竞赛）中，直接使用单调有界定理证明数列极限存在是高频考点。以下是解题的标准范式。
如何证明有界性？
通常使用数学归纳法。
1. 当 n=1 时，a₁ = 1 < 2，成立。
2. 假设 n=k 时成立，即 aₖ < 2。
3. 当 n=k+1 时，aₖ₊₁ = aₖ + 1/(k+1)² < 2 + 1/(k+1)²。此路不通，需更精细放缩。
正确放缩：1/n² < 1/(n(n-1)) = 1/(n-1) - 1/n。
从而 aₙ < 2 - 1/n < 2。
技巧提示： 对于递推数列 aₙ₊₁ = f(aₙ)，若 f(x) 单调递增，可先求不动点 x = f(x)，再证明数列被不动点界住。
如何证明单调性？
主要有两种方法：
- 作差法： 计算 Δ = aₙ₊₁ - aₙ。若 Δ ≥ 0，则递增；若 Δ ≤ 0，则递减。常用于分式或根式数列。
- 作商法： 计算 q = aₙ₊₁ / aₙ (假设 aₙ > 0)。若 q ≥ 1，则递增；若 q ≤ 1，则递减。
若数列由函数 f(x) 定义，即 aₙ = f(n)，也可通过求导 f'(x) 的符号来判断单调性。
如何求极限值？
一旦证明了极限存在，设 lim(n→∞) aₙ = A。对递推公式两边同时取极限。
两边取极限：A = √(2 + A)
A² = 2 + A
A² - A - 2 = 0
(A - 2)(A + 1) = 0
因 aₙ > 0，故 A = 2。
注意： 解出的 A 可能有多个值，需根据数列的有界性或首项符号舍去不合题意的根。
经典例题深度解析
理论结合实践才能掌握精髓。以下选取两类典型例题，展示单调有界定理证明的完整流程。
例题 1：递推数列的收敛性
题目： 设数列 {aₙ} 满足 a₁ = 2, aₙ₊₁ = 2 + 1/aₙ (n≥1)。证明 {aₙ} 收敛，并求其极限。
1. 有界性： 显然 aₙ > 0。又 aₙ₊₁ = 2 + 1/aₙ < 3 (若 aₙ > 1)。可用归纳法证明 1 < aₙ < 3。
2. 单调性： 计算 aₙ₊₂ - aₙ₊₁ = (2 + 1/aₙ₊₁) - (2 + 1/aₙ) = (aₙ - aₙ₊₁) / (aₙ aₙ₊₁)。由于 aₙ > 0，符号取决于 aₙ - aₙ₊₁。这表明数列奇偶项分别单调。
注：此题更严谨的做法是考察 |aₙ₊₁ - aₙ| 的缩放，或直接利用压缩映射原理，但在基础微积分中，常通过证明子数列收敛来间接解决，或者题目会给出更简单的递推如 aₙ₊₁ = √(1+aₙ)。
修正例题以符合标准单调有界： 设 a₁ = √2, aₙ₊₁ = √(2 + aₙ)。证明收敛并求极限。
- 有界：aₙ < 2。归纳：a₁<2, 若 aₖ<2, aₖ₊₁=√(2+aₖ)<√4=2。
- 单调：aₙ₊₁ - aₙ = √(2+aₙ) - aₙ。令 f(x)=√(2+x)-x，在 x∈[√2, 2] 上 f(x)>0，故递增。
- 极限：A = √(2+A) ⇒ A=2。
| 数列类型 | 证明策略 | 关键难点 | 典型代表 |
|---|---|---|---|
| 根式递推 | 数学归纳法证有界，作差法证单调 | 根式放缩技巧 | aₙ₊₁ = √(aₙ + c) |
| 分式递推 | 作商法或求导法 | 符号判断 | aₙ₊₁ = (aₙ + k)/(aₙ + 1) |
| 级数和数列 | 单调性显然，重点在裂项放缩证有界 | 放缩精度 | aₙ = Σ 1/k² |
常见问答 (FAQ)
对于收敛数列而言，有界性是必要条件，但不是充分条件（如 (-1)^n 有界但不收敛）。但对于单调数列而言，有界性是收敛的充要条件。这就是单调有界定理的核心价值：它将抽象的“收敛”转化为具体的“单调+有界”两个可验证的条件。
单调有界定理仅适用于单调数列，利用实数的完备性（确界原理）直接得出极限存在，证明过程通常较简单。柯西收敛准则适用于任意数列，通过判断 |aₙ - aₘ| 是否趋于零来判定，更为通用但计算往往更复杂。在解决递推数列问题时，通常优先尝试单调有界法，若单调性难证，再考虑柯西准则。
主要考查两类：1. 给定递推公式 aₙ₊₁ = f(aₙ)，证明极限存在并求值；2. 抽象数列的收敛性判断。重点在于数学归纳法的使用、单调性的证明技巧（作差或导数）以及极限方程的求解。常与中值定理、积分放缩结合考查。
可以。单调有界原理同样适用于函数极限。若函数 f(x) 在 (a, +∞) 上单调递增且有上界，则 lim(x→+∞) f(x) 存在。这在分析渐近行为和积分收敛性时非常有用。