Informatics Educational Institutions & Programs

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

שימוש

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

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

דוגמה

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