אינפי ב׳ · מדריך הנימוק הפורמלי
עשית את הצעד — עכשיו נמקי לפי מה
לכל צעד בפתרון: שם המשפט/הגדרה · תנאים שחייבים לבדוק · איך כותבים פורמלית
גבולות
לופיטל · גבולות חד-צדדיים · רציפות
1
עשית גזירת מונה ומכנה בגבול: "לופיטל"
← מנמקים לפי: כלל לופיטל
תנאים שחייבים לבדוק ✓
- ✓הגבול בצורה 0/0 או ∞/∞ בלבד
- ✓f, g גזירות בסביבת x₀
- ✓g′(x) ≠ 0 בסביבה (חוץ מx₀)
- ✓קיים lim f′/g′ (במובן הרחב)
כתיבה פורמלית במבחן 📝
"הגבול בצורה 0/0 [או ∞/∞], לכן ממשפט לופיטל: lim f/g = lim f′/g′"
⚠ טעות נפוצה: שימוש בלופיטל כשהגבול לא בצורה 0/0 ∞/∞ — כגון 1·∞ ישירות בלי להוריד למכנה!
2
הפרדת לגבולות חד-צדדיים כי הפונקציה לא מוגדרת/שונה בכל צד
← מנמקים לפי: הגדרת גבול דו-צדדי
תנאים שחייבים לבדוק ✓
- ✓יש חשד שהפונקציה מתנהגת שונה מימין ומשמאל (כגון |x|/x, sign, e^(1/x))
כתיבה פורמלית במבחן 📝
"נבדיל בין גבול מימין ומשמאל. גבול מימין: ... = L₁. גבול משמאל: ... = L₂. היות ש-L₁ ≠ L₂, הגבול לא קיים."
⚠ טעות נפוצה: לא לבדוק חד-צדדי ולהניח שהגבול קיים
3
כתבת "AOL" — השתמשת בחוקי אלגברה של גבולות
← מנמקים לפי: אלגברה של גבולות (AOL)
תנאים שחייבים לבדוק ✓
- ✓שני הגבולות קיימים (סופיים)
- ✓אין חלוקה באפס או ∞-∞
כתיבה פורמלית במבחן 📝
"מאלגברה של גבולות [AOL]: lim(f+g) = lim f + lim g = ... + ... = ..."
⚠ טעות נפוצה: AOL אסור כשיש ∞-∞ או ∞/∞ — צריך לחקור!
4
השתמשת בסנדוויץ′ (כלל המלחיץ)
← מנמקים לפי: משפט הסנדוויץ′ / Squeeze Theorem
תנאים שחייבים לבדוק ✓
- ✓a(x) ≤ f(x) ≤ b(x) בסביבת x₀
- ✓lim a(x) = lim b(x) = L
כתיבה פורמלית במבחן 📝
"מאחר ש- a(x) ≤ f(x) ≤ b(x) וכן lim a(x) = lim b(x) = L, ממשפט הסנדוויץ′: lim f(x) = L"
סדרות
מונוטוניות · חסימות · רקורסיביות · גבול
5
הסקת קיום גבול לסדרה מונוטונית
← מנמקים לפי: משפט הסדרה המונוטונית והחסומה
תנאים שחייבים לבדוק ✓
- ✓הסדרה מונוטונית עולה (או יורדת)
- ✓הסדרה חסומה מלעיל (עולה) / מלרע (יורדת)
כתיבה פורמלית במבחן 📝
"הסדרה מונוטונית עולה וחסומה מלעיל, לכן ממשפט הסדרה המונוטונית, קיים lim aₙ = L ∈ ℝ"
⚠ טעות נפוצה: לא להניח שהגבול קיים לפני שהוכחת מונוטוניות + חסימות!
6
מצאת את ערך הגבול של סדרה רקורסיבית
← מנמקים לפי: הגדרת גבול סדרה + רציפות
תנאים שחייבים לבדוק ✓
- ✓כבר הוכחת שהגבול קיים (מונוטוניות + חסימות)
- ✓f רציפה (כדי להעביר את הגבול פנימה)
כתיבה פורמלית במבחן 📝
"מאחר שהגבול קיים, נסמן lim aₙ = L. נעביר גבול בנוסחה: L = f(L). נפתור: L = ..."
⚠ טעות נפוצה: לכתוב lim aₙ = L לפני שהוכחת קיום — זו טעות קלאסית!
7
הוכחת מונוטוניות של סדרה רקורסיבית באינדוקציה
← מנמקים לפי: אינדוקציה מתמטית
תנאים שחייבים לבדוק ✓
כתיבה פורמלית במבחן 📝
"נוכיח ב-אינדוקציה שaₙ₊₁ ≥ aₙ. בסיס: a₂ = f(a₁) = ... ≥ a₁. צעד: נניח aₙ₊₁ ≥ aₙ, נוכיח aₙ₊₂ ≥ aₙ₊₁ ..."
נגזרות — MVT, רול, דרבו, טיילור
כלי ההוכחה המרכזיים
8
מצאת c כך ש-f′(c) = 0 כי f(a)=f(b)
← מנמקים לפי: משפט רול
תנאים שחייבים לבדוק ✓
- ✓f רציפה ב-[a,b]
- ✓f גזירה ב-(a,b)
- ✓f(a) = f(b)
כתיבה פורמלית במבחן 📝
"f רציפה ב-[a,b], גזירה ב-(a,b), וf(a)=f(b). ממשפט רול, קיים c∈(a,b) כך שf′(c)=0"
⚠ טעות נפוצה: לשכוח לבדוק f(a)=f(b)!
9
מצאת c כך שf′(c) = שיפוע ממוצע
← מנמקים לפי: משפט הערך הממוצע (MVT / Lagrange)
תנאים שחייבים לבדוק ✓
- ✓f רציפה ב-[a,b]
- ✓f גזירה ב-(a,b)
כתיבה פורמלית במבחן 📝
"f רציפה ב-[a,b] וגזירה ב-(a,b). ממשפט הערך הממוצע (לגרנז'), קיים c∈(a,b) כך ש: f′(c) = (f(b)-f(a))/(b-a)"
10
מצאת c כך שf′(c) = r כלשהו בין f′(a) לf′(b)
← מנמקים לפי: משפט דרבו המורחב
תנאים שחייבים לבדוק ✓
- ✓f גזירה ב-[a,b] (לא צריך רציפות של f′!)
- ✓r נמצא בין f′(a) לf′(b)
כתיבה פורמלית במבחן 📝
"f גזירה ב-[a,b] וf′(a) < r < f′(b). ממשפט דרבו המורחב, קיים c∈(a,b) כך שf′(c)=r"
⚠ טעות נפוצה: אל תשתמשי ב-IVT על f′ — f′ לא חייבת להיות רציפה! צריך דרבו.
11
הסקת קיום c∈(a,b) כך שf(c)=0 (ערך ביניים)
← מנמקים לפי: משפט ערך הביניים (IVT)
תנאים שחייבים לבדוק ✓
- ✓f רציפה ב-[a,b]
- ✓f(a) ו-f(b) בעלי סימנים שונים (או ערך יעד נמצא ביניהם)
כתיבה פורמלית במבחן 📝
"f רציפה ב-[a,b], f(a) = ... > 0 ו-f(b) = ... < 0. ממשפט ערך הביניים, קיים c∈(a,b) כך שf(c) = 0"
12
השתמשת בפיתוח טיילור עם שארית
← מנמקים לפי: פיתוח טיילור עם שארית לגרנז'
תנאים שחייבים לבדוק ✓
- ✓f גזירה n+1 פעמים בסביבת x₀
כתיבה פורמלית במבחן 📝
"ממשפט טיילור, קיים ξ בין x₀ לx כך ש: f(x) = Σ f^(k)(x₀)/k! (x-x₀)^k + f^(n+1)(ξ)/(n+1)! (x-x₀)^(n+1)"
אינטגרלים — FTC, IBP, החלפת משתנה
הצדקה פורמלית לכל שלב
13
חישבת ∫f(x)dx = F(b)-F(a)
← מנמקים לפי: משפט ניוטון-לייבניץ (FTC1)
תנאים שחייבים לבדוק ✓
- ✓f רציפה ב-[a,b]
- ✓F היא אנטי-נגזרת של f (F′=f)
כתיבה פורמלית במבחן 📝
"f רציפה ב-[a,b], F אנטי-נגזרת שלה. ממשפט ניוטון-לייבניץ: ∫_a^b f(x)dx = F(b)-F(a) = ..."
⚠ טעות נפוצה: שימוש ב-N-L כשיש נקודת אי-רציפות בקטע! (כגון 1/x ב-[-1,1])
14
גזרת את הפונקציה F(x)=∫_a^x f(t)dt
← מנמקים לפי: משפט היסודי של החשבון (FTC2)
תנאים שחייבים לבדוק ✓
- ✓f רציפה בסביבת x
כתיבה פורמלית במבחן 📝
"ממשפט היסודי של החשבון (FTC2): F′(x) = d/dx ∫_a^x f(t)dt = f(x)"
15
השתמשת באינטגרציה בחלקים
← מנמקים לפי: אינטגרציה בחלקים (IBP)
תנאים שחייבים לבדוק ✓
- ✓u, v גזירות
- ✓בחרת נכון u ו-dv
כתיבה פורמלית במבחן 📝
"בבחירת u=... ו-v′=..., מאינטגרציה בחלקים: ∫u·v′dx = uv - ∫u′v dx = ..."
16
עשית החלפת משתנה t=g(x)
← מנמקים לפי: משפט החלפת משתנה
תנאים שחייבים לבדוק ✓
- ✓g גזירה, g′ רציפה
- ✓שינוי גבולות בהתאם לt=g(x)
כתיבה פורמלית במבחן 📝
"בהצבת t=g(x), dt=g′(x)dx, הגבולות משתנים ל-[g(a),g(b)]: ∫_a^b f(g(x))g′(x)dx = ∫_{g(a)}^{g(b)} f(t)dt = ..."
17
אמרת שהאינטגרל שווה 0 כי הפונקציה אי-זוגית
← מנמקים לפי: משפט הפונקציה האי-זוגית על קטע סימטרי
תנאים שחייבים לבדוק ✓
- ✓f אי-זוגית: f(-x) = -f(x)
- ✓הקטע הוא [-a,a]
- ✓f אינטגרבילית על הקטע
- ✓⚠ תקף רק לאינטגרל מסוים — לא לאינטגרל לא-אמיתי!
כתיבה פורמלית במבחן 📝
"f אי-זוגית ואינטגרבילית על [-a,a]. לפי משפט הפונקציה האי-זוגית: ∫_{-a}^{a} f(x)dx = 0"
⚠ טעות נפוצה: להשתמש בזה על אינטגרל לא-אמיתי! (∫_{-∞}^{∞} x dx ≠ 0 — הוא מתבדר!)
אינטגרלים לא אמיתיים
הגדרה · השוואה · תנאים
18
פצלת אינטגרל לא-אמיתי לשניים
← מנמקים לפי: הגדרת האינטגרל הלא-אמיתי
תנאים שחייבים לבדוק ✓
- ✓שני הגבולות חייבים להתכנס בנפרד
כתיבה פורמלית במבחן 📝
"לפי הגדרת האינטגרל הלא-אמיתי: ∫_{-∞}^{∞} f = ∫_{-∞}^{0} f + ∫_0^{∞} f = lim_{a→-∞}∫_a^0 f + lim_{b→∞}∫_0^b f"
⚠ טעות נפוצה: לכתוב lim_{R→∞} ∫_{-R}^{R} f — זה ערך ראשי של קושי, לא האינטגרל הלא-אמיתי!
19
הסקת התכנסות מ-|f|≤g
← מנמקים לפי: מבחן ההשוואה לאינטגרלים
תנאים שחייבים לבדוק ✓
- ✓0 ≤ f(x) ≤ g(x) לכל x≥a
- ✓∫_a^∞ g מתכנס
כתיבה פורמלית במבחן 📝
"מאחר ש-0≤f(x)≤g(x) לכל x≥a ו-∫_a^∞ g(x)dx מתכנס, ממבחן ההשוואה: ∫_a^∞ f(x)dx מתכנס"
טורים — מבחני התכנסות
כל מבחן: שם + תנאים + כתיבה
מבחנים לטורים אי-שליליים בלבד
20
הסקת התבדרות כי האיבר הכללי לא שואף ל-0
← מנמקים לפי: תנאי הכרחי להתכנסות (קונטרה-פוזיטיב)
תנאים שחייבים לבדוק ✓
- ✓aₙ ↛ 0
כתיבה פורמלית במבחן 📝
"מאחר ש-lim aₙ = ... ≠ 0, מהתנאי ההכרחי להתכנסות: הטור מתבדר"
⚠ טעות נפוצה: aₙ → 0 לא מספיק! ∑1/n מתבדר למרות ש-1/n → 0
21
השווית הטור לp-series ידוע
← מנמקים לפי: p-series: ∑1/nᵖ מתכנס ↔ p>1
תנאים שחייבים לבדוק ✓
- ✓הטור מהצורה ∑1/nᵖ
כתיבה פורמלית במבחן 📝
"הטור הוא p-series עם p=... . מאחר ש-p [>/<] 1, הטור [מתכנס/מתבדר]"
22
השתמשת ב-LCT — מבחן ההשוואה הגבולי
← מנמקים לפי: מבחן ההשוואה הגבולי (LCT)
תנאים שחייבים לבדוק ✓
- ✓aₙ, bₙ > 0
- ✓lim aₙ/bₙ = L ∈ (0,∞) — לא 0 ולא ∞!
כתיבה פורמלית במבחן 📝
"מאחר ש-aₙ,bₙ>0 ו-lim(aₙ/bₙ) = L = ... ∈(0,∞), ממבחן ההשוואה הגבולי: ∑aₙ מתכנס ↔ ∑bₙ מתכנס. מאחר ש-∑bₙ [מתכנס/מתבדר], גם ∑aₙ [מתכנס/מתבדר]"
⚠ טעות נפוצה: אם L=0 או L=∞ — LCT לא קובע! צריך CT רגיל.
23
השתמשת במבחן האינטגרל
← מנמקים לפי: מבחן האינטגרל
תנאים שחייבים לבדוק ✓
- ✓f חיובית, יורדת, רציפה ב-[1,∞)
- ✓aₙ = f(n)
כתיבה פורמלית במבחן 📝
"f חיובית, יורדת ורציפה ב-[N,∞). ממבחן האינטגרל: ∑aₙ מתכנס ↔ ∫_N^∞ f(x)dx מתכנס"
⚠ טעות נפוצה: לשכוח לבדוק שf יורדת!
24
השתמשת במבחן המנה
← מנמקים לפי: מבחן המנה (D'Alembert)
תנאים שחייבים לבדוק ✓
- ✓aₙ > 0
- ✓L = lim |aₙ₊₁/aₙ| קיים
כתיבה פורמלית במבחן 📝
"nנחשב lim|aₙ₊₁/aₙ| = ... = L. מאחר ש-L [</>] 1, ממבחן המנה: הטור [מתכנס בהחלט/מתבדר]"
⚠ טעות נפוצה: L=1 — המבחן לא קובע! לנסות כלי אחר.
25
השתמשת במבחן השורש
← מנמקים לפי: מבחן השורש (Cauchy)
תנאים שחייבים לבדוק ✓
- ✓L = limsup |aₙ|^(1/n) קיים
כתיבה פורמלית במבחן 📝
"נחשב lim|aₙ|^(1/n) = ... = L. מאחר ש-L [</>] 1, ממבחן השורש: הטור [מתכנס בהחלט/מתבדר]"
טורים לא אי-שליליים
26
הסקת התכנסות מטור חלופי
← מנמקים לפי: מבחן לייבניץ (3 תנאים — כולם חייבים!)
תנאים שחייבים לבדוק ✓
- ✓① aₙ ≥ 0
- ✓② aₙ יורדת (monotone decreasing) — חובה!
- ✓③ aₙ → 0
כתיבה פורמלית במבחן 📝
"① aₙ≥0, ② aₙ יורדת (הראינו ש-aₙ₊₁≤aₙ), ③ lim aₙ=0. ממבחן לייבניץ: ∑(-1)ⁿaₙ מתכנס"
⚠ טעות נפוצה: לשכוח 'יורדת' — זה בדיוק מה שמבדיל מקרה נכון משגוי!
27
הסקת התכנסות מהתכנסות מוחלטת
← מנמקים לפי: משפט: התכנסות מוחלטת ⟹ התכנסות
תנאים שחייבים לבדוק ✓
- ✓∑|aₙ| מתכנס
כתיבה פורמלית במבחן 📝
"הראינו ש-∑|aₙ| מתכנס, כלומר הטור מתכנס בהחלט. ממשפט ההתכנסות המוחלטת: ∑aₙ מתכנס"
טורי חזקות ומקלורן
רדיוס · גזירה · אינטגרציה
28
חישבת רדיוס התכנסות R
← מנמקים לפי: נוסחת הרדיוס (ממשפט קושי-הדמר)
תנאים שחייבים לבדוק ✓
- ✓הגבול lim|aₙ|^(1/n) [או lim|aₙ/aₙ₊₁|] קיים
כתיבה פורמלית במבחן 📝
"ממשפט קושי-הדמר, רדיוס ההתכנסות: R = 1/limsup|aₙ|^(1/n) = 1/... = ...[או ממבחן המנה: R=lim|aₙ/aₙ₊₁|]"
29
בדקת התכנסות בקצוות ±R
← מנמקים לפי: הגדרת תחום ההתכנסות
תנאים שחייבים לבדוק ✓
- ✓קצוות |x|=R חייבים להיבדק בנפרד
- ✓להציב x=R ו-x=-R ולהשתמש במבחן מתאים
כתיבה פורמלית במבחן 📝
"בקצה x=R: הטור הוא ∑aₙRⁿ = ... . מ[מבחן X], הטור [מתכנס/מתבדר]. בקצה x=-R: ... . לכן תחום ההתכנסות הוא [R-/R+/(-R,R)/[-R,R]]"
30
גזרת/אינטגרלת טור חזקות
← מנמקים לפי: משפט גזירה/אינטגרציה של טורי חזקות
תנאים שחייבים לבדוק ✓
- ✓בתוך הרדיוס: |x|<R
- ✓הרדיוס R לא משתנה — אבל הקצוות כן!
כתיבה פורמלית במבחן 📝
"בתחום |x|<R, ממשפט גזירת טורי חזקות: (∑aₙxⁿ)′ = ∑naₙxⁿ⁻¹. הרדיוס נשאר R, אבל יש לבדוק קצוות מחדש"
⚠ טעות נפוצה: לא לבדוק קצוות מחדש אחרי גזירה/אינטגרציה!
📋 טבלת עזר מהירה — שם המשפט לפי הפעולה
| מה עשית? | שם המשפט | תנאי מפתח |
|---|---|---|
| גזרת מונה/מכנה בגבול | כלל לופיטל | רק 0/0 או ∞/∞ |
| סנדוויץ′ בין שני גבולות שווים | Squeeze Theorem | שני הצדדים → L |
| הסקת גבול = L מסדרה | הגדרת גבול (ε-N) | ∀ε>0 ∃N: |aₙ-L|<ε |
| מונוטונית + חסומה → מתכנסת | משפט המונוטוני | הסדרה חייבת להיות גם מונוטונית וגם חסומה |
| f(a)=f(b) → f′(c)=0 | משפט רול | רציפות ב-[a,b] + גזירות ב-(a,b) |
| קיים c עם שיפוע ממוצע | MVT (לגרנז′) | רציפות + גזירות |
| קיים c עם f′(c)=r בין הקצוות | דרבו המורחב | גזירות בלבד (ללא רציפות f′) |
| קיים c עם f(c)=0 (IVT) | ערך הביניים | רציפות + סימנים שונים |
| ∫f = F(b)-F(a) | ניוטון-לייבניץ | f רציפה בקטע הסגור! |
| F′(x) = f(x) לפונקציה צוברת | FTC2 | f רציפה ב-x |
| אינטגרציה בחלקים | IBP | u,v גזירות |
| הצבת t=g(x) | החלפת משתנה | שינוי גבולות בהתאם! |
| ∑aₙ מתכנס → aₙ→0 | תנאי הכרחי | קונטרה-פוזיטיב: aₙ↛0 → מתבדר |
| p>1 → ∑1/nᵖ מתכנס | p-series | p=1 הרמוני מתבדר! |
| lim aₙ/bₙ=L∈(0,∞) → אותה התנהגות | LCT | L חייב להיות בין 0 ל-∞ |
| f יורדת → ∑f(n)≈∫f | מבחן האינטגרל | f חיובית, יורדת, רציפה |
| lim|aₙ₊₁/aₙ|<1 → מתכנס | מבחן המנה | L=1 לא קובע! |
| aₙ≥0 יורדת →0 + (-1)ⁿ | לייבניץ | שלושת התנאים חייבים! כולל 'יורדת' |
| ∑|aₙ|<∞ → ∑aₙ מתכנס | התכנסות מוחלטת | ההפך לא נכון! |
| גזירת טור חזקות | FPS — גזירה | R לא משתנה, קצוות — בדוקי מחדש |
אינפי ב׳ · מועד א׳ 01.07.2026 · יעד 90+ · מדריך נימוקים פורמליים