חזור לתיקייה: תרגול

15 - גבולות חד צדדיים, היינה ורציפות

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • גבולות חד צדדיים
  • משפט היינה
  • רציפות

15 - גבולות חד צדדיים, היינה ורציפות

01040031

חשבון אינפיניטסימלי 1מ'

רשימות תרגול לקריאה בשבת

גבולות חד צדדיים, היינה ורציפות

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

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

הגדרה 1

lim⁡x→a+f(x)=L\lim_{ x \to a^+ }f(x)=Llimx→a+​f(x)=L אם לכל ε>0\epsilon>0ε>0 קיים δ>0\delta>0δ>0 כך שלכל a<x<a+δa<x<a+\deltaa<x<a+δ מתקיים ∣f(x)−L∣<ε|f(x)-L|<\epsilon∣f(x)−L∣<ε.
lim⁡x→a−f(x)=L\lim_{ x \to a^- }f(x)=Llimx→a−​f(x)=L אם לכל ε>0\epsilon>0ε>0 קיים δ>0\delta>0δ>0 כך שלכל a−δ<x<aa-\delta<x<aa−δ<x<a מתקיים ∣f(x)−L∣<ε|f(x)-L|<\epsilon∣f(x)−L∣<ε.

משפט

אם הגבולות החד צדדיים בנקודה קיימים ושווים ⇐ לפונקציה יש גבול בנקודה.

תרגיל

חשבו את:

lim⁡x→032x5+4x654x2−3x3\lim_{ x \to 0 } \frac{\sqrt[5]{ 32x^5+4x^6 }}{\sqrt{ 4x^2-3x^3 }}x→0lim​4x2−3x3​532x5+4x6​​
lim⁡x→032x5+4x654x2−3x3=lim⁡x→0x5(32+4x)5x2(4−3x)=lim⁡x→0x32+4x5∣x∣4−3x\lim_{ x \to 0 } \frac{\sqrt[5]{ 32x^5+4x^6 }}{\sqrt{ 4x^2-3x^3 }}=\lim_{ x \to 0 } \frac{\sqrt[5]{ x^5(32+4x) }}{\sqrt{ x^2(4-3x) }}=\lim_{ x \to 0 } \frac{x\sqrt[5]{ 32+4x }}{|x|\sqrt{ 4-3x }}x→0lim​4x2−3x3​532x5+4x6​​=x→0lim​x2(4−3x)​5x5(32+4x)​​=x→0lim​∣x∣4−3x​x532+4x​​

כאשר x>0x>0x>0:

lim⁡x→0+x32+4x5x4−3x=3254\lim_{ x \to 0^+ } \frac{\cancel{x}\sqrt[5]{ 32+4x }}{\cancel{x}\sqrt{ 4-3x }}=\frac{\sqrt[5]{ 32 }}{\sqrt{ 4 }}x→0+lim​x4−3x​x532+4x​​=4​532​​

וכאשר x<0x<0x<0:

lim⁡x→0−x32+4x5−x4−33x=−3254\lim_{ x \to 0^- } \frac{\cancel{x}\sqrt[5]{ 32+4x }}{-\cancel{x}\sqrt{ 4-33x }}=-\frac{\sqrt[5]{ 32 }}{\sqrt{ 4 }}x→0−lim​−x4−33x​x532+4x​​=−4​532​​
תרגיל

f(x)={sin⁡πx1−xx>1(1−x)[π1−x]+bx<1f(x)=\begin{cases} \frac{\sin \pi x}{1-x} & x>1 \\ (1-x)\left[ \frac{\pi}{1-x} \right]+b & x<1 \end{cases}f(x)={1−xsinπx​(1−x)[1−xπ​]+b​x>1x<1​

עבור אילו ערכי bbb לפונקציה יש גבול ב-x=1x=1x=1?

תחילה, נמצא את הגבול מימין:

lim⁡x→1+f(x)=lim⁡x→1+sin⁡πx1−x=lim⁡x→1+sin⁡(π−πx)1−x=lim⁡x→1+sin⁡(π−πx)π−πxπ\lim_{ x \to 1^+ } f(x)=\lim_{ x \to 1^+ } \frac{\sin \pi x}{1-x}=\lim_{ x \to 1^+ } \frac{\sin(\pi-\pi x)}{1-x}=\lim_{ x \to 1^+ } \frac{\sin(\pi-\pi x)}{\pi-\pi x}\pix→1+lim​f(x)=x→1+lim​1−xsinπx​=x→1+lim​1−xsin(π−πx)​=x→1+lim​π−πxsin(π−πx)​π

על פי הגבול המיוחד + הרכבה:

=1⋅π=1\cdot \pi=1⋅π

כעת, נסתכל על הצד השני:

lim⁡x→1−f(x)=lim⁡x→1−(1−x)[π1−x]+b\lim_{ x \to 1^- }f(x)=\lim_{ x \to 1^- } (1-x)\left[ \frac{\pi}{1-x} \right]+bx→1−lim​f(x)=x→1−lim​(1−x)[1−xπ​]+b π1−x−1<[π1−x]<π1−x\frac{\pi}{1-x}-1<\left[ \frac{\pi}{1-x} \right]< \frac{\pi}{1-x}1−xπ​−1<[1−xπ​]<1−xπ​ π+b⟵x→1−π−(1−x)+b≤(1−x)[π1−x]+b<π+b⟶x→1−π+b\pi+b \underset{x\to_{1}^-}{\longleftarrow}\pi-(1-x)+b\leq (1-x)\left[ \frac{\pi}{1-x} \right]+b<\pi+b \underset{x\to1^-}{\longrightarrow}\pi+bπ+bx→1−​⟵​π−(1−x)+b≤(1−x)[1−xπ​]+b<π+bx→1−⟶​π+b

לכן, לפי סנדוויץ, הגבול של f(x)f(x)f(x) בנקודה 111 משמאל הינו π+b\pi+bπ+b.
נדרש כי b=0b=0b=0 כדי שיהיה גבול ב-111.

תרגיל

מצאו את:

lim⁡x→0(12(1+∣x∣x)+11+e1x)\lim_{ x \to 0 } \left( \frac{1}{2}\left( 1+\frac{|x|}{x} \right)+\frac{1}{1+e^{\frac{1}{x}}} \right) x→0lim​(21​(1+x∣x∣​)+1+ex1​1​)
lim⁡x→0+(12(1+xx)+11+e1e)=12(1+1)+1∞=1\lim_{ x \to 0^+ } \left( \frac{1}{2}\left( 1+\frac{x}{x} \right)+\frac{1}{1+e^{\frac{1}{e}}} \right)=\frac{1}{2}(1+1)+\frac{1}{\infty}=1x→0+lim​(21​(1+xx​)+1+ee1​1​)=21​(1+1)+∞1​=1 lim⁡x→0−(12(1−xx)+11+e1x)=12(1−1)+11+0=1\lim_{ x \to 0^- } \left( \frac{1}{2}\left( 1-\frac{x}{x} \right)+\frac{1}{1+e^\frac{1}{x}} \right)=\frac{1}{2}(1-1)+\frac{1}{1+0}=1x→0−lim​(21​(1−xx​)+1+ex1​1​)=21​(1−1)+1+01​=1

לכן הגבול קיים ושווה ל-111.

הערה

1x⟶x→0+∞1x⟶x→0−−∞\frac{1}{x}\underset{x\to0^+}{\longrightarrow}\infty \quad \frac{1}{x}\underset{x\to 0^-}{\longrightarrow}-\inftyx1​x→0+⟶​∞x1​x→0−⟶​−∞ e1x⟶x→0+∞e1x⟶x→0−0e^{\frac{1}{x}}\underset{x\to 0^+}{\longrightarrow}\infty \quad e^{\frac{1}{x}}\underset{x\to 0^-}{\longrightarrow}0ex1​x→0+⟶​∞ex1​x→0−⟶​0
תרגיל

תהי f:[1,2]→Rf:[1,2]\to \mathbb{R}f:[1,2]→R פונקציה המקיימת שלכל nnn טבעי fff חסומה ב-[1+1n,2]\left[ 1+\frac{1}{n},2 \right][1+n1​,2].
א. מצאו דוגמה מנומקת היטב לפונקציה המקיימת את התנאי אבל לא חסומה מלמטה ב-[1,2][1,2][1,2].
ב. הוכיחו שאם נתון בנוסף שהגבול lim⁡x→1+f(x)\lim_{ x \to 1^+ }f(x)limx→1+​f(x) קיים אז fff חסומה ב-[1,2][1,2][1,2].

א':
נסתכל על הפונקציה:

f(x)={11−xx≠10x=1f(x)=\begin{cases} \frac{1}{1-x} & x\neq1 \\ 0 & x=1 \end{cases}f(x)={1−x1​0​x=1x=1​

זוהי פונקציה המקיימת את התנאי, אך לא חסומה מלמטה, שכן lim⁡x→1+f(x)=−∞\lim_{ x \to 1^+ }f(x)=-\inftylimx→1+​f(x)=−∞.

ב': הוכחה:
נסמן lim⁡x→1+f(x)=L\lim_{ x \to 1^+ }f(x)=Llimx→1+​f(x)=L. לכן, לכל ε>0\epsilon>0ε>0 ובפרט ל-ε=1\epsilon=1ε=1, קיים δ>0\delta>0δ>0 כך שלכל 1<x<1+δ1<x<1+\delta1<x<1+δ מתקיים:

L−1<f(x)<L+1L-1<f(x)<L+1L−1<f(x)<L+1

נקח nnn שמקיים δ>1n\delta> \frac{1}{n}δ>n1​.
בקטע [1+1n,2]\left[ 1+\frac{1}{n},2 \right][1+n1​,2] הפונקציה חסומה לפי הנתון. כלומר, קיים KKK כך ש-∣f(x)∣≤K|f(x)|\leq K∣f(x)∣≤K לכל xxx בקטע.
בנוסף [1−δ,2]⊆[1+1n,2][1-\delta,2]\subseteq\left[ 1+\frac{1}{n},2 \right][1−δ,2]⊆[1+n1​,2] ⇐ גם בקטע [1+δ,2][1+\delta,2][1+δ,2] הפונקציה חסומה.
נגדיר M=max⁡{L+1,K,f(1)}M=\max\left\{ L+1,K,f(1) \right\}M=max{L+1,K,f(1)} ו-m=min⁡{L−1,−K,f(1)}m=\min\left\{ L-1,-K,f(1) \right\}m=min{L−1,−K,f(1)} ואז לכל x∈[1,2]x \in[1,2]x∈[1,2] מתקיים: m≤f(x)≤Mm\leq f(x)\leq Mm≤f(x)≤M. כלומר, fff חסומה כנדרש.
∎

משפט

עבור פונקציה שעולה בקטע III בנקודה פנימית x0∈Ix_{0} \in Ix0​∈I יש גבולות חד צדדיים ומתקיים:

lim⁡x→x0−f(x)≤f(x0)≤lim⁡x→x0+f(x)\lim_{ x \to x_{0}^- } f(x)\leq f(x_{0})\leq \lim_{ x \to x_{0}^+ } f(x)x→x0−​lim​f(x)≤f(x0​)≤x→x0+​lim​f(x)
תרגיל

נתונות שתי פונקציות f(x),g(x)f(x),g(x)f(x),g(x) מונוטוניות עולות ב-[1,2)[1,2)[1,2) כך שהגבול lim⁡x→2−(f(x)+g(x))\lim_{ x \to 2^- }(f(x)+g(x))limx→2−​(f(x)+g(x)) קיים.
הוכיחו כי lim⁡x→2−g(x)\lim_{ x \to 2^- }g(x)limx→2−​g(x) ו-lim⁡x→2−f(x)\lim_{ x \to 2^- }f(x)limx→2−​f(x) קיימים.

הוכחה:
הפונקציות f,gf,gf,g מונוטוניות עולות ולכן, לפי משפט, יש להן גבולות חד צדדיים במובן הרחב בכל נקודה בקטע שהוא ∞\infty∞ או סופי.
נניח בשלילה כי lim⁡x→2−f(x)=∞\lim_{ x \to 2^- }f(x)=\inftylimx→2−​f(x)=∞.

f(x)+g(x)≥g מונו’ עולהf(x)+g(1)→x→2−חשבון גבולות מורחב∞f(x)+g(x)\underset{\R{\text{g מונו' עולה}}}{\geq} f(x)+g(1)\overunderset{\R{\text{חשבון גבולות מורחב}}}{x\to 2^-}{\xrightarrow{}} \inftyf(x)+g(x)g מונו’ עולה≥​f(x)+g(1)x→2−​​חשבון גבולות מורחב​∞

לכן, לפי פיצה lim⁡x→2−f(x)+g(x)=∞\lim_{ x \to 2^- }f(x)+g(x)=\inftylimx→2−​f(x)+g(x)=∞ בסתירה לנתון.
באופן דומה מראים כי lim⁡x→2−g(x)\lim_{ x \to 2^- }g(x)limx→2−​g(x) קיים.
∎

משפט היינה

משפט

תהי fff מוגדרת בסביבה מנוקבת של aaa.

f(xn)⟶n→∞L  ⟸  a≠xn⟶n→∞a סדרה כך ש-xnלכל   ⟺  lim⁡x→af(x)=L f(x_{n})\underset{n\to \infty}{\longrightarrow}L\impliedby a\neq x_{n}\underset{n\to \infty}{\longrightarrow}a\R{\text{ סדרה כך ש-}}x_{n}\R{\text{לכל }}\iff\lim_{ x \to a }f(x)=L f(xn​)n→∞⟶​L⟸a=xn​n→∞⟶​a סדרה כך ש-xn​לכל ⟺x→alim​f(x)=L
תרגיל

חשבו את:

lim⁡x→0(sin⁡x+cos⁡x)1x\lim_{ x \to 0 } (\sin x+\cos x)^{\frac{1}{x}}x→0lim​(sinx+cosx)x1​
(sin⁡x+cos⁡x)1x=((1+(sin⁡x+cos⁡x−1))1sin⁡x+cos⁡x−1)sin⁡x+cos⁡x−1x(\sin x+\cos x)^{\frac{1}{x}}=\left((1+(\sin x+\cos x-1))^{\frac{1}{\sin x+\cos x-1}}\right)^{\frac{\sin x+\cos x-1}{x}}(sinx+cosx)x1​=((1+(sinx+cosx−1))sinx+cosx−11​)xsinx+cosx−1​

נראה כי מכיוון ש- lim⁡x→0sin⁡x+cos⁡x−1=0\lim_{ x \to 0 }\sin x+\cos x-1=0limx→0​sinx+cosx−1=0, על פי הגבול המיוחד מתקיים שהביטוי שנמצא בתוך הסוגריים החיצוניות שואף ל-eee.
נראה בנוסף כי:

lim⁡x→0sin⁡x+cos⁡x−1x=lim⁡x→0(sin⁡xx+cos⁡x−1x)\lim_{ x \to 0 } \frac{\sin x+\cos x-1}{x}=\lim_{ x \to 0 } \left( \frac{\sin x}{x}+\frac{\cos x-1}{x} \right)x→0lim​xsinx+cosx−1​=x→0lim​(xsinx​+xcosx−1​)
הערה (תזכורת זהות)

cos⁡2x−1−2sin⁡2x\cos 2x-1-2\sin^2xcos2x−1−2sin2x
=lim⁡x→0(sin⁡xx+2sin⁡2x24(x2)2x)=1+12⋅0=1=\lim_{ x \to 0 }\left( \frac{\sin x}{x}+\frac{2\sin^2 \frac{x}{2}}{4\left( \frac{x}{2} \right)^2}x \right)=1+\frac{1}{2}\cdot 0=1=x→0lim​(xsinx​+4(2x​)22sin22x​​x)=1+21​⋅0=1

ולכן:

lim⁡x→0(sin⁡x+cos⁡x)1x=e1\lim_{ x \to 0 } (\sin x+\cos x)^{\frac{1}{x}}=e^1x→0lim​(sinx+cosx)x1​=e1
תרגיל

האם הגבול קיים?

lim⁡x→02xsin⁡1x−cos⁡1x\lim_{ x \to 0 } 2x\sin \frac{1}{x}-\cos \frac{1}{x}x→0lim​2xsinx1​−cosx1​
הערה

יש לנו כמה אפשרויות להפרכת גבול:

  1. שלילת הגדרת הגבול
  2. היינה
  3. גבולות חד צדדיים

הוכחה:
נקח 0≠xn=12πn⟶n→∞00\neq x_{n}=\frac{1}{2\pi n}\underset{n\to \infty}{\longrightarrow}00=xn​=2πn1​n→∞⟶​0.

lim⁡n→∞2xnsin⁡1xn−cos⁡(2πn)=1=0−1=−1\lim_{ n \to \infty } 2x_{n}\sin \frac{1}{x_{n}}-\underbracket{\cos(2\pi n)}_{=1}=0-1=-1n→∞lim​2xn​sinxn​1​−=1cos(2πn)​=0−1=−1 0≠yn=12πn+π⟶n→∞00\neq y_{n}=\frac{1}{2\pi n +\pi}\underset{n\to \infty}{\longrightarrow} 00=yn​=2πn+π1​n→∞⟶​0 lim⁡n→∞2ynsin⁡1yn−cos⁡(2πn+π)=−1=0−(−1)=1\lim_{ n \to \infty } 2y_{n}\sin \frac{1}{y_{n}}-\underbracket{\cos(2\pi n+\pi)}_{=-1}=0-(-1)=1n→∞lim​2yn​sinyn​1​−=−1cos(2πn+π)​=0−(−1)=1

ולכן, לפי משפט היינה, לא קיים גבול ב-x=0x=0x=0.
∎

תרגיל

האם הגבול קיים?

lim⁡x→∞([x])2sin⁡(πx)x2+1\lim_{ x \to \infty } \frac{([x])^2\sin (\pi x)}{x^2+1}x→∞lim​x2+1([x])2sin(πx)​

הוכחה:
נגדיר xn=n⟶n→∞∞x_{n}=n \underset{n\to \infty}{\longrightarrow}\inftyxn​=nn→∞⟶​∞. ונראה כי:

lim⁡n→∞([n])2sin⁡(πn)⏞=0n2+1=0\lim_{ n \to \infty } \frac{([n])^2\overbrace{\sin (\pi n)}^{=0}}{n^2+1}=0n→∞lim​n2+1([n])2sin(πn)​=0​​=0

נגדיר גם y0=2n+12⟶n→∞∞y_{0}=2n+\frac{1}{2}\underset{n\to \infty}{\longrightarrow}\inftyy0​=2n+21​n→∞⟶​∞ ונראה כי:

lim⁡n→∞([2n+12])2sin⁡(2πn+π2)⏞=1(2n+12)2+1=lim⁡n→∞4n2(2n+12)2+1=1\lim_{ n \to \infty } \frac{\left( \left[ 2n+\frac{1}{2} \right] \right)^2 \overbrace{\sin\left( 2\pi n+\frac{\pi}{2} \right)}^{=1}}{\left( 2n+\frac{1}{2} \right)^2+1}=\lim_{ n \to \infty } \frac{4n^2}{\left( 2n+\frac{1}{2} \right)^2+1}=1n→∞lim​(2n+21​)2+1([2n+21​])2sin(2πn+2π​)​=1​​=n→∞lim​(2n+21​)2+14n2​=1

לכן, לפי היינה, הגבול לא קיים.
∎

תרגיל (נכון/לא נכון)

אם f:R→Rf:\mathbb{R}\to \mathbb{R}f:R→R מונוטונית עולה וגם lim⁡n→∞f(n3+2n+5)=∞\lim_{ n \to \infty }f(n^3+2n+5)=\inftylimn→∞​f(n3+2n+5)=∞ אז lim⁡x→∞f(x)=∞\lim_{ x \to \infty }f(x)=\inftylimx→∞​f(x)=∞.

הטענה נכונה.
הוכחה:
הפונקציה fff מונוטונית עולה ולכן מתכנסת במובן הרחב לגבול סופי LLL או ∞\infty∞.
נניח כי lim⁡x→∞f(x)=L\lim_{ x \to \infty }f(x)=Llimx→∞​f(x)=L. אזי, לפי היינה, לכל xn⟶n→∞∞x_{n}\underset{n\to \infty}{\longrightarrow}\inftyxn​n→∞⟶​∞ ובפרט ל-xn=n3+2n+5x_{n}=n^3+2n+5xn​=n3+2n+5 מתקיים: lim⁡n→∞f(xn)=L\lim_{ n \to \infty }f(x_{n})=Llimn→∞​f(xn​)=L בסתירה לנתון ולכן:

lim⁡x→∞f(x)=∞\lim_{ x \to \infty } f(x)=\inftyx→∞lim​f(x)=∞

∎

תרגיל (נכון/לא נכון)

אם lim⁡x→0f(x)x=10\lim_{ x \to 0 } \frac{f(x)}{x}=10limx→0​xf(x)​=10 אז lim⁡n→∞nf(1n2)=0\lim_{ n \to \infty }nf\left( \frac{1}{n^2} \right)=0limn→∞​nf(n21​)=0.

הטענה נכונה.
הוכחה:
לפי הנתון ומשפט היינה, עבור xn=1n2⟶n→∞0x_{n}=\frac{1}{n^2}\underset{n\to \infty}{\longrightarrow}0xn​=n21​n→∞⟶​0 נקבל: lim⁡n→∞f(1n2)1n2=10\lim_{ n \to \infty } \frac{f\left( \frac{1}{n^2} \right)}{\frac{1}{n^2}}=10limn→∞​n21​f(n21​)​=10.

nf(1n2)=1n⋅f(1n2)1n2⟶n→∞0⋅10=0nf\left( \frac{1}{n^2} \right)=\frac{1}{n} \cdot \frac{f\left( \frac{1}{n^2} \right)}{\frac{1}{n^2}}\underset{n\to \infty}{\longrightarrow} 0 \cdot 10 =0nf(n21​)=n1​⋅n21​f(n21​)​n→∞⟶​0⋅10=0

ולכן, הטענה נכונה.
∎

תרגיל (נכון/לא נכון)

אם לכל cn⟶n→∞0c_{n}\underset{n\to \infty}{\longrightarrow}0cn​n→∞⟶​0 הגבול lim⁡n→∞f(cn)\lim_{ n \to \infty }f(c_{n})limn→∞​f(cn​) קיים.
אז lim⁡x→0f(x)\lim_{ x \to 0 }f(x)limx→0​f(x) קיים.

הטענה לא נכונה.
יתכון כי lim⁡x→∞f(cn)\lim_{ x \to \infty }f(c_{n})limx→∞​f(cn​) קיים, אבל עבור כל cnc_{n}cn​ מתקבל גבול אחר ולכן זה לא מתאים למשפט היינה.
[לרבקה אין כרגע רעיון איך להנדס דוגמה נגדית והיא תחשוב על זה]

רציפות

הגדרה 2 (רציפות)

הפונקציה fff רציפה בנקודה x0x_{0}x0​ אם מתקיים:

lim⁡x→x0f(x)=f(x0)\lim_{ x \to x_{0} } f(x)=f(x_{0})x→x0​lim​f(x)=f(x0​)
משפט (הגדרת ε−δ\epsilon-\deltaε−δ)

הפונקציה fff רציפה בנקודה x0x_{0}x0​ אם לכל ε>0\epsilon>0ε>0 קיים δ>0\delta>0δ>0 כך שלכל ∣x−x0∣<δ|x-x_{0}|<\delta∣x−x0​∣<δ מתקיים: ∣f(x)−f(x0)∣<ε|f(x)-f(x_{0})|<\epsilon∣f(x)−f(x0​)∣<ε.

הערה

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

תרגיל (נכון/לא נכון)

אם fff רציפה ב-x=ax=ax=a ו-ggg לא רציפה ב-x=ax=ax=a אז f⋅gf\cdot gf⋅g לא רציפה ב-x=ax=ax=a.

הטענה לא נכונה. (יש מצבים, כגון f(x)=x.g(x)=1xf(x)=x.g(x)=\frac{1}{x}f(x)=x.g(x)=x1​ שבהם הטענה נכונה)
נראה דוגמה:

f(x)=0g(x)={1x≥a−1x<af(x)=0 \qquad g(x)=\begin{cases} 1 & x\geq a \\ -1 & x<a \end{cases}f(x)=0g(x)={1−1​x≥ax<a​ ⇓\Downarrow⇓ ∀x∈R:  f(x)⋅g(x)=0\forall x \in \mathbb{R}:\; f(x)\cdot g(x)=0∀x∈R:f(x)⋅g(x)=0
תרגיל (נכון/לא נכון)

אם f:R→Rf:\mathbb{R}\to \mathbb{R}f:R→R רציפה בכל נקודה וגם לכל x0∈Rx_{0} \in \mathbb{R}x0​∈R הגבול:

lim⁡x→x0f(x)∣x−x0∣\lim_{ x \to x_{0} } \frac{f(x)}{\sqrt{ |x-x_{0}| }}x→x0​lim​∣x−x0​∣​f(x)​

קיים, אזי fff פונקציה קבועה.

הטענה נכונה.
הוכחה:
הפונקציה fff קבועה אם f(x)=cf(x)=cf(x)=c לכל xxx.
הפונקציה fff רציפה ⇐ lim⁡x→x0f(x)=f(x0)\lim_{ x \to x_{0} }f(x)=f(x_{0})limx→x0​​f(x)=f(x0​).

f(x)=f(x)∣x−x0∣∣x−x0∣⟶x→x0L⋅0f(x)=\frac{f(x)}{\sqrt{ |x-x_{0}| }}\sqrt{ |x-x_{0}| }\underset{x\to x_{0}}{\longrightarrow} L \cdot 0f(x)=∣x−x0​∣​f(x)​∣x−x0​∣​x→x0​⟶​L⋅0

מיחידות הגבול, f(x0)=0f(x_{0})=0f(x0​)=0 לכל x0x_{0}x0​ ⇐ fff קבועה.
∎

תרגיל (נכון/לא נכון)

אם fff רציפה בכל נקודה וגם lim⁡x→∞∣f(x)−g(x)∣=0\lim_{ x \to \infty }|f(x)-g(x)|=0limx→∞​∣f(x)−g(x)∣=0 אז קיים x0x_{0}x0​ כך ש-ggg רציפה ב-(x0,∞)(x_{0},\infty)(x0​,∞).

הטענה לא נכונה.
דוגמה נגדית:

f(x)=0g(x)={1xx∈Q0x∉Qf(x)=0 \qquad g(x)=\begin{cases} \frac{1}{x} & x \in \mathbb{Q} \\ 0 & x \not\in \mathbb{Q} \end{cases}f(x)=0g(x)={x1​0​x∈Qx∈Q​

הפונקציות מקיימות את התנאי אך ggg לא רציפה בכל נקודה.

תרגיל (נכון/לא נכון)

אם לכל n≥1n\geq 1n≥1 הפונקציה fff רציפה ב-(−1+1n,1−1n)\left( -1+\frac{1}{n},1-\frac{1}{n} \right)(−1+n1​,1−n1​) אז fff רציפה ב-(−1,1)(-1,1)(−1,1).

הטענה נכונה.
הוכחה:
לכל x0∈(−1,1)x_{0} \in(-1,1)x0​∈(−1,1) מתקיים x0+1>0x_{0}+1>0x0​+1>0 וגם 1−x0>01-x_{0}>01−x0​>0.
נוכל למצוא n∈Nn \in \mathbb{N}n∈N כך ש-n>max⁡{1x0+1,11−x0}n>\max\left\{ \frac{1}{x_{0}+1},\frac{1}{1-x_{0}} \right\}n>max{x0​+11​,1−x0​1​} ואז נקבל ש-−1+1n<x0<1−1n-1+\frac{1}{n}<x_{0}<1-\frac{1}{n}−1+n1​<x0​<1−n1​ כלומר, x0∈(−1+1n,1−1n)x_{0} \in\left( -1+\frac{1}{n},1-\frac{1}{n} \right)x0​∈(−1+n1​,1−n1​) ולכן fff רציפה בנקודה זו.
מכאן, fff רציפה לכל x0∈(−1,1)x_{0} \in(-1,1)x0​∈(−1,1).
∎

תרגיל (נכון/לא נכון)

אם fff חיובית וגם לכל x0∈Rx_{0} \in \mathbb{R}x0​∈R קיים lim⁡x→x0x−x0f(x)−f(x0)\lim_{ x \to x_{0} } \frac{x-x_{0}}{f(x)-f(x_{0})}limx→x0​​f(x)−f(x0​)x−x0​​ אז fff רציפה.

הטענה לא נכונה.
דוגמה:

f(x)={x2x≠81x=8f(x)=\begin{cases} x^2 & x\neq 8 \\ 1 & x=8 \end{cases}f(x)={x21​x=8x=8​ x−8x2−1→07=0\frac{x-8}{x^2-1}\to \frac{0}{7}=0x2−1x−8​→70​=0