הוכחות מתמטיות/חשבון אינפיניטסימלי/טורים ומבחני התכנסות/התכנסות בהחלט גוררת התכנסות

מתוך testwiki
קפיצה לניווט קפיצה לחיפוש
משפט

טור מתכנס בהחלט הוא טור מתכנס.

הוכחה

נתבונן באי־השוויון הבא:

0an+|an|2|an|

מכיון ש־|an| שווה ל־an או ל־an . אם n=1an מתכנס בהחלט אז n=1|an| מתכנס, לכן גם n=12|an| מתכנס.

על־פי [[../../טורים ומבחני התכנסות/מבחן ההשוואה|מבחן ההשוואה לטורים חיוביים]], מהתכנסות n=12|an| נובעת התכנסות n=1(an+|an|) .

אזי n=1an=n=1(an+|an|)n=1|an| הוא הפרש של שני טורים מתכנסים וככזה, הוא טור מתכנס.