סדרות מונוטוניות
מראה
בקצרה: סדרה מונוטונית היא סדרה שהולכת רק בכיוון אחד: כל איבר גדול מקודמו או שווה לו (סדרה עולה), או שכל איבר קטן מקודמו או שווה לו (סדרה יורדת). המשפט המרכזי אומר שלסדרה כזו יש רק שתי אפשרויות: אם היא חסומה, היא מתכנסת לגבול סופי (סדרה עולה וחסומה מתכנסת לחסם העליון שלה), ואם היא אינה חסומה, היא שואפת לאינסוף או למינוס אינסוף. זה הכלי הראשון בקורס שמבטיח שגבול קיים בלי לדעת מראש מהו, ולכן הוא הדרך הרגילה לטפל בסדרות שמוגדרות בנוסחת נסיגה, כמו [math]\displaystyle{ a_1=4,\ a_{n+1}=\sqrt{2+a_n} }[/math]: קודם מוכיחים שהסדרה מונוטונית וחסומה, ורק אחר כך מחשבים את הגבול; כך מוגדר גם המספר e.
![משפט 2.9.2 בתמונה. משמאל (a): הסדרה העולה והחסומה [math]\displaystyle{ a_n=2-\frac3{n+1} }[/math] והחסם העליון שלה [math]\displaystyle{ M=\sup\{a_n\}=2 }[/math] (הקו הירוק). כיוון ש [math]\displaystyle{ M-\varepsilon }[/math] אינו חסם מלעיל, קיים מקום [math]\displaystyle{ K }[/math] שבו [math]\displaystyle{ a_K>M-\varepsilon }[/math] (כאן [math]\displaystyle{ \varepsilon=0.55 }[/math] ו־[math]\displaystyle{ K=5 }[/math]), והסדרה עולה, ולכן לכל [math]\displaystyle{ n>K }[/math] מתקיים [math]\displaystyle{ M-\varepsilon<a_K\le a_n }[/math] וגם [math]\displaystyle{ a_n\le M }[/math]: כל האיברים שאחרי המקום [math]\displaystyle{ K }[/math] (הנקודות המלאות) נמצאים בסביבה [math]\displaystyle{ (M-\varepsilon,M+\varepsilon) }[/math] של [math]\displaystyle{ M }[/math] (הרצועה הכחולה). מימין (b): הסדרה העולה [math]\displaystyle{ b_n=\sqrt{3n} }[/math] אינה חסומה, ולכן לכל [math]\displaystyle{ M>0 }[/math] (כאן [math]\displaystyle{ M=4.4 }[/math]) קיים מקום [math]\displaystyle{ K }[/math] שבו [math]\displaystyle{ b_K>M }[/math] (כאן [math]\displaystyle{ K=7 }[/math]), ולכל [math]\displaystyle{ n>K }[/math] מתקיים [math]\displaystyle{ b_n\ge b_K>M }[/math], כלומר [math]\displaystyle{ b_n\to\infty }[/math]. בשני המקרים המונוטוניות היא שמעבירה את המידע מהאיבר [math]\displaystyle{ a_K }[/math] (או [math]\displaystyle{ b_K }[/math]) לכל האיברים שאחריו.](/images/thumb/a/ab/Infi1-c2-13.png/620px-Infi1-c2-13.png)
דוגמאות
נסו לפתור לבד, ואז לחצו "הצג פתרון".
דוגמה 1: הוכיחו או הפריכו: ארבע טענות קצרות
דוגמה 2: סכום שמספר המחוברים בו גדל: [math]\displaystyle{ \frac1n+\cdots+\frac1{3n} }[/math]
דוגמה 3: נסיגה ששואפת לאינסוף: [math]\displaystyle{ a_{n+1}=a_n^2+a_n }[/math]
דוגמה 4: נסיגה עם שורש: [math]\displaystyle{ a_1=4,\ a_{n+1}=\sqrt{2+a_n} }[/math]
טעויות נפוצות
- חסומה אינה גוררת מתכנסת: [math]\displaystyle{ (-1)^n }[/math] חסומה ואינה מתכנסת; משפט 2.9.2 דורש גם מונוטוניות.
- מ־[math]\displaystyle{ a_n }[/math] עולה ו־[math]\displaystyle{ a_n\le L }[/math] לכל [math]\displaystyle{ n }[/math] לא נובע [math]\displaystyle{ a_n\to L }[/math] (למשל [math]\displaystyle{ 1-\frac1n\le2 }[/math] לכל [math]\displaystyle{ n }[/math], אבל [math]\displaystyle{ 1-\frac1n\to1 }[/math]): "מצאנו חסם מלעיל, מי אמר שהוא החסם העליון?!"; סדרה עולה וחסומה מתכנסת לחסם העליון שלה, ומ־[math]\displaystyle{ a_n\le L }[/math] נובע רק שהגבול קטן או שווה ל־[math]\displaystyle{ L }[/math].
- להסיק מ־[math]\displaystyle{ \frac{a_{n+1}}{a_n}\ge1 }[/math] שהסדרה עולה בלי להוכיח קודם שכל איבריה חיוביים: עבור [math]\displaystyle{ a_n=-2^n }[/math] המנה היא [math]\displaystyle{ 2 }[/math] לכל [math]\displaystyle{ n }[/math], והסדרה יורדת.
- לדרוש אי-שוויון חזק: בקורס עולה פירושו [math]\displaystyle{ a_n\le a_{n+1} }[/math] לכל [math]\displaystyle{ n }[/math], ולכן הסדרה הקבועה היא גם עולה וגם יורדת (בסרטון, 0:39–1:04, עם הדוגמה של אורך השיער של המרצה מדי יום: גם סדרה שלפעמים נשארת קבועה היא סדרה עולה); מי שצריך [math]\displaystyle{ a_n<a_{n+1} }[/math] אומר עולה ממש.
- לחשב את הגבול מנוסחת הנסיגה לפני שהוכח שהוא קיים: עבור [math]\displaystyle{ a_1>0 }[/math] ו־[math]\displaystyle{ a_{n+1}=a_n^2+a_n }[/math] המשוואה [math]\displaystyle{ L=L^2+L }[/math] נותנת [math]\displaystyle{ L=0 }[/math], אבל הסדרה שואפת לאינסוף; את המשוואה מותר לכתוב רק אחרי שהוכח (למשל במשפט 2.9.2) שיש גבול סופי, או בתוך הוכחה בשלילה תחת ההנחה שיש גבול סופי (כמו בדוגמה השלישית), ואחר כך צריך לפסול את הפתרונות שאינם מתאימים, כמו [math]\displaystyle{ L=-1 }[/math] בנסיגה [math]\displaystyle{ a_{n+1}=\sqrt{2+a_n} }[/math].
לתרגול
- תרגיל 7 מתרגילי ההכנה למבחן · סדרת נסיגה [math]\displaystyle{ a_{n+1}=\frac{2a_n-1}{a_n+4} }[/math]: התכנסות וגבול (עם פתרון מלא)
- תרגיל 4 מתרגילי ההכנה למבחן · [math]\displaystyle{ a_n^2\le a_n-a_{n+1} }[/math]: האם הסדרה מתכנסת? (עם פתרון מלא)
- תרגיל 5 מתרגילי ההכנה למבחן · אותה סדרה: האם [math]\displaystyle{ a_n<\frac1n }[/math]? (עם פתרון מלא)
- תרגיל 8 מתרגילי ההכנה למבחן · סדרות הממוצע החשבוני וההנדסי (עם פתרון מלא)
- מועד א' תשע"ב (מתמטיקה) · שאלה 2ב: האם [math]\displaystyle{ \lim_{n\to\infty}\sum_{k=n}^{2n}\frac1k }[/math] קיים, באותה שיטה כמו הדוגמה השנייה בדף (פתרון; בפתרון כתוב [math]\displaystyle{ k }[/math] במקום [math]\displaystyle{ n }[/math] בחישוב [math]\displaystyle{ a_{n+1}-a_n }[/math]). קושי 2–3.
- מועד א' תשע"ז (מתמטיקה) · שאלה 3: [math]\displaystyle{ a_1>1,\ a_{n+1}=2a_n-\frac1{a_n} }[/math] עולה ושואפת לאינסוף, כמו הדוגמה השלישית (פתרון). קושי 2–3.
- מועד ב' תשע"ז (מתמטיקה) · שאלה 3: [math]\displaystyle{ a_{n+1}=a_n+\sqrt{a_n-1} }[/math] עם [math]\displaystyle{ a_1\ge1 }[/math]: עולה, ואם מתכנסת אזי [math]\displaystyle{ a_1=1 }[/math] (פתרון). קושי 2.
- מועד א' תשפ"א (החממה) · שאלה 1א: הגבול של [math]\displaystyle{ a_{n+1}=\sqrt{a_n+6} }[/math] עם [math]\displaystyle{ a_1>12 }[/math], כמו הדוגמה הרביעית (פתרון; סעיפים ב–ג עוסקים בטור). קושי 2.
- מערך תרגול · מערך התרגול של הקורס (תשע"ב), פרק הסדרות
- סדרות מונוטוניות ונוסחאות נסיגה · [math]\displaystyle{ \frac1n+\cdots+\frac1{3n} }[/math] (הדוגמה השנייה בדף), הממוצע החשבוני-הנדסי של שתי סדרות, והנסיגה [math]\displaystyle{ a_{n+1}=\frac c2+\frac{a_n^2}2 }[/math], כולם עם פתרון
- תרגול 5 (לואי ומני) · עמ' 1–4: המשפט על סדרות מונוטוניות, [math]\displaystyle{ \frac1n+\cdots+\frac1{3n} }[/math], הממוצע החשבוני-הנדסי, מונוטוניות דרך מנה, והנסיגה [math]\displaystyle{ a_1=5,\ a_{n+1}=a_n\cdot\frac{6+a_n}{3+2a_n} }[/math]; עם פתרונות
