83-112 חדו"א 1 להנדסה/נושאי הקורס

מתוך Math-Wiki
הגרסה להדפסה אינה נתמכת עוד וייתכן שיש בה שגיאות תיצוג. נא לעדכן את הסימניות בדפדפן שלך ולהשתמש בפעולת ההדפסה הרגילה של הדפדפן במקום זה.

מבחנים מהעבר

נושאי ההרצאות

שימו לב: נושאי ההרצאות יעודכנו במהלך הסמסטר לפי קצב ההתקדמות בפועל.

הרצאה 1

  • מבוא למספרים - טבעיים, שלמים, רציונאליים, ממשיים.
  • שורש 2, 0.999.
  • חזקות.
  • לוגריתמים.
  • מבוא לגבולות (שיטות אלגבריות: כפל בצמוד, הוצאת חזקה משמעותית).
    • [math]\displaystyle{ \lim_{x\to 2}\frac{x^2-4}{x-2} }[/math]
    • [math]\displaystyle{ \lim_{x\to\infty}\frac{2x^2+5x+3}{3x^2-100} }[/math]
    • [math]\displaystyle{ \lim_{x\to \infty}\sqrt{x^2+x+1}-x,\lim_{x\to \infty}\sqrt{x^2+1}-x }[/math]
    • [math]\displaystyle{ \lim_{x\to\infty}x^2-x }[/math]

הרצאה 2

  • כמתים, שלילת כמתים.
  • חסמים.

הרצאה 3

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

הרצאה 4

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

הרצאה 5

  • התכנסות במובן הרחב.
  • אחד חלקי 'שואפת לאינסוף' היא אפיסה, ההפך לא נכון.
  • סנדביץ' וחצי סדנביץ'.
  • [math]\displaystyle{ a_n\to 0 \iff |a_n|\to 0 }[/math]
  • חסומה כפול אפיסה היא אפיסה.

הרצאה 6

  • אינדוקציה.
  • ברנולי - אקספוננט חיובי שואף לאפס, אחד או אינסוף.
  • אריתמטיקה מורחבת (הכתיב הוא מקוצר ואינו מדוייק):
    • חסומה כפול אפיסה = אפיסה
    • חסומה חלקי אינסוף = אפיסה
    • [math]\displaystyle{ \infty+\infty=\infty }[/math]
    • [math]\displaystyle{ \infty\cdot\infty=\infty }[/math]
    • [math]\displaystyle{ \infty^\infty=\infty }[/math]
    • [math]\displaystyle{ \frac{1}{0}\neq\infty }[/math]
    • [math]\displaystyle{ \frac{1}{0^+}=\infty }[/math]
    • [math]\displaystyle{ 0^\infty = 0 }[/math]
    • אינסוף כפול סדרה השואפת למספר חיובי = אינסוף.
    • אינסוף כפול סדרההשואפת למספר שלילי = אינסוף.
    • יש גבול סופי + אין גבול סופי = אין גבול סופי.
    • אינסוף ועוד חסומה שווה אינסוף.
    • אם [math]\displaystyle{ a\gt 1 }[/math] אזי [math]\displaystyle{ a^\infty=\infty }[/math]
    • חזקת סדרות שואפת לחזקת הגבולות.
  • המקרים הבעייתיים בהם צריך להפעיל מניפולציות אלגבריות או משפטים על מנת לחשב את הגבול:
    • [math]\displaystyle{ \frac{0}{0},\frac{\infty}{\infty},0\cdot\infty,\infty-\infty,0^0,\infty^0,1^\infty }[/math]
  • מבחן המנה (אי-שוויון הממוצעים).
  • הגבול של השורש הn של n.

הרצאה 7

  • סדרה מונוטונית וחסומה מתכנסת.
  • המספר e (הוכחות בעזרת אי-שוויון הממוצעים).
  • [math]\displaystyle{ 2\lt e\lt 4 }[/math].
  • אם [math]\displaystyle{ a_n\to\infty }[/math] אזי [math]\displaystyle{ \left(1+\frac{1}{a_n}\right)^{a_n}\to e }[/math]
    • [math]\displaystyle{ [a_n]\leq a_n \leq [a_n]+1 }[/math], כאשר [math]\displaystyle{ [a_n] }[/math] הוא המספר השלם הגדול ביותר שקטן או שווה ל[math]\displaystyle{ a_n }[/math].
    • [math]\displaystyle{ \left(1+\frac{1}{[a_n]+1}\right)^{[a_n]}\leq\left(1+\frac{1}{a_n}\right)^{a_n}\leq \left(1+\frac{1}{[a_n]}\right)^{[a_n]+1} }[/math]
    • שני הצדדים שואפים לe ולכן לפי כלל הסנדוויץ הסדרה אכן שואפת לe.
  • אם [math]\displaystyle{ a_n\to -\infty }[/math] אזי [math]\displaystyle{ \left(1+\frac{1}{a_n}\right)^{a_n}\to e }[/math]
    • ראשית [math]\displaystyle{ \left(1-\frac{1}{n}\right)^{n}\to \frac{1}{e} }[/math] (הוכחה בקישור לערך על המספר e).
    • כעת חזקה שלילית הופכת את השבר, וניתן לסיים את ההוכחה באופן דומה להוכחה במקרה הקודם.


  • אם [math]\displaystyle{ a_n\to 1 }[/math] אזי [math]\displaystyle{ a_n^{b_n}\to e^{\lim b_n\cdot(a_n-1)} }[/math]
    • [math]\displaystyle{ a_n^{b_n}=\left[\left(1+(a_n-1)\right)^{\frac{1}{a_n-1}}\right]^{ b_n\cdot (a_n-1)} }[/math].
    • [math]\displaystyle{ \left(1+(a_n-1)\right)^{\frac{1}{a_n-1}}\to e }[/math] בין אם [math]\displaystyle{ a_n-1 }[/math] שלילי או חיובי, לפי הטענות לעיל.
    • שימו לב שאם [math]\displaystyle{ a_n=1 }[/math], אז ממילא מקבלים 1 בנוסחא הסופית, ואז לא צריך לחלק ב[math]\displaystyle{ a_n-1 }[/math] ששווה אפס.


  • דוגמא:
    • [math]\displaystyle{ \lim\left(\frac{n+1}{n-2}\right)^n=e^{\lim n\cdot\left(\frac{n+1}{n-2}-1\right)}=e^{\lim\frac{3n}{n-2}}=e^3 }[/math]

הרצאה 8

  • פונקציות וגבולות של פונקציות, לפי קושי ולפי היינה.
  • תתי סדרות וגבולות חלקיים (ללא הוכחה)
    • סדרה מתכנסת לגבול אם"ם הגבול החלקי העליון והתחתון שווים לו.
    • אם ניתן לחלק סדרה לתתי סדרות שכולן מתכנסות לאותו גבול, אזי זה גבול הסדרה.
  • מסקנה: גבול של פונקציה קיים בנקודה אם"ם הגבולות החד צדדיים קיימים ושווים לו.

הרצאה 9

  • הגדרת סינוס וקוסינוס ע"י מעגל היחידה.
    • [math]\displaystyle{ sin^2(x)+cos^2(x)=1 }[/math]
    • [math]\displaystyle{ sin(-x)=-sin(x),cos(-x)=cos(x) }[/math]
    • [math]\displaystyle{ sin(a+b)=sin(a)cos(b)+sin(b)cos(a),cos(a+b)=cos(a)cos(b)-sin(a)sin(b) }[/math]
    • [math]\displaystyle{ sin(2x)=2sin(x)cos(x),cos(2x)=cos^2(x)-sin^2(x) }[/math]



  • Sin(x) over x.png
    • עבור זוית [math]\displaystyle{ 0\lt x\lt \frac{\pi}{2} }[/math] שטח המשולש חסום בשטח הגזרה (משולש פיצה עם הקשה) שחסום בשטח המשולש:
    • [math]\displaystyle{ S_{\triangle AOB}\lt S_{\bigcirc AOB}\lt S_{\triangle AOD} }[/math]
    • [math]\displaystyle{ \frac{sin(x)}{2}\lt \frac{x}{2}\lt \frac{tan(x)}{2} }[/math]
      • כיוון ש[math]\displaystyle{ 0\lt sin(x)\lt x }[/math] בתחום [math]\displaystyle{ (0,\frac{\pi}{2}) }[/math], נובע לפי סנדוויץ' ש[math]\displaystyle{ \lim_{x\to 0^+}sin(x)=0 }[/math].
      • כיוון שמדובר בפונקציה אי זוגית, נובע שזה גם הגבול משני הצדדים.
      • כעת בתחום [math]\displaystyle{ (-\frac{\pi}{2},\frac{\pi}{2}) }[/math] הקוסינוס חיובית ולכן [math]\displaystyle{ cos(x)=\sqrt{1-sin^2(x)} }[/math] ונובע כי [math]\displaystyle{ \lim_{x\to 0}cos(x)=1 }[/math].
    • נחלק את אי השיוויון הטריגונומטרי בסינוס ונקבל:
    • [math]\displaystyle{ 1\lt \frac{x}{sin(x)}\lt \frac{1}{cos(x)} }[/math]
    • לפי כלל הסנדביץ [math]\displaystyle{ \lim_{x\to 0^+}\frac{sin(x)}{x}=1 }[/math]
    • כיוון שמדובר בפונקציה זוגית, נובע שהגבול משני הצדדים שווה 1.


  • ראינו ש[math]\displaystyle{ \lim_{x\to 0}\frac{sin(x)}{x}=1 }[/math].
  • שימו לב ש[math]\displaystyle{ \lim_{x\to\infty}\frac{sin(x)}{x}=0 }[/math], כיוון שמדובר בחסומה חלקי שואפת לאינסוף.

הרצאה 10

  • גבול של הרכבת פונקציות נכשל ללא רציפות.
    • [math]\displaystyle{ f(x)=\frac{x}{x}, g(x)=0 }[/math] מתקיים כי [math]\displaystyle{ \lim_{x\to 0}f(x)=1,\lim_{x\to 2}g(x)=0 }[/math] אבל [math]\displaystyle{ \lim_{x\to 2}f(g(x))\neq 1 }[/math].
  • רציפות.
  • טענה: אם f רציפה ב[math]\displaystyle{ x_0 }[/math] אזי לכל סדרה [math]\displaystyle{ x_n\to x_0 }[/math] (גם אם אינה שונה מ[math]\displaystyle{ x_0 }[/math]) מתקיים כי [math]\displaystyle{ f(x_n)\to f(x_0) }[/math].
  • הרכבת רציפות: תהי f רציפה ב[math]\displaystyle{ x_0 }[/math] ותהי g רציפה ב[math]\displaystyle{ f(x_0) }[/math]. אזי [math]\displaystyle{ g\circ f }[/math] רציפה ב[math]\displaystyle{ x_0 }[/math].
    • הוכחה:
    • תהי סדרה [math]\displaystyle{ x_0\neq x_n\to x_0 }[/math] אזי [math]\displaystyle{ f(x_n)\to f(x_0) }[/math]
    • לפי הטענה הקודמת, [math]\displaystyle{ g(f(x_n))\to g(f(x_0)) }[/math].


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

הרצאה 11

הגדרת הנגזרת

  • [math]\displaystyle{ f'(x)=\lim_{h\to 0}\frac{f(x+h)-f(x)}{h} }[/math]
  • [math]\displaystyle{ \lim{h\to 0} \frac{f(x_0+h)-f(x_0)}{h} =\{h=x-x_0\} = \lim_{x\to x_0}\frac{f(x)-f(x_0)}{x-x_0} }[/math]
    • הסבר לגבי שיטת ההצבה בה השתמשנו לעיל:
    • נניח כי [math]\displaystyle{ \lim{h\to 0} \frac{f(x_0+h)-f(x_0)}{h}=f'(x_0) }[/math] ונוכיח כי [math]\displaystyle{ \lim_{x\to x_0}\frac{f(x)-f(x_0)}{x-x_0}=f'(x_0) }[/math], והוכחה דומה בכיוון ההפוך.
    • תהי [math]\displaystyle{ x_0\neq x_n\to x_0 }[/math] נגדיר את הסדרה [math]\displaystyle{ 0\neq h_n=x_n-x_0\to 0 }[/math].
    • כיוון ש[math]\displaystyle{ \frac{f(x_0+h_n)-f(x_0)}{h_n}\to f'(x_0) }[/math] נובע כי [math]\displaystyle{ \frac{f(x_n)-f(x_0)}{x_n-x_0}\to f'(x_0) }[/math].
  • אם f גזירה בנקודה, היא רציפה בנקודה:
    • צ"ל [math]\displaystyle{ \lim_{x\to x_0}f(x)=f(x_0) }[/math]
    • לפי אריתמטיקה של גבולות זה שקול ל [math]\displaystyle{ \lim_{x\to x_0}f(x)-f(x_0)=0 }[/math]
    • לפי עקרון win (קיצור של wouldn't it be nice?) מתקיים כי [math]\displaystyle{ \lim_{x\to x_0}f(x)-f(x_0)=\lim_{x\to x_0}\frac{f(x)-f(x_0)}{x-x_0}\cdot (x-x_0)=f'(x_0)\cdot 0 = 0 }[/math]
  • פונקציה הערך המוחלט אינה גזירה באפס
    • [math]\displaystyle{ (|x|)'(0) = \lim_{h\to 0}\frac{|h|-|0|}{h}=\lim\frac{|h|}{h} }[/math] וגבול זה אינו קיים, כיוון שהגבולות החד צדדים שונים.
    • ניתן לשים לב גם ש[math]\displaystyle{ |x|=\sqrt{x^2} }[/math], וכמו כן נראה בהמשך כי[math]\displaystyle{ \sqrt{x} }[/math] אינה גזירה באפס.

הנגזרות של הפונקציות האלמנטריות

  • טריגו:
    • [math]\displaystyle{ \lim_{h\to 0}\frac{1-cos(h)}{h}=\lim_{h\to 0}\frac{sin^2(h)}{h(1+cos(h))}=\lim_{h\to 0}sin(h)\cdot \frac{sin(h)}{h}\cdot \frac{1}{1+cos(h)}=0\cdot 1 \cdot \frac{1}{2}=0 }[/math]
    • [math]\displaystyle{ (sin(x))'=\lim_{h\to 0}\frac{sin(x+h)-sin(x)}{h}=\lim_{h\to 0}\frac{sin(x)cos(h)+sin(h)cos(x)-sin(x)}{h}=\lim_{h\to 0}sin(x)\cdot \frac{cos(h)-1}{h} + cos(x)\cdot \frac{sin(h)}{h}=cos(x) }[/math]
    • באופן דומה [math]\displaystyle{ (cos(x))'=-sin(x) }[/math]
  • לוג:
    • [math]\displaystyle{ \lim_{h\to 0}\frac{log(1+h)}{h}=\lim_{h\to 0}\frac{1}{h}\cdot log(1+h)=\lim_{h\to 0}log\left(\left(1+h\right)^{\frac{1}{h}}\right)=log(e) }[/math]
      • המעבר האחרון נובע מהעובדה שפונקצית הלוג רציפה.
      • (בפרט נובע כי [math]\displaystyle{ \lim_{x\to 0}\frac{ln(1+x)}{x}=1 }[/math].)
    • [math]\displaystyle{ (log(x))'=\lim_{h\to 0}\frac{log(x+h)-log(x)}{h}= \lim_{h\to 0}\frac{log\left(\frac{x+h}{x}\right)}{h}=\lim_{h\to 0}\frac{1}{x}\cdot\frac{log\left(1+\frac{h}{x}\right)}{\frac{h}{x}}=\frac{log(e)}{x} }[/math]
      • בפרט נובע כי [math]\displaystyle{ (ln(x))' = \frac{1}{x} }[/math]
  • אקספוננט:
    • [math]\displaystyle{ \lim_{h\to 0}\frac{a^h-1}{h} = \{t=a^h-1, h=log_a(1+t)\} = \lim_{t\to 0} \frac{t}{log_a(1+t)} = \frac{1}{log_a(e)} = \frac{1}{\frac{ln(e)}{ln(a)}}=ln(a) }[/math]
    • [math]\displaystyle{ (a^x)' = \lim_{h\to 0}\frac{a^{x+h}-a^x}{h}= \lim_{h\to 0}a^x\cdot \frac{a^h-1}{h}=a^x\cdot ln(a) }[/math]
      • בפרט נובע כי [math]\displaystyle{ (e^x)'=e^x }[/math].
  • חזקה:
    • [math]\displaystyle{ (x^\alpha)'=\alpha x^{\alpha-1} }[/math] לכל [math]\displaystyle{ \alpha\in \mathbb{R} }[/math], הוכחה בהמשך.
      • בפרט:
      • [math]\displaystyle{ (1)'=0 }[/math]
      • [math]\displaystyle{ (\frac{1}{x})' = (x^{-1})'=-\frac{1}{x^2} }[/math]
      • [math]\displaystyle{ (\sqrt{x})'=(x^{\frac{1}{2}})'=\frac{1}{2\sqrt{x}} }[/math]

הרצאה 12

נגזרת של מכפלה בקבוע, סכום ומכפלת פונקציות

תהיינה [math]\displaystyle{ f,g }[/math] גזירות בנקודה x.

  • [math]\displaystyle{ (cf)'(x) = \lim_{h\to 0}\frac{cf(x+h)-cf(x)}{h}= cf'(x) }[/math]
  • [math]\displaystyle{ (f+g)'(x)= \lim_{h\to 0}\frac{f(x+h)+g(x+h)-f(x)-g(x)}{h}=f'(x)+g'(x) }[/math]
  • [math]\displaystyle{ (f\cdot g)'(x) = \lim_{h\to 0}\frac{f(x+h)g(x+h)- f(x)g(x)}{h} = \lim_{h\to 0}\frac{f(x+h)g(x+h)-f(x)g(x+h)+f(x)g(x+h)-f(x)g(x)}{h} = }[/math]
[math]\displaystyle{ =\lim_{h\to 0}g(x+h)\cdot\frac{f(x+h)-f(x)}{h}+ f(x)\cdot\frac{g(x+h)-g(x)}{h}=g(x)f'(x)+f(x)g'(x) }[/math]
  • שימו לב ש[math]\displaystyle{ g(x+h)\to g(x) }[/math] כיוון שg רציפה בx, כיוון שהיא גזירה בx.


נגזרת של הרכבה

תהי f גזירה ב[math]\displaystyle{ x_0 }[/math] ותהי g הגזירה ב[math]\displaystyle{ f(x_0) }[/math]:

  • [math]\displaystyle{ (g\circ f)'(x_0) = \lim_{x\to x_0} \frac{g(f(x))-g(f(x_0))}{x-x_0} }[/math]
  • תהי סדרה [math]\displaystyle{ x_0\neq x_n\to x_0 }[/math].
  • רוצים לומר ש[math]\displaystyle{ \frac{g(f(x_n))-g(f(x_0))}{x_n-x_0}= \frac{g(f(x_n))-g(f(x_0))}{f(x_n)-f(x_0)}\cdot \frac{f(x_n)-f(x_0)}{x_n-x_0}\to g'(f(x_0))\cdot f'(x_0) }[/math].
  • אמנם [math]\displaystyle{ f(x_n)\to f(x_0) }[/math] בגלל שהרציפות נובעת מהגזירות, אבל לא ידוע ש[math]\displaystyle{ f(x_n)\neq f(x_0) }[/math] ובמקרה זה אנחנו כופלים ומחלקים באפס.
  • אם יש תת סדרה [math]\displaystyle{ a_n }[/math] של [math]\displaystyle{ x_n }[/math] עבורה [math]\displaystyle{ f(a_n)=f(x_0) }[/math] אזי [math]\displaystyle{ \frac{f(a_n)-f(x_0)}{a_n-x_0}=0 }[/math] ולכן [math]\displaystyle{ f'(x_0)=0 }[/math].
  • לכן [math]\displaystyle{ g'(f(x_0))\cdot f'(x_0)=0 }[/math].
  • כמו כן, [math]\displaystyle{ \frac{g(f(a_n))-g(f(x_0))}{a_n-x_0}=0 }[/math].
  • לכן בכל מקרה קיבלנו כי [math]\displaystyle{ \frac{g(f(x_n))-g(f(x_0))}{x_n-x_0}\to g'(f(x_0))\cdot f'(x_0) }[/math]
  • סה"כ [math]\displaystyle{ (g\circ f)'(x_0)=g'(f(x_0))\cdot f'(x_0) }[/math].


נגזרת של חזקה

  • עבור [math]\displaystyle{ x\gt 0 }[/math] מתקיים [math]\displaystyle{ (x^\alpha)'=(e^{ln\left(x^\alpha\right)})' = (e^{\alpha\cdot ln(x)})' = e^{\alpha\cdot ln(x)}\cdot \frac{\alpha}{x} = x^\alpha \cdot \frac{\alpha}{x} = \alpha x^{\alpha-1} }[/math]
  • דוגמא: חישוב הנגזרת של [math]\displaystyle{ x^x }[/math]

נגזרת מנה

תהיינה f,g גזירות בנקודה x כך ש [math]\displaystyle{ g(x)\neq 0 }[/math]:

  • נזכור כי [math]\displaystyle{ (\frac{1}{x})'=-\frac{1}{x^2} }[/math]
  • אזי בנקודה x מתקיים: [math]\displaystyle{ \left(\frac{f}{g}\right)'=\left(f\cdot \frac{1}{g}\right)' = f'\cdot \frac{1}{g} + f\cdot \frac{-g'}{g^2} = \frac{f'g-g'f}{g^2} }[/math]

הרצאה 13

  • הגדרה:
  • פונקציה f נקראית רציפה בקטע [math]\displaystyle{ [a,b] }[/math] אם f רציפה בכל נקודה בקטע [math]\displaystyle{ (a,b) }[/math] ובנוסף [math]\displaystyle{ \lim_{x\to a^+}f(x)=f(a) }[/math] וגם [math]\displaystyle{ \lim_{x\to b^-}f(x)=f(b) }[/math]


  • פונקציות הפיכות (הוכחות והגדרות מדוייקות בבדידה).
    • פונקציה [math]\displaystyle{ f:[a,b]\to [c,d] }[/math] הפיכה אם"ם היא חח"ע ועל
    • הפונקציה ההופכית היא [math]\displaystyle{ f^{-1}:[c,d]\to[a,b] }[/math] ומתקיים כי [math]\displaystyle{ f(x)=y }[/math] אם"ם [math]\displaystyle{ x=f^{-1}(y) }[/math]


  • טענה: אם [math]\displaystyle{ f:[a,b]\to [c,d] }[/math] רציפה בקטע [math]\displaystyle{ [a,b] }[/math], אזי [math]\displaystyle{ f^{-1}:[c,d]\to[a,b] }[/math] רציפה בקטע [math]\displaystyle{ [c,d] }[/math].
    • הוכחה:
    • תהי [math]\displaystyle{ y_0\neq y_n\to y_0 }[/math], צ"ל ש [math]\displaystyle{ f^{-1}(y_n)\to f^{-1}(y_0) }[/math]
    • יהי גבול חלקי [math]\displaystyle{ x_n=f^{-1}(y_n)\to L }[/math].
    • אזי [math]\displaystyle{ f(x_n)=y_n\to y_0 }[/math].
    • מצד שני, לפי רציפות הפונקציה f מתקיים [math]\displaystyle{ f(x_n)\to f(L) }[/math].
    • לכן [math]\displaystyle{ f(L)=y_0 }[/math] ולכן [math]\displaystyle{ L=f^{-1}(y_0) }[/math].


  • טענה: תהי [math]\displaystyle{ f:[a,b]\to [c,d] }[/math] הפיכה ורציפה. ונניח כי היא גזירה בנק' [math]\displaystyle{ a\lt x_0\lt b }[/math] כך ש [math]\displaystyle{ f'(x_0)\neq 0 }[/math].
אזי [math]\displaystyle{ f^{-1} }[/math] גזירה בנק' [math]\displaystyle{ f(x_0) }[/math] ומתקיים כי
[math]\displaystyle{ (f^{-1})'(f(x_0))=\frac{1}{f'(x_0)} }[/math] או בנוסח אחר-
[math]\displaystyle{ (f^{-1})'(x)=\frac{1}{f'(f^{-1}(x))} }[/math]
    • הוכחה:
    • [math]\displaystyle{ (f^{-1})'(f(x_0)) = \lim_{y\to f(x_0)}\frac{f^{-1}(y)-f^{-1}(f(x_0))}{y-f(x_0)} }[/math]
    • תהי [math]\displaystyle{ f(x_0)\neq y_n\to f(x_0) }[/math] ונסמן [math]\displaystyle{ x_n=f^{-1}(y_n) }[/math].
    • אזי מתוך רציפות וחח"ע נובע כי [math]\displaystyle{ x_0\neq x_n\to f^{-1}(f(x_0))=x_0 }[/math]
    • [math]\displaystyle{ \frac{f^{-1}(y_n)-f^{-1}(f(x_0))}{y_n-f(x_0)} = \frac{x_n-x_0}{f(x_n)-f(x_0)} \to \frac{1}{f'(x_0)} }[/math]


  • דוגמא חשובה:
  • [math]\displaystyle{ tan:(-\frac{\pi}{2},\frac{\pi}{2})\to\mathbb{R} }[/math] הפיכה וההופכית שלה נקראית [math]\displaystyle{ arctan }[/math].
  • [math]\displaystyle{ tan^2(x)+1 = \frac{sin^2(x)}{cos^2(x)}+1 = \frac{1}{cos^2(x)} }[/math]
  • [math]\displaystyle{ arctan'(x) = \frac{1}{\frac{1}{cos^2(arctan(x))}} = \frac{1}{tan^2(arctan(x))+1}=\frac{1}{1+x^2} }[/math]

הרצאה 14

  • משפט ערך הביניים.
  • תהי f רציפה ב[math]\displaystyle{ [0,1] }[/math] כך ש[math]\displaystyle{ f(1)=2 }[/math], הוכיחו שקיימת נק' [math]\displaystyle{ c\in [0,1] }[/math] עבורה [math]\displaystyle{ f(c)=\frac{1}{c} }[/math]
    • נעביר אגף ונביט בפונקציה [math]\displaystyle{ h(x)=f(x)-\frac{1}{x} }[/math] שצריך למצוא שורש שלה.
    • [math]\displaystyle{ h(1)\gt 0 }[/math].
    • [math]\displaystyle{ \lim_{x\to 0^+}h(x)=f(0)-\infty=-\infty }[/math] ולכן קיימת נקודה [math]\displaystyle{ 0\lt d\lt 1 }[/math] עבורה [math]\displaystyle{ h(d)\lt 0 }[/math].
    • לפי משפט ערך הביניים בקטע [math]\displaystyle{ [d,1] }[/math] קיימת נק' המאפסת את הפונקציה h.


  • לכל סדרה יש תת סדרה מונוטונית.


הרצאה 15

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

הרצאה 16

  • הוכחת משפט לגראנז' המוכלל, שמוכיח גם את משפט לגראנז' עצמו כמקרה פרטי.
    • ראשית, כיוון ש[math]\displaystyle{ g'(x)\neq 0 }[/math] בקטע [math]\displaystyle{ (a,b) }[/math] נובע לפי רול כי [math]\displaystyle{ g(a)\neq g(b) }[/math] ולכן מותר לחלק בהפרש ביניהם.
    • [math]\displaystyle{ h(x)=f(x)-f(a) - \frac{f(b)-f(a)}{g(b)-g(a)}(g(x)-g(a)) }[/math]
    • [math]\displaystyle{ h(a)=h(b)=0 }[/math] ולכן לפי רול קיימת נק' [math]\displaystyle{ c\in (a,b) }[/math] עבורה [math]\displaystyle{ h'(c)=0 }[/math] וזה מה שרצינו להוכיח.
    • (שימו לב שמותר לחלק ב[math]\displaystyle{ g'(c) }[/math].)
    • עבור [math]\displaystyle{ g(x)=x }[/math] נקבל את משפט לאגראנז' הרגיל.
  • פונקציה גזירה עולה אם"ם הנגזרת שלה גדולה או שווה אפס.
  • פונקציה עולה ממש אם"ם הנגזרת שלה גדולה או שווה אפס, ולא מתאפסת על קטע.


  • כלל לופיטל (הוכחה לאפס חלקי אפס בנקודה סופית).
  • כיצד להעזר בלופיטל בכל אחד מהמקרים הבעייתיים.

הרצאה 17

  • פולינום טיילור.
  • שארית לגראנז' בפולינום טיילור.

הרצאה 18

הרצאה 19

  • אינטגרל - מסויים ולא מסוים.
  • הצגת נוסחאת ניוטון לייבניץ - הוכחה עם הערך הממוצע האינטגרלי.

הרצאה 20

  • אינטגרציה בחלקים.
  • שיטת ההצבה.

הרצאה 21

  • אינטגרל על פונקציה רציונאלית.

הרצאה 22

  • סכומי רימן.
  • אורך עקומה, נפח גוף סיבוב.

הרצאה 23

  • אינטגרלים לא אמיתיים.
  • מבחני התכנסות.