הצגת המקור של הדף "משפט הערך הממוצע של לגראנז'"

{{מפנה|משפט הערך הממוצע}}
[[קובץ:Mv4_he.svg|שמאל|ממוזער|250px|המחשה של המשפט: הקו הירוק, שהוא המשיק לגרף בנקודה c, מקביל לקו הכתום, המחבר את קצות גרף הפונקציה בקטע [a,b]]]
[[קובץ:Beijing-Mean-Value-Theorem-3733.jpg|שמאל|ממוזער|250px|שלט בחוצות [[בייג'ינג]] המציג את משפט הערך הממוצע של לגראנז']]
'''משפט הערך הממוצע של [[ז'וזף-לואי לגראנז'|לגראנז']]''' הוא משפט ב[[חשבון אינפיניטסימלי]] העוסק ב[[משיק]] לגרף של [[פונקציה]] [[רציפות|רציפה]] ב[[קטע סגור]]. לפי המשפט, אם הפונקציה [[פונקציה גזירה|גזירה]] בכל הנקודות הפנימיות בקטע, אז יש נקודה שבה המשיק מקביל לקו המחבר את קצות ה[[גרף של פונקציה|גרף של הפונקציה]]. משפט זה מהווה הרחבה פשוטה יחסית של [[משפט רול]], שבו מניחים ששני הערכים שהפונקציה מקבלת בקצות הקטע שווים זה לזה. ההנחה על קיום הנגזרת חיונית: אם הפונקציה אינה גזירה בכל הקטע הפתוח, ואפילו רק בנקודה אחת, ייתכן שהמשיק המבוקש אינו קיים. אחד השימושים החשובים של המשפט הוא בהערכת השגיאה כאשר מקרבים פונקציה בעזרת [[טור חזקות]].

בניסוח אחר, המשפט מתייחס להשתנות של הפונקציה בין נקודות הקצה של הקטע - ומראה שתמיד קיימת נקודה שהשינוי ה'''רגעי''' בה שווה לשעור ההשתנות ה[[ממוצע]]. לדוגמה, אם מכונית עוברת מרחק של 100 קילומטר בשעתיים, בהכרח היה רגע במהלך הנסיעה שבו מהירותה הייתה בדיוק 50 קמ"ש (וזאת כמובן בהנחה שפונקציית המרחק שהמכונית עוברת רציפה וגזירה - כלומר שלמכונית יש מהירות בכל רגע נתון).

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

==המשפט והוכחתו==
'''משפט הערך הממוצע''': תהי <math>\ f</math> פונקציה רציפה בקטע הסגור <math>\left[a,b\right]</math> וגזירה בקטע הפתוח <math>\left(a,b\right)</math>. אז קיימת נקודה <math>c\isin (a,b)</math> שעבורה <math>f'(c)=\frac{f(b)-f(a)}{b-a}</math>.

'''הוכחה''': תהא <math>\ k(x)=f(a)+\frac{f(b)-f(a)}{b-a}(x-a)</math> נוסחת הקו הישר שעובר דרך הנקודות <math>\ (a,f(a))</math> ו-<math>\ (b,f(b))</math>. זוהי פונקציה רציפה וגזירה בכל מקום, שנגזרתה קבועה, <math>k'(x)=\frac{f(b)-f(a)}{b-a}\,</math>.

אנו מעוניינים להראות כי הנגזרת של <math>\ f</math> שווה, בנקודה מתאימה, לשיפוע של הישר המיוצג על ידי <math>k</math>, כלומר ל-<math>k'</math>. לשם כך נשתמש ב[[משפט רול]] על פונקציה חדשה, שהיא ההפרש בין <math>\ f</math> ו-<math>k</math>. הסיבה לכך היא שאנו מעוניינים להוכיח שקיימת נקודה שבה שתי הנגזרות שוות זו לזו, כלומר, נגזרת ההפרש היא 0.

נגדיר את פונקציית ההפרש <math>h(x)=f(x)-k(x)</math>. זוהי פונקציה רציפה ב-<math>\ [a,b]</math> (כהפרש של פונקציות רציפות), גזירה ב-<math>\ (a,b)</math> (כהפרש של פונקציות גזירות), ומקיימת <math>\ h(a)=h(b)=0</math> (זאת משום ש-<math>\ h(a)=f(a)-k(a)=0 </math> ובדומה גם לגבי הנקודה <math>\ b</math>). לכן, מ[[משפט רול]] נובע כי קיימת נקודה <math>\ c\in(a,b)</math> כך ש-<math>\ h'(c)=0</math>.

אבל <math>\ h'(c)=f'(c)-k'(c)</math>, כלומר:

<math>f'(c)=\frac{f(b)-f(a)}{b-a} \Leftarrow f'(c)-\frac{f(b)-f(a)}{b-a}=0 \Leftarrow f'(c)-k'(c)=0</math>.

==גרסה אינטגרלית==
למשפט הערך הממוצע לנגזרת יש גרסה מקבילה ל[[אינטגרל]]. המשפט קובע כי לכל פונקציה רציפה <math>\ f</math> בקטע <math>\ [a,b]</math> קיים <math>c\isin (a,b)</math> כך שמתקיים: <math>\ \int_a^b f(x) \, dx=\ f(c)(b - a)</math>. המשמעות הגאומטרית לפונקציה אי-שלילית היא שקיימת נקודה <math>\ f(c)</math> על הגרף של <math>\ f</math> כך שהשטח מתחת לגרף של <math>\ f</math> שווה לשטח המלבן שאורכו אורך הקטע <math>\ [a,b]</math> וגובהו כגובה הנקודה <math>\ f(c)</math>.

'''הוכחה''': תהי <math>F</math> [[פונקציה קדומה]] של <math>f</math>. על פי הגרסה הרגילה של משפט הערך הממוצע, נקבל שקיימת נקודה c כך ש-<math>F'(c)=f(c)=\frac{F(b)-F(a)}{b-a}</math>. על פי [[המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי]], נקבל <math>f(c)(b-a)=\int^b_af(x)dx</math>.

==הערות==
* ממשפט הערך הממוצע נובע שאם פונקציה גזירה בקטע פתוח והנגזרת שלה זהותית אפס בו, אז הפונקציה בהכרח קבועה.
* [[משפט הערך הממוצע של קושי]] הוא הכללה של משפט הערך הממוצע של לגראנז'.
* ממשפט הערך הממוצע ניתן לקבל את [[שארית לגראנז']] של [[טור טיילור|פיתוח טיילור]].
* ממשפט הערך הממוצע נובע כי פונקציה גזירה בעלת נגזרת חסומה מקיימת את [[תנאי ליפשיץ]] (ולכן [[פונקציה רציפה במידה שווה|רציפה במידה שווה]]).

{{אנליזה מתמטית}}

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}
* {{אנציקלופדיה למתמטיקה|Finite-increments_formula|משפט הערך הממוצע של לגראנז׳}}
* {{בריטניקה}}
* {{לא מדויק|2019/06/17/lagrange_mean_value_theorem|משפט הערך הממוצע של לגראנז'}}	

{{בקרת זהויות}}

[[קטגוריה:משפטים באנליזה|לגראנז']]