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

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

要证明第一数学归纳法（PMI）与第二数学归纳法（SPCI，强归纳法）等价，需证明两者可互相推导：即“PMI成立则SPCI成立”，且“SPCI成立则PMI成立”。以下分步骤严格证明：

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

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

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

基例：证明成立；

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

结论：对任意，成立。

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

基例：证明成立；

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

结论：对任意，成立。

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

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

步骤

构造辅助命题：令（“对所有，成立”）。

用PMI证明对所有成立：

基例：时，，已知成立（SPCI基例），故成立。

归纳步骤：假设成立（即成立），需证成立（即成立）。由SPCI的归纳步骤：因成立（即成立），故成立。因此，成立（含和），即成立。

由推出成立：因对所有成立，取，则中含的部分，故成立。

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

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

思路：SPCI的归纳假设更强（假设所有成立），而PMI的归纳假设较弱（仅假设成立）。直接用SPCI验证PMI的归纳步骤即可。

步骤

假设PMI的条件成立：

基例：成立；

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

用SPCI证明对所有成立：

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

归纳步骤：对任意，假设成立（SPCI归纳假设）。特别地，取，则成立（因）。由PMI的归纳步骤，成立可推出成立。

结论：由SPCI，对任意，成立。

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

四、总结：等价性成立

由“PMI?SPCI”和“SPCI?PMI”，可知两种归纳法互相蕴含，因此等价。

关键说明

自然数集扩展：若自然数集含（即），只需将基例调整为，逻辑完全一致。

核心差异：PMI的归纳假设是“单点成立”（），SPCI是“区间成立”（），但等价性证明表明：弱假设可推出强结论，强假设也可兼容弱结论。

通过上述推导，两种归纳法的等价性得以严格证明。