Let be a continuous function. Suppose takes the same value at and ; that is, . Also suppose that exists everywhere between and . The graph of is then a continuous curve such that we can draw a tangent line at each point of this curve (see Fig. 1). Geometric intuition shows us at once that for at least one value of between and , the tangent is parallel to the -axis (say at ); that is, the slope is zero. This illustrates Rolle’s theorem:
Figure 1. If , there is at least one point between and such that
Theorem 1. Rolle’s Theorem. Let be a function with the following properties:
is continuous everywhere on the closed interval ,
exists at each point of the open interval .
If , then there is at least one point in the open interval such that .
This theorem is obviously true, because as increases from to , cannot always increase or always decrease, since . Hence, for at least one value of between and , must cease to increase and begin to decrease, or else cease to decrease and begin to increase, and for that particular value of , the first derivative must be zero (because that particular value of is either a local maximum or local minimum point, and Fermat’s Theorem tells us that the first derivative at a local maximum or minimum point must be zero).
If the conditions of Rolle’s theorem are satisfied, then there is at least one point such that , but there may be more than one such point in the interval. For example, there are three points for which the derivative of the function is zero in Figure 2.
Figure 2.
In a special case where , Rolle’s theorem states that between any pairs of roots of lies a root of .
We say is a root of if vanishes for ; that is, . If we plot the graph of , then this graph crosses the -axis at .
For example, let This function becomes zero at , and . is a polynomial and thus it is continuous and differentiable everywhere. It follows from Rolle’s Theorem that has (at least) one zero in the interval , one zero in , one zero in , and one in (see Figure 3).
Figure 3: The derivative has a root between each two roots of .
The zeros of are . So Rolle’s Theorem tells us its derivative has at least one zero between and . In fact, has three roots between and . The roots are and (see Figure 4).
Figure 3: The derivative has three roots (or zeros) between the roots of .
Example 1
Show that the equation has exactly one real solution.
Solution
Let Because is a polynomial, it is continuous everywhere. Because and it follows from Bolzano’s Theorem (or more generally the Intermediate-Value Theorem), that has at least one zero between and . If had more than one zero, Rolle’s Theorem would guarantee the existence of a zero (a root) of . However, the derivative of is always positive: This means that cannot have more than one root.
Figure 5
We need to emphasize that must be continuous at all points in the closed interval , including the endpoints, but its derivative does not need to exist at the endpoints. If is discontinuous even at one point of the closed interval or does not exist at an interior point of the interval, then Rolle’s rule does not apply. For example, Fig. 6(a) shows the graph of a function that is discontinuous (goes to ) for , a value lying between and . Figure 6(b) and (c) show the graph of continuous functions whose first derivatives are discontinuous for such an intermediate value . In all of these cases, it is seen that at no point on the graph between and does the tangent to the curve become parallel to the -axis.
(a)
(b)
(c)
Figure 6
Example 2
Consider the function in the interval . Can we apply Rolle’s theorem to in this interval?
Solution
This function is continuous in and we know . The derivative of this function is 1 for , for , and does not exist for .
In other words, nowhere vanishes; this function does not follow Rolle’s theorem. The failure can be explained by the fact that does not exist for which is an interior point of the interval.
Figure 7
Example 3
Consider the function in the interval . Can we apply Rolle’s theorem to in this interval?
Solution
The function is continuous in . Its derivative exists everywhere in this interval except at the endpoints , but the fact that is not differentiable at the endpoints does not violate the conditions of Rolle’s rule. In fact, we find (also, see Figure 8).
Figure 8
A Physical Interpretation
Consider a train that moves on a straight railroad. If we see the train in a train station at 10 am and see the same train in the same station at 4 pm, we know that at some point, its speed was zero, because if the train never left the station, its speed was zero all the time between 10 am to 4 pm, and if it left the station and came back, it had first to stop, even for a second, to change its direction and come back. This is exactly what Rolle’s theorem states.
An important usage of Rolle’s theorem is in proving the Mean-Value Theorem that will be discussed in the next section.