定义 利用数列的单调性、有界性或递推关系，推导项与项、项与常数之间的不等关系。
从哪来 本节为起点，无前置知识点记录。
为什么 数列本质是定义在正整数集上的离散函数。不等式是描述数值大小关系的工具。将两者结合，是因为数列往往具有递推结构（$a_{n+1}$ 与 $a_n$ 相关），直接求通项公式往往困难或无解。通过不等式放缩（如夹逼、累加、累乘），可以将复杂的递推关系转化为可计算的范围，从而确定数列的极限、最值或证明其收敛性。这是处理“动态变化量”与“静态界限”之间矛盾的核心逻辑。
适合类型：逻辑严密、擅长代数推导的学生**
**核心思路：单调有界定理与放缩法**
1. **单调性判断
计算 $a_{n+1} - a_n$ 或 $\frac{a_{n+1}}{a_n}$，判断数列是递增还是递减。
2.
有界性寻找：通过观察前几项或递推式，猜测并证明 $a_n < M$ 或 $a_n > m$。
3.
放缩技巧：
*
裂项相消：将 $a_n$ 拆分为 $b_n - b_{n+1}$ 形式，利用 $b_n > b_{n+1}$ 进行放缩。
*
基本不等式：利用 $a+b \ge 2\sqrt{ab}$ 或 $\frac{a+b}{2} \ge \sqrt{ab}$ 对递推式中的非线性项进行线性化或简化。
4.
结论：若数列单调且有界，则极限存在；若需证明 $a_n < C$，则通过数学归纳法或放缩累加完成。
适合类型：直观思维强、对函数图像敏感的学生**
**核心思路：图像法与迭代收敛**
1. **函数视角
将递推式 $a_{n+1} = f(a_n)$ 看作函数 $y=f(x)$ 的迭代。
2.
不动点分析：解方程 $x = f(x)$ 得到不动点 $x_0$。
3.
图像观察：
* 画出 $y=x$ 和 $y=f(x)$ 的图像。
* 观察交点 $x_0$ 附近的斜率 $|f'(x_0)|$。若 $|f'(x_0)| < 1$，则数列收敛于 $x_0$。
* 通过图像直观判断 $a_n$ 是从上方逼近还是下方逼近 $x_0$，从而确定不等号方向（$a_n > x_0$ 或 $a_n < x_0$）。
4.
验证：用图像得出的不等式方向作为猜想，再用代数方法（如归纳法）严格证明。
适合类型：计算能力强、喜欢模式识别的学生**
**核心思路：构造辅助数列与累乘/累加**
1. **识别结构
* 若 $a_{n+1} = a_n + k$，则 $a_n = a_1 + (n-1)k$，直接比较。
* 若 $a_{n+1} = a_n \cdot k$，则 $a_n = a_1 \cdot k^{n-1}$，利用指数性质比较。
* 若 $a_{n+1} = \frac{a_n}{a_n + k}$ 或类似分式，取倒数构造新数列 $b_n = \frac{1}{a_n}$，转化为线性递推。
2.
累乘/累加放缩：
* 对于乘积型 $P_n = a_1 a_2 \dots a_n$，若 $a_n < b_n$，则 $P_n < B_n$。
* 对于求和型 $S_n = \sum a_n$，若 $a_n < c \cdot r^n$ ($0
应用：常用于证明 $S_n < K$ 或 $a_n < \epsilon$ 的问题。