數學學院

首頁 › 大學 › 大一

單調有界數列收斂

大一 · 微積分

觀念

單調收斂定理:遞增且有上界的實數列必收斂(遞減有下界亦同)。遞迴數列 an+1=g(an)a_{n+1}=g(a_n) 的標準證明有三步:

(1) 有界:用歸納法,由 ak<La_k<L 推出 ak+1<La_{k+1}<L;(2) 單調:算 an+1−ana_{n+1}-a_n 或 an+12−an2a_{n+1}^2-a_n^2,利用有界判斷正負;(3) 求極限:先由定理得知極限 ℓ\ell 存在,再對遞迴式兩邊取極限解方程,用範圍排除多餘的根。常見漏洞是還沒證收斂就直接取極限。

例:a1=0a_1=0,an+1=2+ana_{n+1}=\sqrt{2+a_n}。歸納得 an<2a_n<2;an+12−an2=(2−an)(an+1)>0a_{n+1}^2-a_n^2=(2-a_n)(a_n+1)>0 所以遞增;極限滿足 ℓ2=2+ℓ\ell^2=2+\ell,ℓ=2\ell=2。

例題

數列滿足 a1=0a_1=0,an+1=30+ana_{n+1}=\sqrt{30+a_n}(n≥1n\ge 1)。證明:ana_n 遞增且有上界 66,因此收斂,並證明極限是 66。

看參考證明

有界(歸納):0≤a1=0<60\le a_1=0<6。若 0≤ak<60\le a_k<6,則 ak+1=30+ak<30+6=6a_{k+1}=\sqrt{30+a_k}<\sqrt{30+6}=6 且 ak+1≥0a_{k+1}\ge 0。

所以對所有 nn,0≤an<60\le a_n<6。

遞增:an+12−an2=30+an−an2=(6−an)(an+5)>0a_{n+1}^2-a_n^2=30+a_n-a_n^2=(6-a_n)(a_n+5)>0,兩項都非負,得 an+1>ana_{n+1}>a_n。

單調遞增且有上界 66,由單調收斂定理,ana_n 收斂,設極限為 ℓ\ell。

遞迴式兩邊取極限:ℓ=30+ℓ\ell=\sqrt{30+\ell},ℓ2−ℓ−30=0\ell^2-\ell-30=0,ℓ=6\ell=6 或 −5-5;因 ℓ≥a1≥0\ell\ge a_1\ge 0,所以 ℓ=6\ell=6。

結論: ana_n 遞增、以 66 為上界,收斂到 66

用在哪裡

插畫

單調有界數列收斂:情境插畫單調有界數列收斂:例題插畫

學習路徑

先學會

互動練習在本機版

這個網站是觀念與例題的閱讀版。互動練習(每次出不同數字的新題、自動判對錯、錯題本、熟練度與複習排程)在「數學學院」本機版,目前還沒對外開放。