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

תוכן שנמחק תוכן שנוסף
Orielno (שיחה | תרומות)
המשך וסיום כתיבה
Orielno (שיחה | תרומות)
תיקונים
שורה 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}) \ \ + \ \ a_na_N \cdot S_nS_N</math>
</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}) \ \ + \ \ a_na_N \cdot S_nS_N</math>
</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 (b_1a_1 - b_a_{mN+1}) \le M \cdot b_1a_1</math>
</div>
 
שורה 46:
סדרה זו היא גם מונוטונית עולה, כי היא סדרת סכומים חלקיים של סדרה שכל איבריה אי-שליליים.
 
כיוון שזו סדרה חסומה ומונוטונית עולה, היא בהכרח מתכנסת, כלומר הטור <math>\sum_{n=1}^\infty S_n \cdot (a_n - a_{n+1})</math> מתכנס בהחלט ובפרט מתכנס, כלומר קיים הגבול:
<div style="direction: ltr;">
<math>\lim_{nN \to \infty} \sum_{n=1}^{N-1} S_n \cdot (a_n - a_{n+1})</math>
</div>