Inside any interval there is always a tangent parallel to the secant joining the two ends. That is the mean value theorem1. We confirm it for on the interval .
Since , solving gives , which lies inside the interval .
The point of tangency is and the tangent is . On the graph it appears as a line parallel to the secant .
If is continuous on the closed interval and differentiable on the open interval , then at least one between and satisfies the following.
At least one, so there is no objection to there being two or more.
The case is a special one. The right side is then , so some inside the interval has . That is Rolle's theorem2.
| Condition | Conclusion |
|---|---|
| General and | a tangent parallel to the secant exists |
| a horizontal tangent exists, by Rolle's theorem |
Continuity alone is not enough without differentiability. Look at on : the secant has slope , but there is no tangent of slope anywhere, because the function is not differentiable at .
The mean value theorem is the bridge between an average rate of change and a derivative at a point. Even the seemingly obvious fact that implies an increasing function is proved from it, by taking two points and writing .
The parabola on the graph is , the line through the two points is the secant, the line parallel to it is the tangent, and the large dots are , and the point of tangency.