משפט לגראנז' (אינפי)

משפט לגראנז'

תהי [math]\displaystyle{ f }[/math] פונקציה רציפה בקטע [math]\displaystyle{ [a,b] }[/math] וגזירה בקטע [math]\displaystyle{ (a,b) }[/math] .

אזי קיימת נקודה [math]\displaystyle{ c\in (a,b) }[/math] עבורה מתקיים [math]\displaystyle{ f'(c)=\frac{f(b)-f(a)}{b-a} }[/math] .

הוכחה

נחשב את משוואת הישר העובר בין הנקודות [math]\displaystyle{ \big(a,f(a)\big)\ ,\ \big(b,f(b)\big) }[/math]:

[math]\displaystyle{ y-f(a)=\frac{f(b)-f(a)}{b-a}\cdot (x-a) }[/math]

נחסיר את משוואת הישר הזה מהפונקציה המקורית, ונוכל להפעיל את משפט רול על מנת לקבל את התוצאה הרצויה.

[math]\displaystyle{ g(x)=f(x)-\frac{f(b)-f(a)}{b-a}\cdot (x-a)-f(a) }[/math]

קל לראות כי [math]\displaystyle{ g(a)=g(b)=0 }[/math] ו- [math]\displaystyle{ g }[/math] מקיימת את שאר תנאי משפט רול. לכן קיימת נקודה [math]\displaystyle{ c\in (a,b) }[/math] עבורה מתקיים [math]\displaystyle{ g'(c)=0 }[/math]. אבל:

[math]\displaystyle{ 0=g'(c)=f'(c)-\frac{f(b)-f(a)}{b-a} }[/math]

כלומר

[math]\displaystyle{ f'(c)=\frac{f(b)-f(a)}{b-a} }[/math]

כפי שרצינו. [math]\displaystyle{ \blacksquare }[/math]

ראו גם

• משפט פרמה
• משפט רול