证明第二数学归纳法和第一数学归纳法是等价的_20251127152039.pdfVIP

证明第二数学归纳法和第一数学归纳法是等价的

要证明第一数学归纳法（PMI）与第二数学归纳法（SPCI，强归纳法）等价，

需证明两者可互相推导：即“PMI成立则SPCI成立”，且“SPCI成立则PMI成立”。

以下分步骤严格证明：

一、明确两种归纳法的定义

设是关于自然数（默认）的命题。

1.第一数学归纳法（PMI）

基例：证明成立；

归纳步骤：假设成立（），证明成立；

结论：对任意，成立。

2.第二数学归纳法（SPCI，强归纳法）

基例：证明成立；

归纳步骤：假设对任意（），均成立，证明

成立；

结论：对任意，成立。

二、证明“PMI⇒SPCI”（第一归纳法蕴含第二归纳法）

思路：用PMI证明一个辅助命题，再通过推出SPCI的结论。

步骤

1.构造辅助命题：令（“对所有，

成立”）。

2.用PMI证明对所有成立：

基例：时，，已知成立（SPCI基

例），故成立。

归纳步骤：假设成立（即成立），需

证成立（即成立）。由SPCI的归纳

步骤：因成立（即成立），故成立。

因此，成立（含和），即

成立。

3.由推出成立：因对所有成立，取，

则中含的部分，故成立。

结论：SPCI的结论可由PMI推出，即PMI蕴含SPCI。

三、证明“SPCI⇒PMI”（第二归纳法蕴含第一归纳法）

思路：SPCI的归纳假设更强（假设所有成立），而PMI的归纳假

设较弱（仅假设成立）。直接用SPCI验证PMI的归纳步骤即可。

步骤

1.假设PMI的条件成立：

基例：成立；

归纳步骤：对任意，若成立，则成立。

2.用SPCI证明对所有成立：

基例：成立（满足SPCI基例）。

归纳步骤：对任意，假设成立（SPCI归

纳假设）。特别地，取，则成立（因）。由PMI的

归纳步骤，成立可推出