imported>SkyNet7000: כמו העריכה הקודמת עבור inf/inf

2025-07-15T10:09:21Z

כמו העריכה הקודמת עבור inf/inf

דף חדש

ב[[חשבון אינפיניטסימלי]], '''כלל לוֹפּיטָל''' (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>g'(x)\neq0</math> לכל <math>x</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>g'(x)\neq0</math> לכל <math>x</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>
: כלומר, כלל לופיטל מחזיר אותנו לאותו גבול שהתחלנו איתו ולכן הוא לא עוזר לחשב גבול זה.
* יש להיזהר מ[[הסבר מעגלי|הוכחות מעגליות]]. למשל, לעיתים קרובות נוטים לחשב את [[הגבול של sin(x)/x|הגבול]] <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|גבול של sin(x)/x]], מתקבלת הוכחה מעגלית. [[סינוס (טריגונומטריה)#הוכחה בעזרת טורי חזקות|ניתן לפתור]] בעיה זו אם מגדירים את פונקציות הסינוס והקוסינוס בעזרת [[טור מקלורין|טורי מקלורין]] ([[טור טיילור|טורי טיילור]] בנקודה 0), ומוכיחים את נכונות הנגזרות באמצעות גזירת הטורים.

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

== קישורים חיצוניים ==
{{ויקישיתוף בשורה}}
* [http://planetmath.org/?op=getobj&from=objects&id=3930 הוכחה לכלל לופיטל באתר Planet Math] {{אנגלית}}
* {{MathWorld}}

{{אנליזה מתמטית}}

[[קטגוריה:משפטים באנליזה|לופיטל]]
[[קטגוריה:גבולות (מתמטיקה)]]

כלל לופיטל - היסטוריית גרסאות

imported>SkyNet7000: כמו העריכה הקודמת עבור inf/inf