חזור לתיקייה: שיעורי בית

גליון 10

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • תרגיל 1
  • תרגיל 2
  • תרגיל 3
  • תרגיל 4

גליון 10

01040031

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

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

גליון 10

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

uni-folder.vercel.app

תרגיל 1

תרגיל (1 [א])

הוכיחו לפי הגדרה שהפונקציה f(x)=x2+sin⁡xf(x)=x^2+\sin xf(x)=x2+sinx רציפה במ"ש בכל קטע סגור.

הוכחה:
יהי ε>0\epsilon>0ε>0 ו-I⊆RI \subseteq \mathbb{R}I⊆R. נגדיר δ=ε−12M\delta=\frac{\epsilon-1}{2M}δ=2Mε−1​ כך שלכל x,y∈Ix,y \in Ix,y∈I מתקיים שאם ∣x−y∣<δ|x-y|<\delta∣x−y∣<δ אזי:

∣f(x)−f(y)∣=∣x2+sin⁡x−y2−sin⁡y∣≤↓אי שוויון המשולש∣x2−y2∣+∣sin⁡x−sin⁡y∣=∣x−y∣∣x+y∣+∣sin⁡x−sin⁡y∣|f(x)-f(y)|=|x^2+\sin x-y^2-\sin y|\underset{\begin{matrix} \downarrow \\ \R{\text{אי שוויון המשולש}} \end{matrix}}{\leq} |x^2-y^2|+|\sin x-\sin y|=|x-y||x+y|+|\sin x-\sin y|∣f(x)−f(y)∣=∣x2+sinx−y2−siny∣↓אי שוויון המשולש​≤​∣x2−y2∣+∣sinx−siny∣=∣x−y∣∣x+y∣+∣sinx−siny∣ ≤↓−1≤sin⁡α≤1∣x−y∣∣x+y∣+2\underset{\begin{matrix} \downarrow \\ -1\leq \sin\alpha\leq1 \end{matrix}}{\leq}|x-y||x+y|+2↓−1≤sinα≤1​≤​∣x−y∣∣x+y∣+2

כעת נסתכל על הקטע III. לכל קטע סגור III הוא בעצם [a,b][a,b][a,b] כאשר לכל x∈Ix \in Ix∈I מתקיים x≤bx \leq bx≤b. ולכן, לכל x,y∈Ix,y \in Ix,y∈I מתקיים x+y<2bx+y<2bx+y<2b ולכן, ע"פ תכונות הערך המוחלט ∣x+y∣<2max⁡{∣a∣,∣b∣}|x+y|<2\max\left\{ |a|,|b| \right\}∣x+y∣<2max{∣a∣,∣b∣}. נסמן M=max⁡{∣a∣,∣b∣}M=\max\left\{ |a|,|b| \right\}M=max{∣a∣,∣b∣} ולכן:

<δ(2max⁡{∣a∣,∣b∣})+2=2δM+2=ε<\delta(2\max\left\{ |a|,|b| \right\})+2=2\delta M+2=\epsilon<δ(2max{∣a∣,∣b∣})+2=2δM+2=ε

∎

תרגיל (1 [ב])

הוכיחו לפי הגדרה שהפונקציה f(x)=sin⁡x2f(x)=\sin x^2f(x)=sinx2 לא רציפה במ"ש ב-R\mathbb{R}R.

הוכחה:
נביט בשתי הסדרות xn,ynx_{n},y_{n}xn​,yn​ ונראה כי אם ∣xn−yn∣⟶n→∞0|x_{n}-y_{n}|\underset{n\to \infty}{\longrightarrow}0∣xn​−yn​∣n→∞⟶​0 אזי, על פי הגדרת רציפות במ"ש, מתקיים כי ∣f(xn)−f(yn)∣⟶n→∞0|f(x_{n})-f(y_{n})|\underset{n\to \infty}{\longrightarrow}0∣f(xn​)−f(yn​)∣n→∞⟶​0.
נגדיר את שתי הסדרות:

xn=nπyn=π2+nπx_{n}=\sqrt{ n\pi } \qquad y_{n}=\sqrt{ \frac{\pi}{2}+n\pi }xn​=nπ​yn​=2π​+nπ​

נבדוק שהתנאי הראשוני מתקיים:

0⟵n→∞∣nπ−nπ∣<∣nπ−π2+nπ∣<∣nπ−n(π+1)∣=∣nπ−nπn∣=nπ∣1−n⏟↓1∣⟶n→∞00\underset{n\to \infty}{\longleftarrow}|\sqrt{ n\pi }-\sqrt{ n\pi }|< \left| \sqrt{ n\pi }-\sqrt{ \frac{\pi}{2}+n\pi } \right|< \left| \sqrt{ n\pi }-\sqrt{ n(\pi+1) } \right|=\left| \sqrt{ n\pi }-\sqrt{ n\pi }\sqrt{ n } \right|=\sqrt{ n\pi }| 1-\underbrace{\sqrt{ n }}_{\begin{matrix} \downarrow \\ 1 \end{matrix}}|\underset{n\to \infty}{\longrightarrow}00n→∞⟵​∣nπ​−nπ​∣<​nπ​−2π​+nπ​​<​nπ​−n(π+1)​​=​nπ​−nπ​n​​=nπ​∣1−↓1​n​​​∣n→∞⟶​0

ולכן, לפי סנדוויץ' מתקיים כי lim⁡n→∞∣xn−yn∣=0\lim_{ n \to \infty }\left| x_{n}-y_{n} \right|=0limn→∞​∣xn​−yn​∣=0.
כעת נראה כי המסקנה לא מתקיימת:

∣f(xn)−f(yn)∣=∣sin⁡(nπ)−sin⁡(nπ+π2)∣\left| f(x_{n})-f(y_{n}) \right|=\left| \sin(n\pi)-\sin\left( n\pi+\frac{\pi}{2} \right) \right|∣f(xn​)−f(yn​)∣=​sin(nπ)−sin(nπ+2π​)​

כעת נתחלק ל-2 מצבים: 1. כאשר sin⁡(nπ+π2)=1\sin\left( n\pi+\frac{\pi}{2} \right)=1sin(nπ+2π​)=1 ו-2. כאשר sin⁡(nπ+π2)=−1\sin\left( n\pi+\frac{\pi}{2} \right)=-1sin(nπ+2π​)=−1.

=∣0−1∣=∣−1∣=∣0−−1∣=∣1∣=1⟶n→∞0\begin{matrix} =\left| 0-1 \right|=|-1| \\ =|0--1|=|1| \end{matrix}=1 \xcancel{ \underset{n\to \infty}{\longrightarrow} } 0=∣0−1∣=∣−1∣=∣0−−1∣=∣1∣​=1n→∞⟶​0

וזוהי סתירה להגדרה ולכן fff אינה רציפה במ"ש בכל R\mathbb{R}R.
∎

תרגיל 2

תרגיל (2)

תהי f:(0,1]→Rf:(0,1]\to \mathbb{R}f:(0,1]→R פונקציה רציפה במ"ש. הוכיחו כי fff חסומה.

הוכחה:
נתון כי fff רציפה במ"ש ⇐ לכל ε>0\epsilon>0ε>0 קיימת δ>0\delta>0δ>0 כך שלכל x,y∈(0,1]x,y \in(0,1]x,y∈(0,1] אם ∣x−y∣<δ|x-y|<\delta∣x−y∣<δ אזי ∣f(x)−f(y)∣<ε|f(x)-f(y)|<\epsilon∣f(x)−f(y)∣<ε.
לכן מתקיים כי לכל ε\epsilonε נגדיר δ1=δ>0\delta_{1}=\delta>0δ1​=δ>0 כך שלכל 0<x<δ10<x<\delta_{1}0<x<δ1​ ו-0<y<δ10<y<\delta_{1}0<y<δ1​ מתקיים ∣f(x)−f(y)∣<ε|f(x)-f(y)|<\epsilon∣f(x)−f(y)∣<ε ולכן, על פי תנאי קושי, fff מתכנסת לגבול סופי אשר נסמנו LLL ב-0+0^+0+. ⇐ ע"פ הגדרת הגבול, לכל ε1>0\epsilon_{1}>0ε1​>0 קיימת δ2>0\delta_{2}>0δ2​>0 כך שלכל 0<x<δ10<x<\delta_{1}0<x<δ1​ מתקיים ∣f(x)−L∣<ε1|f(x)-L|<\epsilon_{1}∣f(x)−L∣<ε1​. ע"פ תכונות הערך המוחלט, בסביבה ימנית של 000 מתקיים:

L−ε1<f(x)<ε1+LL-\epsilon_{1}<f(x)<\epsilon_{1}+LL−ε1​<f(x)<ε1​+L

נגדיר פונקציה חדשה: F(x)={f(x)x≠0Lx=0F(x)=\begin{cases}f(x) & x \neq0\\ L & x=0\end{cases}F(x)={f(x)L​x=0x=0​. בקטע [0,1][0,1][0,1] הפונקציה רציפה(על פי הגדרה מימין ב-x=0x=0x=0 ועל פי משפט רציפות במ"ש ⇐ רציפות בקטע) ולכן, על פי WWW חסומה. לכן, קיימים m,M∈Rm,M \in \mathbb{R}m,M∈R כך שלכל x∈[0,1]x \in[0,1]x∈[0,1] מתקיים m≤F(x)≤Mm\leq F(x)\leq Mm≤F(x)≤M. ולכן, לכל x∈(0,1]⊂[0,1]x \in(0,1] \subset [0,1]x∈(0,1]⊂[0,1] מתקיים m≤f(x)≤Mm\leq f(x)\leq Mm≤f(x)≤M ולכן, ע"פ הגדרה fff חסומה בקטע.
∎

תרגיל 3

תרגיל (3 [א])

יהיו fff ו-ggg גזירות ונניח כי ggg לא מתאפסת.
הוכיחו כי (fg)′(x)=f′(x)g(x)−f(x)g′(x)g2(x)\left( \frac{f}{g} \right)'(x)=\frac{f'(x)g(x)-f(x)g'(x)}{g^2(x)}(gf​)′(x)=g2(x)f′(x)g(x)−f(x)g′(x)​.

הוכחה:

(fg)′(x0)=lim⁡x→x0f(x)g(x)−f(x0)g(x0)x−x0=lim⁡x→x0f(x)g(x0)−f(x0)g(x)g(x)g(x0)x−x0=lim⁡x→x0f(x)g(x0)+f(x)g(x)−f(x)g(x)−f(x0)g(x)g(x)g(x0)x−x0\left( \frac{f}{g} \right)'(x_{0})= \lim_{ x \to x_{0} } \frac{\frac{f(x)}{g(x)}-\frac{f(x_{0})}{g(x_{0})}}{x-x_{0}}=\lim_{ x \to x_{0} } \frac{\frac{f(x)g(x_{0})-f(x_{0})g(x)}{g(x)g(x_{0})}}{x-x_{0}}=\lim_{ x \to x_{0} } \frac{\frac{f(x)g(x_{0})+f(x)g(x)-f(x)g(x)-f(x_{0})g(x)}{g(x)g(x_{0})}}{x-x_{0}}(gf​)′(x0​)=x→x0​lim​x−x0​g(x)f(x)​−g(x0​)f(x0​)​​=x→x0​lim​x−x0​g(x)g(x0​)f(x)g(x0​)−f(x0​)g(x)​​=x→x0​lim​x−x0​g(x)g(x0​)f(x)g(x0​)+f(x)g(x)−f(x)g(x)−f(x0​)g(x)​​ =lim⁡x→x0f(x)(g(x0)−g(x)))+g(x)(f(x)−f(x0))g(x)g(x0)x−x0=lim⁡x→x0f(x)⋅g(x0)−g(x)x−x0+g(x)⋅f(x)−f(x0)x−x0g(x)g(x0)=\lim_{ x \to x_{0} } \frac{\frac{f(x)(g(x_{0})-g(x)))+g(x)(f(x)-f(x_{0}))}{g(x)g(x_{0})}}{x-x_{0}}=\lim_{ x \to x_{0} } \frac{f(x) \cdot \frac{g(x_{0})-g(x)}{x-x_{0}}+g(x)\cdot \frac{f(x)-f(x_{0})}{x-x_{0}}}{g(x)g(x_{0})}=x→x0​lim​x−x0​g(x)g(x0​)f(x)(g(x0​)−g(x)))+g(x)(f(x)−f(x0​))​​=x→x0​lim​g(x)g(x0​)f(x)⋅x−x0​g(x0​)−g(x)​+g(x)⋅x−x0​f(x)−f(x0​)​​ =↓חשבון גבולותg(x0)lim⁡x→x0f(x)−f(x0)x−x0−f(x0)lim⁡x→x0g(x)−g(x0)x−x0g2(x0)\underset{\begin{matrix} \downarrow \\ \R{\text{חשבון גבולות}} \end{matrix}}{=} \frac{g(x_{0})\lim_{ x \to x_{0} } \frac{f(x)-f(x_{0})}{x-x_{0}} -f(x_{0})\lim_{ x \to x_{0} } \frac{g(x)-g(x_{0})}{x-x_{0}}}{g^2(x_{0})}↓חשבון גבולות​=​g2(x0​)g(x0​)limx→x0​​x−x0​f(x)−f(x0​)​−f(x0​)limx→x0​​x−x0​g(x)−g(x0​)​​

נתון כי fff גזירה ולכן f′(x0)=lim⁡x→x0f(x)−f(x0)x−x0f'(x_{0})=\lim_{ x \to x_{0} } \frac{f(x)-f(x_{0})}{x-x_{0}}f′(x0​)=limx→x0​​x−x0​f(x)−f(x0​)​ ובנוסף, ggg גזירה ולכן g′(x0)=lim⁡x→x0g(x)−g(x0)x−x0g'(x_{0})=\lim_{ x \to x_{0} } \frac{g(x)-g(x_{0})}{x-x_{0}}g′(x0​)=limx→x0​​x−x0​g(x)−g(x0​)​ ולכן:

(fg)′(x0)=f′(x0)g(x0)−f(x0)g′(x0)g2(x0)\left( \frac{f}{g} \right)'(x_{0})=\frac{f'(x_{0})g(x_{0})-f(x_{0})g'(x_{0})}{g^2(x_{0})}(gf​)′(x0​)=g2(x0​)f′(x0​)g(x0​)−f(x0​)g′(x0​)​

מכיוון שזה מתרחש לכל x∈Rx \in \mathbb{R}x∈R אזי:

(fg)′(x)=f′(x)g(x)−f(x)g′(x)g2(x)\left( \frac{f}{g} \right)'(x)=\frac{f'(x)g(x)-f(x)g'(x)}{g^2(x)}(gf​)′(x)=g2(x)f′(x)g(x)−f(x)g′(x)​

∎

תרגיל 4

תרגיל (4 [א])

תהי g(x)=x2−ex2−5x+6g(x)=x^2-e^{x^2-5x+6}g(x)=x2−ex2−5x+6 ותהי h(x)=5x+7cos⁡(πx)h(x)=5x+7\cos(\pi x)h(x)=5x+7cos(πx).
נגדיר:

f(x)={x2−ex2−5x+6x∈Q5x+7cos⁡(πx)x∉Qf(x)=\begin{cases} x^2-e^{x^2-5x+6} & x \in \mathbb{Q} \\ 5x+7\cos(\pi x) & x \not\in \mathbb{Q} \end{cases}f(x)={x2−ex2−5x+65x+7cos(πx)​x∈Qx∈Q​

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

הוכיחו כי lim⁡x→3f(x)=8\lim_{ x \to 3 }f(x)=8limx→3​f(x)=8.

הוכחה:
נוכיח כי גם הרציונליים בסביבת δ\deltaδ של 333 שואפים ל-888 וגם האי רציונליים בסביבת δ\deltaδ של 333 שואפים ל-888.

lim⁡x→3x2−ex2−5x+6=↓לפי משפט9−e0=8\lim_{ x \to 3 } x^2-e^{x^2-5x+6}\underset{\begin{matrix} \downarrow \\ \R{\text{לפי משפט}} \end{matrix}}{=} 9-e^{0}=8x→3lim​x2−ex2−5x+6↓לפי משפט​=​9−e0=8 lim⁡x→35x+7cos⁡(πx)=↓לפי משפט15+7⋅−1=8\lim_{ x \to 3 } 5x+7\cos(\pi x)\underset{\begin{matrix} \downarrow \\ \R{\text{לפי משפט}} \end{matrix}}{=} 15+7\cdot -1=8x→3lim​5x+7cos(πx)↓לפי משפט​=​15+7⋅−1=8

ולכן, מכיוון ש-lim⁡x→3f(x)\lim_{ x \to 3 }f(x)limx→3​f(x) לרציונליים שווה ל-lim⁡x→3f(x)\lim_{ x \to 3 }f(x)limx→3​f(x) לאי רציונליים, אזי לכל x∈Rx \in \mathbb{R}x∈R מתקיים כי lim⁡x→3f(x)=8\lim_{ x \to 3 }f(x)=8limx→3​f(x)=8.
∎

תרגיל (4 [ב])

חשבו את g′(2)g'(2)g′(2) ואת h′(2)h'(2)h′(2).
האם הפונקציה fff גזירה בנקודה x=2x=2x=2 הצדיקו את טענתכם.

נתחיל בחישובים:

g′(2)=2⋅2+e4−10+6⋅(2⋅2−5)=4−1=3g'(2)=2\cdot2+e^{4-10+6}\cdot (2\cdot 2-5)=4-1=3g′(2)=2⋅2+e4−10+6⋅(2⋅2−5)=4−1=3 h′(2)=5−7sin⁡(π⋅2)⋅π=5h'(2)=5-7\sin(\pi \cdot 2)\cdot \pi=5h′(2)=5−7sin(π⋅2)⋅π=5

כעת נשים לב כי הפונקציה fff היא בעצם:

f(x)={g(x)x∈Qh(x)x∉Qf(x)=\begin{cases} g(x) & x \in \mathbb{Q} \\ h(x) & x \not\in \mathbb{Q} \end{cases}f(x)={g(x)h(x)​x∈Qx∈Q​

ולכן, בסביבת δ\deltaδ של 222 מתקיים כי:

lim⁡x→2f(x)−f(2)x−2=3∧lim⁡x→2f(x)−f(2)x−2=5\lim_{ x \to 2 } \frac{f(x)-f(2)}{x-2}=3 \land \lim_{ x \to 2 } \frac{f(x)-f(2)}{x-2}=5x→2lim​x−2f(x)−f(2)​=3∧x→2lim​x−2f(x)−f(2)​=5

ולכן, על פי יחידות הגבול מתקיים כי לא קיים גבול בנק' x=2x=2x=2 ולכן הפונקציה fff אינה גזירה בנקודה x=2x=2x=2.

תרגיל (4 [ג])

חשבו את g′(3)g'(3)g′(3) ואת h′(3)h'(3)h′(3).
האם הפונקציה fff גזירה בנקודה x=3x=3x=3 הצדיקו את טענתכם.

תחילה נחשב:

g′(3)=6−e0⋅(1)=5g'(3)=6-e^{0}\cdot (1)=5g′(3)=6−e0⋅(1)=5 h′(3)=5−7sin⁡(π)(π)=5h'(3)=5-7\sin(\pi)(\pi)=5h′(3)=5−7sin(π)(π)=5

מכיוון שהנגזרת זהה, כפי שהוסבר בסעיף הקודם, לכל x∈Rx \in \mathbb{R}x∈R מתקיים:

lim⁡x→3f(x)−f(3)x−3=5\lim_{ x \to 3 } \frac{f(x)-f(3)}{x-3} =5x→3lim​x−3f(x)−f(3)​=5

ולכן הנגזרת קיימת בנקודה x=3x=3x=3.