书屿归纳证明跟读：把起始步、假设与下一步逐项对齐

归纳证明中假设成立，不等于把所有待证结论先宣布为真。本篇用书屿保留命题和证明位置，在自己的笔记里逐步标出起始步、条件假设和推出下一项的过程。练习采用经典正整数求和命题，只讲如何跟读并核对，不把应用当证明器，也不声称发明了新证明。原书可能用不同记号与起点，必须照它的范围重新对应，不能见到归纳二字就套一张通用答案。

先保存命题全文与整数范围

选一小段自己有基础阅读的归纳证明，记书名、版次、章节、命题号、证明起止短语及相邻条件。先写n是什么、从哪里开始、要证所有哪些值，不只抄等号。本文练习设n为正整数且n≥1，P(n)为1+2+…+n=n(n+1)/2；省略号只表示依次加到n，不是无限和。若原书从0开始或讨论别的集合，另记其定义，不能把本例起点强塞过去。先把待证命题与证明文字分段保存，后面每一步都要回到同一命题，而不是无意换了结论。

起始步要把两边都实际代入

本例检查n=1，左边只有1，右边1×(1+1)/2=1，所以P(1)成立。写清这一项，不用明显成立四字省掉自己还没看懂的代入。起点不是总要选1，而是按原命题允许的第一个值。若把n=0当本例唯一基例，需说明它怎样连接到n≥1的范围，不能不作说明就更换。数值代入遇到除以零或对象未定义时先回范围，不让计算器提示代替数学条件。完成此段只说明起始一项为真，还没有证明所有正整数，后续仍需要一般归纳步。

假设只针对任意一个k的条件

取任意整数k≥1，暂假设P(k)成立，即1+2+…+k=k(k+1)/2。把任意、范围和暂假设都记下，不写因为已知所有n成立。这个假设用于证明从一项到下一项的条件关系，不是结论已经完成。不要随便把k固定成3后就说一般步已证，具体数只能帮助查算。原书若用m或其他字母，可在旁写自己的对应表，但不能在同一段里突然换字母又未说明。先圈出假设可替换的那一段和它的适用范围，下一步明确记录哪里真正用到了它。

下一步目标先完整写出

把P(k+1)单列：1+2+…+k+(k+1)=(k+1)(k+2)/2。右边由原公式把n整体换成k+1而来，第二因子是k+2，不仍是k+1。先写目标再推导，不能直接把目标当已知等式抄回去。左边增加的是一项k+1，不是整段求和再加1，也不是把每一项都加1。若上下标看不清，回原页或用普通文字说明，不能凭记忆省掉括号。此时目标还未证明，在笔记用待推出标记，避免下一行循环引用它作为理由。

在一行里明确使用归纳假设

从下一项左边开始，先把前k项换成假设的k(k+1)/2，再加(k+1)。通分得到[k(k+1)+2(k+1)]/2，提出共同因子后为(k+1)(k+2)/2，正好是目标右边。每个等号旁写代入假设、通分或提因子，不只连抄结果。若漏写2(k+1)而成k(k+1)+(k+1)，检查分母是否被错误消掉；若得到(k+1)²/2，检查括号里的k+2。计算步骤是普通代数，假设只在替换前k项时使用，不把待证下一项拿来反向证明自己。

起始与一般步两者共同收尾

现在有P(1)为真，也有任意k≥1时P(k)推出P(k+1)，才可按归纳原理得全部整数n≥1成立。只验1、2、3不代替一般步；只写推出关系也不代替起始步。可用简单反例练习：目标若写所有n≥1都有n≥2，向下一整数的保持关系可成立，但n=1基例失败，不能据此证明原目标。这个反例只是说明为何不能省基例，不是另一份真实教材的错误。笔记收尾保留范围，结论不扩成所有实数或任意起点，这些不在本次证明之内。

用数值自查与原文回查各做一次

可取n=3核1+2+3=6，右边3×4/2=6；再取4核10与4×5/2=10，这只是查抄写与计算，不是新的普遍证明。随后退出阅读器，按书签或特征短语返回命题、基例和归纳步，逐句核对任意、假设、推出与范围。导出笔记后打开看括号、加号、分母与k+2没有丢失，公式难输入可用普通文字完整写。若换版命题号变化，重新对正文，不只靠旧页码。把个人解释与原文短摘录区分，未来订正才知道改的是理解还是抄写。

留下能解释推理连接的证明卡

完成记录至少包括原命题范围、P(1)、P(k)假设、P(k+1)目标、假设使用行和结论。遮住原证明，能说明为什么多加的是k+1、为什么右边出现k+2、为什么三个数例仍不够，才不只是记住漂亮公式。看不懂某个等号就保留待查，不把它压缩成显然成立。下一段证明先重新核起点与命题，不能照搬本例每行。书屿帮助定位与保存，这份卡只表示自己跟读了一个选定推理，不表示应用会自动验算所有证明或替代正式数学学习。