What Is the Mean Value Theorem for Integrals
You’ve probably stared at a curve on a graph and wondered, “What’s the average height of this thing?” Maybe you’re crunching data for a physics problem, or maybe you just enjoy watching math unfold like a magic trick. Either way, the mean value theorem of integral calculus answers exactly that question—except it does it with a little more rigor than “just eyeball it.
In plain English, the theorem says that for a continuous function defined on a closed interval ([a, b]), there’s at least one point (c) inside that interval where the function’s value equals the average value of the function over the whole interval. Think of it as the mathematical version of “somewhere between the start and the finish, the function hits its own average.”
The formal statement looks like this:
If (f) is continuous on ([a, b]), then there exists a number (c) with (a \le c \le b) such that
[ f(c)=\frac{1}{b-a}\int_{a}^{b} f(x),dx . ]
That fraction on the right? It’s the average value of (f) across the interval. The theorem guarantees that somewhere in the stretch from (a) to (b), the function actually takes that exact average value.
The Formal Statement
You might see the theorem written in two flavors: the “average value” version above, or a slightly more compact version that isolates the integral:
[ \int_{a}^{b} f(x),dx = f(c),(b-a) . ]
Both say the same thing: the total area under the curve from (a) to (b) equals the height at some point (c) multiplied by the length of the interval.
Everyday Intuition
Imagine you’re driving a car and you log your speed every minute for an hour. Here's the thing — if you divide that distance by the time (60 minutes), you get your average speed. Think about it: the integral of your speed function over that hour gives you the total distance traveled. The mean value theorem for integrals guarantees that at some exact minute, your instantaneous speed was exactly that average speed. It’s not just a vague “somewhere around there”; it’s a mathematically certain spot.
Where It Shows Up
You’ll bump into this theorem in a few places:
- Physics – when you need to relate total work done to an average force over a distance.
- Probability – when you talk about the expected value of a continuous random variable.
- Engineering – when you’re averaging signals or stresses over a period.
It’s a bridge between the discrete idea of “average” and the continuous world of integrals.
Why It Matters
Why should you care about a theorem that just tells you a function hits its average somewhere? Because that simple fact unlocks a whole toolbox of reasoning.
First, it gives you a guarantee. In many problems you might be hunting for a specific value that satisfies an equation, and the theorem tells you that such a value must exist—provided the function is continuous. That certainty is gold when you’re trying to prove the existence of solutions.
Second, it connects geometry and algebra. In real terms, the integral represents area under a curve; the theorem translates that area into a rectangle of the same size, with height equal to the function at some point. Visualizing that rectangle can simplify complex calculations.
Finally, it feeds into bigger ideas. The mean value theorem for derivatives (the one you probably learned first) is a sibling of this integral version. Together they form a cornerstone of calculus, showing how differentiation and integration are inverse processes.
How It Works
Let’s break down the mechanics of actually using the theorem.
Setting Up the Theorem
Before you can apply it, you need three things:
- A continuous function on a closed interval ([a, b]). Continuity is crucial; if the function jumps or has holes, the guarantee disappears.
- The interval endpoints (a) and (b). These define the stretch you’re averaging over.
- A desire to find the average value of the function across that interval.
Once you have those, you compute the average value by evaluating the integral (\int_{a}^{b} f(x),dx) and dividing by the length of the interval ((b-a)).
Finding the Average Value
The steps look like this:
- Integrate the function over ([a, b]). This might involve standard antiderivatives, substitution, or even numerical methods if the integral is messy.
- Divide the result by ((b-a)). That gives you the average value, call it (A).
- Solve the equation (f(c)=A) for (c) in ([a, b]). In many cases, you’ll recognize the solution immediately; other times you might need algebraic manipulation or numerical approximation.
Worked Example
Suppose (f(x)=x^{2}) on the interval ([1, 3]).
For more on this topic, read our article on what is 40/60 as a percent or check out how to find volume of a rectangle.
-
Compute the integral: (\int_{1}^{3} x^{2},dx = \left[\frac{x^{3}}{3}\right]_{1}^{3}= \frac{27}{3}-\frac{1}{3}=9-\frac{1}{3}= \frac{26}{3}).
-
Divide by the length: ((3-1)=2). So the average value (A = \frac{26/3}{2}= \frac{13}{3}\approx 4.33).
-
Sol
-
Solve (f(c) = \frac{13}{3}). Since (f(c) = c^{2}), we have (c^{2} = \frac{13}{3}), giving (c = \sqrt{\frac{13}{3}} \approx 2.08). This value lies comfortably inside ([1, 3]), confirming the theorem’s prediction.
A Graphical Check
Plotting (y = x^{2}) from 1 to 3, the area under the curve is exactly 26/3 square units. Now draw a horizontal line at (y = 13/3). The rectangle spanning (x = 1) to (x = 3) with this height has area (2 \times 13/3 = 26/3)—identical to the curved region. The theorem guarantees the curve must pierce that horizontal line at least once; our calculation shows it happens at (x = \sqrt{13/3}).
When Things Go Wrong
The theorem’s hypothesis—continuity on a closed* interval—is not decorative. The function is not continuous at (x = 0) (it isn’t even defined there), so the theorem does not apply. Now, consider (f(x) = 1/x) on ([-1, 1]). The integral (\int_{-1}^{1} \frac{1}{x},dx) diverges, and there is certainly no (c) where (f(c)) equals an “average” that doesn’t exist.
Even if the integral converges, a discontinuity can break the conclusion. Define (f(x) = 0) for (x < 0) and (f(x) = 1) for (x \ge 0) on ([-1, 1]). The average value is (1/2), but the function never actually equals* (1/2); it jumps from 0 to 1. The guarantee evaporates the moment continuity fails.
Beyond the Classroom
This theorem isn’t just a homework engine; it powers real-world reasoning.
- Physics: If a car travels 120 miles in two hours, its average speed is 60 mph. The Mean Value Theorem for Integrals (applied to the velocity function) guarantees the speedometer read exactly 60 mph at some instant—provided velocity changed continuously, without teleportation.
- Signal Processing: The average value of a periodic signal over one period is its DC offset. The theorem assures us the signal actually attains that offset at least once per cycle, a fact used in designing clamping circuits and baseline correction algorithms.
- Economics: If a factory’s marginal cost function is continuous, the theorem guarantees a production level where the marginal cost equals the average total cost over a range—the precise point where average cost is minimized.
The Sibling Theorems
It’s worth pausing to distinguish the three “Mean Value Theorems” that often blur together:
- Mean Value Theorem for Integrals (this one): (\exists c \in [a,b]) such that (f(c) = \frac{1}{b-a}\int_a^b f(x),dx). Connects a function to its average value*.
- Mean Value Theorem for Derivatives: (\exists c \in (a,b)) such that (f'(c) = \frac{f(b)-f(a)}{b-a}). Connects a function to its average rate of change*.
- Intermediate Value Theorem: If (f) is continuous on ([a,b]) and (L) is between (f(a)) and (f(b)), then (\exists c \in [a,b]) with (f(c)=L). The logical bedrock the other two stand on.
The Integral MVT is essentially the Derivative MVT applied to an antiderivative (F) where (F' = f). The average value of (f) becomes the average slope of (F). Seeing them as reflections of the same principle—continuity forces a function to “meet its average”—unifies the subject.
Conclusion
The Mean Value Theorem for Integrals is deceptively modest. It asks only for continuity and rewards you with a bridge between the global property of an integral (total accumulated area) and a local property of the function (a specific output value). On top of that, whether you are proving the existence of a root, simplifying a physics model, or just trying to visualize why the area under a curve equals the area of a well-placed rectangle, this theorem is the quiet workhorse that makes the logic hold. Master its conditions, respect its limitations, and you’ll find it appearing—often invisibly—in nearly every corner of applied calculus.