מבחן קושי להתכנסות טורים חיוביים (מבחן השורש)

הטענה — גרסה ישירה

יהי טור חיובי:

  1. אם קיים ו- כך שלכל מתקיים — הטור מתכנס.
  2. אם עבור אינסוף ערכים של מתקיים — הטור מתבדר (כי ).

הוכחה

חלק 1: מהנתון לכל : . מכיוון ש- מתכנס (טור גיאומטרי עם ), לפי מבחן ההשוואה הראשון גם מתכנס.

חלק 2: לאינסוף ערכי מתקיים , לכן , ולפי תנאי הכרחי להתכנסות טורים הטור מתבדר.


הטענה — גרסה גבולית

יהי טור חיובי ונסמן . אז:

  1. אם — הטור מתכנס.
  2. אם — הטור מתבדר.
  3. אם — המבחן אינו קובע.

הוכחה (גרסה גבולית)

מקרה : בוחרים . מהגדרת , קיים כך שלכל : . לפי הגרסה הישירה הטור מתכנס.

מקרה : קיימת תת-סדרה עם , כלומר (בפרט ). הטור מתבדר.

מקרה : מתבדר ו- מתכנס, ועבור שניהם .

הקשר למבחן דאלמבר

ניתן להוכיח:

לכן מבחן קושי (השורש) חזק יותר ממבחן דאלמבר (המנה): בכל מקום שדאלמבר קובע, גם קושי קובע (אבל לא ההפך).

ראה גם