גבולות בדרך חישובית

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

הבנת גבול מתוך טבלה

גבול של פונקציה בנקודה $a$ הוא הערך $L$ שאליו מתקרבים ערכי הפונקציה $f(x)$ כאשר $x$ מתקרב אל $a$, בלי להגיע בהכרח אל $a$ עצמו. בניסוח פורמלי, $\lim_{x\to a}f(x)=L$ אם לכל $\varepsilon>0$ קיים $\delta>0$ כך שמתוך $0<|x-a|<\delta$ נובע $|f(x)-L|<\varepsilon$. הערך $f(a)$ עצמו אינו קובע את הגבול; הפונקציה אף עשויה להיות לא מוגדרת בנקודה.

טבלת ערכים היא כלי ראשוני לבדיקת התנהגות. בוחרים ערכי $x$ הקרובים אל $a$ משני הצדדים, ומחשבים את $f(x)$. אם הערכים מתקרבים לאותו מספר, יש בכך רמז חזק לגבול. עם זאת, טבלה סופית אינה הוכחה: היא בודקת רק מספר נקודות, ועשויה להחמיץ תנודות או התנהגות חריגה. לכן היא משמשת בעיקר לבדיקה או להשערה, ולא כתחליף לחישוב מדויק.

לדוגמה, נבחן את הפונקציה $f(x)=\frac{x^2-4}{x-2}$ ליד $x=2$. הפונקציה אינה מוגדרת ב־$x=2$, משום שהמכנה מתאפס. הטבלה הבאה מראה את ערכיה ליד הנקודה:

$x$	$f(x)$
1.9	3.900
1.99	3.990
1.999	3.999
2.001	4.001
2.01	4.010
2.1	4.100

הערכים משמאל ומימין מתקרבים ל־4. לכן ההשערה היא שהגבול הוא 4. את ההשערה נצדיק בהמשך באמצעות פירוק וצמצום.

הבנת גבול מתוך גרף

גרף מאפשר לראות את התנהגות הענפים של הפונקציה ליד נקודה. אם כאשר $x$ מתקרב אל $a$ משני הצדדים הענפים מתקרבים לאותו גובה $L$, אז הגבול הוא $L$. ייתכן שהנקודה $(a,L)$ אינה על הגרף, ומסומנת כעיגול חלול, או שהפונקציה מוגדרת שם בערך שונה. במקרה כזה הגבול נשאר $L$, אך ערך הפונקציה בנקודה הוא אחר.

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

הצבה ישירה

הדרך הפשוטה ביותר לחישוב גבול היא הצבה ישירה: מציבים $x=a$ בביטוי הפונקציה. אם מתקבל מספר ממשי והפונקציה רציפה בנקודה, ההצבה נותנת את הגבול. פונקציה רציפה בנקודה היא פונקציה שהגבול שלה בנקודה שווה לערכה בנקודה. פולינומים, פונקציות רציונליות במקומות שבהם המכנה אינו מתאפס, ופונקציות אלמנטריות רבות בתחום ההגדרה שלהן מאפשרות הצבה ישירה.

לדוגמה, עבור $f(x)=x^2+2x-1$ מתקיים:

$\lim_{x\to 3}(x^2+2x-1)=3^2+2\cdot 3-1=14.$

כאן אין צורך בפירוק או בצמצום, משום שההצבה אינה יוצרת ביטוי לא מוגדר. לעומת זאת, אם ההצבה נותנת צורה כמו $\frac{0}{0}$, או שהמכנה מתאפס בעוד המונה אינו מתאפס, יש להמשיך לשיטה אחרת. בבחינת גמר או במבחן ביניים נדרש בדרך כלל להציג את הדרך שבה טופלה הצורה הלא מוגדרת, ולא להסתפק בהצבה שגויה.

פירוק לגורמים וצמצום

כאשר ההצבה נותנת $\frac{0}{0}$, יש סיכוי שהמונה והמכנה חולקים גורם משותף המתאפס בנקודה. השיטה היא פירוק לגורמים: מפרקים את המונה ואת המכנה, מצמצמים את הגורם המשותף, ואז מחשבים את הגבול של הביטוי המצומצם. הצמצום תקף לכל $x\neq a$, ולכן אינו משנה את התנהגות הפונקציה ליד הנקודה.

בדוגמה הקודמת:

$\frac{x^2-4}{x-2}=\frac{(x-2)(x+2)}{x-2}.$

עבור $x\neq 2$ מותר לצמצם את הגורם $x-2$, ולקבל $x+2$. לכן:

$$\lim_{x\to 2}\frac{x^2-4}{x-2} = \lim_{x\to 2}(x+2) = 4.$$

דוגמה נוספת: עבור $\frac{x^2-5x+6}{x-3}$ ליד $x=3$, ההצבה נותנת $\frac{0}{0}$. מפרקים:

$x^2-5x+6=(x-2)(x-3),$

ולכן עבור $x\neq 3$:

$\frac{x^2-5x+6}{x-3}=x-2.$

מכאן שהגבול הוא:

$\lim_{x\to 3}\frac{x^2-5x+6}{x-3}=3-2=1.$

הצמדה

הצמדה היא הכפלת הביטוי בצמוד שלו, כלומר בביטוי שבו הסימן בין שני האיברים הפוך. אם מופיע $a-b$, הצמוד הוא $a+b$, ולהפך. השיטה שימושית כאשר במונה או במכנה יש שורשים וההצבה נותנת $\frac{0}{0}$. ההכפלה בצמוד מאפשרת להשתמש בזהות $(a-b)(a+b)=a^2-b^2$ ולהיפטר מהשורש הגורם לצורה הלא מוגדרת.

לדוגמה, נחשב את:

$\lim_{x\to 4}\frac{\sqrt{x}-2}{x-4}.$

ההצבה נותנת $\frac{0}{0}$. נכפיל את המונה ואת המכנה בצמוד $\sqrt{x}+2$:

$$\frac{\sqrt{x}-2}{x-4}\cdot\frac{\sqrt{x}+2}{\sqrt{x}+2} = \frac{x-4}{(x-4)(\sqrt{x}+2)}.$$

עבור $x\neq 4$ מצמצמים $x-4$ ומקבלים:

$\frac{1}{\sqrt{x}+2}.$

לכן הגבול הוא:

$\lim_{x\to 4}\frac{1}{\sqrt{x}+2}=\frac{1}{4}.$

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

גבולות חד־צדדיים

לעיתים יש משמעות להתקרבות אל נקודה מצד אחד בלבד. גבול חד־צדדי ימני הוא הערך שאליו שואפת הפונקציה כאשר $x$ מתקרב אל $a$ מערכים הגדולים מ־$a$, ומסומן $\lim_{x\to a^+}f(x)$. גבול חד־צדדי שמאלי הוא הערך שאליו שואפת הפונקציה כאשר $x$ מתקרב אל $a$ מערכים הקטנים מ־$a$, ומסומן $\lim_{x\to a^-}f(x)$.

הגבול הדו־צדדי $\lim_{x\to a}f(x)$ קיים אם ורק אם שני הגבולות החד־צדדיים קיימים ושווים. אם הם שונים, אין גבול בנקודה, אף שלכל צד בפני עצמו יש גבול. לדוגמה, עבור $f(x)=\frac{|x|}{x}$ ליד $0$, מתקיים:

$$\lim_{x\to 0^+}\frac{|x|}{x}=1, \qquad \lim_{x\to 0^-}\frac{|x|}{x}=-1.$$

לכן הגבול הדו־צדדי $\lim_{x\to 0}\frac{|x|}{x}$ אינו קיים.

גבולות אינסופיים ליד נקודה

גבול אינסופי מתאר מצב שבו ערכי הפונקציה גדלים ללא חסם או קטנים ללא חסם כאשר $x$ מתקרב אל נקודה. נאמר שמתקיים $\lim_{x\to a}f(x)=\infty$ אם לכל $M>0$ קיים $\delta>0$ כך שמתוך $0<|x-a|<\delta$ נובע $f(x)>M$. באופן דומה, $\lim_{x\to a}f(x)=-\infty$ אם לכל $M>0$ קיים $\delta>0$ כך ש־$f(x)<-M$. הסימון $\infty$ אינו מספר ממשי; הוא מתאר התנהגות של שאיפה לגודל לא חסום.

דוגמה טיפוסית היא $f(x)=\frac{1}{(x-2)^2}$. כאשר $x$ מתקרב אל 2, המכנה חיובי ושואף ל־0, ולכן ערכי הפונקציה גדלים ללא חסם. לכן:

$\lim_{x\to 2}\frac{1}{(x-2)^2}=\infty.$

לעומת זאת, עבור $f(x)=\frac{1}{x-2}$, ההתנהגות שונה משני הצדדים: מימין ל־2 המכנה חיובי והפונקציה שואפת ל־$\infty$, ומשמאל ל־2 המכנה שלילי והפונקציה שואפת ל־$-\infty$. לכן אין גבול אינסופי דו־צדדי בנקודה, אך יש גבולות חד־צדדיים אינסופיים.

כאשר פונקציה שואפת לאינסוף או למינוס אינסוף ליד $x=a$, הישר $x=a$ הוא אסימפטוטה אנכית של הגרף. זיהוי האסימפטוטה נעשה לעיתים באמצעות בדיקת המכנה: אם המכנה מתאפס בנקודה והמונה אינו מתאפס שם, יש לבדוק את הגבולות החד־צדדיים.

יש להבחין בין גבול אינסופי ליד נקודה לבין גבול כאשר $x$ שואף לאינסוף. בגבול אינסופי הנקודה $a$ סופית והפונקציה גדלה ללא חסם; בגבול באינסוף המשתנה עצמו גדל ללא חסם, למשל:

$\lim_{x\to\infty}\frac{1}{x}=0.$

זיהוי צורת ההצבה ובחירת פעולה

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

תוצאת ההצבה בנקודה	משמעות	דרך חישוב מתאימה
מספר ממשי	הפונקציה מוגדרת ורציפה בנקודה	ההצבה נותנת את הגבול
צורה $\frac{0}{0}$	המונה והמכנה מתאפסים	פירוק לגורמים, צמצום או הצמדה
מונה שונה מאפס ומכנה מתאפס	הערכים גדלים ללא חסם או קטנים ללא חסם	בדיקת גבולות חד־צדדיים וגבול אינסופי
ביטוי לא מוגדר מסיבה אחרת	יש לפשט או לבדוק את תחום ההגדרה	פירוק, הצמדה או מעבר לגבולות חד־צדדיים