Calculus

Applications of the Derivative

Applications of Derivative Logo

Lagrange’s Mean Value Theorem

The Mean Value Theorem (MVT)

Lagrange's mean value theorem (MVT) states that if a function f (x) is continuous on a closed interval [a, ] and differentiable on the open interval (a, b), then there is at least one point x = c on this interval, such that

\[f\left( b \right) - f\left( a \right) = f'\left( c \right)\left( {b - a} \right).\]

This theorem (also known as First Mean Value Theorem) allows to express the increment of a function on an interval through the value of the derivative at an intermediate point of the segment.

Proof.

Consider the auxiliary function

\[F\left( x \right) = f\left( x \right) + \lambda x.\]

We choose a number \(\lambda\) such that the condition \(F\left( a \right) = F\left( b \right)\) is satisfied. Then

\[f\left( a \right) + \lambda a = f\left( b \right) + \lambda b,\;\; \Rightarrow f\left( b \right) - f\left( a \right) = \lambda \left( {a - b} \right),\;\; \Rightarrow \lambda = - \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}}.\]

As a result, we have

\[F\left( x \right) = f\left( x \right) - \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}}x.\]

The function \(F\left( x \right)\) is continuous on the closed interval \(\left[ {a,b} \right],\) differentiable on the open interval \(\left( {a,b} \right)\) and takes equal values at the endpoints of the interval. Therefore, it satisfies all the conditions of Rolle's theorem. Then there is a point \(c\) in the interval \(\left( {a,b} \right)\) such that

\[F'\left( c \right) = 0.\]

It follows that

\[f'\left( c \right) - \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}} = 0\]

or

\[f\left( b \right) - f\left( a \right) = f'\left( c \right)\left( {b - a} \right).\]
French mathematician Joseph-Louis Lagrange
Fig.1 Joseph-Louis Lagrange (1736-1813)

Geometric interpretation

Lagrange's mean value theorem has a simple geometrical meaning. The chord passing through the points of the graph corresponding to the ends of the segment \(a\) and \(b\) has the slope equal to

\[k = \tan \alpha = \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}}.\]

Then there is a point \(x = c\) inside the interval \(\left[ {a,b} \right],\) where the tangent to the graph is parallel to the chord (Figure \(2\)).

Geometrical meaning of Lagrange's mean value theorem
Figure 2.

Physical interpretation

The mean value theorem has also a clear physical interpretation. If we assume that \(f\left( t \right)\) represents the position of a body moving along a line, depending on the time \(t,\) then the ratio of

\[\frac{{f\left( b \right) - f\left( a \right)}}{{b - a}}\]

is the average velocity of the body in the period of time \(b - a.\) Since \(f'\left( t \right)\) is the instantaneous velocity, this theorem means that there exists a moment of time \(c,\) in which the instantaneous speed is equal to the average speed.

Lagrange's mean value theorem has many applications in mathematical analysis, computational mathematics and other fields. Let us further note two remarkable corollaries.

Corollary 1

In a particular case when the values of the function \(f\left( x \right)\) at the endpoints of the segment \(\left[ {a,b} \right]\) are equal, i.e. \(f\left( a \right) = f\left( b \right),\) the mean value theorem implies that there is a point \(c \in \left( {a,b} \right)\) such that

\[f'\left( c \right) = \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}} = 0,\]

that is, we get Rolle's theorem, which can be considered as a special case of Lagrange's mean value theorem.

Corollary 2

If the derivative \(f'\left( x \right)\) is zero at all points of the interval \(\left[ {a,b} \right],\) then the function \(f\left( x \right)\) is constant on this interval. Indeed, for any two points \({x_1}\) and \({x_2}\) in the interval \(\left[ {a,b} \right],\) there exists a point \(c \in \left( {a,b} \right)\) such that

\[f\left( {{x_2}} \right) - f\left( {{x_1}} \right) = f'\left( c \right)\left( {{x_2} - {x_1}} \right) = 0 \cdot \left( {{x_2} - {x_1}} \right) = 0.\]

Consequently,

\[f\left( {{x_1}} \right) = f\left( {{x_2}} \right).\]

Solved Problems

Example 1.

A thermometer was taken from a freezer and placed in the boiling water. It took 22 sec for the thermometer to rise from \(-10^\circ C\) to \(100^\circ C.\) Determine the average rate of temperature change.

Solution.

The average rate of temperature change \(\frac{{\Delta T}}{{\Delta t}}\) is described by the right-hand side of the formula given by the Mean Value Theorem:

\[\frac{{\Delta T}}{{\Delta t}} = \frac{{T\left( {{t_2}} \right) - T\left( {{t_1}} \right)}}{{{t_2} - {t_1}}} = \frac{{100 - \left( { - 10} \right)}}{{22}} = \frac{{110}}{{22}} = 5\,\frac{{^\circ C}}{{\sec }}.\]

Example 2.

Check the validity of Lagrange's mean value theorem for the function \[f\left( x \right) = {x^2} - 3x + 5\] on the interval \(\left[ {1,4} \right].\) If the theorem holds, find a point \(c\) satisfying the conditions of the theorem.

Solution.

The given quadratic function is continuous and differentiable on the entire set of real numbers. Hence, we can apply Lagrange's mean value theorem. The derivative of the function has the form

\[f'\left( x \right) = \left( {{x^2} - 3x + 5} \right)^\prime = 2x - 3.\]

Find the coordinates of the point \(c:\)

\[f'\left( c \right) = \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}},\;\; \Rightarrow 2c - 3 = \frac{{\left( {{4^2} - 3 \cdot 4 + 5} \right) - \left( {{1^2} - 3 \cdot 1 + 5} \right)}}{{4 - 1}},\;\; \Rightarrow 2c - 3 = \frac{{9 - 3}}{3} = 2,\;\; \Rightarrow 2c = 5,\;\; \Rightarrow c = 2,5.\]

You can see that the point \(c = 2,5\) lies in the interval \(\left( {1,4} \right).\)

Example 3.

Let \[f\left( x \right) = \sqrt {x + 4} .\] Find a point \(c\) that satisfies the Mean Value Theorem for the function on the interval \(\left[ {0,5} \right].\)

Solution.

The function is continuous on the closed interval \(\left[ {0,5} \right]\) and differentiable on the open interval \(\left( {0,5} \right),\) so the MVT is applicable to the function.

The derivative has the form

\[f^\prime\left( x \right) = \left( {\sqrt {x + 4} } \right)^\prime = \frac{1}{{2\sqrt {x + 4} }}.\]

Find the coordinates of the point \(c:\)

\[f^\prime\left( c \right) = \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}},\;\; \Rightarrow \frac{1}{{2\sqrt {c + 4} }} = \frac{{\sqrt {5 + 4} - \sqrt {0 + 4} }}{{5 - 0}},\;\; \Rightarrow \frac{1}{{2\sqrt {c + 4} }} = \frac{1}{5},\;\; \Rightarrow \sqrt {c + 4} = \frac{5}{2},\;\; \Rightarrow c + 4 = \frac{{25}}{4},\;\; \Rightarrow c = \frac{9}{4} = 2.25\]

It can be seen that the point \(c = 2.25\) belongs to the open interval \(\left( {0,5} \right).\)

Example 4.

The position of a particle is given by the function \[s\left( t \right) = 2{t^2} + 3t - 4.\] Find the time \(t=c\) in the interval \(0 \le t \le 4\) when the instantaneous velocity of the particle equals to its average velocity in this interval.

Solution.

The function \(s\left( t \right)\) satisfies the conditions of the Mean Value Theorem, so we can write

\[s^\prime\left( c \right) = \frac{{s\left( b \right) - s\left( a \right)}}{{b - a}},\]

where \(a=0,\) \(b=4.\)

Take the derivative:

\[s^\prime\left( t \right) = \left( {2{t^2} + 3t - 4} \right)^\prime = 4t + 3.\]

Substituting this in the formula above, we get

\[4c + 3 = \frac{{40 - \left( { - 4} \right)}}{4},\;\; \Rightarrow 4c + 3 = 11,\;\; \Rightarrow 4c = 8,\;\; \Rightarrow c = 2.\]

Answer: \(c=2.\)

Example 5.

Check the validity of Lagrange's mean value theorem for the function \[f\left( x \right) = \frac{{x - 1}}{{x - 3}}\] on the interval \(\left[ {4,5} \right].\)

Solution.

This function has a discontinuity at \(x = 3,\) but on the interval \(\left[ {4,5} \right]\) it is continuous and differentiable. Therefore, the mean value theorem is applicable here. Find the derivative:

\[\require{cancel} f'\left( x \right) = \left( {\frac{{x - 1}}{{x - 3}}} \right)^\prime = \frac{{{{\left( {x - 1} \right)}^\prime }\left( {x - 3} \right) - \left( {x - 1} \right){{\left( {x - 3} \right)}^\prime }}}{{{{\left( {x - 3} \right)}^2}}} = \frac{{1 \cdot \left( {x - 3} \right) - \left( {x - 1} \right) \cdot 1}}{{{{\left( {x - 3} \right)}^2}}} = \frac{{\cancel{x} - 3 - \cancel{x} + 1}}{{{{\left( {x - 3} \right)}^2}}} = - \frac{2}{{{{\left( {x - 3} \right)}^2}}}.\]

Using the Lagrange formula, we get:

\[f'\left( c \right) = \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}},\;\; \Rightarrow - \frac{2}{{{{\left( {c - 3} \right)}^2}}} = \frac{{f\left( 5 \right) - f\left( 4 \right)}}{{5 - 4}}.\]

The values of the function at the endpoints are

\[f\left( 4 \right) = \frac{{4 - 1}}{{4 - 3}} = 3,\;\;f\left( 5 \right) = \frac{{5 - 1}}{{5 - 3}} = 2.\]

Then

\[- \frac{2}{{{{\left( {c - 3} \right)}^2}}} = \frac{{2 - 3}}{{5 - 4}},\;\; \Rightarrow - \frac{2}{{{{\left( {c - 3} \right)}^2}}} = - 1,\;\; \Rightarrow {\left( {c - 3} \right)^2} = 2.\]

In this case only the positive square root is valid. Hence,

\[c - 3 = \sqrt 2 ,\;\; \Rightarrow c = 3 + \sqrt 2 \approx 4,41.\]

Thus, the point at which the tangent to the graph is parallel to the chord lies in the interval \(\left( {4,5} \right)\) and has the coordinate \(c = 3 + \sqrt 2 \approx 4,41.\)

Example 6.

Find all points \(c\) satisfying the conditions of the MVT for the function \[f\left( x \right) = {x^3} - x\] in the interval \(\left[ { - 2,1} \right].\)

Solution.

We have here a cubic function which is continuous on the closed interval \(\left[ { - 2,1} \right]\) and diferentiable on the open interval \(\left( { - 2,1} \right).\)

The MVT states that

\[f^\prime\left( c \right) = \frac{{f\left( b \right) - f\left( a \right)}}{{b - a}}.\]

Calculate the quotient in the right-hand side:

\[\frac{{f\left( b \right) - f\left( a \right)}}{{b - a}} = \frac{{\left( {{1^3} - 1} \right) - \left( {{{\left( { - 2} \right)}^3} - \left( { - 2} \right)} \right)}}{{1 - \left( { - 2} \right)}} = \frac{6}{3} = {2}.\]

Next, we take the derivative

\[f^\prime\left( x \right) = \left( {{x^3} - x} \right)^\prime = 3{x^2} - 1.\]

Equate both expressions to find the value of \(c:\)

\[3{c^2} - 1 = 2,\;\; \Rightarrow {c^2} = 1,\;\; \Rightarrow c = \pm 1.\]

It is obvious that only one root \(c=-1\) falls within the open interval \(\left( { - 2,1} \right).\) So, the answer is \(c=-1.\)

The Mean Value Theorem for a cubic function
Figure 3.

See more problems on Page 2.

Page 1 Page 2