הצגת המקור של הדף "משפט לגראנז' (אינפי)"

==משפט לגראנז'==
תהי <math>f</math> פונקציה רציפה בקטע <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>\big(a,f(a)\big)\ ,\ \big(b,f(b)\big)</math>:

:<math>y-f(a)=\frac{f(b)-f(a)}{b-a}\cdot (x-a)</math>
נחסיר את משוואת הישר הזה מהפונקציה המקורית, ונוכל להפעיל את משפט רול על מנת לקבל את התוצאה הרצויה.
:<math>g(x)=f(x)-\frac{f(b)-f(a)}{b-a}\cdot (x-a)-f(a)</math>

קל לראות כי <math>g(a)=g(b)=0</math> ו- <math>g</math> מקיימת את שאר תנאי משפט רול. לכן קיימת נקודה <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>

כפי שרצינו. <math>\blacksquare</math>

==ראו גם== 
*[[משפט פרמה (אינפי)|משפט פרמה]]
*[[משפט רול]]

[[קטגוריה:אינפי]]