<latex2pdf>
<tex>קוד:ראש</tex>
לפעמים הפונקציה מתנהגת בצורה שונה לגמרי מכל צד ולכן נוח להגדיר גבולות חד צדדיים. הרעיון בהגדרה שלהם היא כמו הגדרת הגבול אבל להגביל את הטווח שבו אנו מסתכלים על הסביבה של $a$ לסביבה ימנית או שמאלית.
\begin{theorem}
הגבול $\lim_{x\to a} f(x)$ קיים ושווה ל-$L$ אם ורק אם הגבולות החד צדדיים קיימים וגם שווים ל-$L$.
\end{\theorem}
\begin{proof}
יהי $\varepsilon>0 $ אזי קיים $\delta>0 $ כך ש- $\forall x : 0<|x-a|<\delta \Rightarrow |f(x)-L|<\varepsilon $ אבל זה בדיוק כמו להגיד ש- $\forall x : 0<x-a<\delta \lor 0<a-x<\delta \Rightarrow |f(x)-L|<\varepsilon $ ואז מתקיימים הגדרות הגבולות החד צדדיים.
\boxed{\Rightarrow}
יהי $\varepsilon>0 $ אזי קיים $\delta_1>0 $ כך ש- $\forall x : 0<x-a<\delta_1 \Rightarrow |f(x)-L|<\varepsilon $ וקיים $\delta_2>0 $ כך ש- $\forall x : 0<a-x<\delta_2 \Rightarrow |f(x)-L|<\varepsilon $ ואז אם נגדיר $\delta=\min\{\delta_1,\delta_2\} $ נקבל ש- $ 0<|x-a|<\delta \Rightarrow 0<x-a<\delta \lor 0<a-x<\delta $ ובכל מקרה במקרה הזה יתקיים ש- $|f(x)-L|<\varepsilon $, כדרוש.
\end{proof}
<tex>קוד:זנב</tex>
</latex2pdf>