שינויים

==* [[משפט רול==]] תהי f רציפה בקטע <math>* [[a,b]</math> וגזירה בקטע <math>(a,b)</math> כך ש <math>f(a)=f(b)</math>. אזי קיימת נקודה <math>c\in (a,b)</math> עבורה מתקיים <math>fמשפט לגרנאז'(cאינפי)=0</math>  ===הוכחה===נוכיח כי קיימת נקודת קיצון מקומית <math>c\in (a,b)</math> ולכן המשל נובע ממשפט פרמה. לפי משפט ויישטראס השני, כיוון שהפונקציה רציפה בקטע סגור היא מקבלת בו מינימום ומקסימום. נניח בשלילה שגם המינימום וגם המקסימום מתקבלים בקצות הקטע a,b. על כן, כיוון ש<math>f(a)=f(b)</math> אנו מקבלים כי המקסימום והמינימום שווים ולכן הפונקציה קבועה בקטע. לכן כל נקודה בקטע היא נקודת קיצון מקומית, וקיבלנו את התוצאה הדרושה. אחרת, המינימום או המקסימום מתקבלים בקטע הפתוח <math>(a,b)</math> ולכן הן נקודות קיצון מקומיות, ושוב קיבלנו את התוצאה הדרושה.  ==|משפט לגראנזלגרנאז'==תהי f רציפה בקטע <math>[a,b]</math> וגזירה בקטע <math>(a,b)</math>. אזי קיימת נקודה <math>c\in (a,b)</math> עבורה מתקיים <math>f'(c)=\frac{f(b)-f(a)}{b-a}</math>  ===הוכחה=== נחשב את משוואת הישר העובר בין הנקודות <math>(a,f(a)),(b,f(b))</math>: ::<math>y-f(a)=\frac{f(b)-f(a)}{b-a}(x-a)</math> נחסיר את משוואת הישר הזה מהפונקציה המקורית, ונוכל להפעיל את משפט רול על מנת לקבל את התוצאה הרצוייה.  ::<math>g(x)=f(x)-\frac{f(b)-f(a)}{b-a}(x-a)-f(a)</math>  קל לראות כי <math>g(a)=g(b)=0</math> ו-g מקיימת את שאר תנאיי משפט רול. לכן קיימת נקודה <math>c\in (a,b)</math> עבורה מתקיים <math>g'(c)=0</math>. אבל:  ::<math>0=g'(c)=f'(c)-\frac{f(b)-f(a)}{b-a}</math> כלומר ::<math>f'(c)=\frac{f(b)-f(a)}{b-a}</math> כפי שרצינו.]