משפט לייבניץ

חזרה למשפטים באינפי

משפט לייבניץ לטורים עם סימנים מתחלפים

תהי [math]\displaystyle{ a_n }[/math] סדרה חיובית, מונוטונית, השואפת לאפס. אזי:

• הטור [math]\displaystyle{ \sum_{n=1}^\infty (-1)^na_n }[/math] מתכנס
• השארית [math]\displaystyle{ R_k=\sum_{n=1}^\infty (-1)^na_n-\sum_{n=1}^k (-1)^na_n }[/math] מקיימת [math]\displaystyle{ |R_k|\leq a_{k+1} }[/math]

הוכחה

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

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

• [math]\displaystyle{ |S_m-S_n|=|(-1)^ma_m+...+(-1)^{n+1}a_{n+1}|=|a_m-a_{m-1}+a_{m-2}-...| }[/math]

נראה כי כל איבר "בולע" את קודמיו, לפי המונוטוניות של הסדרה:

[math]\displaystyle{ -a_{m-1}\lt a_m-a_{m-1}\lt 0 }[/math]

לכן

[math]\displaystyle{ a_{m-2}-a_{m-1}\lt a_m-a_{m-1}+a_{m-2}\lt a_{m-2}+0 }[/math]

כלומר

[math]\displaystyle{ 0\lt a_m-a_{m-1}+a_{m-2}\lt a_{m-2} }[/math]

וכן הלאה עד שנקבל

[math]\displaystyle{ |S_m-S_n|\lt a_{n+1} }[/math]

וכיוון ש[math]\displaystyle{ a_n }[/math] שואפת לאפס, החל ממקום מסויים זה קטן מאפסילון (ללא תלות ב-m).

לפי טיעון דומה, [math]\displaystyle{ |\sum_{n=k+1}^K (-1)^na_n|=|a_{k+1}-a_{k+2}+a_{k+3}-...|\leq a_{k+1} }[/math] ולכן

[math]\displaystyle{ |R_k|=\lim_{K\rightarrow \infty}|\sum_{n=k+1}^K (-1)^na_n|\leq a_{k+1} }[/math]

כפי שרצינו.