הוכחות מתמטיות/חשבון אינפיניטסימלי/טורים ומבחני התכנסות/מבחן העיבוי (הדילול)

משפט (מבחן העיבוי / מבחן הדילול)

תהי $\{a_n{\}}_{n=1}^{\mathrm{\infty }}$ סדרה חיובית ומונוטונית יורדת עבורה $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$ .

אזי הטור $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס אם ורק אם הטור $\sum _{n=0}^{\mathrm{\infty }}{2}^n\cdot a_{2^n}$ מתכנס.

הוכחה

ראשית נעיר כי למעשה הטורים לא רק מתכנסים יחדיו אלא גם מתבדרים יחדיו. זה נובע ישירות מהוכחת ההתכנסות שכן אם אחד מהם מתבדר, ניתן להניח בשלילה שהאחר מתכנס ואז נקבל כי שניהם מתכנסים וזוהי סתירה.

נניח כי $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס ונראה כי $\sum _{n=0}^{\mathrm{\infty }}{2}^n\cdot a_{2^n}$ מתכנס.

לכל $n$ טבעי ניקח $m$ טבעי עבורו $2^{m-1}\le n\le 2^m$ (נשים לב כי בהכרח קיים כזה $m$). לכן:

$$\begin{array}{cc}{S}_n=\sum _{k=1}^n{a}_k& =a_1+a_2+(a_3+a_4)+(a_5+a_6+a_7+a_8)+\cdots +(a_{2^{m-1}+1}+\cdots +a_n)\\ & \ge a_1+a_2+(a_3+a_4)+(a_5+a_6+a_7+a_8)+\cdots +(a_{2^{m-2}+1}+\cdots +a_{2^{m-1}})\\ & \ge \frac{a_1}{2}+a_2+2a_4+4a_8+\cdots +2^{m-2}\cdot a_{2^{m-1}}=\frac{1}{2}\sum _{k=0}^{m-1}{2}^k\cdot a_{2^k}\end{array}$$

נקבל מ[[../../טורים ומבחני התכנסות/מבחן ההשוואה|מבחן ההשוואה]] כי $\sum _{n=0}^{\mathrm{\infty }}{2}^n\cdot a_{2^n}$ מתכנס.

$◼$

כעת נוכיח את הכיוון ההפוך. נניח כי $\sum _{n=0}^{\mathrm{\infty }}{2}^n\cdot a_{2^n}$ מתכנס ונתבונן בסדרת הסכומים החלקיים שלו:

$$Q_m=a_1+2a_2+4a_4+8a_8+\cdots +2^m\cdot a_{2^m}$$

הסדרה $a_n$ מונוטונית יורדת, ומתקיים למשל

$$Q_1=a_1+2a_2\ge a_1+a_2+a_3=S_3$$

לכן באופן כללי $Q_m\ge S_{2^{m+1}-1}$ .

מהתכנסות $\sum _{n=0}^{\mathrm{\infty }}{2}^n\cdot a_{2^n}$ נקבל כי $Q_m$ מתכנסת, ומ[[../../טורים ומבחני התכנסות/מבחן ההשוואה|מבחן ההשוואה]] נקבל כי $S_n$ מתכנסת ולכן $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס.

$◼$