שינויים

קפיצה אל: ניווט, חיפוש
[[88-132 אינפי 1 סמסטר א' תשעב/מערך תרגול/טורים/מבחנים לחיוביים/דוגמאות|חזרה לדוגמאות]]
*יהיו <math>\displaystyle\sum_{n=1}^\infty a_n,\sum_{n=1}^\infty b_n</math> טורים חיוביים כך ש- <math>\dfrac{a_{n+1}}{a_n}\le\dfrac{b_{n+1}}{b_n}</math> .
הוכיחו כי אם <math>\displaystyle\sum_{n=1}^\infty b_n</math> מתכנס אזי גם <math>\displaystyle\sum_{n=1}^\infty a_n</math> מתכנס
;הוכחה.
אנו רואים מהנתון שקצב הגדילה של הטור <math>b_n</math> גדול מזה של <math>a_n</math> , ואנו יודעים שכפל על-ידי קבוע שונה מ-0 אינו משנה את התכנסות הטור. לכן נכפול בקבוע כך שהטורים יתחילו שניהם באבר ששוה ל-1, ונקבל שהטור <math>b_n</math> גדול מהטור <math>a_n</math> :
*יהיו :<math>\sum a_n, displaystyle\sum b_n</math> טורים חיוביים כך ש <math>\frac{a_sum_{n+=1}}{a_n}^\leq \frac{b_{n+1}}{b_n}</math>.הוכיחו כי אם <math>\sum b_n</math> מתכנס אזי גם <math>\sum a_n</math> מתכנס  '''הוכחה:''' אנו רואים מהנתון שקצב הגדילה של הטור b גדול מזה של a, ואנו יודעים שכפל על ידי קבוע שונה מאפס אינו משנה את התכנסות הטור. לכן נכפול בקבוע כך שהטורים יתחילו שניהם באיבר ששוה לאחד, ונקבל שהטור b גדול מהטור a:  ::<math>\sum infty\frac{b_n}{b_1}</math> מתכנס,.
צריך להוכיח כי
 ::<math>\sum displaystyle\sum_{n=1}^\infty\frac{a_n}{a_1}</math> מתכנס.  
אבל קל להוכיח באינדוקציה כי
 ::<math>\fracdfrac{b_n}{b_1}\geq ge\fracdfrac{a_n}{a_1}</math> 
אכן,
:<math>\dfrac{b_{n+1}}{b_1}=\dfrac{b_{n+1}}{b_n}\cdot\dfrac{b_n}{b_1}\ge\dfrac{a_{n+1}}{a_n}\cdot\dfrac{a_n}{a_1}=\dfrac{a_{n+1}}{a_1}</math>
::<math>\frac{b_{n+1}}{b_1}=\frac{b_{n+1}}{b_n}\cdot\frac{b_n}{b_1}\geq \frac{a_{n+1}}{a_n}\cdot\frac{a_n}{a_1}=\frac{a_{n+1}}{a_1}</math>  (את הנחת האינדוקציה קיבלנו בזכות הכפל בקבוע, שכן <math>\fracdfrac{a_1}{a_1}=\fracdfrac{b_1}{b_1}</math>)  
ולכן לפי '''מבחן ההשוואה הראשון''' אנו מקבלים את המשלשרצינו.
226
עריכות