证明等式

用数学归纳法证明等式是最常见的应用。这类问题通常涉及求和公式、乘积公式或递推关系。

证明策略

证明等式 $f(n) = g(n)$ 的步骤：

1. 基础步骤：验证 $f(n_0) = g(n_0)$
2. 归纳假设：假设 $f(k) = g(k)$
3. 归纳步骤：利用归纳假设，证明 $f(k+1) = g(k+1)$

应用示例

示例1：等比数列求和

命题：证明 $1 + 2 + 2^2 + \cdots + 2^{n-1} = 2^n - 1$

证明：

基础步骤：$n = 1$ 时，左边 $= 1$，右边 $= 2^1 - 1 = 1$，成立。

归纳假设：假设 $1 + 2 + 2^2 + \cdots + 2^{k-1} = 2^k - 1$

归纳步骤：

$$\begin{aligned} &1 + 2 + 2^2 + \cdots + 2^{k-1} + 2^k \\ &= (2^k - 1) + 2^k \quad \text{（归纳假设）} \\ &= 2 \cdot 2^k - 1 \\ &= 2^{k+1} - 1 \end{aligned}$$

结论：由数学归纳法，等式成立。

示例2：立方和公式

命题：证明 $1^3 + 2^3 + 3^3 + \cdots + n^3 = \left[\frac{n(n+1)}{2}\right]^2$

证明：

基础步骤：$n = 1$ 时，左边 $= 1$，右边 $= \left[\frac{1 \times 2}{2}\right]^2 = 1$，成立。

归纳假设：假设 $1^3 + 2^3 + \cdots + k^3 = \left[\frac{k(k+1)}{2}\right]^2$

归纳步骤：

$$\begin{aligned} &1^3 + 2^3 + \cdots + k^3 + (k+1)^3 \\ &= \left[\frac{k(k+1)}{2}\right]^2 + (k+1)^3 \\ &= \frac{k^2(k+1)^2}{4} + (k+1)^3 \\ &= \frac{k^2(k+1)^2 + 4(k+1)^3}{4} \\ &= \frac{(k+1)^2[k^2 + 4(k+1)]}{4} \\ &= \frac{(k+1)^2(k^2 + 4k + 4)}{4} \\ &= \frac{(k+1)^2(k+2)^2}{4} \\ &= \left[\frac{(k+1)(k+2)}{2}\right]^2 \end{aligned}$$

结论：由数学归纳法，等式成立。

示例3：递推数列

命题：数列 $\{a_n\}$ 满足 $a_1 = 1$，$a_{n+1} = 2a_n + 1$。证明 $a_n = 2^n - 1$。

证明：

基础步骤：$n = 1$ 时，$a_1 = 1 = 2^1 - 1$，成立。

归纳假设：假设 $a_k = 2^k - 1$

归纳步骤：

$$\begin{aligned} a_{k+1} &= 2a_k + 1 \\ &= 2(2^k - 1) + 1 \quad \text{（归纳假设）} \\ &= 2^{k+1} - 2 + 1 \\ &= 2^{k+1} - 1 \end{aligned}$$

结论：由数学归纳法，$a_n = 2^n - 1$ 对所有 $n \geq 1$ 成立。

练习题

练习 1

证明：$1 \times 2 + 2 \times 3 + 3 \times 4 + \cdots + n(n+1) = \frac{n(n+1)(n+2)}{3}$

练习 2

证明：$\frac{1}{1 \times 2} + \frac{1}{2 \times 3} + \cdots + \frac{1}{n(n+1)} = \frac{n}{n+1}$

练习 3

数列 $\{a_n\}$ 满足 $a_1 = 2$，$a_{n+1} = 3a_n - 2$。证明 $a_n = 2^n$。

---

总结

本文出现的符号

中英对照