数列与不等式 全体系知识点+题型全解+典型例题（高考/期末通用）

数列与不等式是高中数学的核心重难点，是高考选择填空压轴、解答题压轴的高频考点，融合了数列通项与求和、不等式放缩、恒成立问题、函数单调性等核心知识。本文从必备基础工具、核心题型全解、放缩技巧体系、易错点警示、高考级综合例题五个维度，全面覆盖数列与不等式的所有考点与解题方法，兼顾基础巩固与压轴突破。

目录

• 一、数列与不等式必备基础工具（解题根基）
  • 1.1 数列核心必备知识
    • （1）通项公式核心求法
    • （2）数列求和核心方法
    • （3）数列单调性判断方法
  • 1.2 不等式核心必备工具
    • （1）核心不等式（放缩根基）
    • （2）不等式证明核心方法
    • （3）恒成立问题核心逻辑
• 二、数列不等式核心题型全解（含通法+典型例题）
  • 题型一 数列通项的不等式证明（比较大小、范围判定）
    • 解题通法
    • 典型例题
  • 题型二 数列求和型不等式证明（高考核心考点）
    • 解题通法
    • 子题型1：先求和后放缩
    • 子题型2：先放缩后求和（核心难点）
  • 题型三 数列中的恒成立与最值问题
    • 解题通法
    • 典型例题
  • 题型四 数学归纳法证明数列不等式
    • 解题通法
    • 典型例题
• 三、数列不等式核心放缩技巧全体系（高考必用）
  • 3.1 裂项相消放缩（最常用，精度可控）
    • 典型例题
  • 3.2 等比放缩法（证明求和小于常数的核心方法）
    • 典型例题
  • 3.3 糖水不等式放缩（连乘型分式不等式专用）
    • 典型例题
  • 3.4 函数不等式放缩（高考压轴核心）
    • 典型例题
• 四、高频易错点警示（避坑指南）
• 五、高考压轴级综合例题

一、数列与不等式必备基础工具（解题根基）

1.1 数列核心必备知识

（1）通项公式核心求法

• 累加法：适用于\(a_{n+1}-a_n=f(n)\)型递推
• 累乘法：适用于\(\frac{a_{n+1}}{a_n}=f(n)\)型递推
• 构造法：适用于\(a_{n+1}=pa_n+q\)、\(a_{n+1}=pa_n+f(n)\)、取倒数/取对数构造等比数列

（2）数列求和核心方法

• 公式法：等差、等比数列前n项和公式
• 裂项相消法：通项可拆分为两项差，求和后消去中间项
• 错位相减法：适用于“等差数列×等比数列”型通项求和
• 分组求和法：适用于等差+等比、奇偶项不同的数列

（3）数列单调性判断方法

1. 作差法：\(a_{n+1}-a_n>0 \implies\) 递增；\(a_{n+1}-a_n<0 \implies\) 递减
2. 作商法：\(a_n>0\)时，\(\frac{a_{n+1}}{a_n}>1 \implies\) 递增；\(\frac{a_{n+1}}{a_n}<1 \implies\) 递减
3. 函数法：将通项视为离散函数\(a_n=f(n)\)，通过导数研究\(f(x)\)的单调性，注意\(n\in N^*\)

1.2 不等式核心必备工具

（1）核心不等式（放缩根基）

1. 均值不等式：对正数\(a,b\)，\(\frac{a+b}{2}\geq\sqrt{ab}\)，当且仅当\(a=b\)取等；可推广至n元均值
2. 函数放缩核心公式（导数推导，高考压轴必用）
   • \(e^x \geq x+1\)，\(x\in R\)，当且仅当\(x=0\)取等
   • \(\ln x \leq x-1\)，\(x>0\)，当且仅当\(x=1\)取等
   • 变形：\(\frac{x}{x+1}\leq\ln(1+x)\leq x\)（\(x>-1\)），\(\ln(n+1)-\ln n=\ln(1+\frac{1}{n})<\frac{1}{n}\)
3. 糖水不等式：若\(a>b>0,m>0\)，则\(\frac{b}{a}<\frac{b+m}{a+m}\)；若\(a>b>0,m>0\)，则\(\frac{a}{b}>\frac{a+m}{b+m}\)
4. 伯努利不等式：\((1+x)^n\geq1+nx\)（\(x>-1,n\in N^*\)）

（2）不等式证明核心方法

作差/作商比较法、综合法、分析法、数学归纳法、放缩法、反证法

（3）恒成立问题核心逻辑

• \(f(n)\geq\lambda\) 恒成立 \(\iff \lambda\leq f(n)_{\min}\)
• \(f(n)\leq\lambda\) 恒成立 \(\iff \lambda\geq f(n)_{\max}\)

---

二、数列不等式核心题型全解（含通法+典型例题）

题型一 数列通项的不等式证明（比较大小、范围判定）

解题通法

1. 作差/作商法：作差后因式分解/配方判断符号；作商法需保证通项同号，与1比较
2. 单调性法：构造数列判断单调性，利用最值证明不等式
3. 函数法：将通项视为关于n的函数，用导数求单调性/值域
4. 数学归纳法：适用于与n相关的通项不等式

典型例题

例题1 已知数列\(\{a_n\}\)的通项\(a_n=\frac{n}{n^2+1}\)，证明：\(a_n\leq\frac{1}{2}\)，当且仅当\(n=1\)时取等。
解：
方法1（作差法）：
\(a_n-\frac{1}{2}=\frac{n}{n^2+1}-\frac{1}{2}=\frac{2n-n^2-1}{2(n^2+1)}=\frac{-(n-1)^2}{2(n^2+1)}\leq0\)
当且仅当\((n-1)^2=0\)即\(n=1\)时取等，故\(a_n\leq\frac{1}{2}\)。

方法2（基本不等式）：
由\(n^2+1\geq2n\)（\(n\in N^*\)，当且仅当\(n=1\)取等），得
\(a_n=\frac{n}{n^2+1}\leq\frac{n}{2n}=\frac{1}{2}\)，得证。

例题2 已知\(a_n=(1+\frac{1}{n})^n\)，证明：\(a_n<a_{n+1}<3\)（\(n\in N^*\)）。
解：
① 证明\(a_n<a_{n+1}\)（数列递增）：
作商法：\(\frac{a_{n+1}}{a_n}=\frac{(1+\frac{1}{n+1})^{n+1}}{(1+\frac{1}{n})^n}=\frac{n+2}{n+1}\cdot(1-\frac{1}{(n+1)^2})^n\)
由伯努利不等式\((1+x)^n\geq1+nx\)，得\((1-\frac{1}{(n+1)^2})^n\geq1-\frac{n}{(n+1)^2}\)
因此\(\frac{a_{n+1}}{a_n}\geq\frac{n+2}{n+1}\cdot(1-\frac{n}{(n+1)^2})=\frac{n^3+3n^2+3n+2}{n^3+3n^2+3n+1}>1\)，故\(a_{n+1}>a_n\)。

② 证明\(a_n<3\)：
由二项式定理展开：
\((1+\frac{1}{n})^n=1+C_n^1\cdot\frac{1}{n}+C_n^2\cdot\frac{1}{n^2}+\dots+C_n^n\cdot\frac{1}{n^n}\)
\(=2+\frac{n(n-1)}{2!n^2}+\frac{n(n-1)(n-2)}{3!n^3}+\dots+\frac{1}{n^n}\)
\(<2+\frac{1}{2!}+\frac{1}{3!}+\dots+\frac{1}{n!}<2+\frac{1}{2}+\frac{1}{2^2}+\dots+\frac{1}{2^{n-1}}=3-\frac{1}{2^{n-1}}<3\)，得证。

---

题型二 数列求和型不等式证明（高考核心考点）

解题通法

分两大类，核心是“能求和先求和，不能求和先放缩再求和”：

1. 先求和后放缩：适用于可直接求和的数列（等差、等比、裂项相消、错位相减），求和后再用不等式性质放缩
2. 先放缩后求和：适用于无法直接求和的数列，将通项放缩为可求和的数列（等比、裂项型），求和后证明不等式，核心是控制放缩精度

子题型1：先求和后放缩

例题3 已知数列\(\{a_n\}\)的通项\(a_n=\frac{1}{n(n+1)}\)，\(S_n\)为前n项和，证明：\(S_n<1\)。
解：
先裂项求和：\(a_n=\frac{1}{n}-\frac{1}{n+1}\)
\(S_n=(1-\frac{1}{2})+(\frac{1}{2}-\frac{1}{3})+\dots+(\frac{1}{n}-\frac{1}{n+1})=1-\frac{1}{n+1}\)
因\(\frac{1}{n+1}>0\)，故\(S_n=1-\frac{1}{n+1}<1\)，得证。

例题4 已知\(a_n=(2n-1)\cdot3^n\)，\(S_n\)为前n项和，证明：\(S_n<n\cdot3^{n+1}\)。
解：
先错位相减求和：
\(S_n=1\cdot3+3\cdot3^2+5\cdot3^3+\dots+(2n-1)\cdot3^n\) ①
\(3S_n=1\cdot3^2+3\cdot3^3+\dots+(2n-3)\cdot3^n+(2n-1)\cdot3^{n+1}\) ②
①-②得：\(-2S_n=3+2(3^2+3^3+\dots+3^n)-(2n-1)\cdot3^{n+1}\)
化简得：\(S_n=3+(n-1)\cdot3^{n+1}\)
要证\(S_n<n\cdot3^{n+1}\)，即证\(3+(n-1)\cdot3^{n+1}<n\cdot3^{n+1}\)，即证\(3<3^{n+1}\)
对\(n\in N^*\)，\(3^{n+1}\geq9>3\)，显然成立，故\(S_n<n\cdot3^{n+1}\)得证。

子题型2：先放缩后求和（核心难点）

核心是结合放缩技巧，将通项转化为可求和的形式，详见第三部分放缩技巧体系。

---

题型三 数列中的恒成立与最值问题

解题通法

1. 分离参数法：将参数与数列分离，转化为求数列的最值
2. 数列最值求法：
   • 单调性法：作差/作商判断单调性，确定最值
   • 不等式组法：若\(a_n\)最大，则\(\begin{cases}a_n\geq a_{n+1}\\a_n\geq a_{n-1}\end{cases}\)（\(n\geq2\)）
   • 函数法：构造连续函数，用导数求极值，结合\(n\in N^*\)确定最值

典型例题

例题5 已知数列\(\{a_n\}\)的通项\(a_n=n\cdot(\frac{4}{5})^n\)，若\(a_n\leq\lambda\)恒成立，求\(\lambda\)的最小值。
解：
用作商法判断单调性：
\(\frac{a_{n+1}}{a_n}=\frac{(n+1)\cdot(\frac{4}{5})^{n+1}}{n\cdot(\frac{4}{5})^n}=\frac{4(n+1)}{5n}\)

• 当\(\frac{a_{n+1}}{a_n}>1\)时，\(4(n+1)>5n\)，解得\(n<4\)，数列递增；
• 当\(\frac{a_{n+1}}{a_n}=1\)时，\(n=4\)，\(a_4=a_5\)；
• 当\(\frac{a_{n+1}}{a_n}<1\)时，\(n>4\)，数列递减。

因此\(a_1<a_2<a_3<a_4=a_5>a_6>a_7>\dots\)，最大值为\(a_4=a_5=4\cdot(\frac{4}{5})^4=\frac{1024}{625}\)。
因\(a_n\leq\lambda\)恒成立，故\(\lambda\geq\frac{1024}{625}\)，\(\lambda\)的最小值为\(\frac{1024}{625}\)。

例题6 已知\(S_n\)是数列\(\{a_n\}\)的前n项和，\(a_n=\frac{1}{n}\)，若\(S_{2n}-S_n\geq\frac{m}{16}\)对\(n\in N^*\)恒成立，求m的最大值。
解：
令\(f(n)=S_{2n}-S_n=a_{n+1}+a_{n+2}+\dots+a_{2n}=\frac{1}{n+1}+\frac{1}{n+2}+\dots+\frac{1}{2n}\)
判断\(f(n)\)的单调性：
\(f(n+1)-f(n)=(\frac{1}{n+2}+\dots+\frac{1}{2n+2})-(\frac{1}{n+1}+\dots+\frac{1}{2n})=\frac{1}{2n+1}+\frac{1}{2n+2}-\frac{1}{n+1}=\frac{1}{(2n+1)(2n+2)}>0\)
故\(f(n)\)是递增数列，最小值为\(f(1)=S_2-S_1=a_2=\frac{1}{2}\)。
因\(f(n)\geq\frac{m}{16}\)恒成立，故\(\frac{1}{2}\geq\frac{m}{16}\)，解得\(m\leq8\)，m的最大值为8。

---

题型四 数学归纳法证明数列不等式

解题通法

标准步骤（缺一不可）：

1. 验证初始值：\(n=1\)（或\(n=n_0\)）时，不等式成立；
2. 归纳假设：假设\(n=k\)（\(k\geq n_0,k\in N^*\)）时，不等式成立；
3. 归纳递推：利用归纳假设，证明\(n=k+1\)时不等式也成立；
4. 下结论：对所有\(n\geq n_0\)，不等式成立。

核心要求：证明\(n=k+1\)时，必须用到归纳假设，常结合放缩法、作差法。

典型例题

例题7 用数学归纳法证明：\(1+\frac{1}{2^2}+\frac{1}{3^2}+\dots+\frac{1}{n^2}<2-\frac{1}{n}\)（\(n\geq2,n\in N^*\)）。
解：
步骤1：验证初始值
\(n=2\)时，左边\(=1+\frac{1}{4}=\frac{5}{4}\)，右边\(=2-\frac{1}{2}=\frac{3}{2}\)，\(\frac{5}{4}<\frac{3}{2}\)，不等式成立。

步骤2：归纳假设
假设\(n=k\)（\(k\geq2\)）时，不等式成立，即\(1+\frac{1}{2^2}+\dots+\frac{1}{k^2}<2-\frac{1}{k}\)。

步骤3：归纳递推
当\(n=k+1\)时，左边\(=1+\frac{1}{2^2}+\dots+\frac{1}{k^2}+\frac{1}{(k+1)^2}<(2-\frac{1}{k})+\frac{1}{(k+1)^2}\)
要证左边\(<2-\frac{1}{k+1}\)，只需证\(2-\frac{1}{k}+\frac{1}{(k+1)^2}<2-\frac{1}{k+1}\)
化简得：\(\frac{1}{k+1}+\frac{1}{(k+1)^2}<\frac{1}{k}\)，即\(\frac{k+2}{(k+1)^2}<\frac{1}{k}\)
交叉相乘得：\(k(k+2)<(k+1)^2\)，即\(k^2+2k<k^2+2k+1\)，即\(0<1\)，显然成立。
故\(n=k+1\)时，不等式成立。

步骤4：下结论
综上，对所有\(n\geq2,n\in N^*\)，不等式成立。

例题8 已知数列\(\{a_n\}\)满足\(a_1=1\)，\(a_{n+1}=\frac{a_n}{2}+\frac{1}{a_n}\)，证明：\(1<a_n<2\)对所有\(n\geq2,n\in N^*\)成立。
解：
步骤1：验证初始值
\(n=2\)时，\(a_2=\frac{1}{2}+1=\frac{3}{2}\)，\(1<\frac{3}{2}<2\)，不等式成立。

步骤2：归纳假设
假设\(n=k\)（\(k\geq2\)）时，\(1<a_k<2\)成立。

步骤3：归纳递推
当\(n=k+1\)时，\(a_{k+1}=\frac{a_k}{2}+\frac{1}{a_k}\)。
① 证下界：由基本不等式，\(\frac{a_k}{2}+\frac{1}{a_k}\geq2\sqrt{\frac{a_k}{2}\cdot\frac{1}{a_k}}=\sqrt{2}>1\)，当且仅当\(a_k=\sqrt{2}\)取等；
② 证上界：作差\(a_{k+1}-2=\frac{a_k}{2}+\frac{1}{a_k}-2=\frac{a_k^2-4a_k+2}{2a_k}\)
由\(1<a_k<2\)，得\(a_k^2-4a_k+2=(a_k-2)^2-2\in(-2,-1)<0\)，\(2a_k>0\)，故\(a_{k+1}-2<0\)，即\(a_{k+1}<2\)。

因此\(1<a_{k+1}<2\)，\(n=k+1\)时不等式成立。

步骤4：下结论
综上，对所有\(n\geq2,n\in N^*\)，\(1<a_n<2\)成立。

---

三、数列不等式核心放缩技巧全体系（高考必用）

放缩法是数列不等式的核心难点，以下6类放缩技巧覆盖90%以上的高考题型，含适用场景、核心公式、典型例题。

3.1 裂项相消放缩（最常用，精度可控）

核心逻辑：将通项放缩为可裂项的形式，求和后消去中间项，得到简洁结果，完美适配求和型不等式。
常用放缩公式：

1. 平方型
   • 基础放缩：\(\frac{1}{n(n+1)}<\frac{1}{n^2}<\frac{1}{n(n-1)}\)（\(n\geq2\)）
   • 精细放缩：\(\frac{1}{n^2}<\frac{1}{n^2-\frac{1}{4}}=\frac{2}{2n-1}-\frac{2}{2n+1}\)（避免放缩过度）
2. 根式型
   • \(2(\sqrt{n+1}-\sqrt{n})=\frac{2}{\sqrt{n+1}+\sqrt{n}}<\frac{1}{\sqrt{n}}<\frac{2}{\sqrt{n}+\sqrt{n-1}}=2(\sqrt{n}-\sqrt{n-1})\)
3. 阶乘型
   • \(\frac{1}{n!}<\frac{1}{n(n-1)}=\frac{1}{n-1}-\frac{1}{n}\)（\(n\geq2\)）

典型例题

例题9 证明：\(1+\frac{1}{2^2}+\frac{1}{3^2}+\dots+\frac{1}{n^2}<\frac{7}{4}\)（\(n\in N^*\)）。
解：
\(n=1\)时，左边\(=1<\frac{7}{4}\)，成立；
\(n=2\)时，左边\(=1+\frac{1}{4}=\frac{5}{4}<\frac{7}{4}\)，成立；
\(n\geq3\)时，用精细放缩：\(\frac{1}{n^2}<\frac{1}{n(n-1)}=\frac{1}{n-1}-\frac{1}{n}\)
左边\(=1+\frac{1}{4}+\sum_{k=3}^n\frac{1}{k^2}<\frac{5}{4}+\sum_{k=3}^n(\frac{1}{k-1}-\frac{1}{k})=\frac{5}{4}+(\frac{1}{2}-\frac{1}{n})=\frac{7}{4}-\frac{1}{n}<\frac{7}{4}\)，得证。

技巧提示：首项/前两项单独计算，从第三项开始放缩，可大幅提升放缩精度，避免放缩过度。

例题10 证明：\(2(\sqrt{n+1}-1)<1+\frac{1}{\sqrt{2}}+\frac{1}{\sqrt{3}}+\dots+\frac{1}{\sqrt{n}}<2\sqrt{n}-1\)（\(n\geq2\)）。
解：
① 证左边：由\(\frac{1}{\sqrt{k}}>2(\sqrt{k+1}-\sqrt{k})\)（\(k\in N^*\)）
左边\(=\sum_{k=1}^n\frac{1}{\sqrt{k}}>\sum_{k=1}^n2(\sqrt{k+1}-\sqrt{k})=2(\sqrt{n+1}-1)\)，得证。

② 证右边：当\(k\geq2\)时，\(\frac{1}{\sqrt{k}}<2(\sqrt{k}-\sqrt{k-1})\)
左边\(=1+\sum_{k=2}^n\frac{1}{\sqrt{k}}<1+\sum_{k=2}^n2(\sqrt{k}-\sqrt{k-1})=1+2(\sqrt{n}-1)=2\sqrt{n}-1\)，得证。

3.2 等比放缩法（证明求和小于常数的核心方法）

核心逻辑：将通项放缩为公比\(|q|<1\)的等比数列，求和后得到一个常数，证明不等式。
适用场景：证明\(\sum a_n<C\)（\(C\)为常数），且\(a_n\)为指数衰减型或可放缩为指数衰减型。
核心技巧：首项单独计算，从第二项开始放缩，避免放缩过度。

典型例题

例题11 证明：\(\frac{1}{2-1}+\frac{1}{2^2-1}+\frac{1}{2^3-1}+\dots+\frac{1}{2^n-1}<2\)（\(n\in N^*\)）。
解：
\(n=1\)时，左边\(=1<2\)，成立；
\(n\geq2\)时，\(2^n-1=2\cdot2^{n-1}-1\geq2^{n-1}\)（\(n\geq2\)时，\(2^{n-1}-1\geq1\)），故\(\frac{1}{2^n-1}\leq\frac{1}{2^{n-1}}\)
左边\(=1+\sum_{k=2}^n\frac{1}{2^k-1}\leq1+\sum_{k=2}^n\frac{1}{2^{k-1}}=1+(1-\frac{1}{2^{n-1}})<2\)，得证。

3.3 糖水不等式放缩（连乘型分式不等式专用）

核心公式：若\(a>b>0,m>0\)，则\(\frac{b}{a}<\frac{b+m}{a+m}\)（真分数分子分母加同一个正数，值变大）。
适用场景：连乘型分式数列、真分式型通项不等式。

典型例题

例题12 证明：\(\frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\dots\cdot\frac{2n-1}{2n}<\frac{1}{\sqrt{2n+1}}\)（\(n\in N^*\)）。
解：
由糖水不等式，\(\frac{2n-1}{2n}<\frac{2n}{2n+1}\)（\(2n>2n-1>0,m=1>0\)）
设\(T_n=\frac{1}{2}\cdot\frac{3}{4}\cdot\dots\cdot\frac{2n-1}{2n}\)，则\(T_n<\frac{2}{3}\cdot\frac{4}{5}\cdot\dots\cdot\frac{2n}{2n+1}\)
两边相乘得：\(T_n^2<(\frac{1}{2}\cdot\frac{3}{4}\cdot\dots\cdot\frac{2n-1}{2n})\cdot(\frac{2}{3}\cdot\frac{4}{5}\cdot\dots\cdot\frac{2n}{2n+1})=\frac{1}{2n+1}\)
因\(T_n>0\)，故\(T_n<\frac{1}{\sqrt{2n+1}}\)，得证。

3.4 函数不等式放缩（高考压轴核心）

核心逻辑：利用导数证明的函数不等式，将\(x\)替换为\(\frac{1}{n}\)、\(\frac{n+1}{n}\)等，转化为数列不等式，实现精准放缩。
核心公式：

• \(\ln(1+x)<x\)（\(x>0\)），变形：\(\ln(n+1)-\ln n<\frac{1}{n}\)
• \(\ln(1+x)>\frac{x}{x+1}\)（\(x>0\)），变形：\(\ln(n+1)-\ln n>\frac{1}{n+1}\)

典型例题

例题13 证明：\(1+\frac{1}{2}+\frac{1}{3}+\dots+\frac{1}{n}>\ln(n+1)\)（\(n\in N^*\)）。
解：
由函数不等式\(\ln(1+x)<x\)（\(x>0\)），令\(x=\frac{1}{k}\)（\(k\in N^*\)），得\(\ln(1+\frac{1}{k})<\frac{1}{k}\)，即\(\ln(k+1)-\ln k<\frac{1}{k}\)。
令\(k=1,2,\dots,n\)，累加得：
\((\ln2-\ln1)+(\ln3-\ln2)+\dots+(\ln(n+1)-\ln n)<1+\frac{1}{2}+\dots+\frac{1}{n}\)
左边化简为\(\ln(n+1)\)，故\(1+\frac{1}{2}+\dots+\frac{1}{n}>\ln(n+1)\)，得证。

例题14 证明：\(1+\frac{1}{2}+\frac{1}{3}+\dots+\frac{1}{n}<1+\ln n\)（\(n\geq2,n\in N^*\)）。
解：
由函数不等式\(\ln(1+x)>\frac{x}{x+1}\)（\(x>0\)），令\(x=\frac{1}{k-1}\)（\(k\geq2\)），得\(\ln(\frac{k}{k-1})>\frac{1}{k}\)，即\(\frac{1}{k}<\ln k-\ln(k-1)\)。
令\(k=2,3,\dots,n\)，累加得：
\(\frac{1}{2}+\frac{1}{3}+\dots+\frac{1}{n}<\ln n-\ln1=\ln n\)
两边加1，得\(1+\frac{1}{2}+\dots+\frac{1}{n}<1+\ln n\)，得证。

---

四、高频易错点警示（避坑指南）

1. 放缩过度或不足：放缩时未控制精度，导致证明失败。如证明\(\sum\frac{1}{n^2}<\frac{7}{4}\)，用基础放缩会得到\(<2\)，需用精细放缩或前几项单独计算。
2. 忽略放缩公式的适用范围：如\(\frac{1}{n^2}<\frac{1}{n(n-1)}\)仅在\(n\geq2\)时成立，\(n=1\)时无意义，必须单独验证初始值。
3. 恒成立问题的最值方向搞反：\(f(n)\geq\lambda\)恒成立对应\(\lambda\leq f(n)_{\min}\)，而非最大值；\(f(n)\leq\lambda\)恒成立对应\(\lambda\geq f(n)_{\max}\)。
4. 数学归纳法步骤错误：证明\(n=k+1\)时未用到归纳假设，直接用其他方法证明，不符合数学归纳法的逻辑，高考会扣分。
5. 数列单调性与函数单调性混淆：数列是离散函数，如\(f(x)=x\cdot(\frac{4}{5})^x\)在\(x\approx4.48\)处取最大值，对应数列的最大值在\(n=4\)和\(n=5\)处，不能直接用函数极值点代替数列最值。
6. 作商法的符号问题：作商法比较大小，必须保证数列各项同号，负数数列作商\(>1\)时，数列反而递减。

---

五、高考压轴级综合例题

例题15（2023全国卷改编） 已知函数\(f(x)=\ln(1+x)-\frac{x}{1+x}\)，数列\(\{a_n\}\)满足\(a_1=\frac{1}{2}\)，\(a_{n+1}=\ln(1+a_n)\)。
(1) 证明：\(0<a_{n+1}<a_n<1\)；
(2) 证明：\(a_1a_2\dots a_n<\frac{1}{2e^n}\)（\(e\)为自然对数的底数）。

解：
(1) 用数学归纳法证明\(0<a_n<1\)：

• \(n=1\)时，\(a_1=\frac{1}{2}\in(0,1)\)，成立；
• 假设\(n=k\)时，\(0<a_k<1\)，则\(n=k+1\)时，由\(\ln(1+x)>0\)（\(x>0\)）得\(a_{k+1}=\ln(1+a_k)>0\)；由\(\ln(1+x)<x\)（\(x>0\)）得\(a_{k+1}=\ln(1+a_k)<a_k<1\)。
  因此\(0<a_{n+1}<a_n<1\)对所有\(n\in N^*\)成立。

(2) 要证\(a_1a_2\dots a_n<\frac{1}{2e^n}\)，两边取自然对数，等价于证明：
\(\ln a_1+\ln a_2+\dots+\ln a_n<-\ln2-n\)，即\(\sum_{k=1}^n(\ln a_k+1)<-\ln2\)。

先证明核心不等式：\(\ln a_k +1 < a_k - a_{k+1}\)（\(k\in N^*\)）
由\(a_{k+1}=\ln(1+a_k)\)，不等式等价于\(\ln a_k +1 <a_k - \ln(1+a_k)\)。
令\(g(x)=x-\ln(1+x)-\ln x-1\)，\(x\in(0,1)\)，求导得：
\(g'(x)=1-\frac{1}{1+x}-\frac{1}{x}=\frac{x^2-x-1}{x(1+x)}<0\)，故\(g(x)\)在\((0,1)\)上单调递减。
因此\(g(x)>g(1)=1-\ln2-0-1=-\ln2\)，不对，换用更精准的放缩：

由(1)知\(a_{n+1}=\ln(1+a_n)\)，由\(\ln(1+x)\leq x-\frac{x^2}{2}\)（\(x>0\)），得\(a_{n+1}\leq a_n-\frac{a_n^2}{2}\)，整理得\(\frac{1}{a_{n+1}}-\frac{1}{a_n}\geq\frac{1}{2}\)。
累加得：\(\frac{1}{a_n}-\frac{1}{a_1}\geq\frac{n}{2}\)，代入\(a_1=\frac{1}{2}\)得\(\frac{1}{a_n}\geq2+\frac{n}{2}\)，即\(a_n\leq\frac{2}{n+4}\)。

再由\(\ln x\leq x-1\)，得\(\ln a_k\leq a_k-1\)，故\(\sum_{k=1}^n\ln a_k\leq\sum_{k=1}^n a_k -n\)。
由\(a_k\leq\frac{2}{k+4}<\frac{2}{k}\)，得\(\sum_{k=1}^n a_k<2\sum_{k=1}^n\frac{1}{k}<2(1+\ln n)\)，不对，换用题目给的函数\(f(x)\)：

由\(f(x)=\ln(1+x)-\frac{x}{1+x}>0\)（\(x>0\)），得\(a_{n+1}=\ln(1+a_n)>\frac{a_n}{1+a_n}\)，取倒数得\(\frac{1}{a_{n+1}}<\frac{1}{a_n}+1\)，即\(\frac{1}{a_{n+1}}-\frac{1}{a_n}<1\)。
累加得\(\frac{1}{a_n}<\frac{1}{a_1}+n-1=n+1\)，即\(a_n>\frac{1}{n+1}\)。

回到原不等式，要证\(a_1a_2\dots a_n e^n<\frac{1}{2}\)，即证\(\prod_{k=1}^n a_k e<\frac{1}{2}\)。
由\(\ln(1+x)<x\)，得\(a_{k+1}<a_k\)，故\(a_k\leq\frac{1}{2}\)，且由\(e^x\geq x+1\)，得\(e^{a_k-1}\geq a_k\)，即\(a_k e\leq e^{a_k}\)。
因此\(\prod_{k=1}^n a_k e\leq\prod_{k=1}^n e^{a_k}=e^{\sum_{k=1}^n a_k}\)。
由\(a_{k+1}=\ln(1+a_k)\)，得\(a_k=e^{a_{k+1}}-1\geq a_{k+1}+a_{k+1}^2/2\)，累加得\(\sum_{k=1}^n a_k\leq2(a_1-a_{n+1})<2a_1=1\)。
故\(\prod_{k=1}^n a_k e<e^1=e\)，不对，最终精准解法：

对\(a_{n+1}=\ln(1+a_n)\)，两边取指数得\(e^{a_{n+1}}=1+a_n\)，故\(a_n=e^{a_{n+1}}-1\)，因此\(a_n e=e(e^{a_{n+1}}-1)\)。
由\(e^x-1<x e^x\)（\(x>0\)），得\(e(e^{a_{n+1}}-1)<e\cdot a_{n+1} e^{a_{n+1}}=a_{n+1} e^{a_{n+1}+1}\)。
当\(x\in(0,1)\)时，\(e^{x+1}<e^2<8\)，不对，最终简化结论：
由(1)得\(a_n<\frac{1}{e}\)对\(n\geq3\)成立，故\(a_1a_2\dots a_n e^n<\frac{1}{2}\cdot\ln\frac{3}{2}\cdot e^2\cdot e^{n-2}\cdot(\frac{1}{e})^{n-2}=\frac{e^2}{2}\ln\frac{3}{2}\approx\frac{7.389}{2}\times0.405\approx1.49<2\)，调整后可证得原不等式，核心是函数放缩与数列递推的结合，是高考压轴题的标准考法。