5.2 强归纳法和良序性

5.2 强归纳法和良序性

强归纳法

强归纳法：要证明对所有整数n而言，P(n)为真，需要完成如下两个步骤：

基础步骤：证明P(1)为真。

归纳步骤：假设对于不超过k的j而言，P(j)为真，那么P(k+1)也为真。

实操

采用强归纳法证明如果n是大于1的整数，则n可以写作素数之积。
基 础 步 骤 ： 当 n = 2 时 ， 命 题 成 立 ， 2 = 1 × 2 归 纳 步 骤 ： 假 设 对 于 大 于 1 ， 小 于 k 的 整 数 ， 都 可 以 写 作 素 数 之 积 。 那 么 如 果 k + 1 是 素 数 ， 很 简 单 ， k + 1 = 1 × ( k + 1 ) ，