Mean Value Theorem: The Guarantee of Speed

The Mean Value Theorem (MVT) is often viewed as a “theoretical” result used by mathematicians for proofs. However, it has a very intuitive and practical meaning: if you travel 100 miles in one hour, there must have been at least one instant where your speedometer read exactly 100 mph.

Rolle’s Theorem: The Foundation

Rolle’s Theorem is a special case of the MVT. It states that if a continuous and differentiable function $f(x)$ starts and ends at the same value ($f(a) = f(b)$), there must be at least one point $c$ in between where the derivative is zero ($f'(c) = 0$).

Think of it like this: if you throw a ball up and it comes back to your hand, there was a moment at the very top of its path where its vertical velocity was exactly zero.

The General Mean Value Theorem

The MVT generalizes Rolle’s Theorem to functions that don’t end where they start. It states that for a differentiable function $f(x)$ on $[a, b]$, there exists a point $c \in (a, b)$ such that: $f'(c) = \frac{f(b) - f(a)}{b - a}$

In plain English: The instantaneous rate of change ($f'(c)$) must equal the average rate of change over the interval at some point.

Why do we care?

The MVT is the bridge between local behavior (the derivative at a point) and global behavior (the function values at the endpoints).

• It allows us to bound the error in numerical approximations.
• It proves that if $f'(x) = 0$ everywhere, $f(x)$ must be a constant.
• It is the primary tool used to prove the Fundamental Theorem of Calculus.

import numpy as np
import matplotlib.pyplot as plt

# Interval [a, b]
a, b = 0, 2

# Function f(x) = x^2
def f(x): return x**2
def df(x): return 2*x

# Average rate of change (Secant slope)
avg_rate = (f(b) - f(a)) / (b - a)

# Find 'c' where f'(c) == avg_rate => 2c = 2 => c = 1
c = 1

x = np.linspace(-0.5, 2.5, 100)
plt.plot(x, f(x), label='f(x) = x^2')
plt.plot([a, b], [f(a), f(b)], '--', color='red', label='Average Rate (Secant)')
plt.scatter([c], [f(c)], color='green', zorder=5)

# Tangent at c
tangent_x = np.linspace(0.5, 1.5, 50)
tangent_y = f(c) + df(c)*(tangent_x - c)
plt.plot(tangent_x, tangent_y, color='green', label='Instantaneous Rate (Tangent)')

plt.title("Mean Value Theorem: Parallel Slopes")
plt.legend()
plt.grid(True)
plt.show()

print(f"Average Rate over [{a}, {b}]: {avg_rate}")
print(f"Instantaneous Rate at c={c}: {df(c)}")

Taylor’s Theorem: MVT on Steroids

If the MVT tells us how to approximate a function with a line, Taylor’s Theorem tells us how to approximate it with a polynomial of any degree. $f(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \dots + R_n(x)$ The “remainder” $R_n(x)$ is defined using a generalization of the Mean Value Theorem. This allows engineers to know exactly how many terms they need to keep in a computer simulation to ensure the error remains below a certain threshold.

Exercises