Consequences of the Mean Value Theorem

The Mean Value Theorem (MVT) is one of the most essential pillars in the field of differential calculus. While the theorem itself provides a link between the average rate of change of a function over an interval and its instantaneous rate of change at a specific point within that interval, its true power lies in the theoretical consequences that stem from it. These consequences form the backbone of many analytical techniques used to understand the behavior of functions, proving vital in optimization, curve sketching, and the proof of the Fundamental Theorem of Calculus.

To review, the Mean Value Theorem states that if a function f is continuous on the closed interval [a, b] and differentiable on the open interval (a, b), then there exists a point c in (a, b) such that:

f'(c) = [f(b) - f(a)] / (b - a)

From this single statement, several profound properties of functions can be deduced.

1. Functions with Zero Derivatives are Constant

The first and perhaps most immediate consequence of the MVT is that if the derivative of a function is zero at every point in an interval, then the function is constant on that interval.

Suppose f'(x) = 0 for all x in an interval I. Take any two numbers x_1 and x_2 in I with x_1 < x_2. Since f is differentiable on I, it is also continuous and differentiable on the interval [x_1, x_2]. Applying the Mean Value Theorem to this interval, there exists a number c between x_1 and x_2 such that:

f(x_2) - f(x_1) = f'(c)(x_2 - x_1)

However, by our hypothesis, f'(c) = 0. Therefore, f(x_2) - f(x_1) = 0, which implies f(x_1) = f(x_2). Since x_1 and x_2 were arbitrary, the function has the same value at every point in the interval, proving it is constant.

2. Functions with Equal Derivatives Differ by a Constant

Building directly on the first consequence, the MVT allows us to conclude that if two functions have the same derivative on an interval, they must differ by a constant value.

Let f(x) and g(x) be two differentiable functions on an interval I such that f'(x) = g'(x) for all x in I. Let us define a new function h(x) = f(x) - g(x). Differentiating h, we get:

h'(x) = f'(x) - g'(x) = 0

Since h'(x) = 0 for all x in I, the previous consequence dictates that h(x) is a constant function, lets call it C. Therefore:

f(x) - g(x) = C     or     f(x) = g(x) + C

This result is fundamental to the study of integral calculus, as it justifies the "+ C" (the constant of integration) that appears when finding antiderivatives. It tells us that the antiderivative of a function is not unique, but rather a family of functions that are vertical translations of one another.

3. The First Derivative Test and Monotonicity

One of the most practical applications of the Mean Value Theorem is determining where a function is increasing or decreasing. A function f is said to be increasing on an interval if f(x_1) < f(x_2) whenever x_1 < x_2, and decreasing if f(x_1) > f(x_2) whenever x_1 < x_2.

The MVT provides the link between the sign of the derivative and the monotonicity of the function:

• If f'(x) > 0 for all x in an interval I, then f is increasing on I.
• If f'(x) < 0 for all x in an interval I, then f is decreasing on I.

Proof: Consider any two points x_1 and x_2 in I with x_1 < x_2. By the MVT, there is a c in (x_1, x_2) such that f(x_2) - f(x_1) = f'(c)(x_2 - x_1). Since x_2 - x_1 > 0, the sign of f(x_2) - f(x_1) depends entirely on the sign of f'(c). If f'(c) is positive, then f(x_2) > f(x_1), confirming the function is increasing.

4. Proving Inequalities

The Mean Value Theorem is also a powerful tool for establishing mathematical inequalities. By applying the theorem to a specific function and a specific interval, one can bound the difference f(b) - f(a) by the maximum or minimum values of the derivative on that interval.

For example, consider the inequality sin x < x for x > 0. Let f(t) = sin t on the interval [0, x]. The MVT states there exists a c in (0, x) such that:

(sin x - sin 0) / (x - 0) = cos c

This simplifies to sin x / x = cos c. Since for 0 < c < x (assuming x is not extremely large, though generally valid for relevant ranges) we know that cos c < 1, it follows that sin x / x < 1, which implies sin x < x. This elegant approach uses the geometric properties of the derivative (slope of the tangent) to establish a truth about the function's values.

5. Connection to the Fundamental Theorem of Calculus

While often proved independently, the Mean Value Theorem is conceptually the reason why the Fundamental Theorem of Calculus works. The Second Fundamental Theorem of Calculus connects differentiation and integration by showing that the integral of a derivative over an interval recovers the net change in the original function:

_a^b f'(x) dx = f(b) - f(a)

In standard proofs (specifically using Riemann sums), one partitions the interval [a, b] into subintervals. The Mean Value Theorem is applied to each subinterval to show that the area contribution of that slice is exactly equal to the change in the function value over that small subinterval. Summing these up leads to the telescoping sum f(b) - f(a). Without the MVT, linking the infinite sum of infinitesimal derivatives back to the finite difference of the function's total change would be impossible.

Conclusion

In summary, the Mean Value Theorem is far more than a simple observation about tangent lines and secant lines. It is the central logical engine that drives calculus forward. Its consequences allow us to rigorously define the behavior of functions, providing the criteria for identifying constant functions, distinguishing between increasing and decreasing behavior, and establishing the uniqueness of antiderivatives. From the practical task of curve sketching to the theoretical underpinnings of integral calculus, the consequences of the Mean Value Theorem are indispensable tools in the mathematician's arsenal.