שבועות / שבוע 2 / סיכום
אינפי ב׳ · מועד א׳ 2026 · יעד 90+
שבוע 2

סדרות — מונוטוניות, חסימות ורקורסיביות

לעבוד עם סדרות רקורסיביות: הוכחת מונוטוניות וחסימות, הסקת קיום גבול, ומציאת $L=f(L)$.

🚀 לפני שמתחילים

מטרת השבוע
לעבוד עם סדרות רקורסיביות: הוכחת מונוטוניות וחסימות, הסקת קיום גבול, ומציאת L=f(L)L=f(L).
דרישות קדם — מה חייבים לדעת לפני:
  • הגדרת סדרה
  • גבול סדרה (הגדרה ε\varepsilon-NN)
  • רציפות פונקציה
קשר לחומר קודם: שבוע 1: גבולות פונקציות — אותם כלים, עכשיו על סדרות.

📋 מדריך לימוד

מקס אמר ←
💡 טיפ מהיר: בסדרה רקורסיבית: קודם הוכיחי מונוטוניות + חסימות → אז הסיקי גבול קיים → אז מצאי L=f(L)L=f(L). כל שלב מחייב את הקודם.
✅ חובה לשנן:
  • מונוטונית + חסומה ⟹ מתכנסת (משפט הסדרה המונוטונית)
  • anLa_n\to L ⟹ גם an+1La_{n+1}\to L ⟹ אפשר להציב: L=f(L)L=f(L)
  • אסור להניח גבול לפני שהוכחת שהוא קיים
📖 סדר לימוד מומלץ:
  1. הוכחת מונוטוניות: an+1>ana_{n+1}>a_n (עולה) או an+1<ana_{n+1}<a_n (יורדת)
  2. הוכחת חסימות: מצאי חסם עליון/תחתון ברור (לרוב באינדוקציה)
  3. הסקה: מונוטונית + חסומה ⟹ גבול LL קיים
  4. מציאת LL: עבור nn\to\infty ב-an+1=f(an)a_{n+1}=f(a_n)L=f(L)L=f(L)
  5. פתרון L=f(L)L=f(L): לרוב משוואה פשוטה, בדקי איזה פתרון הגיוני
טעויות נפוצות
  • לכתוב L=f(L)L=f(L) לפני שהוכחת שהגבול קיים — זה מעגלי!
  • לשכוח לבדוק מונוטוניות מהאיבר הראשון (אולי a1>a2a_1>a_2 אבל ana_n יורדת מ-n=2n=2)
  • לחשוב שסדרה חסומה מתכנסת — חייב גם מונוטוניות

🔗 מה ההגדרות / המשפטים מאפשרים להסיק

כל חץ מראה: אם מתקיים השמאלי, ניתן להסיק את הימני
סדרה מונוטונית + חסומה
מתכנסת — קיים גבול LL
קיים גבול LL
liman=L\lim a_n=L וגם liman+1=L\lim a_{n+1}=LL=f(L)L=f(L)
anL<ε|a_n-L|<\varepsilon מ-NN ואילך
הגדרת גבול (ε\varepsilon-NN)
⚠ אסור להניח גבול לפני שהוכחת!
בסדרה רקורסיבית: קודם הוכחי מונוטוניות + חסימות → אז הסיקי שיש גבול → אז מצאי L=f(L)L=f(L). דוגמה נגדית: a1=3,  an+1=1+2ana_1=3,\; a_{n+1}=1+2a_n — הנחת גבול נותנת L=1L=-1 (שגוי! הסדרה מתבדרת).

📖 הגדרות מהשבוע

הגדרה: גבול סדרה ($\varepsilon$-$N$)
limnan=L\lim_{n\to\infty}a_n=L אם לכל ε>0\varepsilon>0 קיים NN כך שלכל n>Nn>N: anL<ε|a_n-L|<\varepsilon. מה זה מאפשר: הגדרה זו היא הבסיס לכל ההוכחות הפורמליות.
הגדרה: סדרה מונוטונית
עולה: an+1ana_{n+1}\ge a_n לכל nn. יורדת: an+1ana_{n+1}\le a_n לכל nn. מה זה מאפשר: בשילוב חסימות — מבטיח התכנסות.

📐 משפטים מרכזיים

משפט: משפט הסדרה המונוטונית והחסומה
כל סדרה מונוטונית וחסומה מתכנסת. עולה + חסומה מלעיל → גבולה הוא הסופרמום. יורדת + חסומה מלרע → גבולה הוא האינפימום. מה זה מאפשר: להוכיח קיום גבול בלי לחשב אותו.
משפט: כלל הסנדוויץ' לסדרות
אם anbncna_n\le b_n\le c_n לכל nn גדול מספיק, ו-liman=limcn=L\lim a_n=\lim c_n=L, אז limbn=L\lim b_n=L. מה זה מאפשר: לחסום סדרה 'קשה' בין שתי סדרות קלות.
משפט: גבולות חשובים לשנן
limn(1+1n)n=e\lim_{n\to\infty}\left(1+\tfrac{1}{n}\right)^n=e, \quad limnn1/n=1\lim_{n\to\infty}n^{1/n}=1, \quad limnann!=0\lim_{n\to\infty}\frac{a^n}{n!}=0 לכל aRa\in\mathbb{R}.

💡 דברים חשובים שעלו בתרגול — מסקנות מקס

מקס אמר ←
בסדרה — אסור לעשות לופיטל ישירות. צריך כלל היינה (עבור לפונקציה רציפה).
מקס אמר ←
סדרה רקורסיבית עם arctan\arctan: 0<arctanx<x0<\arctan x < x לכל x>0x>0 → הסדרה יורדת וחסומה מלרע → מתכנסת.

❓ שאלות חשובות לתרגול

סדרה: a1=14,  an+1=an2+14a_1=\tfrac{1}{4},\; a_{n+1}=a_n^2+\tfrac{1}{4} — הוכיחי שמתכנסת ומצאי גבול.
סדרה: a1=c>0,  an+1=arctan(an)a_1=c>0,\; a_{n+1}=\arctan(a_n) — הוכיחי שהגבול הוא 0.
הוכיחי/הפריכי: אם an>0a_n>0 ו-liman=0\lim a_n=0, אז liman+1an=0\lim\frac{a_{n+1}}{a_n}=0. (שגוי — דוגמה נגדית)
אינפי ב׳ — מועד א׳ · 01.07.2026 · יעד 90+ · Max Mahlin