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].

הרצאה 13

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

הרצאה 14

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

הרצאה 15

  • משפט פרמה.
  • משפט רול.
  • משפט לגראנז'.
  • משפט לגראנז' המוכלל.

הרצאה 16

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

הרצאה 17

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

הרצאה 18

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

הרצאה 19

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

הרצאה 20

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

הרצאה 21

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

הרצאה 22

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