数学归纳法是证明与正整数n相关命题的严谨演绎推理方法，属于完全归纳法，完美解决了“无限多个正整数无法逐一验证”的问题，是高中数学、高考压轴题、竞赛数学的核心工具。本文从底层原理、标准步骤、全类型拓展、高频易错点、分梯度典型例题全覆盖，可直接用于预习、复习、备考。
目录一、数学归纳法的底层逻辑与核心原理1. 理论根基：皮亚诺归纳公理2. 核心区分：完全归纳vs不完全归纳二、第一数学归纳法（最核心、最常用，90%题型适用）1. 标准四步走（高考阅卷核心踩分点）2. 极简记忆口诀三、数学归纳法的全类型拓展（全场景覆盖）1. 第二数学归纳法（强归纳法）核心定义适用场景标准步骤2. 反向数学归纳法（倒推归纳法）核心定义适用场景3. 跳跃数学归纳法（步长m归纳法）核心定义适用场景4. 螺旋数学归纳法（双命题联动归纳）核心定义适用场景四、高频易错点+反例避坑（90%的失分都在这里）1. 致命错误1：省略归纳奠基，或初始值\(n_0\)选错反例1：伪证“所有正整数都相等”反例2：伪证“\(2^n > n^2\)对所有正整数n成立”避坑指南2. 致命错误2：归纳递推没有用到归纳假设，属于伪证反例：用数学归纳法证明\(1+2+...+n = \frac{n(n+1)}{2}\)避坑指南3. 高频错误3：从\(n=k\)到\(n=k+1\)，项数变化计算错误反例：伪证“\(1 + \frac{1}{2} + \frac{1}{3} + ... + \frac{1}{2^n} > \frac{n}{2}\)”避坑指南4. 高频错误4：归纳假设的范围写错，递推逻辑失效反例：伪证“斐波那契数列\(F_n < 2^n\)”，用第一数学归纳法避坑指南五、分梯度典型例题+详细解析（从入门到高考竞赛）模块一：基础入门题（恒等式证明，熟悉标准步骤）例题1 经典求和恒等式证明例题2 平方和公式证明模块二：高考核心高频题（整除性、不等式、数列通项）类型1 整除性证明例题3 经典整除问题类型2 不等式证明（高考压轴高频考点）例题4 根式不等式证明类型3 数列通项与性质证明（高考数列大题必考）例题5 递推数列通项证明模块三：拓展提升题（第二归纳、反向归纳、几何、竞赛）类型1 第二数学归纳法（强归纳法）例题6 斐波那契数列性质证明类型2 几何问题证明例题7 凸多边形内角和证明类型3 反向数学归纳法（均值不等式证明）例题8 算术-几何均值不等式（AM-GM不等式）证明六、解题核心技巧总结
一、数学归纳法的底层逻辑与核心原理
1. 理论根基：皮亚诺归纳公理
设S是正整数集\(\boldsymbol{N^*}\)的子集，满足两个条件：
① 初始值\(1\in S\)；
② 若正整数\(k\in S\)，则\(k+1\in S\)；
那么\(S=N^*\)，即S包含所有正整数。
数学归纳法的本质，就是通过严谨的两步证明，验证命题满足皮亚诺公理的两个条件，从而推出命题对所有正整数成立。
2. 核心区分：完全归纳vs不完全归纳
不完全归纳：通过验证有限个n的取值，猜想命题成立。仅能用于合情推理，不能作为严谨的证明方法，极易出现反例。
例：猜想“\(n^2+n+41\)是质数”，n=1到39时均成立，但n=40时，\(40^2+40+41=41^2\)，不是质数，猜想失效。
完全归纳（数学归纳法）：通过“奠基+递推”两步，覆盖所有正整数，是严谨的证明方法，结论绝对成立。
二、第一数学归纳法（最核心、最常用，90%题型适用）
第一数学归纳法是所有归纳法的基础，高考、日常学习中90%的题目都用这个方法，必须严格掌握标准步骤。
1. 标准四步走（高考阅卷核心踩分点）
步骤
核心要求
作用
铁律
① 归纳奠基
验证当n取第一个初始值\(n_0\)（\(n_0\in N^*\)，通常为1，也可根据命题调整为0、2、5等）时，命题成立
搭建命题成立的“第一块多米诺骨牌”，是整个证明的基础
绝对不能省略，必须验证命题成立的最小正整数
② 归纳假设
假设当\(n=k\)（\(k\in N^*\)，\(k\geq n_0\)）时，命题成立
搭建递推的桥梁，假设“第k块骨牌能倒下”，为后续推导提供依据
必须明确k的取值范围，不能脱离初始值\(n_0\)
③ 归纳递推
以归纳假设为核心条件，严格推导证明当\(n=k+1\)时，命题也成立
证明“如果第k块骨牌倒下，第k+1块一定倒下”，是整个证明的灵魂
必须用到归纳假设，否则就是伪证明，完全不符合逻辑
④ 归纳结论
由①②③可知，命题对所有满足\(n\geq n_0\)的正整数n都成立
收尾总结，明确命题的成立范围
必须写全，不能省略
2. 极简记忆口诀
奠基是基础，假设是桥梁，递推是核心，结论来收尾。
三、数学归纳法的全类型拓展（全场景覆盖）
针对不同的递推结构和命题特征，数学归纳法有多个拓展类型，覆盖所有与正整数相关的证明场景。
1. 第二数学归纳法（强归纳法）
核心定义
归纳假设升级为 “假设当\(n\leq k\)（\(k\geq n_0\)，\(k\in N^*\)）时命题成立” ，再证明\(n=k+1\)时命题成立。
适用场景
命题的递推关系与前面多个项有关（如斐波那契数列、线性递推数列），仅用\(n=k\)的假设无法完成推导。
标准步骤
① 归纳奠基：验证\(n=n_0\)（及前m个初始值）时命题成立；
② 强归纳假设：假设当\(n\leq k\)（\(k\geq n_0\)）时命题成立；
③ 归纳递推：利用强归纳假设，证明\(n=k+1\)时命题成立；
④ 归纳结论：命题对所有\(n\geq n_0\)的正整数成立。
2. 反向数学归纳法（倒推归纳法）
核心定义
先证明命题对无穷多个正整数n成立，再证明“若\(n=k\)时命题成立，则\(n=k-1\)时命题成立”，最终推出对所有正整数成立。
适用场景
容易证明对\(n=2^m\)（m为正整数）成立，再倒推到所有正整数的命题，最经典的应用是均值不等式的证明。
3. 跳跃数学归纳法（步长m归纳法）
核心定义
① 验证\(n=n_0,n_0+1,...,n_0+m-1\)时命题成立；
② 假设\(n=k\)时成立，证明\(n=k+m\)时成立；
③ 推出命题对所有\(n\geq n_0\)的正整数成立。
适用场景
命题具有周期性、步长固定为m的递推关系，比如证明与奇偶性相关的命题。
4. 螺旋数学归纳法（双命题联动归纳）
核心定义
两个相互依赖的命题\(P(n)\)、\(Q(n)\)，① 验证\(P(n_0)\)、\(Q(n_0)\)成立；② 假设\(P(k)\)、\(Q(k)\)成立，证明\(P(k+1)\)、\(Q(k+1)\)成立；③ 推出两个命题均对所有\(n\geq n_0\)成立。
适用场景
两个命题互相依赖，无法单独递推，竞赛数学中高频使用。
四、高频易错点+反例避坑（90%的失分都在这里）
1. 致命错误1：省略归纳奠基，或初始值\(n_0\)选错
反例1：伪证“所有正整数都相等”
伪证：假设\(n=k\)时，\(k=k+1\)，那么\(n=k+1\)时，\(k+1=k+2\)，所以所有正整数相等。
错误根源：没有归纳奠基，\(n=1\)时\(1=2\)不成立，整个证明是空中楼阁。
反例2：伪证“\(2^n > n^2\)对所有正整数n成立”
伪证：假设\(n=k\)时\(2^k>k^2\)，那么\(n=k+1\)时，\(2^{k+1}=2×2^k>2k^2\)，当\(k≥3\)时\(2k^2>(k+1)^2\)，所以成立。
错误根源：初始值选错\(n_0=1\)，\(n=2\)时\(4=4\)、\(n=3\)时\(8<9\)、\(n=4\)时\(16=16\)，只有\(n≥5\)时命题成立，正确的奠基应为\(n_0=5\)。
避坑指南
必须严格验证命题成立的最小正整数\(n_0\)；若递推关系依赖前m项，必须验证前m个初始值。
2. 致命错误2：归纳递推没有用到归纳假设，属于伪证
反例：用数学归纳法证明\(1+2+...+n = \frac{n(n+1)}{2}\)
伪证：① \(n=1\)时，左边=右边=1，成立；② 假设\(n=k\)时成立，那么\(n=k+1\)时，左边\(=1+2+...+(k+1)=\frac{(k+1)(k+2)}{2}=\)右边，成立。
错误根源：递推步骤直接用了等差数列求和公式，完全没有用到“\(n=k\)时成立”的归纳假设，本质是循环论证，不是数学归纳法。
避坑指南
递推步骤必须把\(n=k+1\)的表达式，拆成“\(n=k\)的部分 + 新增部分”，先代入归纳假设，再进行变形推导，绝对不能跳过假设直接用公式。
3. 高频错误3：从\(n=k\)到\(n=k+1\)，项数变化计算错误
反例：伪证“\(1 + \frac{1}{2} + \frac{1}{3} + ... + \frac{1}{2^n} > \frac{n}{2}\)”
伪证：① \(n=1\)时，\(1+\frac{1}{2}>\frac{1}{2}\)，成立；② 假设\(n=k\)时成立，那么\(n=k+1\)时，左边\(=1+\frac{1}{2}+...+\frac{1}{2^k} + \frac{1}{2^{k+1}} > \frac{k}{2} + \frac{1}{2^{k+1}} > \frac{k+1}{2}\)，成立。
错误根源：从\(n=k\)到\(n=k+1\)，新增的项不是1项，而是\(2^k\)项（从\(\frac{1}{2^k+1}\)到\(\frac{1}{2^{k+1}}\)，共\(2^k\)项），漏项导致证明失效。
避坑指南
写清楚\(n=k\)和\(n=k+1\)时的完整表达式，逐项对比，明确新增的项数和内容，绝对不能想当然认为只加1项。
4. 高频错误4：归纳假设的范围写错，递推逻辑失效
反例：伪证“斐波那契数列\(F_n < 2^n\)”，用第一数学归纳法
伪证：① \(n=1\)时，\(F_1=1<2\)，成立；② 假设\(n=k\)时\(F_k<2^k\)，那么\(n=k+1\)时，\(F_{k+1}=F_k+F_{k-1} < 2^k + F_{k-1}\)，无法推导。
错误根源：斐波那契数列的递推依赖前两项，仅假设\(n=k\)成立，无法处理\(F_{k-1}\)，必须用第二数学归纳法。
避坑指南
根据递推关系选择归纳类型：若递推依赖前m项，必须用第二数学归纳法，且验证前m个初始值。
五、分梯度典型例题+详细解析（从入门到高考竞赛）
模块一：基础入门题（恒等式证明，熟悉标准步骤）
例题1 经典求和恒等式证明
用数学归纳法证明：对任意正整数n，\(1+2+3+...+n = \frac{n(n+1)}{2}\)。
【详细证明】
① 归纳奠基：当\(n=1\)时，左边\(=1\)，右边\(=\frac{1×(1+1)}{2}=1\)，左边=右边，命题成立。
② 归纳假设：假设当\(n=k\)（\(k\in N^*\)，\(k≥1\)）时，命题成立，即
\[1+2+...+k = \frac{k(k+1)}{2}
\]
③ 归纳递推：当\(n=k+1\)时，
\[\begin{align*}
左边&=1+2+...+k + (k+1) \\
&= \frac{k(k+1)}{2} + (k+1) \quad \text{（核心：代入归纳假设）} \\
&= (k+1)\left( \frac{k}{2} + 1 \right) \\
&= \frac{(k+1)(k+2)}{2} \\
&= \frac{(k+1)[(k+1)+1]}{2} = 右边
\end{align*}
\]
因此，当\(n=k+1\)时，命题也成立。
④ 归纳结论：由①②③可知，对任意正整数n，命题都成立。
【解题关键】严格按步骤执行，递推时必须代入归纳假设，把\(n=k+1\)的左边拆成\(n=k\)的部分加新增项。
例题2 平方和公式证明
用数学归纳法证明：对任意正整数n，\(1^2+2^2+3^2+...+n^2 = \frac{n(n+1)(2n+1)}{6}\)。
【详细证明】
① 归纳奠基：当\(n=1\)时，左边\(=1^2=1\)，右边\(=\frac{1×2×3}{6}=1\)，左边=右边，命题成立。
② 归纳假设：假设当\(n=k\)（\(k≥1\)，\(k\in N^*\)）时，命题成立，即
\[1^2+2^2+...+k^2 = \frac{k(k+1)(2k+1)}{6}
\]
③ 归纳递推：当\(n=k+1\)时，
\[\begin{align*}
左边&=1^2+2^2+...+k^2 + (k+1)^2 \\
&= \frac{k(k+1)(2k+1)}{6} + (k+1)^2 \quad \text{（代入归纳假设）} \\
&= \frac{(k+1)[k(2k+1) + 6(k+1)]}{6} \\
&= \frac{(k+1)(2k^2+7k+6)}{6} \\
&= \frac{(k+1)(k+2)(2k+3)}{6} \\
&= \frac{(k+1)[(k+1)+1][2(k+1)+1]}{6} = 右边
\end{align*}
\]
因此，\(n=k+1\)时命题成立。
④ 归纳结论：对任意正整数n，命题成立。
模块二：高考核心高频题（整除性、不等式、数列通项）
类型1 整除性证明
例题3 经典整除问题
用数学归纳法证明：对任意正整数n，\(3^{2n} -8n -1\)能被64整除。
【详细证明】
① 归纳奠基：当\(n=1\)时，\(3^2 -8×1 -1=0\)，0能被64整除，命题成立。
② 归纳假设：假设当\(n=k\)（\(k≥1\)，\(k\in N^*\)）时，命题成立，即\(3^{2k} -8k -1\)能被64整除，设
\[3^{2k} -8k -1=64m \quad (m\in N^*)
\]
③ 归纳递推：当\(n=k+1\)时，
\[\begin{align*}
3^{2(k+1)} -8(k+1) -1 &= 9×3^{2k} -8k -9 \\
&= 9×(64m +8k +1) -8k -9 \quad \text{（核心：代入归纳假设）} \\
&= 9×64m +72k +9 -8k -9 \\
&= 64(9m +k)
\end{align*}
\]
\(64(9m +k)\)显然能被64整除，因此\(n=k+1\)时命题成立。
④ 归纳结论：对任意正整数n，\(3^{2n} -8n -1\)能被64整除。
【解题关键】把\(n=k+1\)的式子拆成含\(3^{2k}\)的形式，代入归纳假设后提取64的公因式，完成整除性证明。
【易错提醒】n=1时结果为0，0能被任何非零整数整除，奠基成立，不要误以为0不符合要求。
类型2 不等式证明（高考压轴高频考点）
例题4 根式不等式证明
用数学归纳法证明：对任意正整数n，\(1 + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + ... + \frac{1}{\sqrt{n}} < 2\sqrt{n}\)。
【详细证明】
① 归纳奠基：当\(n=1\)时，左边\(=1\)，右边\(=2\sqrt{1}=2\)，\(1<2\)，命题成立。
② 归纳假设：假设当\(n=k\)（\(k≥1\)，\(k\in N^*\)）时，命题成立，即
\[1 + \frac{1}{\sqrt{2}} + ... + \frac{1}{\sqrt{k}} < 2\sqrt{k}
\]
③ 归纳递推：当\(n=k+1\)时，
\[\begin{align*}
左边&=1 + \frac{1}{\sqrt{2}} + ... + \frac{1}{\sqrt{k}} + \frac{1}{\sqrt{k+1}} \\
&< 2\sqrt{k} + \frac{1}{\sqrt{k+1}} \quad \text{（代入归纳假设）}
\end{align*}
\]
接下来用分析法证明\(2\sqrt{k} + \frac{1}{\sqrt{k+1}} < 2\sqrt{k+1}\)：
要证上式，只需证\(2\sqrt{k} < 2\sqrt{k+1} - \frac{1}{\sqrt{k+1}} = \frac{2(k+1)-1}{\sqrt{k+1}} = \frac{2k+1}{\sqrt{k+1}}\)
两边平方（均为正数，不等号方向不变）：\(4k < \frac{(2k+1)^2}{k+1}\)
即\(4k(k+1) < 4k^2+4k+1\)，化简得\(0<1\)，显然成立。
因此\(2\sqrt{k} + \frac{1}{\sqrt{k+1}} < 2\sqrt{k+1}\)，即\(n=k+1\)时，左边<右边，命题成立。
④ 归纳结论：对任意正整数n，不等式成立。
【解题关键】递推时先代入归纳假设，再通过分析法把复杂不等式转化为显然成立的式子，完成放缩。
类型3 数列通项与性质证明（高考数列大题必考）
例题5 递推数列通项证明
已知数列\(\{a_n\}\)满足\(a_1=1\)，\(a_{n+1}=2a_n +1\)（\(n\in N^*\)），用数学归纳法证明：\(a_n=2^n -1\)。
【详细证明】
① 归纳奠基：当\(n=1\)时，\(a_1=2^1 -1=1\)，与已知条件一致，命题成立。
② 归纳假设：假设当\(n=k\)（\(k≥1\)，\(k\in N^*\)）时，命题成立，即\(a_k=2^k -1\)。
③ 归纳递推：当\(n=k+1\)时，由已知递推公式：
\[\begin{align*}
a_{k+1}&=2a_k +1 \\
&= 2(2^k -1) +1 \quad \text{（代入归纳假设）} \\
&= 2^{k+1} -2 +1 \\
&= 2^{k+1} -1
\end{align*}
\]
符合命题的通项形式，因此\(n=k+1\)时命题成立。
④ 归纳结论：对任意正整数n，\(a_n=2^n -1\)成立。
【高考实战技巧】高考中求递推数列的通项，若不会用构造法，可先猜通项，再用数学归纳法证明，同样得满分。
模块三：拓展提升题（第二归纳、反向归纳、几何、竞赛）
类型1 第二数学归纳法（强归纳法）
例题6 斐波那契数列性质证明
斐波那契数列定义为：\(F_1=1\)，\(F_2=1\)，\(F_n=F_{n-1}+F_{n-2}\)（\(n≥3\)，\(n\in N^*\)），用数学归纳法证明：对任意正整数n，\(F_n < 2^n\)。
【分析】递推公式依赖前两项，仅用\(n=k\)的假设无法处理\(F_{k-1}\)，因此用第二数学归纳法。
【详细证明】
① 归纳奠基：当\(n=1\)时，\(F_1=1<2^1=2\)，成立；当\(n=2\)时，\(F_2=1<2^2=4\)，成立。
② 强归纳假设：假设当\(n≤k\)（\(k≥2\)，\(k\in N^*\)）时，命题成立，即对所有\(1≤n≤k\)，都有\(F_n < 2^n\)。
③ 归纳递推：当\(n=k+1\)时，
\[\begin{align*}
F_{k+1}&=F_k + F_{k-1} \\
&< 2^k + 2^{k-1} \quad \text{（代入强归纳假设）} \\
&= 3×2^{k-1} \\
&< 4×2^{k-1} = 2^{k+1}
\end{align*}
\]
因此，\(F_{k+1} < 2^{k+1}\)，\(n=k+1\)时命题成立。
④ 归纳结论：对任意正整数n，\(F_n < 2^n\)成立。
类型2 几何问题证明
例题7 凸多边形内角和证明
用数学归纳法证明：对任意\(n≥3\)，\(n\in N^*\)，凸n边形的内角和为\((n-2)×180°\)。
【详细证明】
① 归纳奠基：当\(n=3\)时，三角形的内角和为180°，\((3-2)×180°=180°\)，命题成立。
② 归纳假设：假设当\(n=k\)（\(k≥3\)，\(k\in N^*\)）时，命题成立，即凸k边形的内角和为\((k-2)×180°\)。
③ 归纳递推：当\(n=k+1\)时，任取一个凸k+1边形\(A_1A_2...A_kA_{k+1}\)，连接\(A_1A_k\)，将其分为一个凸k边形\(A_1A_2...A_k\)和一个三角形\(A_1A_kA_{k+1}\)。
因此，凸k+1边形的内角和=凸k边形的内角和 + 三角形的内角和
\[\begin{align*}
&= (k-2)×180° + 180° \\
&= (k-1)×180° \\
&= [(k+1)-2]×180°
\end{align*}
\]
因此，\(n=k+1\)时命题成立。
④ 归纳结论：对任意\(n≥3\)，凸n边形的内角和为\((n-2)×180°\)。
类型3 反向数学归纳法（均值不等式证明）
例题8 算术-几何均值不等式（AM-GM不等式）证明
用反向数学归纳法证明：对任意正整数\(n≥2\)，以及正实数\(a_1,a_2,...,a_n\)，有
\[\frac{a_1+a_2+...+a_n}{n} ≥ \sqrt[n]{a_1a_2...a_n}
\]
当且仅当\(a_1=a_2=...=a_n\)时等号成立。
【详细证明】
第一步：证明对\(n=2^m\)（\(m\in N^*\)），不等式成立（无穷多个n）
① 当\(m=1\)，\(n=2\)时，\(\frac{a_1+a_2}{2} - \sqrt{a_1a_2} = \frac{(\sqrt{a_1}-\sqrt{a_2})^2}{2} ≥0\)，当且仅当\(a_1=a_2\)时等号成立，命题成立。
② 假设当\(m=t\)时，\(n=2^t\)时不等式成立，即对\(2^t\)个正实数，有
\[\frac{a_1+a_2+...+a_{2^t}}{2^t} ≥ \sqrt[2^t]{a_1a_2...a_{2^t}}
\]
当\(m=t+1\)时，\(n=2^{t+1}=2×2^t\)，
\[\begin{align*}
\frac{a_1+...+a_{2^{t+1}}}{2^{t+1}} &= \frac{1}{2}\left( \frac{a_1+...+a_{2^t}}{2^t} + \frac{a_{2^t+1}+...+a_{2^{t+1}}}{2^t} \right) \\
&\geq \frac{1}{2}\left( \sqrt[2^t]{a_1...a_{2^t}} + \sqrt[2^t]{a_{2^t+1}...a_{2^{t+1}}} \right) \\
&\geq \sqrt{\sqrt[2^t]{a_1...a_{2^t}} × \sqrt[2^t]{a_{2^t+1}...a_{2^{t+1}}}} \\
&= \sqrt[2^{t+1}]{a_1a_2...a_{2^{t+1}}}
\end{align*}
\]
因此，对所有\(n=2^m\)，不等式成立。
第二步：证明若\(n=k\)时不等式成立，则\(n=k-1\)时也成立
假设\(n=k\)时，对k个正实数不等式成立，即
\[\frac{a_1+a_2+...+a_k}{k} ≥ \sqrt[k]{a_1a_2...a_k}
\]
令\(a_k = \frac{a_1+a_2+...+a_{k-1}}{k-1}\)（即第k项为前k-1项的算术平均值），代入得：
\[\frac{a_1+...+a_{k-1} + \frac{a_1+...+a_{k-1}}{k-1}}{k} ≥ \sqrt[k]{a_1...a_{k-1} × \frac{a_1+...+a_{k-1}}{k-1}}
\]
左边化简为\(\frac{a_1+a_2+...+a_{k-1}}{k-1}\)，因此：
\[\left( \frac{a_1+...+a_{k-1}}{k-1} \right)^k ≥ a_1a_2...a_{k-1} × \frac{a_1+...+a_{k-1}}{k-1}
\]
两边约去\(\frac{a_1+...+a_{k-1}}{k-1}\)，再开k-1次方，得：
\[\frac{a_1+a_2+...+a_{k-1}}{k-1} ≥ \sqrt[k-1]{a_1a_2...a_{k-1}}
\]
即\(n=k-1\)时不等式成立。
第三步：归纳结论
由第一步，不等式对无穷多个\(n=2^m\)成立；由第二步，可倒推到所有\(n≥2\)，因此均值不等式对所有\(n≥2\)成立。
六、解题核心技巧总结
选对初始值\(n_0\)：根据命题的成立范围，选择最小的正整数\(n_0\)；若递推依赖前m项，必须验证前m个初始值。
拆对递推式：\(n=k+1\)的式子，必须拆成“\(n=k\)的部分 + 新增部分”，确保能代入归纳假设。
用对归纳假设：递推步骤必须用到归纳假设，否则就是伪证，这是数学归纳法的核心灵魂。
选对归纳类型：递推依赖前多项用第二归纳，容易证明对\(2^m\)成立用反向归纳，步长固定用跳跃归纳。
辅助技巧：不等式证明可结合分析法、放缩法，整除性证明可拆项提取公因式，数列证明紧扣递推公式。