הבדלים בין גרסאות בדף "המשפט היסודי של החשבון האינטגרלי"
לב זלוטניק (שיחה | תרומות) (←סעיף א') |
לב זלוטניק (שיחה | תרומות) (←סעיף ב') |
||
שורה 46: | שורה 46: | ||
יהי <math>\epsilon >0</math>. אזי קיים <math>\delta >0</math> כך שאם <math>|\Delta x|< \delta</math> | יהי <math>\epsilon >0</math>. אזי קיים <math>\delta >0</math> כך שאם <math>|\Delta x|< \delta</math> | ||
אז <math>|\frac{1}{\Delta x} \int_{x_{0}}^{x_{0}+\Delta x}[f(t)-f(x_{0})]dt|< \epsilon</math> | אז <math>|\frac{1}{\Delta x} \int_{x_{0}}^{x_{0}+\Delta x}[f(t)-f(x_{0})]dt|< \epsilon</math> | ||
+ | |||
+ | כיוון שהפונקציה חסומה ואינטגרבילית, נסמן את החסם העליון M ונגיד לכן: | ||
+ | |||
+ | <math>|\frac{1}{\Delta x} \int_{x_{0}}^{x_{0}+\Delta x}[f(t)-f(x_{0})]dt|<M |\Delta x| \frac{1}{|\Delta x|}=M</math> | ||
+ | |||
+ | ולכן הגבול אכן שואף ל-0, מה שמעיד על כך שאגף ימין שואף ל-<math>f(x_{0})</math>, ולכן, אגף שמאל גם שואף ל-<math>f(x_{0})</math>, מכאן נובע <math>A'(x_{0})=f(x_{0})</math>. | ||
+ | |||
+ | <math>\blacksquare</math> |
גרסה מ־11:57, 28 במרץ 2012
תוכן עניינים
המשפט
תהי מוגדרת, חסומה ואינטגרבילית ב-
. נגדיר גם:
. אזי מתקיים:
א) רציפה.
ב)לכל שבו
רציפה,
גזירה ו-
.
ג) אם רציפה בכל
, ו-F פונקציה קדומה של f, מתקיימת נוסחת ניוטון-לייבניץ:
.
הוכחה
סעיף א'
נקח כלשהו ו-
"קטן" כך ש-
. לפי הגדרה:
ולכן
.
נתון ש-f חסומה, נגיד
.
לכן מתקיים .
כעת נשאיף את , אגף ימין שואף ל-0 .
לכן:
ומכך נובע ש:
ולכן מתקיים תנאי הרציפות,
.
סעיף ב'
כאן מניחים ש- רציפה בנקודה
כלשהי. אנחנו צריכים להוכיח כי
קיימת ושווה ל-
. נחזור לפונקציה
.
בעצם, אנחנו צריכים להוכיח כאן שכאשר
, מתקיים בהכרח:
טענה נוכיח כי
.
נעיר קודם כל כי מתקיים:
ולכן
.
כעת נראה כי הביטוי מתאפס:
יהי . אזי קיים
כך שאם
אז
כיוון שהפונקציה חסומה ואינטגרבילית, נסמן את החסם העליון M ונגיד לכן:
ולכן הגבול אכן שואף ל-0, מה שמעיד על כך שאגף ימין שואף ל-, ולכן, אגף שמאל גם שואף ל-
, מכאן נובע
.