תנאי הכרחי להתכנסות טור אינסופי

תנאי הכרחי להתכנסות טורים אינסופיים הוא שהאיבר הכללי ישאף לאפסתבנית:הערה. באופן פורמלי: אם $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס אז $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$.

שימוש

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

שלא כמו מבחני התכנסות, תנאי הכרחי להתכנסות אינו יכול להוכיח בעצמו שהטור מתכנס. זאת מהסיבה הפשוטה שמדובר בתנאי הכרחי אך לא בתנאי מספיק. לפיכך, הכיוון השני של המשפט אינו נכון. כלומר, לא ניתן לומר שאם $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$ אז $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס. בהחלט ייתכן שהטור $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתבדר גם אם $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$. מאידך, בזכות הקונטרה פוזיציה מותר לומר כי אם $\underset{n\to \mathrm{\infty }}{\lim }{a}_n\ne 0$ או $a_n$ מתבדרת, אז הטור $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתבדר.

דוגמה

הסדרה ההרמונית $a_n=\frac{1}{n}$ היא דוגמה ידועה לסדרה שסכומה מתבדר, אף על פי שהאיבר הכללי שלה שואף לאפסתבנית:הערה. באופן כללי, לפי "מבחן ה-p" מתקיים עבור הטור ההרמוני המוכלל $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^p}$ כי

• אם $p\le 0$ אז הטור מתבדר.
• אם $0<p\le 1$ אז הטור מתבדר לפי מבחן האינטגרל.
• $p>1$ אז הטור מתכנס לפי מבחן האינטגרל.

באופן זה ניתן לראות כי למרות שהאיבר הכללי שואף לאפס, הטור יכול להתכנס או להתבדר.

הוכחה

נגדיר את הסדרה $S_n=\sum _{k=1}^n{a}_k$ כסדרת הסכומים החלקיים של הסדרה $a_n$.

מההנחה כי $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס נובע שהסדרה $S_n$ מתכנסת. כלומר קיים $L\in ℝ$ עבורו $\underset{n\to \mathrm{\infty }}{\lim }{S}_n=L$.

נשים לב כי $S_n-S_{n-1}=(a_1+\cdots +a_n)-(a_1+\cdots +a_{n-1})=a_n$, אזיתבנית:הערה:

$\underset{n\to \mathrm{\infty }}{\lim }{a}_n=\underset{n\to \mathrm{\infty }}{\lim }(S_n-S_{n-1})=\underset{n\to \mathrm{\infty }}{\lim }{S}_n-\underset{n\to \mathrm{\infty }}{\lim }{S}_{n-1}=L-L=0$

אז מטרנזיטיביות השוויון $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$.

קישורים חיצוניים

• תבנית:MathWorld