הוכחות מתמטיות/חשבון אינפיניטסימלי/טורים ומבחני התכנסות/מבחן דיריכלה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
המשך וסיום כתיבה |
תיקונים |
||
שורה 16:
וכיוון ש <math>S_0 = 0</math> :
<div style="direction: ltr;">
<math>= \sum_{n=1}^N a_n \cdot S_n + \sum_{n=1}^{N-1} a_{n+1} \cdot S_n = \sum_{n=1}^{N-1} S_n \cdot (a_n - a_{n+1}) \ \ + \ \
</div>
ולסיכום הגענו לנוסחה:
<div style="direction: ltr;">
<math>\sum_{n=1}^N a_n \cdot b_n = \sum_{n=1}^{N-1} S_n \cdot (a_n - a_{n+1}) \ \ + \ \
</div>
שורה 39:
וכיוון ש <math>a_n</math> מונוטונית יורדת וחיובית, <math>(a_n - a_{n+1}) \ge 0</math> וכן <math>a_{n+1} \ge 0</math>, לכן:
<div style="direction: ltr;">
<math>= M \cdot \sum_{n=1}^N (a_n - a_{n+1}) = M \cdot (
</div>
שורה 46:
סדרה זו היא גם מונוטונית עולה, כי היא סדרת סכומים חלקיים של סדרה שכל איבריה אי-שליליים.
כיוון שזו סדרה חסומה ומונוטונית עולה, היא בהכרח מתכנסת, כלומר הטור <math>\sum_{n=1}^\infty S_n \cdot (a_n - a_{n+1})</math> מתכנס בהחלט ובפרט מתכנס, כלומר קיים הגבול:
<div style="direction: ltr;">
<math>\lim_{
</div>
|