Theorems of Calculus

The fundamental theorems of differential calculus provide the rigorous mathematical backing that guarantees the existence of certain conditions. These theorems are essential in optimization, curve sketching, and numerical analysis.

The Extreme Value Theorem (EVT)

Before finding maximum and minimum values, we must establish that they actually exist. The Extreme Value Theorem provides the criteria ensuring a function attains absolute extrema.

Extreme Value Theorem

If a function ff is continuous on a closed interval [a,b][a, b], then ff must attain an absolute maximum value f(c)f(c) and an absolute minimum value f(d)f(d) at some numbers cc and dd in the interval [a,b][a, b].

Importance in Optimization

The EVT guarantees that an optimization problem on a closed interval has a definitive solution. The extrema can occur either at interior points (where the derivative is zero or undefined) or at the endpoints of the interval.

Rolle's Theorem

Rolle's Theorem provides conditions under which a differentiable function must have at least one critical point where the tangent is horizontal (derivative is zero).

Rolle's Theorem

Let ff be a function that satisfies three conditions:

  1. ff is continuous on the closed interval [a,b][a, b].
  2. ff is differentiable on the open interval (a,b)(a, b).
  3. f(a)=f(b)f(a) = f(b).
Then, there exists at least one number cc in the open interval (a,b)(a, b) such that f(c)=0f'(c) = 0.

Intuition

If you throw a ball straight up into the air and catch it at the same height, its velocity must be zero at the peak of its trajectory. Since the start and end heights are the same (f(a)=f(b)f(a) = f(b)), there must be a point in between where the rate of change is zero.

The Mean Value Theorem (MVT)

The Mean Value Theorem is a generalization of Rolle's Theorem. It relates the average rate of change over an interval to the instantaneous rate of change at a specific point within that interval.

Mean Value Theorem

Let ff be a function that satisfies two conditions:

  1. ff is continuous on the closed interval [a,b][a, b].
  2. ff is differentiable on the open interval (a,b)(a, b).
Then, there exists at least one number cc in (a,b)(a, b) such that the derivative at cc equals the slope of the secant line connecting the endpoints:

Mean Value Theorem

Relates average rate of change to instantaneous rate of change.

f(c)=f(b)f(a)baf'(c) = \frac{f(b) - f(a)}{b - a}

Variables

SymbolDescriptionUnit
f(c)f'(c)Instantaneous rate of change at c-
f(b)f(a)f(b) - f(a)Total change in function value-
bab - aLength of the interval-

Interact with the simulation below to explore the Mean Value Theorem.

Mean Value Theorem

There exists at least one point cc in (a,b)(a, b) where the tangent line is parallel to the secant line.

f(c)=f(b)f(a)baf'(c) = \frac{f(b) - f(a)}{b - a}
03
Secant Slope2.0000
Tangent Slope-1.0000
Loading chart...

MVT in the Real World

If you drive a distance of 100 kilometers in 1 hour, your average speed is 100 km/h. According to the Mean Value Theorem, there must have been at least one exact instant during the trip where your speedometer read exactly 100 km/h, regardless of how you accelerated or decelerated.

Cauchy's Mean Value Theorem

Cauchy's Mean Value Theorem (or the Generalized Mean Value Theorem) extends the standard MVT to a pair of functions evaluated simultaneously. It forms the foundational proof for L'Hopital's Rule.

Cauchy's Mean Value Theorem

Let functions ff and gg be continuous on the closed interval [a,b][a, b] and differentiable on the open interval (a,b)(a, b). Assume g(x)0g'(x) \neq 0 for all xx in (a,b)(a, b). Then there exists at least one number cc in (a,b)(a, b) such that:

Cauchy's Mean Value Theorem

Generalization of MVT for two functions.

f(c)g(c)=f(b)f(a)g(b)g(a)\frac{f'(c)}{g'(c)} = \frac{f(b) - f(a)}{g(b) - g(a)}

Variables

SymbolDescriptionUnit
f,gf, gContinuous and differentiable functions-
ccPoint in the interval (a, b)-

L'Hopital's Rule

L'Hopital's Rule is a highly effective calculus technique used to evaluate limits of indeterminate forms, primarily 00\frac{0}{0} or \frac{\infty}{\infty}, by taking the derivatives of the numerator and the denominator. Geometrically, L'Hopital's Rule works because zooming into a point of intersection of two differentiable functions reveals that they behave linearly like their tangent lines, so their ratio approaches the ratio of their slopes.
Interact with the simulation below to explore L'Hopital's Rule and see the convergence of function ratios to derivative ratios.

Case 1: sin(x) / x

Explore how both curves become linear under high zoom, showing that their ratio approaches the ratio of their tangent lines.

limx0sinxx[00]\lim_{x \to 0} \frac{\sin x}{x} \quad \left[\frac{0}{0}\right]
-1.5Target c = 01.5
1x (Wide View)50x (Linear Zoom)
Limit Approximations
f(x) = \sin x0.479426
g(x) = x0.500000
Ratio f(x)/g(x)0.958851
Slopes f'(x)/g'(x)0.877583
Blue: f(x)Orange: g(x)Vertical line: Current x position
Loading chart...
As you zoom to 50x, observe how both curves look perfectly straight (tangent line approximation) and intersect exactly at y=0y = 0 at x=0x = 0.

Newton's Method

Newton's Method is an iterative numerical approximation technique used to find the roots (or zeros) of a function, f(x)=0f(x) = 0. By utilizing successive linear tangent line approximations, each iteration brings the estimate closer to the true root.
Interact with the simulation below to explore how Newton's Method converges to a root step-by-step.

Newton's Method Interactive Visualization

Finding the positive root of f(x) = x² - 4 (The root is at x=2).

Iteration Progress

    3.0000
    Current Estimate
    Key Takeaways
    • The Extreme Value Theorem (EVT) guarantees that a continuous function on a closed interval will reach an absolute maximum and minimum.
    • Rolle's Theorem guarantees a point where the derivative is zero, provided the endpoints have equal function values.
    • The Mean Value Theorem (MVT) guarantees a point where the instantaneous rate of change equals the average rate of change over the interval.
    • Cauchy's Mean Value Theorem generalizes the MVT for two functions, comparing the ratio of their instantaneous rates to the ratio of their average changes.
    • These theorems require the function to be continuous on the closed interval and differentiable on the open interval, and they serve as the backbone for advanced calculus concepts.