כלל לופיטל

בחשבון אינפיניטסימלי, כלל לוֹפּיטָל (L'Hôpital) הוא כלל המסייע בחישוב גבולות שצורתם אינה מוגדרת, כגון גבולות מהצורה <math>\textstyle \frac{ \infty}{ \infty}</math> או <math>\textstyle \frac{0}{0}</math>, באמצעות גזירה, שמעבירה את הגבולות לצורה מוגדרת היטב. הכלל מאפשר להחליף את המונה והמכנה בנגזרת שלהם, פעולה העשויה לפשט את חישוב הגבול באופן משמעותי.
טרנספורמציות שגרתיות מאפשרות לטפל בעזרת הכלל גם בגבול שבו יש מכפלה מהצורה <math>\ 0 \cdot \infty</math> או חזקה מהצורה <math>\ 1^{\infty}</math> או <math>\ \infty^0</math>.

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

==כלל לופיטל (עבור גבול מהצורה <math>\textstyle \frac{0}{0}</math>)==
נניח כי <math>f\left(x\right)</math> ו-<math>g\left(x\right)</math> הן שתי פונקציות גזירות בסביבה מנוקבת של נקודה a (ממשית, או <math>\ \pm \infty</math>), וש-<math>\lim_{x\to a} f(x)=\lim_{x\to a} g(x)=0</math>. אם הגבול <math>\,L = \lim_{x\to a}\frac{f'(x)}{g'(x)}</math> קיים, אז גם הגבול <math>\lim_{x\to a}\frac{f(x)}{g(x)}</math> קיים, ושווה ל <math>L</math>.

=== הוכחה ===
לכל <math>0<\varepsilon</math> קיים <math>0<\delta</math> כך שלכל <math>x</math> המקיים <math>0<|x-a|<\delta</math> מתקיים <math>L- \varepsilon <\frac{f'(x)}{g'(x)} < L + \varepsilon</math> ולכן, לפי משפט הערך הממוצע של קושי

<math>L- \varepsilon < \frac{f(x_1)-f(x_2)}{g(x_1)-g(x_2)} < L + \varepsilon</math> לכל <math>x_1,x_2</math> המקיימים <math>|x_1-a|<\delta\,\,\, ,|x_2-a|<\delta</math>.

אם נשאיר את <math>x_1</math> קבוע ואת <math>x_2</math> נשאיף ל<math>a</math> נקבל

<math>L- \varepsilon \leq \lim_{x_2\to a} \frac{f(x_1)-f(x_2)}{g(x_1)-g(x_2)} = \frac {f(x_1)}{g(x_1)}\leq L + \varepsilon</math>

כלומר, <math>L-\varepsilon < \frac {f(x_1)}{g(x_1)} < L + \varepsilon</math> כאשר <math>|x_1 - a| < \delta</math>.

לכן, <math>\lim_{x\to a}\frac{f(x)}{g(x)}=L</math>. מש"ל.

== כלל לופיטל (עבור גבול מהצורה <math>\textstyle \frac{ \infty}{ \infty}</math>) ==
נניח כי <math>f\left(x\right)</math> ו-<math>g\left(x\right)</math> הן שתי פונקציות גזירות בסביבה מנוקבת של נקודה a (ממשית, או <math>\ \pm \infty</math>), וש-<math>\lim_{x\to a} f(x)= \pm \infty, \lim_{x\to a} g(x)= \pm \infty</math>. אם הגבול <math>\,L = \lim_{x\to a}\frac{f'(x)}{g'(x)}</math> קיים, אז גם הגבול <math>\lim_{x\to a}\frac{f(x)}{g(x)}</math> קיים, ושווה ל <math>L</math>.

=== הוכחה ===
לכל <math>\varepsilon>0</math> קיים <math>\delta > 0</math> כך שלכל <math>x</math> המקיים <math>0<|x-a|<\delta</math> מתקיים <math>L- \varepsilon <\frac{f'(x)}{g'(x)} < L + \varepsilon</math> ולכן, לפי משפט הערך הממוצע של קושי מתקיים

<math>L- \varepsilon < \frac{f(x_1)-f(x_2)}{g(x_1)-g(x_2)} < L + \varepsilon</math> לכל <math>x_1,x_2</math> המקיימים <math>0<|x_1-a|<\delta\,\,\, ,0<|x_2-a|<\delta</math>.

נגדיר <math>\beta(x_1,x_2)= \frac{g(x_1)}{g(x_1)-g(x_2)} \cdot \frac{f(x_1)-f(x_2)}{f(x_1)}</math>

נשים לב ש <math>\beta(x_1,x_2) \cdot \frac{f(x_1)}{g(x_1)}=\frac{f(x_1)-f(x_2)}{g(x_1)-g(x_2)}</math>

נשים לב שאם נשאיר את <math>x_2</math> קבוע ואם יהיה <math>x_1 \rightarrow a</math> נקבל <math>\lim_{x_1\to a} \beta(x_1,x_2) = 1</math>.

מכאן קל להוכיח שעבור <math>x_2</math> קבוע המקיים <math>0<|x_2-a|<\delta</math> קיים <math>\delta > \delta_1</math> כך שלכל <math>x_1</math> כך ש <math>0<|x_1-a|<\delta_1</math> מתקיים <math>\beta(x_1,x_2) >0</math> וכן,

<math>L-2\varepsilon<\frac{L- \varepsilon} {\beta(x_1,x_2)} < \frac{f(x_1)}{g(x_1)}< \frac {L + \varepsilon} {\beta(x_1,x_2)}<L+2\varepsilon</math>

לכן, <math>\lim_{x\to a}\frac{f(x)}{g(x)}=L</math>

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

בעזרת הכלל ניתן לחשב גם גבולות מהצורה <math>0\cdot\infty, 1^\infty</math>:
נניח כי <math>\ f(x)\rarr 0, g(x)\rarr\infty</math> ואנו רוצים לחשב את <math>\lim_{x\to a}f(x)\cdot g(x)</math>

אז <math>f(x)\cdot g(x)=\frac{f(x)}{\frac{1}{g(x)}}\rarr\frac{0}{0},f(x)\cdot g(x)=\frac{g(x)}{\frac{1}{f(x)}}\rarr\frac{\infty}{\infty}</math>

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

נניח כי <math>\ f(x)\rarr 1,g(x)\rarr\infty</math> ואנו רוצים לחשב את <math>\lim_{x\to a}f(x)^{g(x)}</math>.

אז מתקיים:

<math>\lim_{x \to a}f(x)^{g(x)}=\lim_{x\to a}\exp{\left( \ln(f(x)^{g(x)}) \right) }=
\exp{\left( \lim_{x \to a}g(x)\ln{f(x)} \right)}</math>

וכעת יש במעריך גבול מהצורה <math>0\cdot\infty</math> שבו כבר יודעים לטפל.

== דוגמאות ==
* לכל n טבעי, נחשב את הגבול <math>x^n</math> חלקי <math>e^x</math> כאשר <math>x</math> שואף לאינסוף. זהו גבול של אינסוף חלקי אינסוף ולכן נחשבו באמצעות הפעלה חוזרת של כלל לופיטל נקבל:
:: <math>\ \lim_{x \to \infty}\frac{x^n}{e^x} = \lim_{x \to \infty}\frac{n x^{n-1}}{e^x} = \cdots = \lim_{x \to \infty}\frac{n!}{e^x} = 0 </math>
: זאת כי <math>\ \left( e^x \right) ' = e^x</math> והאקספוננט שואף לאינסוף כאשר x שואף לאינסוף.
* דוגמה נוספת:
:: <math>\ \lim_{x \to 1}\frac{ (x-1)^2 }{\ln x } = \lim_{x \to 1}\frac{ 2(x-1) }{1/x } = 0 </math>
: זאת כי <math>\ \left( \ln x \right) ' = 1/x</math>.
* דוגמה נוספת:
:: <math>\ \lim_{x \to 1}\frac{ (x-1) }{\ln x } = \lim_{x \to 1}\frac{ 1 }{1/x } = 1 </math>
: בכך הוכחנו שעבור מספרים <math>\ u << 1</math> מתקיים <math>\ \ln(1+u) \approx u</math>.
* השימוש בכלל לופיטל לא תמיד מצליח לפשט את הביטוי הנתון, למשל בדוגמה שלהלן:
:: <math>\ \lim_{x \to \infty}\frac{ e^{\ln x}}{x}</math>
: מאחר ש <math>e^{\ln{x}} = x</math> אזי ברור שהגבול שווה ל-1. אבל מאחר ש:
:: <math>\ \left( e^{\ln x} \right) ' = e^{\ln x} / x</math> ו <math>\ (x)' = 1</math>
: אם נשתמש בכלל לופיטל נקבל (בגלל רציפות פונקציית האקספוננט) ש:
:: <math>\ \lim_{x \to \infty}\frac{ e^{\ln x}}{x} = \lim_{x \to \infty}\frac{ e^{\ln x}/x}{1} = \lim_{x \to \infty}\frac{ e^{\ln x}}{x} </math>
: כלומר, כלל לופיטל מחזיר אותנו לאותו גבול שהתחלנו איתו ולכן הוא לא עוזר לחשב גבול זה.
* יש להיזהר מהוכחות מעגליות. למשל, לעיתים קרובות נוטים לחשב את הגבול <math>\ \lim_{x \to 0}\frac{\sin(x)}{x}</math> בעזרת כלל לופיטל.
:מכיוון שהנגזרת של סינוס היא קוסינוס, מתקבל:
::<math>\ \lim_{x \to 0}\frac{\sin(x)}{x}= \lim_{x \to 0}\frac{\cos(x)}{1}=1</math>
:אולם, מכיוון שמקובל להוכיח שהנגזרת של סינוס היא קוסינוס בעזרת שימוש בגבול של sin(x)/x, מתקבלת הוכחה מעגלית. ניתן לפתור בעיה זו אם מגדירים את פונקציות הסינוס והקוסינוס בעזרת טורי מקלורין (טורי טיילור בנקודה 0), ומוכיחים את נכונות הנגזרות באמצעות גזירת הטורים.

== ראו גם ==
* גבול (מתמטיקה)
* נגזרת
* משפט שטולץ

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

* [http://planetmath.org/?op=getobj&from=objects&id=3930 הוכחה לכלל לופיטל באתר Planet Math] 
* 

לופיטל