שינויים

משפט לייבניץ

נוספו 1,104 בתים, 10:37, 2 בפברואר 2012
/* הוכחה */
===הוכחה===
נוכיח כי סדרה הסכומים החלקיים של הטור הינה סדרת קושי, ועל כן הטור מתכנס.
 
יהי אפסילון גדול מאפס, צריך למצוא מקום בסדרה שהחל ממנו והלאה ההפרש בין כל שני איברים קטן מאפסילון.
 
*<math>|S_m-S_n|=|(-1)^ma_m+...+(-1)^{n+1}a_{n+1}|=|a_m-a_{m-1}+a_{m-2}-...| </math>
 
נראה כי כל איבר "בולע" את קודמיו, לפי המונוטוניות של הסדרה:
 
::<math>-a_{m-1}<a_m-a_{m-1}<0</math>
 
לכן
 
::<math>a_{m-2}-a_{m-1}<a_m-a_{m-1}+a_{m-2}<a_{m-2}+0</math>
 
כלומר
 
::<math>0<a_m-a_{m-1}+a_{m-2}<a_{m-2}</math>
 
וכן הלאה עד שנקבל
 
::<math>|S_m-S_n|<a_{n+1}</math>
 
 
וכיוון ש<math>a_n</math> שואפת לאפס, החל ממקום מסויים זה קטן מאפסילון (ללא תלות ב-m).
 
 
לפי טיעון דומה, <math>|\sum_{n=k+1}^K (-1)^na_n|=|a_{k+1}-a_{k+2}+a_{k+3}-...|\leq a_{k+1}</math> ולכן
 
::<math>|R_k|=\lim_{K\rightarrow \infty}|\sum_{n=k+1}^K (-1)^na_n|\leq a_{k+1}</math>
 
כפי שרצינו.