對於涉及自然數的命題 [公式] ，已知：

1、當 [公式] 時，命題成立；

2、由 [公式] 成立可以推出 [公式] 成立。

則命題 [公式] 是否對所有自然數都成立？

這種「反向歸納法」是不合法的。下面舉一個簡單的反例：

設 [公式] 的斷言是： [公式] 是無理數。 很顯然，當 [公式] 時， [公式] 成立；假若 [公式] 時，命題成立，則 [公式] 時，因 [公式] ，這是有理數與無理數之和，也是無理數，所以命題也成立。於是，如果這歸納法合法，可以斷言 [公式] 對所有 [公式] 成立，但是，很清楚這是荒謬的！

請注意：數學歸納法研究的關於自然數 [公式] 的命題，總是對有限的 [公式] （儘管它可以任意地大）進行斷定的，切勿草率地推廣到 [公式] 的場合，因為：

無窮大不是任何自然數的後繼 [公式] ，或者說，無窮大根本就不是自然數。

這個問題很深刻，具體分析請查閱 [公式] 公理的有關內容。

附帶說一句，即使是通常的正向歸納法，也不能推廣到 [公式] 的情形，你只要稍微改造一下上述反例就可以很輕鬆地得到一個新的反例。

反向歸納法是可行的，但你的寫法不對。

如果[公式]只是涉及自然數的命題，那麼[公式]時，命題成立的含義根本就不明確。你根本就沒有定義 [公式] ，如果你想說n足夠大時 [公式] 都成立，那麼條件過強以至於結論是顯然的廢話。

正確的表述是，存在序列 [公式] , 每個[公式] 為真。

或者， [公式] 為真。

例如，先歸納證明 [公式] 成立。

一般沒有「當 [公式] 時命題成立」這種敘述的定義，所以為了完善定義比較好的方法是考慮所有命題在等價關係下的商集，並為之賦予拓撲，使得 [公式] ， [公式] ， [公式] ， [公式] 分別是連續映射（其中任意二者連續則其他均連續）。在這樣的條件下原題目是定義良好的。

已知 [公式] 恆成立，並且 [公式] ，求證 [公式] .

因為 [公式] 對任意 [公式] 成立，因此 [公式]

[公式] [公式]

綜上命題得證

一個例子是，考慮有窮可加的有限測度空間 [公式] 上的單變元命題 [公式] ，定義運算 [公式] ，可以注意到這樣的加法具有交換律和結合律，同時 [公式] ， [公式] .其中 [公式] 表示假命題（的等價類）

因此，全體命題構成了羣。通過規定 [公式] ，全體命題具有了距離結構，成為距離拓撲空間。

例如，當 [公式] 時，對於命題 [公式] ，因為 [公式] ，所以有 [公式] 成立，直觀上就是這個命題隨著 [公式] 增大越來越正確。但是注意到 [公式] ，所以 [公式] ，雖然有 [公式] 但是 [公式] ，所以不會因為歸納法產生矛盾。

不請自來

這纔是反向數學歸納法

以上

【1】如果這種歸納法成立，可以證明每一個自然數都是無窮大。

構造數列[公式] 。

首先 [公式]

其次假設 [公式] 則 [公式] 因此根據題目中的數學歸納法，對於所有 [公式] 有 [公式] 即所有自然數都是無窮大。

【2】如果這種歸納法成立，還可以證明 [公式]

構造數列[公式]

首先 [公式] 其次假設 [公式] 則 [公式] 因此根據題目中的數學歸納法，對於所有 [公式] 有 [公式] 自然當 [公式] 時，[公式]

推薦閱讀：
相關文章