Skip to main content
Mathematics LibreTexts

6.5: The Mean Value Theorem

  • Page ID
    451
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Here are two interesting questions involving derivatives:

    1. Suppose two different functions have the same derivative; what can you say about the relationship between the two functions?
    2. Suppose you drive a car from toll booth on a toll road to another toll booth at an average speed of 70 miles per hour. What can be concluded about your actual speed during the trip? In particular, did you exceed the 65 mile per hour speed limit?

    While these sound very different, it turns out that the two problems are very closely related. We know that "speed'' is really the derivative by a different name; let's start by translating the second question into something that may be easier to visualize. Suppose that the function \(f(t)\) gives the position of your car on the toll road at time \(t\). Your change in position between one toll booth and the next is given by \(f(t_1)-f(t_0)\), assuming that at time \(t_0\) you were at the first booth and at time \(t_1\) you arrived at the second booth. Your average speed for the trip is

    \[\dfrac{f(t_1)-f(t_0)}{t_1-t_0}.\]

    If we think about the graph of \(f(t)\), the average speed is the slope of the line that connects the two points \((t_0,f(t_0))\) and \((t_1,f(t_1))\). Your speed at any particular time \(t\) between \(t_0\) and \(t_1\) is \(f'(t)\), the slope of the curve. Now question (2) becomes a question about slope. In particular, if the slope between endpoints is 70, what can be said of the slopes at points between the endpoints?

    As a general rule, when faced with a new problem it is often a good idea to examine one or more simplified versions of the problem, in the hope that this will lead to an understanding of the original problem. In this case, the problem in its "slope'' form is somewhat easier to simplify than the original, but equivalent, problem.

    Here is a special instance of the problem. Suppose that \(f(t_0)=f(t_1)\). Then the two endpoints have the same height and the slope of the line connecting the endpoints is zero. What can we say about the slope between the endpoints? It shouldn't take much experimentation before you are convinced of the truth of this statement: Somewhere between \(t_0\) and \(t_1\) the slope is exactly zero, that is, somewhere between \(t_0\) and \(t_1\) the slope is equal to the slope of the line between the endpoints. This suggests that perhaps the same is true even if the endpoints are at different heights, and again a bit of experimentation will probably convince you that this is so. But we can do better than "experimentation''---we can prove that this is so.

    We start with the simplified version:

    Rolle's Theorem

    Suppose that \(f(x)\) has a derivative on the interval \((a,b)\), is continuous on the interval \([a,b]\), and \(f(a)=f(b)\). Then at some value \(c\in (a,b)\), \(f'(c)=0\).

    Proof

    We know that \(f(x)\) has a maximum and minimum value on \([a,b]\) (because it is continuous), and we also know that the maximum and minimum must occur at an endpoint, at a point at which the derivative is zero, or at a point where the derivative is undefined. Since the derivative is never undefined, that possibility is removed.

    If the maximum or minimum occurs at a point \(c\), other than an endpoint, where \(f'(c)=0\), then we have found the point we seek. Otherwise, the maximum and minimum both occur at an endpoint, and since the endpoints have the same height, the maximum and minimum are the same. This means that \(f(x)=f(a)=f(b)\) at every \(x \in [a,b]\), so the function is a horizontal line, and it has derivative zero everywhere in \((a,b)\). Then we may choose any \(c\) at all to get \(f'(c)=0\).

    \(\square\)

    Perhaps remarkably, this special case is all we need to prove the more general one as well.

    Mean Value Theorem

    Suppose that \(f(x)\) has a derivative on the interval \((a,b)\) and is continuous on the interval \([a,b]\). Then at some value \(c\in (a,b)\), \(f'(c)={f(b)-f(a)\over b-a}\).

    Proof

    Let \(m={f(b)-f(a)\over b-a}\), and consider a new function \(g(x)=f(x) - m(x-a)-f(a)\). We know that \(g(x)\) has a derivative everywhere, since \(g'(x)=f'(x)-m\). We can compute \(g(a)=f(a)- m(a-a)-f(a) =0\) and $$\eqalign{ g(b)=f(b)-m(b-a)-f(a)&=f(b)-{f(b)-f(a)\over b-a}(b-a)-f(a)\cr& =f(b)-(f(b)-f(a))-f(a)=0.\cr }$$ So the height of \(g(x)\) is the same at both endpoints. This means, by Rolle's Theorem, that at some \(c\), \(g'(c)=0\). But we know that \(g'(c)=f'(c)-m\), so $$0=f'(c)-m=f'(c)-{f(b)-f(a)\over b-a},$$ which turns into $$f'(c)={f(b)-f(a)\over b-a},$$ exactly what we want.

    \(\square\)

    Returning to the original formulation of question (2), we see that if \(f(t)\) gives the position of your car at time \(t\), then the Mean Value Theorem says that at some time \(c\), \(f'(c)=70\), that is, at some time you must have been traveling at exactly your average speed for the trip, and that indeed you exceeded the speed limit.

    Now let's return to question (1). Suppose, for example, that two functions are known to have derivative equal to 5 everywhere, \(f'(x)=g'(x)=5\). It is easy to find such functions: \(5x\), \(5x+47\), \(5x-132\), etc. Are there other, more complicated, examples? No---the only functions that work are the "obvious'' ones, namely, \(5x\) plus some constant. How can we see that this is true?

    Although "5'' is a very simple derivative, let's look at an even simpler one. Suppose that \(f'(x)=g'(x)=0\). Again we can find examples: \(f(x)=0\), \(f(x)=47\), \(f(x)=-511\) all have \(f'(x)=0\). Are there non-constant functions \(f\) with derivative 0? No, and here's why: Suppose that \(f(x)\) is not a constant function. This means that there are two points on the function with different heights, say \(f(a)\not=f(b)\). The Mean Value Theorem tells us that at some point \(c\), \(f'(c)=(f(b)-f(a))/(b-a)\not=0\). So any non-constant function does not have a derivative that is zero everywhere; this is the same as saying that the only functions with zero derivative are the constant functions.

    Let's go back to the slightly less easy example: suppose that \(f'(x)=g'(x)=5\). Then \((f(x)-g(x))' = f'(x)-g'(x) = 5 -5 =0\). So using what we discovered in the previous paragraph, we know that \(f(x)-g(x)=k\), for some constant \(k\). So any two functions with derivative 5 must differ by a constant; since \(5x\) is known to work, the only other examples must look like \(5x+k\).

    Now we can extend this to more complicated functions, without any extra work. Suppose that \(f'(x)=g'(x)\). Then as before \((f(x)-g(x))' = f'(x)-g'(x) =0\), so \(f(x)-g(x)=k\). Again this means that if we find just a single function \(g(x)\) with a certain derivative, then every other function with the same derivative must be of the form \(g(x)+k\).

    Example \(\PageIndex{1}\)

    Describe all functions that have derivative \(5x-3\).

    Solution

    It's easy to find one: \(g(x)=(5/2)x^2-3x\) has \(g'(x)=5x-3\). The only other functions with the same derivative are therefore of the form \(f(x)=(5/2)x^2-3x+k\).

    Alternately, though not obviously, you might have first noticed that \(g(x)=(5/2)x^2-3x+47\) has \(g'(x)=5x-3\). Then every other function with the same derivative must have the form \(f(x)=(5/2)x^2-3x+47+k\). This looks different, but it really isn't. The functions of the form \(f(x)=(5/2)x^2-3x+k\) are exactly the same as the ones of the form \( f(x)=(5/2)x^2-3x+47+k\). For example, \((5/2)x^2-3x+10\) is the same as \((5/2)x^2-3x+47+(-37)\), and the first is of the first form while the second has the second form.

    This is worth calling a theorem:

    Theorem

    If \(f'(x)=g'(x)\) for every \(x\in (a,b)\), then for some constant \(k\), \(f(x)=g(x)+k\) on the interval \((a,b)\).

    Example \(\PageIndex{2}\)

    Describe all functions with derivative \(\sin x + e^x\). One such function is \(-\cos x+e^x\), so all such functions have the form \(-\cos x+e^x+k\).

    Contributors and Attributions

    David Guichard (Whitman College)

    • Integrated by Justin Marshall.


    This page titled 6.5: The Mean Value Theorem is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by David Guichard.

    • Was this article helpful?