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

18 - קצת רציפות במש ונגזרות

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

18 - קצת רציפות במש ונגזרות

01040031

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

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

קצת רציפות במש ונגזרות

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

uni-folder.vercel.app

סיום רציפות במ"ש

תרגיל

הוכיחו כי אם fff רציפה במ"ש ב-(0,1](0,1](0,1] ורציפה במ"ש בקרן [1,∞)[1,\infty)[1,∞), אזי היא רציפה במ"ש בקרן (0,∞)(0,\infty)(0,∞).

הוכחה:
יהי ε>0\epsilon>0ε>0. fff רציפה במ"ש ב-(0,1](0,1](0,1]. ⇐ קיימת δ1\delta_{1}δ1​ כך שלכל x,y∈(0,1]x,y \in(0,1]x,y∈(0,1] כך ש-∣x−y∣<δ1|x-y|<\delta_{1}∣x−y∣<δ1​ מתקיים ∣f(x)−f(y)∣<ε|f(x)-f(y)|<\epsilon∣f(x)−f(y)∣<ε.
בנוסף, fff רציפה במ"ש ב-[1,∞)[1,\infty)[1,∞). ⇐ קיימת δ2\delta_{2}δ2​ כך שלכל x,y∈[1,∞)x,y \in[1,\infty)x,y∈[1,∞) המקיימים ∣x−y∣<δ2|x-y|<\delta_{2}∣x−y∣<δ2​ מתקיים ∣f(x)−f(y)∣<ε|f(x)-f(y)|<\epsilon∣f(x)−f(y)∣<ε.
נגדיר δ=min⁡{δ1,δ2}\delta=\min\left\{ \delta_{1},\delta_{2} \right\}δ=min{δ1​,δ2​}. אם x,y∈(0,1]x,y \in(0,1]x,y∈(0,1] או x,y∈[1,∞)x,y \in[1,\infty)x,y∈[1,∞) ומתקיים ∣x−y∣>δ|x-y|>\delta∣x−y∣>δ אזי ∣f(x)−f(y)∣<ε2<ε|f(x)-f(y)|< \frac{\epsilon}{2}<\epsilon∣f(x)−f(y)∣<2ε​<ε.
אם x∈(0,1]x \in(0,1]x∈(0,1] ו-y∈[1,∞)y \in[1,\infty)y∈[1,∞) (או להפך) ומתקיים ∣x−y∣<δ|x-y|<\delta∣x−y∣<δ אז

∣x−1∣≤∣x−y∣<δ≤δ1|x-1|\leq |x-y|< \delta\leq \delta_{1}∣x−1∣≤∣x−y∣<δ≤δ1​ ∣1−y∣≤∣x−y∣<δ≤δ2|1-y|\leq |x-y|<\delta\leq\delta_{2}∣1−y∣≤∣x−y∣<δ≤δ2​

ולכן, לפי אי שוויון המשולש מתקיים:

∣f(x)−f(y)∣=∣f(x)−f(1)+f(1)−f(y)∣≤∣f(x)−f(1)∣+∣f(1)−f(y)∣<ε2+ε2=ε|f(x)-f(y)|=|f(x)-f(1)+f(1)-f(y)|\leq |f(x)-f(1)|+|f(1)-f(y)|< \frac{\epsilon}{2}+\frac{\epsilon}{2}=\epsilon∣f(x)−f(y)∣=∣f(x)−f(1)+f(1)−f(y)∣≤∣f(x)−f(1)∣+∣f(1)−f(y)∣<2ε​+2ε​=ε

∎

הנגזרת

הגדרה 1 (נגזרת)

תהי fff מוגזרת בסביבת x0x_{0}x0​. נאמר כי fff גזירה ב-x0x_{0}x0​ אם הגבול

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

קיים וערך הגבול בנקודה x0x_{0}x0​ הוא f′(x0)f'(x_{0})f′(x0​).

תרגיל

האם הפונקציה הבאה גזירה ב-x=0x=0x=0?

f(x)={x2sin⁡1xx≠00x=0f(x)=\begin{cases} x^2\sin \frac{1}{x} & x\neq 0 \\ 0 & x=0 \end{cases}f(x)={x2sinx1​0​x=0x=0​
lim⁡x→0f(x)−f(0)x−0=lim⁡x→0x2sin⁡1x−0x=lim⁡x→0xsin⁡1x=0\lim_{ x \to 0 } \frac{f(x)-f(0)}{x-0}=\lim_{ x \to 0 } \frac{x^2\sin \frac{1}{x}-0}{x}=\lim_{ x \to 0 } x\sin \frac{1}{x}=0x→0lim​x−0f(x)−f(0)​=x→0lim​xx2sinx1​−0​=x→0lim​xsinx1​=0

לפי חסומה כפול אפסה ⇐ f′(0)=0f'(0)=0f′(0)=0.

תרגיל

האם הפונקציה הבאה גזירה ב-x=0x=0x=0?

f(x)={x1+e1xx≠00x=0f(x)=\begin{cases} \frac{x}{1+e^{\frac{1}{x}}} & x\neq 0 \\ 0 & x=0 \end{cases}f(x)={1+ex1​x​0​x=0x=0​
lim⁡x→0f(x)−f(0)x−0=lim⁡x→0x1+e1e−0x=lim⁡x→011+e1x={x→0+11+∞=f+′(0)x→0−11+0=1=f−′(0)\lim_{ x \to 0 } \frac{f(x)-f(0)}{x-0}=\lim_{ x \to 0 } \frac{\frac{x}{1+e^{\frac{1}{e}}}-0}{x}=\lim_{ x \to 0 } \frac{1}{1+e^{\frac{1}{x}}}=\begin{cases} x\to 0^+ & \frac{1}{1+\infty}=f'_{+}(0) \\ x\to0^- & \frac{1}{1+0}=1=f_{-}'(0) \end{cases}x→0lim​x−0f(x)−f(0)​=x→0lim​x1+ee1​x​−0​=x→0lim​1+ex1​1​={x→0+x→0−​1+∞1​=f+′​(0)1+01​=1=f−′​(0)​

הגבול לא קיים ולכן fff לא גזירה ב-x=0x=0x=0.

תרגיל

חשבו את f′(1)f'(1)f′(1) כאשר:

f(x)=x+(x−1)arctan⁡xx+1f(x)=x+(x-1)\arctan \sqrt{ \frac{x}{x+1} }f(x)=x+(x−1)arctanx+1x​​
f′(1)=lim⁡x→1f(x)−f(1)x−1=lim⁡x→1x+(x−1)arcsin⁡xx+1−1x−1f'(1)=\lim_{ x \to 1 } \frac{f(x)-f(1)}{x-1}=\lim_{ x \to 1 } \frac{x+(x-1)\arcsin \sqrt{ \frac{x}{x+1} }-1}{x-1}f′(1)=x→1lim​x−1f(x)−f(1)​=x→1lim​x−1x+(x−1)arcsinx+1x​​−1​ =lim⁡x→1(1+arcsin⁡xx+1)=1+arcsin⁡12=1+π4=\lim_{ x \to 1 } \left( 1+\arcsin \sqrt{ \frac{x}{x+1} } \right)=1+\arcsin \sqrt{ \frac{1}{2} }=1+\frac{\pi}{4}=x→1lim​(1+arcsinx+1x​​)=1+arcsin21​​=1+4π​
תרגיל

תהי f:[−1,1]→Rf:[-1,1]\to \mathbb{R}f:[−1,1]→R ונתון כי לכל n∈Nn \in \mathbb{N}n∈N מתקיים f(sin⁡1n)=cos⁡1nf\left( \sin \frac{1}{n} \right)=\cos \frac{1}{n}f(sinn1​)=cosn1​. בנוסף, נתון כי fff גזירה ב-x=0x=0x=0.
א. הראו כי f(0)=1f(0)=1f(0)=1.
ב. חשבו f′(0)f'(0)f′(0).

פתרון א':
הפונקציה fff גזירה ב-x=0x=0x=0 ⇐ fff רציפה ב-x=0x=0x=0 ⇐ lim⁡x→0f(x)=f(0)\lim_{ x \to 0 }f(x)=f(0)limx→0​f(x)=f(0).
הגבול lim⁡x→0f(x)\lim_{ x \to 0 }f(x)limx→0​f(x) קיים ⇐ לפי משפט היינה, לכל סדרה xn⟶n→∞0x_{n}\underset{n\to \infty}{\longrightarrow}0xn​n→∞⟶​0 ובפרט עבור xn=sin⁡1n⟶n→∞0x_{n}=\sin \frac{1}{n}\underset{n\to \infty}{\longrightarrow}0xn​=sinn1​n→∞⟶​0 נקבל:

lim⁡n→∞f(sin⁡1n)=f(0)\lim_{ n \to \infty } f\left( \sin \frac{1}{n} \right)=f(0)n→∞lim​f(sinn1​)=f(0)

לפי הנתון, lim⁡n→∞cos⁡1n=f(0)\lim_{ n \to \infty } \cos \frac{1}{n}=f(0)limn→∞​cosn1​=f(0) ולכן f(0)=1f(0)=1f(0)=1.

פתרון ב':

f′(0)=lim⁡x→0f(x)−f(0)x−0=lim⁡x→0f(x)−1x f'(0)=\lim_{ x \to 0 } \frac{f(x)-f(0)}{x-0}=\lim_{ x \to 0 } \frac{f(x)-1}{x}f′(0)=x→0lim​x−0f(x)−f(0)​=x→0lim​xf(x)−1​

הגבול קיים כי fff גזירה ולכן, לפי משפט היינה, עבור xn=sin⁡1n⟶n→∞0x_{n}=\sin \frac{1}{n}\underset{n\to \infty}{\longrightarrow}0xn​=sinn1​n→∞⟶​0 נקבל:

f′(0)=lim⁡n→∞f(sin⁡1n)−1sin⁡1n=lim⁡n→∞cos⁡1n−1sin⁡1n=↓cos⁡α−1=−2sin⁡2α2lim⁡n→∞−2sin⁡212nsin⁡1nf'(0)=\lim_{ n \to \infty } \frac{f\left( \sin \frac{1}{n} \right)-1}{\sin \frac{1}{n}}=\lim_{ n \to \infty } \frac{\cos \frac{1}{n}-1}{\sin \frac{1}{n}}\underset{\begin{matrix} \downarrow \\ \cos\alpha-1=-2\sin^2 \frac{\alpha}{2} \end{matrix}}{=}\lim_{ n \to \infty } \frac{-2\sin^2 \frac{1}{2n}}{\sin \frac{1}{n}}f′(0)=n→∞lim​sinn1​f(sinn1​)−1​=n→∞lim​sinn1​cosn1​−1​↓cosα−1=−2sin22α​​=​n→∞lim​sinn1​−2sin22n1​​ =\lim_{ n \to \infty } \frac{-\cancel{ 2 }\sin^\cancel{ 2 } \frac{1}{2n}}{\cancel{ 2 }\cancel{ \sin \frac{1}{2n} }\cos \frac{1}{2n}}=\frac{0}{1}=0
תרגיל

תהי f:(a,b)→Rf:(a,b)\to \mathbb{R}f:(a,b)→R. הוכיחו שאם ל-fff נגזרות חד צדדיות f+′(x0),f−′(x0)f_{+}'(x_{0}),f'_{-}(x_{0})f+′​(x0​),f−′​(x0​) בנקודה x0∈(a,b)x_{0} \in(a,b)x0​∈(a,b) אזי fff רציפה ב-x0x_{0}x0​.

הוכחה:
נדרש להוכיח כי lim⁡x→x0(f(x)−f(x0))=0\lim_{ x \to x_{0} }(f(x)-f(x_{0}))=0limx→x0​​(f(x)−f(x0​))=0.

lim⁡x→x0+(f(x)−f(x0))=lim⁡x→x0+(f(x)−f(x0)x−x0(x−x0))\lim_{ x \to x_{0}^+ } (f(x)-f(x_{0}))=\lim_{ x \to x_{0}^+ } \left( \frac{f(x)-f(x_{0})}{x-x_{0}}(x-x_{0}) \right)x→x0+​lim​(f(x)−f(x0​))=x→x0+​lim​(x−x0​f(x)−f(x0​)​(x−x0​))

לפי חשבון גבולות(כי הנגזרת החד צדדית קיימת ו-x−x0x-x_{0}x−x0​ זוהי פונקציה אלמנטרית)

=lim⁡x→x0+f(x)−f(x0)x−x0lim⁡x→x0+=f+′(x0)⋅0=0=\lim_{ x \to x_{0}^+ } \frac{f(x)-f(x_{0})}{x-x_{0}}\lim_{ x \to x_{0}^+ } =f'_{+}(x_{0})\cdot 0=0=x→x0+​lim​x−x0​f(x)−f(x0​)​x→x0+​lim​=f+′​(x0​)⋅0=0

באופן דומה, מראים עבור x→x0−x\to x_{0}^-x→x0−​.
הגבולות החד צדדיים שווים ולכן lim⁡x→x0f(x)−f(x0)=0\lim_{ x \to x_{0} }f(x)-f(x_{0})=0limx→x0​​f(x)−f(x0​)=0 ומכאן ש-fff רציפה ב-x0x_{0}x0​.
∎

תרגיל

יהיו f,gf,gf,g פונקציות מוגדרות ב-(a,b)(a,b)(a,b) ונתון:

g(x)=lim⁡h→0f(x+h)−f(x−h)2hg(x)=\lim_{ h\to 0 } \frac{f(x+h)-f(x-h)}{2h}g(x)=h→0lim​2hf(x+h)−f(x−h)​

א. הוכיחו כי אם fff גזירה ב-x0x_{0}x0​, x0∈(a,b)x_{0} \in(a,b)x0​∈(a,b) אזי g(x)=f′(x0)g(x)=f'(x_{0})g(x)=f′(x0​).
ב. מצאו פונקציה fff ונקודה x0x_{0}x0​ בקטע כך ש-g(x0)g(x_{0})g(x0​) קיימת אם fff אינה גזירה ב-x0x_{0}x0​.

הוכחה: (א')

g(x0)=lim⁡h→0f(x0+h)−f(x0−h)2h=lim⁡h→0f(x0+h)−f(x0)+f(x)−f(x0−h)2hg(x_{0})=\lim_{ h \to 0 } \frac{f(x_{0}+h)-f(x_{0}-h)}{2h}=\lim_{ h \to 0 } \frac{f(x_{0}+h)-f(x_{0})+f(x)-f(x_{0}-h)}{2h}g(x0​)=h→0lim​2hf(x0​+h)−f(x0​−h)​=h→0lim​2hf(x0​+h)−f(x0​)+f(x)−f(x0​−h)​ =lim⁡h→012(f(x0+h)−f(x0)h⏟f′(x0)+f(x0−h)−f(x0)−h⏟לפי גבול של הרכבהf′(x0))=122f′(x0)=f′(x0)=\lim_{ h \to 0 } \frac{1}{2}\left( \underbrace{\frac{f(x_{0}+h)-f(x_{0})}{h}}_{f'(x_{0})}+ \underbrace{\frac{f(x_{0}-h)-f(x_{0})}{-h}}_{\begin{matrix} \R{\text{לפי גבול של הרכבה}} \\ f'(x_{0}) \end{matrix}} \right)=\frac{1}{2}2f'(x_{0})=f'(x_{0})=h→0lim​21​​f′(x0​)hf(x0​+h)−f(x0​)​​​+לפי גבול של הרכבהf′(x0​)​−hf(x0​−h)−f(x0​)​​​​=21​2f′(x0​)=f′(x0​)

∎

פתרון ב':
בתרגילים כאלו הכי פשוט לחשוב על פונקציות שהן לא גזירות ב-x=0x=0x=0.
לכן, נקח את f(x)=∣x∣f(x)=|x|f(x)=∣x∣ שהיא אינה גזירה ב-x=0x=0x=0.

g(0)=lim⁡h→0f(h)−f(−h)2h=lim⁡h→0∣h∣−∣−h∣2h=lim⁡h→002h=0g(0)=\lim_{ h \to 0 } \frac{f(h)-f(-h)}{2h}=\lim_{ h \to 0 } \frac{|h|-|-h|}{2h}=\lim_{ h \to 0 } \frac{0}{2h}=0g(0)=h→0lim​2hf(h)−f(−h)​=h→0lim​2h∣h∣−∣−h∣​=h→0lim​2h0​=0
תרגיל

f(x)={sin⁡3xsin⁡1xx>00x≤0f(x)=\begin{cases} \sin^3x \sin \frac{1}{x} & x>0 \\ 0 & x\leq 0 \end{cases}f(x)={sin3xsinx1​0​x>0x≤0​

א. הוכיחו כי fff גזירה ב-x=0x=0x=0.
ב. האם הנגזרת f′f'f′ רציפה ב-x=0x=0x=0?
ג. האם קיימת f′′(0)f''(0)f′′(0)?
ד. האם יש פתרון למשוואה f(x)=13f(x)=\frac{1}{3}f(x)=31​?

הוכחה: (א')

lim⁡x→0f(x)−f(0)x−0=lim⁡x→0sin⁡3xsin⁡1x−0x=lim⁡x→0sin⁡3xx3הגבול המיוחד⋅sin⁡1xחסומה⋅x2אפסה=0\lim_{ x \to 0 } \frac{f(x)-f(0)}{x-0}=\lim_{ x \to 0 } \frac{\sin^3x \sin \frac{1}{x}-0}{x}=\lim_{ x \to 0 } \underbracket{\frac{\sin^3x}{x^3}}_{\R{\text{הגבול המיוחד}}}\cdot \underbracket{\sin \frac{1}{x}}_{\R{\text{חסומה}}}\cdot \underbracket{x^2}_{\R{\text{אפסה}}}=0x→0lim​x−0f(x)−f(0)​=x→0lim​xsin3xsinx1​−0​=x→0lim​הגבול המיוחדx3sin3x​​⋅חסומהsinx1​​⋅אפסהx2​=0

∎

הוכחה: (ב')
נמצא את f′(x)f'(x)f′(x).

f′(x)={3sin⁡2xcos⁡x⋅sin⁡1x+sin⁡3xcos⁡1x(−1x2)x>00x≤0(כי חישבנו לפי הגדרה)f'(x)=\begin{cases} 3\sin^2x\cos x\cdot \sin \frac{1}{x}+\sin^3x \cos \frac{1}{x}\left( -\frac{1}{x^2} \right) & x>0 \\ 0 & x\leq 0 & (\R{\text{כי חישבנו לפי הגדרה}}) \end{cases}f′(x)={3sin2xcosx⋅sinx1​+sin3xcosx1​(−x21​)0​x>0x≤0​(כי חישבנו לפי הגדרה)​ lim⁡x→0+f′(x)=lim⁡x→0+(3sin⁡2x⏟→0cos⁡xsin⁡1x⏟חסום−1x2sin⁡3xcos⁡1xsin⁡3xx3cos⁡1x⋅x)=0\lim_{ x \to 0^+ } f'(x)=\lim_{ x \to 0^+ } \left( 3\underbrace{\sin^2x}_{\to0}\underbrace{\cos x\sin \frac{1}{x}}_{\R{\text{חסום}}}-\underbracket{\frac{1}{x^2}\sin^3x\cos \frac{1}{x}}_{\frac{\sin^3x}{x^3} \cos \frac{1}{x}\cdot x} \right)=0x→0+lim​f′(x)=x→0+lim​​3→0sin2x​​חסוםcosxsinx1​​​−x3sin3x​cosx1​⋅xx21​sin3xcosx1​​​=0

ולכן f′f'f′ רציפה ב-x=0x=0x=0.
∎

הוכחה: (ג')

lim⁡x→0+f′(x)−f′(0)x−0=lim⁡x→0+3sin⁡2xcos⁡xsin⁡1x−1x2sin⁡3xcos⁡1xx\lim_{ x \to 0^+ } \frac{f'(x)-f'(0)}{x-0}=\lim_{ x \to 0^+ } \frac{3\sin^2x\cos x\sin \frac{1}{x}-\frac{1}{x^2}\sin^3x\cos \frac{1}{x}}{x}x→0+lim​x−0f′(x)−f′(0)​=x→0+lim​x3sin2xcosxsinx1​−x21​sin3xcosx1​​

הגבול החד צדדי לא עובד פה, ולכן נלך להיינה.
("אנחנו יכולים לעשות גם שלילת הגדרת הגבול, אבל אנחנו נוותר על התעלול המפוקפק" - רבקה)
נקח 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 ואת 0≠yn=12πn+π2⟶n→∞00\neq y_{n}=\frac{1}{2\pi n+\frac{\pi}{2}}\underset{n\to \infty}{\longrightarrow}00=yn​=2πn+2π​1​n→∞⟶​0.

3sin⁡2(xn)cos⁡xnsin⁡1xn⏞חסוםxn2⏟הגבול המיוחדxn⏟0−sin⁡3xnxn⏟1cos⁡1xn⟶n→∞0−1=−1\frac{3\sin^2(x_{n})\overbrace{\cos x_{n}\sin \frac{1}{x_{n}}}^{\R{\text{חסום}}}}{\underbrace{x_{n}^2}_{\R{\text{הגבול המיוחד}}}}\underbrace{x_{n}}_{0} -\underbrace{\frac{\sin^3x_{n}}{x_{n}}}_{1}\cos \frac{1}{x_{n}}\underset{n\to \infty}{\longrightarrow} 0-1=-1הגבול המיוחדxn2​​​3sin2(xn​)cosxn​sinxn​1​​חסום​​0xn​​​−1xn​sin3xn​​​​cosxn​1​n→∞⟶​0−1=−1

עבור yny_{n}yn​ נבצע משהו מאוד ודומה ונקבל כי f′(yn)⟶n→∞0f'(y_{n})\underset{n\to \infty}{\longrightarrow}0f′(yn​)n→∞⟶​0 ולכן f′′(0)f''(0)f′′(0) לא קיימת.
∎

הוכחה: (ד')

f(0)=0<13f(0)=0< \frac{1}{3}f(0)=0<31​ f(π2)=sin⁡3π2sin⁡(2π)=sin⁡2πf\left( \frac{\pi}{2} \right)=\sin^3 \frac{\pi}{2}\sin \left( \frac{2}{\pi} \right)=\sin \frac{2}{\pi}f(2π​)=sin32π​sin(π2​)=sinπ2​

נרצה לבדוק מי יותר גדול, sin⁡2π\sin \frac{2}{\pi}sinπ2​ או sin⁡π6\sin \frac{\pi}{6}sin6π​.
הפונקציה sin⁡x\sin xsinx עולה בקטע ו-2π>π6\frac{2}{\pi}> \frac{\pi}{6}π2​>6π​ ולכן: sin⁡2π>sin⁡π6=12>13\sin \frac{2}{\pi}>\sin \frac{\pi}{6}=\frac{1}{2}> \frac{1}{3}sinπ2​>sin6π​=21​>31​.
הפונקציה fff רציפה בקטע [0,π2]\left[ 0, \frac{\pi}{2} \right][0,2π​] (הוכחנו) ו-f(0)<13<f(π2)f(0)< \frac{1}{3}<f\left( \frac{\pi}{2} \right)f(0)<31​<f(2π​) ולכן, על פי משפט ערך הביניים c∈(0,π2)c \in\left( 0, \frac{\pi}{2} \right)c∈(0,2π​) כך ש-f(c)=13f(c)=\frac{1}{3}f(c)=31​.
∎

כללי גזירה

איך נגזור פונקציה בחזקת אחרת?

f(x)=xx=eln⁡xx=exln⁡x=exeln⁡xf(x)=x^x=e^{\ln x^x}=e^{x\ln x}=e^xe^{\ln x}f(x)=xx=elnxx=exlnx=exelnx f′(x)=exln⁡x(xln⁡x)′=exln⁡x(1⋅ln⁡x+x1x)=xx(ln⁡x+1)f'(x)=e^{x\ln x}(x\ln x)'=e^{x\ln x}\left( 1\cdot \ln x+x \frac{1}{x} \right)=x^x(\ln x+1)f′(x)=exlnx(xlnx)′=exlnx(1⋅lnx+xx1​)=xx(lnx+1)
תרגיל

מצאו את הנגזרת של f(x)=(cos⁡x)ln⁡xf(x)=(\cos x)^{\ln x}f(x)=(cosx)lnx.

f(x)=eln⁡(cos⁡x)ln⁡x=eln⁡xln⁡(cos⁡x)f(x)=e^{\ln(\cos x)^{\ln x}}=e^{\ln x\ln(\cos x)}f(x)=eln(cosx)lnx=elnxln(cosx) f′(x)=eln⁡xln⁡cos⁡x(ln⁡xln⁡cos⁡x)′=eln⁡xln⁡cos⁡x(1xln⁡cos⁡x+ln⁡x1cos⁡x(−sin⁡x))f'(x)=e^{\ln x\ln \cos x}(\ln x\ln \cos x)'=e^{\ln x\ln \cos x}\left( \frac{1}{x} \ln \cos x+\ln x \frac{1}{\cos x}(-\sin x) \right)f′(x)=elnxlncosx(lnxlncosx)′=elnxlncosx(x1​lncosx+lnxcosx1​(−sinx))

נגזרת של פונקציה הפוכה

משפט

אם x0x_{0}x0​ נקודה פנימית של III שבה fff גזירה וגם f′(x0)≠0f'(x_{0})\neq0f′(x0​)=0 אזי, f−1f^{-1}f−1 גזירה ב-y0=f(x0)y_{0}=f(x_{0})y0​=f(x0​) ומתקיים:

(f−1)′(y0)=1f′(x0)(f^{-1})'(y_{0})=\frac{1}{f'(x_{0})}(f−1)′(y0​)=f′(x0​)1​
תרגיל

תהי f:R→Rf:\mathbb{R}\to \mathbb{R}f:R→R המוגדרת ע"י f(x)=x3+2xf(x)=x^3+2xf(x)=x3+2x.
הוכיחו כי fff הפיכה וכי f−1f^{-1}f−1 גזירה בכך R\mathbb{R}R ומצאו את (f−1)′(12)(f^{-1})'(12)(f−1)′(12).

הוכחה:
הפונקציה f(x)=x3+2xf(x)=x^3+2xf(x)=x3+2x גזירה. נרצה להוכיח הפיכה.

f′(x)=3x2+2>0f'(x)=3x^2+2> 0f′(x)=3x2+2>0

לכן, fff עולה ממש לפי מסקנות לגראנז' ולכן, לפי משפט, היא חח"ע.
יהי y0∈Ry_{0} \in \mathbb{R}y0​∈R.

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

ולכן, לפי הגדרת הגבול, קיימת b>0b>0b>0 כך ש-f(b)>y0f(b)>y_{0}f(b)>y0​.

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

ולכן, לפי הגדרת הגבול, קיימת a<0a<0a<0 כך ש-f(a)<y0f(a)<y_{0}f(a)<y0​.
הפונקציה fff רציפה ב-[a,b][a,b][a,b] ומתקיים f(a)<y0<f(b)f(a)<y_{0}<f(b)f(a)<y0​<f(b) ולכן, לפי משפט ערך הביניים קיימת x0∈(a,b)x_{0} \in(a,b)x0​∈(a,b) כך ש-f(x0)=y0f(x_{0})=y_{0}f(x0​)=y0​ ומכאן ש-fff על.
הפונקציה fff חח"ע ועל, ולכן לפי משפט, הפיכה. fff הפיכה וגזירה ⇐ f−1f^{-1}f−1 גזירה.
∎

כעת נמצא את (f−1)′(12)(f^{-1})'(12)(f−1)′(12).

(f−1)′(y0)=1f′(x0)(f^{-1})'(y_{0})=\frac{1}{f'(x_{0})}(f−1)′(y0​)=f′(x0​)1​

נרצה לדעת מהו ה-xxx כך ש-12=x3+2x12=x^3+2x12=x3+2x. קל לראות כי x0=2x_{0}=2x0​=2 פותר את המשוואה ולכן:

f′(x)=3x2+2  ⟹  f′(2)=3⋅4+2=14f'(x)=3x^2+2 \implies f'(2)=3\cdot4+2=14f′(x)=3x2+2⟹f′(2)=3⋅4+2=14 (f−1)′(12)=114(f^{-1})'(12)= \frac{1}{14}(f−1)′(12)=141​
תרגיל

א. מצאו ביטוי לנגזרת של g(x)=arccos⁡xg(x)=\arccos xg(x)=arccosx ב-(−1,1)(-1,1)(−1,1).
ב. הוכיחו כי לכל 0<x<10<x<10<x<1 מתקיים:

arccos⁡x+arccos⁡1−x2=π2\arccos x+\arccos \sqrt{ 1-x^2 }=\frac{\pi}{2}arccosx+arccos1−x2​=2π​

פתרון א':
נשתמש בנוסחה לנגזרת של פונקציה הפוכה.
הפונקציה f(x)=cos⁡xf(x)=\cos xf(x)=cosx הפוכה ב-[0,π][0,\pi][0,π] והפונקציה ההפוכה שלה היא arccos⁡x\arccos xarccosx. fff גזירה וגם f′(x)=−sin⁡x≠0f'(x)=-\sin x\neq 0f′(x)=−sinx=0 ב-(0,π)(0,\pi)(0,π).
תהי y0∈(−1,1)y_{0} \in(-1,1)y0​∈(−1,1). נסמן x0=arccos⁡y0x_{0}=\arccos y_{0}x0​=arccosy0​. לפי משפט:

(f−1)′(y0)=1f′(x0)=1−sin⁡(arccos⁡y0)=−11−cos⁡2(arccos⁡y0)=−11−y02(f^{-1})'(y_{0})= \frac{1}{f'(x_{0})}=\frac{1}{-\sin(\arccos y_{0})}=-\frac{1}{\sqrt{ 1-\cos^2(\arccos y_{0}) }}=-\frac{1}{\sqrt{ 1-y_{0}^2 }}(f−1)′(y0​)=f′(x0​)1​=−sin(arccosy0​)1​=−1−cos2(arccosy0​)​1​=−1−y02​​1​

ולכן:

g′(x)=−11−x2g'(x)=-\frac{1}{\sqrt{ 1-x^2 }}g′(x)=−1−x2​1​

הוכחה: (ב')
נוכיח שהפונקציה קבועה על ידי כך שנוכיח שהנגזרת 0=0=0= ולכן, לפי מסקנות לגרנז', היא פונקציה קבועה.
נסמן f(x)=arccos⁡x+arccos⁡1−x2f(x)=\arccos x+\arccos \sqrt{ 1-x^2 }f(x)=arccosx+arccos1−x2​. נגזור בעזרת כלל השרשרת.

f′(x)=−11−x2−11−1−x22⋅−2x21−x2f'(x)=-\frac{1}{\sqrt{ 1-x^2 }}-\frac{1}{\sqrt{ 1-\sqrt{ 1-x^2 }^2 }}\cdot -\frac{2x}{2\sqrt{ 1-x^2 }}f′(x)=−1−x2​1​−1−1−x2​2​1​⋅−21−x2​2x​ f′(x)=−11−x2+xx21−x2=↓0<x<1−11−x2+11−x2=0f'(x)= -\frac{1}{\sqrt{ 1-x^2 }}+\frac{x}{\sqrt{ x^2 }\sqrt{ 1-x^2 }}\underset{\begin{matrix} \downarrow \\ 0<x<1 \end{matrix}}{=} -\frac{1}{\sqrt{ 1-x^2 }}+\frac{1}{\sqrt{ 1-x^2 }}=0f′(x)=−1−x2​1​+x2​1−x2​x​↓0<x<1​=​−1−x2​1​+1−x2​1​=0

כעת, נחשב את ערך הקבוע.
נציב למשל f(12)f\left( \frac{1}{2} \right)f(21​).

f(12)=arccos⁡12+arccos⁡(32)=π3+π6=π2f\left( \frac{1}{2} \right)=\arccos \frac{1}{2}+\arccos\left( \frac{\sqrt{ 3 }}{2} \right)=\frac{\pi}{3}+\frac{\pi}{6}=\frac{\pi}{2}f(21​)=arccos21​+arccos(23​​)=3π​+6π​=2π​

ולכן, לכל 0<x<10<x<10<x<1 מתקיים:

f(x)=π2f(x)=\frac{\pi}{2}f(x)=2π​

∎

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

אם לכל n∈Nn \in \mathbb{N}n∈N מתקיים:

lim⁡x→0f(x)xn=0\lim_{ x \to 0 } \frac{f(x)}{x^n}=0x→0lim​xnf(x)​=0

אז fff גזירה ב-x=0x=0x=0.

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

f(x)={0x≠01x=0f(x)=\begin{cases} 0 & x\neq0 \\ 1 & x=0 \end{cases}f(x)={01​x=0x=0​ lim⁡x→0f(x)xn=lim⁡x→00xn=0\lim_{ x \to 0 } \frac{f(x)}{x^n}=\lim_{ x \to 0 } \frac{0}{x^n}=0x→0lim​xnf(x)​=x→0lim​xn0​=0

אבל fff לא גזירה ב-x=0x=0x=0 שכן היא לא רציפה.

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

אם fff רציפה ב-000 וקיים n∈Nn \in \mathbb{N}n∈N עבור lim⁡x→0f(x)xn\lim_{ x \to 0 } \frac{f(x)}{x^n}limx→0​xnf(x)​ קיים אז fff גזירה ב-000.

הטענה נכונה.
הוכחה:

lim⁡x→0f(x)=f(0)\lim_{ x \to 0 } f(x)=f(0)x→0lim​f(x)=f(0) f(x)=f(x)xnxn⟶x→0L⋅0=0f(x)=\frac{f(x)}{x^n} x^n \underset{x\to0}{\longrightarrow} L\cdot 0=0f(x)=xnf(x)​xnx→0⟶​L⋅0=0

כעת, נבדוק אם היא גזירה:

lim⁡x→0f(x)−f(0)x−0=lim⁡x→0f(x)x=lim⁡x→0f(x)xnxn−1=L⋅0=0\lim_{ x \to 0 } \frac{f(x)-f(0)}{x-0}=\lim_{ x \to 0 } \frac{f(x)}{x}=\lim_{ x \to 0 } \frac{f(x)}{x^n}x^{n-1}=L \cdot 0=0x→0lim​x−0f(x)−f(0)​=x→0lim​xf(x)​=x→0lim​xnf(x)​xn−1=L⋅0=0

הפונקציה גזירה ו-f′(0)=0f'(0)=0f′(0)=0.
∎