כלל לופיטל

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

בחשבון אינפיניטסימלי, כלל לופיטל הוא כלל המסייע בחישוב גבולות שצורתם אינה מוגדרת, כגון גבולות מהצורה או , באמצעות גזירה, שמעבירה את הגבולות לצורה מוגדרת היטב. הכלל מאפשר להחליף את המונה והמכנה בנגזרת שלהם, פעולה העשויה לפשט את חישוב הגבול באופן משמעותי. טרנספורמציות שגרתיות מאפשרות לטפל בעזרת הכלל גם בגבול שבו יש מכפלה מהצורה .

כלל לופיטל התגלה על-ידי יוהאן ברנולי, אולם תלמידו המרקיז דה לופיטל היה הראשון לפרסם אותו בספר.

כלל לופיטל (עבור גבול מהצורה 0/0)

תהיינה פונקציות גזירות בסביבה מנוקבת של עבורה וכן .

אם הגבול קיים, אזי .

הוכחה

לכל קיים כך שלכל מתקיים .

לכן לפי משפט הערך הממוצע של קושי לכל מתקיים .

אם נקבע את ואת נשאיף ל- נקבל

כלומר לכל מתקיים .

לכן .

כלל לופיטל (עבור גבול מהצורה ∞/∞)

תהיינה פונקציות גזירות בסביבה מנוקבת של (ממשית או ), וגם .

אם הגבול קיים, אזי מתקיים .


הוכחה

לכל קיים כך שלכל כך ש מתקיים ולכן, לפי משפט הערך הממוצע של קושי

לכל המקיימים .

נגדיר

נשים לב ש

נשים לב שאם נשאיר את קבוע ואת נשאיף ל נקבל .

מכאן קל להוכיח שעבור קבוע המקיים קיים כך שלכל כך ש מתקיים וכן,

לכן,

גבולות נוספים

בעזרת הכלל ניתן לחשב גם גבולות מהצורה : נניח כי ואנו רוצים לחשב את

אז

וניתן להשתמש על ביטויים אלו בכלל לופיטל.

נניח כי ואנו רוצים לחשב את .

אז מתקיים:

וכעת יש במעריך גבול מהצורה שבו כבר יודעים לטפל.

דוגמאות

  • לכל n טבעי, נחשב את הגבול xn חלקי ex כאשר x שואף לאינסוף. זהו גבול של אינסוף חלקי אינסוף ולכן נחשבו באמצעות הפעלה חוזרת של כלל לופיטל נקבל:
זאת כי והאקספוננט שואף לאינסוף כאשר x שואף לאינסוף.
  • דוגמה נוספת:
זאת כי .
  • דוגמה נוספת:
בכך הוכחנו שעבור מספרים מתקיים .
  • לא תמיד כדאי להשתמש בכלל לופיטל, למשל בדוגמה שלהלן:
מאחר ש elnx=x אזי ברור שהגבול שווה ל-1. אבל מאחר ש:
ו
אם נשתמש בכלל לופיטל נקבל (בגלל רציפות פונקציית האקספוננט) ש:
כלומר, כלל לופיטל מחזיר אותנו לאותו גבול שהתחלנו איתו ולכן הוא לא עוזר לחשב גבול זה.
  • יש להיזהר גם מהוכחות מעגליות. למשל מפתה לחשב את הגבול הבא לפי כלל לופיטל:
מכיוון שהנגזרת של סינוס היא קוסינוס, מתקבל מכלל לופיטל:
אולם זוהי הוכחה מעגלית שאינה תקפה, מכיוון שכדי להוכיח כי קוסינוס הוא הנגזרת של סינוס, עושים שימוש בגבול זה (תלוי כמובן באיך מגדירים את סינוס). לכן יש להוכיחו קודם ישירות.

ראו גם

קישורים חיצוניים


סמל המכלול גמרא 2.PNG
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0