数学归纳法

归纳法证明

• 归纳法证明的前提

  • 基准情形：确定定理对于某个小的值的正确性。

  • 归纳假设：假设定理对直到某个有限数k的所有的情况都是成立的，推导定理对于下一个值（比如k+1也是成立的。），这样定理就得证（k有限的情形下）

• 归纳证明举例

  • 斐波那契数列为：F₀ = 0，F₁ = 0，F₂ = 0，F₃ = 0，F₄ = 0，F₅ = 0，F₀ = 0 … F_i = F_i-1 + F_i-2

  • 证明斐波那契数列当i大于等于1时，有以下成立

  $$F_i<(5/3{)}^i$$

  • 首先很容易证明：

  $$\begin{array}{rl}& F_1=1<\frac{5}{8}\\ & F_2=2<25/9\end{array}$$

  • 这样我们就证明了基准情形，假设定理在i = k上成立，这就是归纳假设。
  • 为了证明定理我们需要证明以下成立：

  $$F_{i+1}⩽(5/3{)}^{i+1}$$

  • 根据定义得到：
    $$F_{i+1}=F_i+F_{i-1}$$

  • 将归纳假设用于等号右边：
    $$F_i+1<(5/3{)}^i+(5/3{)}^{i-1}$$

  $$<(3/5)\times (5/3{)}^{i+1}+(3/5{)}^2\times (5/3{)}^{n+1}$$

  • 化简后为：
    $$F_{i+1}<(3/5+9/25)(5/3{)}^{i+1}$$

  $$<(9/25)(5/3{)}^{i+1}$$

  $$<(5/3{)}^{i+1}$$

  • 则这样上述定理就得证