問如何用數學歸納法證明數列有界

【如何用數學歸納法證明數列有界】在數學分析中，數列的有界性是一個重要的性質。證明一個數列有界，通常需要找到一個正實數 $ M $，使得對所有自然數 $ n $，都有 $ a_n \leq M $。而數學歸納法是一種常用的證明方法，尤其適用于遞推定義的數列。

本文將通過總結和表格的形式，系統地介紹如何使用數學歸納法來證明一個數列有界。

一、數學歸納法的基本思路

數學歸納法一般包括兩個步驟：

1. 基例（Base Case）：驗證當 $ n = 1 $（或某個初始值）時，結論成立。

2. 歸納步驟（Inductive Step）：假設當 $ n = k $ 時結論成立（即數列前 $ k $ 項有界），然后證明當 $ n = k + 1 $ 時結論也成立。

對于“數列有界”的問題，我們通常需要證明存在一個常數 $ M $，使得對所有 $ n \in \mathbb{N} $，都有 $ a_n \leq M $。

二、用數學歸納法證明數列有界的步驟

三、示例：證明數列 $ a_1 = 1 $, $ a_{n+1} = \frac{1}{2}a_n + 1 $ 有界

1. 數列定義：

- $ a_1 = 1 $

- $ a_{n+1} = \frac{1}{2}a_n + 1 $

2. 目標：

證明存在 $ M > 0 $，使得對所有 $ n \in \mathbb{N} $，有 $ a_n \leq M $

3. 基例驗證：

- $ a_1 = 1 $，取 $ M = 2 $，顯然 $ a_1 = 1 \leq 2 $

4. 歸納假設：

假設對某個 $ k \geq 1 $，有 $ a_k \leq 2 $

5. 歸納步驟：

- $ a_{k+1} = \frac{1}{2}a_k + 1 $

- 根據歸納假設，$ a_k \leq 2 $

- 所以 $ a_{k+1} = \frac{1}{2}a_k + 1 \leq \frac{1}{2}a_k + 1 \leq \frac{1}{2} \times 2 + 1 = 2 $

因此，$ a_{k+1} \leq 2 $，滿足條件。

6. 結論：

由數學歸納法可知，對所有 $ n \in \mathbb{N} $，都有 $ a_n \leq 2 $，即該數列有界。

四、注意事項

五、總結

通過上述步驟和方法，可以系統地使用數學歸納法來證明數列的有界性，為后續研究數列收斂性等性質打下基礎。