Source: Stewart, Calculus 7th Ed., Ch. 3.2 | Math 132, MSU
Tags: Mean Value Theorem, MVT, difference quotient, secant line, average rate of change, instantaneous rate of change
Difficulty: Intermediate | Prerequisites: Rolle's Theorem (Ch. 3.2), limits, continuity, basic differentiation rules
The Mean Value Theorem is the most powerful result in Section 3.2 and one of the central theorems of first-year calculus. It connects the instantaneous rate of change (derivative) to the average rate of change (difference quotient) over an interval, guaranteeing that somewhere in between, the two are exactly equal. The proof works by building an auxiliary function that satisfies Rolle's Theorem, so comfort with Rolle's is a prerequisite. MVT underpins the Uniqueness Theorem, which in turn validates that differential equations in physics produce unique solutions.
If a function is continuous on [a, b] and differentiable on (a, b), then at some interior point c the instantaneous rate of change equals the average rate of change over the interval. Geometrically, the tangent line is parallel to the secant line at least once.
Difference quotient
The ratio (f(b) - f(a)) / (b - a). It measures the average rate of change of f over the interval [a, b].
Think of it as the slope you get by drawing a straight line between two points on the graph.
Secant line
The straight line passing through (a, f(a)) and (b, f(b)). Its slope equals the difference quotient.
In simple terms, this means the line that "cuts across" the curve, connecting the two endpoints.
Average rate of change
Another name for the difference quotient. In physics, if f(t) is position, the average rate of change is the average velocity over the time interval.
Instantaneous rate of change
The derivative f'(c) at a single point. The limit of the difference quotient as the interval shrinks to zero.
Think of it as the speedometer reading at one exact moment, rather than the trip's average speed.
Mean Value Theorem (MVT)
The theorem stating that for a function continuous on [a, b] and differentiable on (a, b), there exists c in (a, b) with f'(c) = (f(b) - f(a)) / (b - a).
In simple terms: somewhere between a and b, the instantaneous speed exactly equals the average speed.
The derivative f'(a) and the difference quotient have shadowed each other throughout the course. The difference quotient across [a, b] is:
\frac{\Delta f}{\Delta x} = \frac{f(b) - f(a)}{b - a}Numerically, the difference quotient approximates the derivative: df/dx is roughly equal to the difference quotient. Physically, the difference quotient gives the average rate of change. Geometrically, it is the slope of the secant line through (a, f(a)) and (b, f(b)).
The MVT says that the approximation becomes an exact equality at some interior point.
If f(x) is continuous on [a, b] and differentiable on (a, b), then there exists c in (a, b) such that:
f'(c) = \frac{f(b) - f(a)}{b - a}Geometrically: as the graph rises from (a, f(a)) to (b, f(b)), the tangent line must be parallel to the secant line at least once.
Rolle's Theorem is the special case where f(a) = f(b), making the secant line horizontal and the conclusion f'(c) = 0.
The proof constructs an auxiliary function g(x) that measures the vertical gap between the curve y = f(x) and the secant line:
g(x) = f(x) - f(a) - \frac{f(b) - f(a)}{b - a}(x - a)g(x) inherits continuity on [a, b] and differentiability on (a, b) from f(x).
g(a) = 0 and g(b) = 0, so Rolle's Theorem applies to g.
By Rolle's, there exists c in (a, b) with g'(c) = 0.
Since g'(x) = f'(x) - (f(b) - f(a))/(b - a), setting g'(c) = 0 gives the MVT conclusion directly.
Let f(x) = 5x^(1/2) - x^(3/2) on [0, 4].
Checking hypotheses: The square root is continuous for x >= 0, so f is continuous on [0, 4]. The derivative f'(x) = (5/2)x^(-1/2) - (3/2)x^(1/2) is defined for x > 0, so f is differentiable on (0, 4). The hypothesis allows f'(0) to be undefined.
Computing the difference quotient: f(0) = 0 and f(4) = 5(2) - 4(2) = 2, so (f(b) - f(a))/(b - a) = (2 - 0)/(4 - 0) = 1/2.
Finding c: Set f'(x) = 1/2 and solve (5/2)x^(-1/2) - (3/2)x^(1/2) = 1/2. Substituting u = sqrt(x) gives 3u^2 + u - 5 = 0. By the quadratic formula, u = (-1 + sqrt(61))/6. The solution is c = ((sqrt(61) - 1)/6)^2, which is approximately 1.29.
The MVT does not provide a method for finding c in general. It only guarantees that a solution exists. To find the actual value, you must solve f'(x) = (f(b) - f(a))/(b - a) by whatever algebraic or numerical method works.
f'(c) = \frac{f(b) - f(a)}{b - a} \quad \text{for some } c \in (a, b)Auxiliary function for the proof:
g(x) = f(x) - f(a) - \frac{f(b) - f(a)}{b - a}(x - a)If you drive 200 km in 2 hours, your average speed is 100 km/h. The MVT guarantees that at some moment during the trip, your speedometer read exactly 100 km/h, even if you spent most of the drive going faster or slower. Speed cameras that clock your average speed between two points rely on this principle: if the average exceeds the limit, the MVT says you were speeding at some point.
Students sometimes think the MVT tells you how to find c. It does not. The theorem is an existence result: it guarantees c exists, but finding it requires separately solving f'(x) = (f(b) - f(a))/(b - a).
A common mistake is forgetting to check both hypotheses (continuity on [a, b] and differentiability on (a, b)) before applying the theorem.
Some students confuse the MVT with the Intermediate Value Theorem. The IVT is about function values; the MVT is about derivative values.
Students sometimes expect exactly one value of c. There may be several points where the tangent is parallel to the secant.
The MVT is one of the most frequently tested theorems in Calculus I. Expect problems that ask you to verify hypotheses and then find c.
Proof questions may ask you to reproduce the auxiliary-function construction. Remember: g(x) is built so that g(a) = g(b) = 0, which is exactly Rolle's setup.
Applied problems will ask you to interpret the MVT physically (average vs instantaneous velocity, average vs instantaneous rate of reaction, etc.).
The MVT is the engine behind the Uniqueness Theorem, which may appear on proof-based portions of the exam.
Fill in the blank: The MVT guarantees f'(c) = ___ for some c in (a, b).
True or False: The MVT requires f(a) = f(b). ___
True or False: The auxiliary function g(x) in the MVT proof is chosen so that Rolle's Theorem applies to it. ___
Fill in the blank: The slope of the secant line through (a, f(a)) and (b, f(b)) equals the ___.
True or False: The MVT tells you exactly how many values of c satisfy the conclusion. ___
Answers: 1. (f(b) - f(a))/(b - a). 2. False (that is Rolle's, not MVT). 3. True. 4. Difference quotient (or average rate of change). 5. False (it guarantees at least one, but there could be more).
Q: State the Mean Value Theorem precisely.
A: If f is continuous on [a, b] and differentiable on (a, b), then there exists c in (a, b) such that f'(c) = (f(b) - f(a))/(b - a).
Q: Explain the geometric meaning of the MVT in one or two sentences.
A: The tangent line to the curve y = f(x) at x = c is parallel to the secant line connecting (a, f(a)) and (b, f(b)). The MVT guarantees such a point c exists in the interior of the interval.
Q: Let f(x) = x^3 - 3x on [0, 2]. Find the value(s) of c guaranteed by the MVT.
A: f(0) = 0, f(2) = 2. The difference quotient is (2 - 0)/(2 - 0) = 1. Set f'(x) = 3x^2 - 3 = 1, so x^2 = 4/3, giving c = 2/sqrt(3), which is approximately 1.155. (The negative root falls outside (0, 2).)
Q: How does the proof of the MVT use Rolle's Theorem?
A: It defines g(x) = f(x) - f(a) - ((f(b) - f(a))/(b - a))(x - a), which satisfies g(a) = g(b) = 0. By Rolle's Theorem, g'(c) = 0 for some c in (a, b). Since g'(x) = f'(x) - (f(b) - f(a))/(b - a), setting g'(c) = 0 immediately gives the MVT conclusion.
The MVT generalises Rolle's Theorem (set f(a) = f(b) and the MVT reduces to Rolle's). It leads directly to the Uniqueness Theorem (see the third set of notes), which proves that if two functions share the same derivative, they differ by at most a constant. This chain of reasoning is how the course justifies that the ballistic equation s(t) = s_0 + v_0 t - (1/2)gt^2 is the only position function consistent with constant gravitational acceleration. The MVT also provides the theoretical backing for the Linear Approximation Error Estimate.
Mean Value Theorem, MVT, difference quotient, secant line slope, average rate of change, instantaneous rate of change, tangent parallel to secant, auxiliary function, Rolle's Theorem, g(x) construction, average velocity, speedometer argument, Stewart 3.2, Math 132, Calculus I, MSU