5.2 Rolle's Theorem & The Mean Value Theorem

5.2 Rolle's Theorem & The Mean Value Theorem

Core CLEP Concept: The Mean Value Theorem (MVT) is regarded by mathematicians as the single most consequential theoretical pillar in differential calculus. It directly bridges the gap between the average rate of change over an extended interval $[a, b]$ and the instantaneous rate of change at an internal point $c \in (a, b)$. Every core monotonicity test, curve-sketching rule, and integration property traces its mathematical proof back to the MVT.

---

1. Rolle's Theorem: Hypotheses & Conclusions

Named after the French mathematician Michel Rolle, this theorem addresses the special case where a smooth curve returns to its initial vertical height.

    y ^
      |              Local Max (f'(c1) = 0)
      |                  .---.
      |                 /     \                     .---.  Local Max (f'(c2) = 0)
 f(a) +---*------------/-------\-------------------/-----\------------*---+ f(b)
      |   (a, f(a))   /         \                 /       \           (b, f(b))
      |              /           \               /         \
      |             /             '---.         /
      |            /                   \_______/ <- Local Min (f'(c3) = 0)
      +-----------+--------------------+-------+--------------------+-------> x
                  a                    c1      c2                   b

Formal Statement of Rolle's Theorem

Rolle's Theorem: Let $f$ be a function that satisfies three precise hypotheses:

1. $f$ is continuous on the closed interval $[a, b]$.
2. $f$ is differentiable on the open interval $(a, b)$.
3. $f(a) = f(b)$.

Then, there exists at least one number $c$ in the open interval $(a, b)$ such that: $f'(c) = 0$

Proof Sketch of Rolle's Theorem

• By the Extreme Value Theorem (EVT), because $f$ is continuous on $[a, b]$, it attains an absolute maximum value $M$ and an absolute minimum value $m$ on $[a, b]$.
• Case 1 (Constant Function): If $M = m$, then $f(x) = f(a)$ for all $x \in [a, b]$. The derivative of a constant function is zero everywhere, so $f'(c) = 0$ for every $c \in (a, b)$.
• Case 2 (Non-Constant Function): If $M > f(a)$ or $m < f(a)$, then the extremum must occur at an interior point $c \in (a, b)$. By Fermat's Theorem on Local Extrema, because $f$ is differentiable at this interior extremum $c$, its derivative must vanish: $f'(c) = 0$. $\blacksquare$

Worked Example: Polynomial Application of Rolle's Theorem

Problem: Verify that $f(x) = x^4 - 2x^2$ satisfies Rolle's Theorem on $[-2, 2]$ and find all guaranteed values of $c$.

1. Verify Hypotheses:
   • $f(x)$ is a polynomial $\implies$ continuous on $[-2, 2]$ and differentiable on $(-2, 2)$.
   • $f(-2) = (-2)^4 - 2(-2)^2 = 16 - 8 = 8$.
   • $f(2) = (2)^4 - 2(2)^2 = 16 - 8 = 8$.
   • Since $f(-2) = f(2) = 8$, all three hypotheses are satisfied.
2. Differentiate and solve $f'(c) = 0$: $$f'(x) = 4x^3 - 4x = 4x(x^2 - 1) = 4x(x - 1)(x + 1) = 0$$ $$c_1 = 0, \quad c_2 = 1, \quad c_3 = -1$$
3. Confirm Interval Membership: All three solutions $c = -1, 0, 1$ lie strictly inside the open interval $(-2, 2)$. Rolle's Theorem guaranteed at least one value; here, there are three.

---

2. The Mean Value Theorem (MVT)

The Mean Value Theorem generalizes Rolle's Theorem by tilting the secant line so that $f(a)$ does not need to equal $f(b)$.

Formal Statement of the Mean Value Theorem

The Mean Value Theorem: Let $f$ be a function that satisfies two hypotheses:

1. $f$ is continuous on the closed interval $[a, b]$.
2. $f$ is differentiable on the open interval $(a, b)$.

Then, there exists at least one number $c$ in the open interval $(a, b)$ such that: $f'(c) = \frac{f(b) - f(a)}{b - a}$ or equivalently in product form: $f(b) - f(a) = f'(c)(b - a)$

    y ^
      |                                               Secant Line
      |                                             / Slope = [f(b)-f(a)]/(b-a)
      |                                   (b, f(b))* 
      |                                    .---'  / 
      |                       Tangent Line/      / 
      |                         .---*---.       /  
      |                        / (c, f(c))\    /   
      |                       /            \  /    
 f(a) +---*------------------/--------------\/-----+ 
      |   (a, f(a))         /                
      |                    / 
      +---+---------------+------------------+-----> x
          a               c                  b

Geometric and Physical Interpretations

• Geometric Meaning: The instantaneous slope of the tangent line at $x = c$ ($m_{\text{tan}} = f'(c)$) is parallel to the slope of the secant line passing through the interval endpoints $(a, f(a))$ and $(b, f(b))$ ($m_{\text{sec}} = \frac{f(b) - f(a)}{b - a}$).
• Physical Meaning (Kinematics): If a vehicle travels an average speed of $70\text{ mph}$ over a 2-hour trip, its instantaneous speedometer reading must equal exactly $70\text{ mph}$ at least once during the journey. (This is the mathematical foundation for highway toll-booth speed enforcement).

---

3. Step-by-Step Computational Protocol for Finding $c$

On the CLEP exam, you will frequently be asked to calculate the exact numerical value(s) of $c$ guaranteed by the MVT.

5-Step MVT Calculation Protocol

1. Verify Continuity on $[a, b]$: Confirm no division by zero, negative square roots, or vertical asymptotes in $[a, b]$.
2. Verify Differentiability on $(a, b)$: Confirm no sharp corners, cusps, or vertical tangents in $(a, b)$.
3. Compute the Average Rate of Change (Secant Slope): $$m_{\text{sec}} = \frac{f(b) - f(a)}{b - a}$$
4. Compute the Derivative $f'(x)$ and Set $f'(c) = m_{\text{sec}}$: Solve the resulting algebraic equation for $c$.
5. Filter by the Open Interval $(a, b)$: Discard any algebraic solutions that lie outside $(a, b)$ or exactly on the endpoints $a$ and $b$.

Step-by-Step Worked Example 1: Cubic Polynomial

Problem: Find all numbers $c$ satisfying the Mean Value Theorem for $f(x) = x^3 - x$ on the interval $[0, 2]$.

1. Verify conditions: $f(x)$ is a polynomial $\implies$ continuous on $[0, 2]$ and differentiable on $(0, 2)$.
2. Compute secant slope:
   • $f(0) = 0^3 - 0 = 0$
   • $f(2) = 2^3 - 2 = 8 - 2 = 6$
   $$m_{\text{sec}} = \frac{f(2) - f(0)}{2 - 0} = \frac{6 - 0}{2} = 3$$
3. Differentiate and set equal to $m_{\text{sec}}$: $$f'(x) = 3x^2 - 1 \implies 3c^2 - 1 = 3$$
4. Solve for $c$: $$3c^2 = 4 \implies c^2 = \frac{4}{3} \implies c = \pm \frac{2}{\sqrt{3}} = \pm \frac{2\sqrt{3}}{3} \approx \pm 1.1547$$
5. Filter solutions:
   • $c_1 = +\frac{2\sqrt{3}}{3} \approx 1.1547 \in (0, 2)$ $\checkmark$ (Valid)
   • $c_2 = -\frac{2\sqrt{3}}{3} \approx -1.1547 \notin (0, 2)$ $\times$ (Rejected, outside interval)
   $$\text{Exact Answer: } c = \frac{2\sqrt{3}}{3}$$

Step-by-Step Worked Example 2: Radical Function

Problem: Find $c$ satisfying MVT for $f(x) = \sqrt{x}$ on $[1, 9]$.

1. Verify conditions: $f(x)$ is continuous on $[1, 9]$ and differentiable on $(1, 9)$.
2. Compute secant slope: $$m_{\text{sec}} = \frac{\sqrt{9} - \sqrt{1}}{9 - 1} = \frac{3 - 1}{8} = \frac{2}{8} = \frac{1}{4}$$
3. Differentiate and solve: $$f'(x) = \frac{1}{2\sqrt{x}} \implies \frac{1}{2\sqrt{c}} = \frac{1}{4} \implies 2\sqrt{c} = 4 \implies \sqrt{c} = 2 \implies c = 4$$
4. Filter solutions: $c = 4 \in (1, 9)$. Valid.

---

4. Failure Modes and Common CLEP Traps

The CLEP exam frequently designs questions to test whether candidates recognize when MVT cannot be applied.

Failure Mode 1: Discontinuity on the Closed Interval $[a, b]$

Consider $f(x) = \frac{1}{x^2}$ on $[-1, 1]$.

• Endpoint values: $f(-1) = 1$, $f(1) = 1 \implies m_{\text{sec}} = \frac{1 - 1}{1 - (-1)} = 0$.
• Derivative: $f'(x) = -\frac{2}{x^3}$. Setting $-\frac{2}{c^3} = 0$ yields no real solution.
• Why MVT fails: $f(x)$ is discontinuous at $x = 0 \in [-1, 1]$ (infinite vertical asymptote). Even though $f(-1)=f(1)$, Rolle's Theorem and MVT do not apply.

Failure Mode 2: Non-Differentiability on the Open Interval $(a, b)$

Consider $f(x) = |x|$ on $[-1, 2]$.

• Endpoint values: $f(-1) = 1$, $f(2) = 2 \implies m_{\text{sec}} = \frac{2 - 1}{2 - (-1)} = \frac{1}{3}$.
• Derivative: $f'(x) = -1$ for $x < 0$ and $f'(x) = +1$ for $x > 0$. The derivative is never equal to $1/3$.
• Why MVT fails: $f(x)$ is continuous on $[-1, 2]$, but it has a sharp corner at $x = 0 \in (-1, 2)$ where $f'(0)$ does not exist. Non-differentiability at even one interior point destroys the MVT guarantee.

Failure Mode 3: Retaining Endpoint Solutions

If solving $f'(c) = m_{\text{sec}}$ produces $c = a$ or $c = b$, you must reject those values. The MVT strictly guarantees an interior value in the open interval $(a, b)$.

---

5. Corollaries and Theoretical Applications of MVT

The Mean Value Theorem provides the mathematical justification for foundational calculus theorems:

Corollary 1: The Constant Function Theorem

If $f'(x) = 0$ for all $x$ in an open interval $(a, b)$, then $f$ is constant on $(a, b)$.

Proof: Take any two points $x_1 < x_2$ in $(a, b)$. By MVT on $[x_1, x_2]$, there exists $c \in (x_1, x_2)$ such that $\frac{f(x_2) - f(x_1)}{x_2 - x_1} = f'(c) = 0$. This implies $f(x_2) - f(x_1) = 0 \implies f(x_2) = f(x_1)$. Since this holds for all pairs, $f(x)$ is constant.

Corollary 2: The Equal Derivatives Theorem

If $f'(x) = g'(x)$ for all $x$ in $(a, b)$, then there exists a constant $C$ such that $f(x) = g(x) + C$.

Significance: This corollary is the theoretical basis for the constant of integration ($+C$) in indefinite integrals.

Application: Bounding Function Values Using MVT

Problem: Suppose $f$ is continuous and differentiable for all real numbers. If $f(2) = 5$ and $3 \le f'(x) \le 7$ for all $x$, what are the minimum and maximum possible values of $f(6)$?

Solution: Apply MVT to $f$ on $[2, 6]$:

$$f(6) - f(2) = f'(c)(6 - 2) = 4\cdot f'(c)$$ $$f(6) = f(2) + 4\cdot f'(c) = 5 + 4\cdot f'(c)$$

Since $3 \le f'(c) \le 7$:

• Minimum possible value: $f(6) = 5 + 4(3) = 5 + 12 = 17$
• Maximum possible value: $f(6) = 5 + 4(7) = 5 + 28 = 33$

$$\text{Conclusion: } 17 \le f(6) \le 33$$