一、 数学归纳法“三步走”标准作业程序（SOP）
数学归纳法是处理“与正整数 相关的命题”（尤其是递推数列的有界性、单调性）的最强武器。考场上，阅卷人会严格寻找以下三个得分踩分点：
-
Step 1：奠基（起点）
-
动作：验证当 （或题干规定的初始整数）时，命题成立。
-
目的：推倒第一块多米诺骨牌。
-
-
Step 2：假设（桥梁）
-
动作：“假设当 时命题成立”。明确写出这个假设的数学表达式。
-
目的：为下一步的代数变形提供合法的替换条件（这是整个证明的弹药库）。
-
-
Step 3：递推（核心攻坚）
-
动作：“当 时…”。利用题干给的递推公式，强行代入 Step 2 中的假设条件，通过代数变形（如通分、因式分解、放缩等），最终推导出 时命题也成立。
-
收尾金句：“综上所述，由数学归纳法可知，该命题对所有正整数 均成立。”（必须写，不写扣步骤分）。
-
二、 经典例题实战演练
【例题】 设 ， （）。证明：对于所有正整数 ，都有 。（即证明数列有上界） 你想求任意一项，就必须把它的“上一项”代入到等式右边。（对于题目中的式子） 【标准化证明过程】
1. 奠基（）
当 时，由题意已知 ，命题显然成立。
2. 假设（）
假设当 时命题成立，即有 。 （注：这个条件等会儿必须用上）
3. 递推（）
当 时，我们需要探究 与 的大小关系。
（破局技巧：作差法比较大小，目标是证明差值 ）
【核心代数变形区：通分 + 分组分解】
将分子重新分组组合（第一项和第三项结合，第二项和第四项结合）：
强行提取公因式 ：
【符号严格判定】
现在对化简后的因式进行逐一审判：
① 因已知 ，故 ，推导得出： （正数）。
② 由 Step 2 的归纳假设 ，不等式两边同乘 得 ，推导得出： （非正数）。
③ 因 且各项全为正运算，显然有 ，推导得出分母： （正数）。
整个分式的符号构成为：。
因此，，即推导出 。
4. 结论收尾
综上所述，由数学归纳法可知，对于任意 ，都有 成立。数列 有上界。
💡 考场高能防坑总结
-
没有“假设”，递推就是耍流氓：在证明 的代数变形过程中，必定、绝对有某一步要用到 时的不等式结论（例如本题判定 时）。如果你从头到尾算完了都没用到假设条件，说明你的证明绝对出错了。
-
“作差法 + 分组分解”是分式递推的神兵利器：遇到复杂的分子分母结构，不要指望一眼看出大小关系。老老实实减去目标值，通分后，利用提取公因式把加减法变成乘法。因为在数学上，判断几个因式相乘的正负号，比判断加减法的正负号要容易、严谨一百倍。
利用函数的导数求最值：
1，对函数求一阶导；
2.令一阶导数为0，求出x的值。
3，求二阶导，二阶导大于0，则求出的是最小值，二阶导小于0则求出最大值。
或者化简亦有可能求出（略简单）
