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

;משפט (מבחן העיבוי / מבחן הדילול)
תהי <math>\{a_n\}_{n=1}^\infty</math> סדרה חיובית ומונוטונית יורדת עבורה <math>\lim_{n\to\infty}a_n=0</math> .

אזי הטור <math>\sum_{n=1}^\infty a_n</math> מתכנס אם ורק אם הטור <math>\sum_{n=0}^\infty2^n\cdot a_{2^n}</math> מתכנס.

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

נניח כי <math>\sum_{n=1}^\infty a_n</math> מתכנס ונראה כי <math>\sum_{n=0}^\infty 2^n\cdot a_{2^n}</math> מתכנס.

לכל <math>n</math> טבעי ניקח <math>m</math> טבעי עבורו <math>2^{m-1}\le n\le 2^m</math> (נשים לב כי בהכרח קיים כזה <math>m</math>). לכן:
:<math display=block>\begin{align}S_n=\sum_{k=1}^na_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}}=\frac12\sum_{k=0}^{m-1}2^k\cdot a_{2^k}\end{align}</math>
נקבל מ[[../../טורים ומבחני התכנסות/מבחן ההשוואה|מבחן ההשוואה]] כי <math>\sum_{n=0}^\infty 2^n\cdot a_{2^n}</math> מתכנס.

<math>\blacksquare</math>

כעת נוכיח את הכיוון ההפוך. נניח כי <math>\sum_{n=0}^\infty2^n\cdot a_{2^n}</math> מתכנס ונתבונן בסדרת הסכומים החלקיים שלו:
:<math display=block>Q_m=a_1+2a_2+4a_4+8a_8+\cdots+2^m\cdot a_{2^m}</math>
הסדרה <math>a_n</math> מונוטונית יורדת, ומתקיים למשל
:<math display=block>Q_1=a_1+2a_2\ge a_1+a_2+a_3=S_3</math>
לכן באופן כללי <math>Q_m\ge S_{2^{m+1}-1}</math> .

מהתכנסות <math>\sum_{n=0}^\infty2^n\cdot a_{2^n}</math> נקבל כי <math>Q_m</math> מתכנסת, ומ[[../../טורים ומבחני התכנסות/מבחן ההשוואה|מבחן ההשוואה]] נקבל כי <math>S_n</math> מתכנסת ולכן <math>\sum_{n=1}^\infty a_n</math> מתכנס.

<math>\blacksquare</math>

[[קטגוריה : הוכחות מתמטיות (ספר)]]