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

משפט לגראנז'

תהי f רציפה בקטע $[a,b]$ וגזירה בקטע $(a,b)$.

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

הוכחה

נחשב את משוואת הישר העובר בין הנקודות $(a,f(a)),(b,f(b))$:

$y-f(a)=\frac{f(b)-f(a)}{b-a}(x-a)$

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

$g(x)=f(x)-\frac{f(b)-f(a)}{b-a}(x-a)-f(a)$

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

$0=g'(c)=f'(c)-\frac{f(b)-f(a)}{b-a}$

כלומר

$f'(c)=\frac{f(b)-f(a)}{b-a}$

כפי שרצינו.

ראו גם

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