גרסה מ־12:13, 11 ביולי 2011

את ההוכחה למשפט 11 לא סיימנו בהרצאה הקודמת ולכן השלמנו אותו ב-1.3.11. חלק זה מופיע בסיכום ההרצאה הקודמת ולא בדף הנוכחי.

תוכן עניינים

1 האינטגרל לפי רימן (המשך)
- 1.1 משפט 12 (המשפט היסודי של חשבון אינטגרלי)

האינטגרל לפי רימן (המשך)

משפט 12 (המשפט היסודי של חשבון אינטגרלי)

תהי f מוגדרת ואינטגרבילית בקטע $[a,b]$ .

לכל $x\in[a,b]$ נגדיר $A(x)=\int\limits_a^x f$ . אזי A מוגדרת היטב ורציפה ב- $[a,b]$ ולכל $x_0\in[a,b]$ שבה f רציפה A גזירה כך ש- $A'(x_0)=f(x_0)$ .
נוסחת ניוטון-לייבניץ: נניח ש-f רציפה בכל הקטע $[a,b]$ . אם F קדומה ל-f אז $\int\limits_a^b f=[F(x)]_{x=a}^b=F(b)-F(a)$ .

הוכחה

כיוון ש-f אינטגרבילית ב- $[a,b]$ משפט 9 נותן שלכל $x\in[a,b]$ f אינטגרבילית בקטע $[a,x_0]$ ולכן $A(x)=\int\limits_a^x f$ מוגדרת היטב. נוכיח ש-A רציפה ע"י זה שהיא מקיימת את תנאי ליפשיץ. ובכן f אינטגרבילית ובפרט היא חסומה: $|f(x)|\le M$ לכל $x\in[a,b]$ . כעת אם $x,y\in[a,b]$ אז $|A(y)-A(x)|=\left|\int\limits_a^y f-\int\limits_a^x f\right|=\left|\int\limits_x^y f\right|\le M|y-x|$ ונובע ש-A רציפה. כעת נניח ש-f רציפה בנקודה $x_0\in[a,b]$ . ר"ל A גזירה שם. ובכן $A(x_0+\Delta x)-A(x_0)=\int\limits_a^{x_0+\Delta x} f-\int\limits_a^{x_0} f=\int\limits_{x_0}^{x_0+\Delta x} f$ ולכן $\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}f$ . נעיר ש- $\int\limits_{x_0}^{x_0+\Delta x} f(x_0)=f(x_0)\Delta x$ (כי $f(x_0)$ פונקציה קבועה). לכן $f(x_0)=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}f(x_0)$ . מכאן ש- $\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}\Big(f(t)-f(x_0)\Big)\mathrm dt$ . נותר להוכיח שכאשר $\Delta x\to0$ אגף ימין (ולכן אגף שמאל) שואף ל-0. לצורך זה יהי $\varepsilon>0$ נתון. כיוון ש-f רציפה ב- $x_0$ קיים $\delta>0$ כך שאם $|t-x_0|<\delta$ אז $|f(t)-f(x_0)|<\varepsilon$ . כעת נניח ש- $|\Delta x|<\delta$ . אם כן האינטגרל באגף ימין הוא על קטע בין $x_0$ ל- $x_0+\Delta x$ ולכן כל t בקטע זה מקיים $|t-x_0|<\Delta x$ . נובע שלכל t בקטע $|f(t)-f(x_0)|<\varepsilon$ . יוצא שאם $|\Delta x|\le\delta$ אז $\left|\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)\right|=\left|\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}(f(t)-f(x_0))\mathrm dt\right|<\frac{|\Delta x|\varepsilon}{|\Delta x|}$ . הדבר נכון לכל $\varepsilon>0$ , לכן $\lim_{\Delta x\to0}\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)=0$ ז"א $A'(x_0)$ קיים ושווה ל- $f(x_0)$ . $\blacksquare$
נתון ש-f רציפה בכל $[a,b]$ . לפי החלק הקודם $\forall x\in[a,b]:\ A'(x)=f(x)$ , כלומר A קדומה ל-f ב- $[a,b]$ . קיים קבוע c כך ש- $F(x)=A(x)+c$ לכל $x\in[a,b]$ . מכאן ש- $F(b)-F(a)=A(b)+c-\Big(A(a)+c\Big)=A(b)-A(a)=\int\limits_a^b f-\int\limits_a^a f=\int\limits_a^b f$ . $\blacksquare$

מסקנה

אם f רציפה בקטע $[a,b]$ אז קיימת לה פונקצייה קדומה ב- $[a,b]$ .

הוכחה

כיוון ש-f רציפה בקטע $[a,b]$ כולו $A(x)=\int\limits_a^x f$ קדומה ל-f ב- $[a,b]$ .

דוגמאות

$f(x)=e^{x^2}$ . זו פונקציה אלמנטרית ומוגדרת בכל $\mathbb R$ , ולכן רציפה שם. לפי המסקנה יש לה פונקציה קדומה. זו דוגמה קלאסית לפונקציה אלמנטרית שהפונקציה הקדומה שלה לא אלמנטרית.
$e^{x^n}$ כאשר $1<n\in\mathbb N$
$\frac{\sin(x)}x$
$\sin(x^n)$
$\cos(x^n)$

תרגילים לחידוד

נגדיר $F(x)=\int\limits_2^x e^{t^3}\mathrm dt$ . נמצא את $F'(x)$ : לפי חלק א של משפט 12 מתקיים $F'(x)=e^{x^3}$ . $\blacksquare$
נגדיר $G(x)=\int\limits_{x^2}^{\sin(x)} e^{t^3}\mathrm dt$ . נמצא את $G'(x)$ : נגדיר $F(x)=\int\limits_0^x e^{t^3}\mathrm dt$ ולכן $F'(x)=e^{x^3}$ . לפי זה $G(x)=F(\sin(x))-F(x^2)$ ולפיכך, ע"פ כלל השרשרת, $G'(x)=F'(\sin(x))\cos(x)-F'(x^2)\cdot2x=e^{\sin^3(x)}\cos(x)-2xe^{x^6}$ . $\blacksquare$

הגדרה: עבור $f(x)\ge0$ רציפה ב- $[a,b]$ נגדיר את השטח שמתחת לגרף של f ע"י $\int\limits_a^b f$ . לפי זה, אם $f(x)\le0$ ב- $[a,b]$ אז $\int\limits_a^b f$ = מספר שלילי או 0 שהוא "מינוס השטח שמעל הגרף". אם f מחליפה סימן אז $\int\limits_a^b f$ = השטח מעל ציר ה-x פחות השטח מתחת לציר ה-x ולכן $\int\limits_a^b |f|$ = השטח בין הגרף לציר ה-x.

דוגמת חישוב

בגרף שמשמאל ברור שהשטח בין הגרפים הוא $\int\limits_a^b f-g$ , ובנימוק פשוט זה נכון בכל מקרה ש- $f(x)\ge g(x)$ ב- $[a,b]$ .

למשל, נחשב את השטח שבין הגרפים $y=\sin(x)$ ו- $y=\cos(x)$ בקטע $\left[0,\tfrac\pi2\right]$ :

בקטע

\left[0,\tfrac\pi4\right]

מתקיים

\cos(x)\ge\sin(x)

ובקטע

\left[\tfrac\pi4,\tfrac\pi2\right]

מתקיים

\cos(x)\le\sin(x)

. לכן השטח הוא

\begin{align}\int\limits_0^\frac\pi2 |\cos(x)-\sin(x)|\mathrm dx&=\int\limits_0^\frac\pi4 \Big(\cos(x)-\sin(x)\Big)\mathrm dx+\int\limits_\frac\pi4^\frac\pi2 \Big(\sin(x)-\cos(x)\Big)\mathrm dx\\&=\left([\sin(x)+\cos(x)]_{x=0}^\frac\pi4\right)+\left([-\sin(x)-\cos(x)]_{x=\frac\pi4}^\frac\pi2\right)\\&=\left(\frac\sqrt22+\frac\sqrt22-(0+1)\right)+\left(-1-0+\frac\sqrt22+\frac\sqrt22\right)\\&=2\sqrt2-2\end{align}

$\blacksquare$

@@ שורה 10: / שורה 10: @@
 ===הוכחה===
-# כיוון ש-f אינטגרבילית ב-<math>[a,b]</math> משפט 9 נותן שלכל <math>x\in[a,b]</math> f אינטגרבילית בקטע <math>[a,x_0]</math> ולכן <math>A(x)=\int\limits_a^x f</math> מוגדרת היטב. נוכיח ש-A רציפה ע"י זה שהיא מקיימת את תנאי ליפשיץ. ובכן f אינטגרבילית ובפרט היא חסומה: <math>|f(x)|\le M</math> לכל <math>x\in[a,b]</math>. כעת אם <math>x,y\in[a,b]</math> אז <math>|A(y)-A(x)|=\left|\int\limits_a^y f-\int\limits_a^x f\right|=\left|\int\limits_x^y f\right|\le M|y-x|</math> ונובע ש-A רציפה. כעת נניח ש-f רציפה בנקודה <math>x_0\in[a,b]</math>. ר"ל A גזירה שם. ובכן <math>A(x_0+\Delta x)-A(x_0)=\int\limits_a^{x_0+\Delta x} f-\int\limits_a^{x_0} f=\int\limits_{x_0}^{x_0+\Delta x} f</math> ולכן <math>\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}f</math>. נעיר ש-<math>\int\limits_{x_0}^{x_0+\Delta x} f(x_0)=f(x_0)\Delta x</math> (כי <math>f(x_0)</math> פונקציה קבועה). לכן <math>f(x_0)=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}f(x_0)</math>. מכאן ש-<math>\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}\Big(f(t)-f(x_0)\Big)\mathrm dt</math>. נותר להוכיח שכאשר <math>\Delta x\to0</math> אגף ימין (ולכן אגף שמאל) שואף ל-0. לצורך זה יהי <math>\varepsilon>0</math> נתון. כיוון ש-f רציפה ב-<math>x_0</math> קיים <math>\delta>0</math> כך שאם <math>|t-x_0|<\delta</math> אז <math>|f(t)-f(x_0)|<\varepsilon</math>. כעת נניח ש-<math>|\Delta x|<\delta</math>. אם כן האינטגרל באגף ימין הוא על קטע בין <math>x_0</math> ל-<math>x_0+\Delta x</math> ולכן כל t בקטע זה מקיים <math>|t-x_0|<\Delta x</math>. נובע שלכל t בקטע <math>|f(t)-f(x_0)|<\varepsilon</math>. יוצא שאם <math>|\Delta x|\le\delta</math> אז <math>\left|\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)\right|=\left|\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}(f(t)-f(x_0))\mathrm dt\right|<\frac1{|\Delta x|}|\Delta x|\varepsilon</math>. הדבר אפשרי לכל <math>\varepsilon>0</math>, לכן <math>\lim_{\Delta x\to0}\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)=0</math> ז"א <math>A'(x_0)</math> קיים ושווה ל-<math>f(x_0)</math>. {{משל}}
+# כיוון ש-f אינטגרבילית ב-<math>[a,b]</math> משפט 9 נותן שלכל <math>x\in[a,b]</math> f אינטגרבילית בקטע <math>[a,x_0]</math> ולכן <math>A(x)=\int\limits_a^x f</math> מוגדרת היטב. נוכיח ש-A רציפה ע"י זה שהיא מקיימת את תנאי ליפשיץ. ובכן f אינטגרבילית ובפרט היא חסומה: <math>|f(x)|\le M</math> לכל <math>x\in[a,b]</math>. כעת אם <math>x,y\in[a,b]</math> אז <math>|A(y)-A(x)|=\left|\int\limits_a^y f-\int\limits_a^x f\right|=\left|\int\limits_x^y f\right|\le M|y-x|</math> ונובע ש-A רציפה. כעת נניח ש-f רציפה בנקודה <math>x_0\in[a,b]</math>. ר"ל A גזירה שם. ובכן <math>A(x_0+\Delta x)-A(x_0)=\int\limits_a^{x_0+\Delta x} f-\int\limits_a^{x_0} f=\int\limits_{x_0}^{x_0+\Delta x} f</math> ולכן <math>\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}f</math>. נעיר ש-<math>\int\limits_{x_0}^{x_0+\Delta x} f(x_0)=f(x_0)\Delta x</math> (כי <math>f(x_0)</math> פונקציה קבועה). לכן <math>f(x_0)=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}f(x_0)</math>. מכאן ש-<math>\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)=\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}\Big(f(t)-f(x_0)\Big)\mathrm dt</math>. נותר להוכיח שכאשר <math>\Delta x\to0</math> אגף ימין (ולכן אגף שמאל) שואף ל-0. לצורך זה יהי <math>\varepsilon>0</math> נתון. כיוון ש-f רציפה ב-<math>x_0</math> קיים <math>\delta>0</math> כך שאם <math>|t-x_0|<\delta</math> אז <math>|f(t)-f(x_0)|<\varepsilon</math>. כעת נניח ש-<math>|\Delta x|<\delta</math>. אם כן האינטגרל באגף ימין הוא על קטע בין <math>x_0</math> ל-<math>x_0+\Delta x</math> ולכן כל t בקטע זה מקיים <math>|t-x_0|<\Delta x</math>. נובע שלכל t בקטע <math>|f(t)-f(x_0)|<\varepsilon</math>. יוצא שאם <math>|\Delta x|\le\delta</math> אז <math>\left|\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)\right|=\left|\frac1{\Delta x}\int\limits_{x_0}^{x_0+\Delta x}(f(t)-f(x_0))\mathrm dt\right|<\frac{|\Delta x|\varepsilon}{|\Delta x|}</math>. הדבר נכון לכל <math>\varepsilon>0</math>, לכן <math>\lim_{\Delta x\to0}\frac{A(x_0+\Delta x)-A(x_0)}{\Delta x}-f(x_0)=0</math> ז"א <math>A'(x_0)</math> קיים ושווה ל-<math>f(x_0)</math>. {{משל}}
 # נתון ש-f רציפה בכל <math>[a,b]</math>. לפי החלק הקודם <math>\forall x\in[a,b]:\ A'(x)=f(x)</math>, כלומר A קדומה ל-f ב-<math>[a,b]</math>. קיים קבוע c כך ש-<math>F(x)=A(x)+c</math> לכל <math>x\in[a,b]</math>. מכאן ש-<math>F(b)-F(a)=A(b)+c-\Big(A(a)+c\Big)=A(b)-A(a)=\int\limits_a^b f-\int\limits_a^a f=\int\limits_a^b f</math>. {{משל}}
@@ שורה 16: / שורה 16: @@
 אם f רציפה בקטע <math>[a,b]</math> אז קיימת לה פונקצייה קדומה ב-<math>[a,b]</math>.
 ====הוכחה====
-כיוון ש-f רציפה בקטע <math>[a,b]</math> כולו מתקיים <math>A(x)=\int\limits_a^x f</math> קדומה ל-f ב-<math>[a,b]</math>.
+כיוון ש-f רציפה בקטע <math>[a,b]</math> כולו <math>A(x)=\int\limits_a^x f</math> קדומה ל-f ב-<math>[a,b]</math>.
 ====דוגמאות====
 * <math>f(x)=e^{x^2}</math>. זו פונקציה אלמנטרית ומוגדרת בכל <math>\mathbb R</math>, ולכן רציפה שם. לפי המסקנה יש לה פונקציה קדומה. זו דוגמה קלאסית לפונקציה אלמנטרית שהפונקציה הקדומה שלה לא אלמנטרית.
@@ שורה 31: / שורה 31: @@
-גרף (1)
+'''הגדרה:''' עבור <math>f(x)\ge0</math> רציפה ב-<math>[a,b]</math> נגדיר את השטח שמתחת לגרף של f ע"י <math>\int\limits_a^b f</math>. לפי זה, אם <math>f(x)\le0</math> ב-<math>[a,b]</math> אז <math>\int\limits_a^b f</math> = מספר שלילי או 0 שהוא "מינוס השטח שמעל הגרף". אם f מחליפה סימן אז <math>\int\limits_a^b f</math> =  השטח מעל ציר ה-x פחות השטח מתחת לציר ה-x ולכן <math>\int\limits_a^b |f|</math> = השטח בין הגרף לציר ה-x.
-'''הגדרה:''' עבור <math>f(x)\ge0</math> רציפה ב-<math>[a,b]</math> נגדיר את השטח שמתחת לגרף של f ע"י <math>\int\limits_a^b f</math>. לפי זה, אם <math>f(x)\le0</math> ב-<math>[a,b]</math> אז <math>\int\limits_a^b f</math> = מספר שלילי או 0 שהוא "מינוס השטח שמעל הגרף" (גרף (2)). אם f מחליפה סימן (גרף (3)) אז <math>\int\limits_a^b f</math> =  השטח מעל ציר ה-x פחות השטח מתחת לצייר ה-x ולכן <math>\int\limits_a^b |f|</math> = השטח בין הגרף לציר ה-x.
 ===דוגמת חישוב===
-גרף (4)
+[[קובץ:שטח בין גרפים.png|200px|ימין]]
-כאן ברור שהשטח בין הגרפים הוא <math>\int\limits_a^b f-g</math>, ובנימוק פשוט זה נכון בכל מקרה ש-<math>f(x)\ge g(x)</math> ב-<math>[a,b]</math>.
-למשל, נחשב את השטח שבין הגרפים <math>y=\sin(x)</math> ו-<math>y=\cos(x)</math> בקטע <math>\left[0,\tfrac\pi2\right]</math>
+בגרף שמשמאל ברור שהשטח בין הגרפים הוא <math>\int\limits_a^b f-g</math>, ובנימוק פשוט זה נכון בכל מקרה ש-<math>f(x)\ge g(x)</math> ב-<math>[a,b]</math>.
-גרף (5)
+למשל, נחשב את השטח שבין הגרפים <math>y=\sin(x)</math> ו-<math>y=\cos(x)</math> בקטע <math>\left[0,\tfrac\pi2\right]</math>:
+<div align="center">[[קובץ:שטח בין סינוס לקוסינוס.png|400px]]</div>
 בקטע <math>\left[0,\tfrac\pi4\right]</math> מתקיים <math>\cos(x)\ge\sin(x)</math> ובקטע <math>\left[\tfrac\pi4,\tfrac\pi2\right]</math> מתקיים <math>\cos(x)\le\sin(x)</math>. לכן השטח הוא {{left|<math>\begin{align}\int\limits_0^\frac\pi2 |\cos(x)-\sin(x)|\mathrm dx&=\int\limits_0^\frac\pi4 \Big(\cos(x)-\sin(x)\Big)\mathrm dx+\int\limits_\frac\pi4^\frac\pi2 \Big(\sin(x)-\cos(x)\Big)\mathrm dx\\&=\left([\sin(x)+\cos(x)]_{x=0}^\frac\pi4\right)+\left([-\sin(x)-\cos(x)]_{x=\frac\pi4}^\frac\pi2\right)\\&=\left(\frac\sqrt22+\frac\sqrt22-(0+1)\right)+\left(-1-0+\frac\sqrt22+\frac\sqrt22\right)\\&=2\sqrt2-2\end{align}</math>}}
 {{משל}}

הבדלים בין גרסאות בדף "משתמש:אור שחף/133 - הרצאה/1.3.11"

גרסה מ־12:13, 11 ביולי 2011

תוכן עניינים

האינטגרל לפי רימן (המשך)

משפט 12 (המשפט היסודי של חשבון אינטגרלי)

הוכחה

מסקנה

הוכחה

דוגמאות

תרגילים לחידוד

דוגמת חישוב

תפריט הניווט

כלים אישיים

גרסאות שפה

מרחבי שם

חיפוש

עוד

צפיות

ניווט

כלים