【计算机科学的数学基础】归纳法

数学归纳法

有时候需要证明如下的命题：

$P(n)$对于某个范围的所有整数n都成立

要证明这样的命题就需要归纳法。
归纳法主要分2步：

• 基底的证明：证明对于该范围中的最小的整数$i$，该命题成立
• 归纳的证明：证明对于$i$以上的任何整数$k$，“若$P(k)$成立，则$P(k+1)也成立$”

求奇数的和

试证明： 命题$P(n)$：$1+3+5+7+\cdots +(2\times n-1)=n^2$对于1以上的所有整数$n$都成立。

• 步骤1：基底的证明
  $P(1)=1^2$, $P(1)$成立
• 步骤2：归纳的证明
  假设对于任何整数$k\ge 1$，$P(k)$成立，即
  $$1+3+5+7+\cdots +(2\times k-1)=k^2$$
  则$P(k+1)=$
  $$\begin{gathered} 1+3+5+7+\cdots +(2\times k-1)+(2\times (k+1)-1) \\ =k^2+(2\times (k+1)-1) \\ =k^2+2\times k+2-1 \\ =k^2+2\times k+1 \\ =(k+1{)}^2 \end{gathered}$$
  也成立。
  由步骤1，步骤2可证对于任何1以上的所有整数$n$，都有$1+3+5+7+\cdots +(2\times n-1)=n^2$。

归纳法与编程中的循环

程序中的循环不变式相当于数学归纳法中证明命题$P(n)$。

例如，对数组arr中的所有数求和：

int sum = 0;
for( int i = 0; i < arr.size(); i++){
	sum = sum + arr[i]
}

循环中不变的是循环体内的sum = sum + arr[i]，换成数学语言就是：

对于任意$0\le i\le arr.size()$，数组arr中的前$i$个元素的和都等于变量$sum$的值