验证几项为什么还不算证明？用奇数和补全数学归纳法

先写清要证明什么，别让省略号代替定义

命题是：对每个正整数n，前n个正奇数的和S(n)=1+3+…+(2n−1)=n²。n既表示项数，也决定最后一项；不是把奇数加到数值n为止。

试算n=1得到1，n=2得到4，n=3得到9，能帮助发现规律，却只覆盖三个输入。即使继续算到100，也没有说明101或更大的数为什么必然成立。例子可以帮助找错，不能单独承担无限范围的证明。

MIT公开课讲义中的归纳原理（第3至4页）说明起点P(1)与对任意正整数n成立的条件步骤P(n)⇒P(n+1)如何共同推出全部正整数命题。下面的奇数和及纠错练习是本文自编推导，不是复制讲义中的示例。

把起点、假设和传递分别写出来

起点：n=1时，左边只有1，右边1²=1，所以P(1)成立。这里不是说“显然可略”，而是在确认后面的传递确实有一个可以开始的地方。

归纳步骤：任取一个k≥1，暂时假设P(k)成立，即S(k)=k²。要证明的是在这个假设下P(k+1)成立。不是先假设所有n都成立，也不是只验证某个具体k。

前k项的最后一个奇数为2k−1，下一项是2(k+1)−1=2k+1。所以S(k+1)=S(k)+(2k+1)=k²+2k+1=(k+1)²。这里第二个等号才使用归纳假设，最后一个等号是平方展开。

由于k是任意正整数，条件步骤覆盖每一环；配合已证明的P(1)，归纳原理给出S(n)=n²对所有n≥1成立。把任意k写清，是从有限验算跨到一般证明的关键。

命题：n≥1时，S(n)=n²。
起点：S(1)=1=1²。
任取k≥1，假设S(k)=k²。
下一项：2(k+1)−1=2k+1。
S(k+1)=S(k)+(2k+1)=k²+2k+1=(k+1)²。
所以P(k)⇒P(k+1)。结合起点，由归纳原理得到全部n≥1。

把下一项写成2k+3，会跳过一个奇数

常见错误是看到k+1就再多加一次2，写出2k+3。用k=2检查：前两项是1、3，下一项应当是5；2k+3却得到7。这个小例子发现了索引错误，但修复仍要回到一般式2(k+1)−1。

只有“能传下去”，仍可能从未开始

考虑命题Q(n)：n≥5，声称它对所有n≥1成立。若Q(k)成立，那么k≥5，从而k+1≥5，所以Q(k+1)也成立；条件步骤本身没有问题。但是Q(1)是假的，因此不能推出所有正整数都满足Q。

这说明一个有效的传递关系并不自动提供起点。多米诺骨牌只能作隐喻：需要先有第一块倒下，也需要任意一块都能传到下一块。照片或若干次试验都不是数学证明。

有限例子与一般命题的逻辑差别，可接着阅读全称、存在与反例。这里的归纳法还需要给出正面传递链，不能仅靠“暂时没找到反例”。

换成偶数和，独立完成一次再核对

迁移练习：对n≥1，证明2+4+…+2n=n(n+1)。先自己写起点、任意k的假设和下一项；如果只能复述奇数和的文字，尝试标出新式子中每一项的来源。

完整参考答案：n=1时左边2，右边1×2=2。任取k≥1并假设前k项和为k(k+1)。下一项是2(k+1)，因此前k+1项和为k(k+1)+2(k+1)=(k+1)(k+2)，恰好是把n换成k+1的目标式。结合起点得到所有n≥1成立。

逐步解释为什么提出公因子k+1、为什么目标式是(k+1)(k+2)，可用完整例题的自我解释方法练习。完成标准是能说明每一步的依据，而不仅是记住最后答案。