Mean Value Theorem
Mean Value Theorem
Introduction
Mean value theorem is one of the most important results in differential calculus,
as well as one of the most important theorems in mathematical analysis, and is
useful in proving the fundamental theorem of calculus. The mean value theorem
follows from the more specific statement of Rolle's theorem, and can be used to
prove the more general statement of Taylor's theorem. A special case of this
theorem was first described by Parameshvara (13701460) from the Kerala
school of astronomy and mathematics. The mean value theorem in its modern
form was later stated by Augustin Louis Cauchy (17891857) and Lagrange.
In general, the mean value theorem states that for a given planar arc, between
its two endpoints, there is at least one point at which the tangent to the arc is
parallel to the secant through its endpoints (as shown in figure).
Figure 1
Mean value theorem can be stated in two different ways:
1. Lagranges Mean Value Theorem
2. Cauchys Mean Value Theorem
.
Here h(x) is continuous on [a,b] , differentiable on (a,b), and
h(a)=0, h(b)=0, i.e. h(a)=h(b).
Hence by Rolles Theorem, h(c)=0 for some c in (a,b), i.e.
Hence Proved.
Applications
1. Following theorems are the consequence of M.V.T.
(i) Let f be differential on (a,b). If f(x) = 0 for all x in (a,b), then
f is constant on (a,b).
(ii) Let f and g be differential on (a,b). If g(x) = f(x) for all x in (a,b),
then exists a real constant C such that
g(x) = f(x) + C for all x in (a,b).
(iii) Let f be continuous on [a,b] and differentiable on (a,b).
If m, M belonging to R are such that f(x)
2. It is used to prove inequalities and approximating the square root of a natural number.
3. It is very useful in determining the monotonocity of a function, i.e. whether a is increasing
or decreasing.
4. It can be used to prove lHopitals Rule.
Proof:
Case I: If g(a) = g(b), we apply Rolle's Theorem to g(x) to get a point c in (a,b) such that
g(c)=0. Then
[f(b) f(a)]g(c) = f(c)[g(b) g(a)]
Case II: In the case g(a) is not equal to g(b), so we define h: [a,b]->R by