Difference between revisions of "Lagrange's Mean Value Theorem"

m
Line 1: Line 1:
'''Lagrange's mean value theorem''' or LMVT is considered one of the most important results in real analysis. An elegant proof of the [[Fundamental Theorem of Calculus]] can be given using LMVT.  
+
'''Lagrange's mean value theorem''' (often called "the mean value theorem," and abbrviated MVT or LMVT) is considered one of the most important results in [[real analysis]]. An elegant proof of the [[Fundamental Theorem of Calculus]] can be given using LMVT.  
  
 
==Statement==
 
==Statement==
Let <math>f:[a,b]\rightarrow\mathbb{R}</math>
+
Let <math>f:[a,b]\rightarrow\mathbb{R}</math> be a [[continuous function]], [[differentiable]] on the [[open interval]] <math>(a,b)</math>.  Then there is some <math>c\in (a,b)</math> such that <math>f'(c)=\frac{f(b)-f(a)}{b-a}</math>.
  
Let <math>f</math> be continous on <math>[a,b]</math> and differentiable on <math>(a,b)</math>.
+
Informally, this says that a differentiable function must at some point grow with instantaneous velocity equal to its average velocity over an interval.
 
 
Then <math>\exists</math> <math>c\in (a,b)</math> such that <math>f'(c)=\frac{f(b)-f(a)}{b-a}</math>
 
  
 
==Proof==
 
==Proof==

Revision as of 16:41, 15 February 2008

Lagrange's mean value theorem (often called "the mean value theorem," and abbrviated MVT or LMVT) is considered one of the most important results in real analysis. An elegant proof of the Fundamental Theorem of Calculus can be given using LMVT.

Statement

Let $f:[a,b]\rightarrow\mathbb{R}$ be a continuous function, differentiable on the open interval $(a,b)$. Then there is some $c\in (a,b)$ such that $f'(c)=\frac{f(b)-f(a)}{b-a}$.

Informally, this says that a differentiable function must at some point grow with instantaneous velocity equal to its average velocity over an interval.

Proof

We reduce the problem to the Rolle's theorem by using an 'auxillary function'.

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

note that $g(a)=g(b)=f(a)$

By Rolle's theorem, $\exists\; c\in (a,b)$ such that $g'(c)=0$

i.e. $f'(c)-\frac{f(b)-f(a)}{b-a}=0$

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

QED

See Also