First Derivative Theorem for Local Extreme Values

Definition

In the context of calculus, this theorem (often associated with Fermat) provides a necessary condition for the existence of local extrema.

Why It Matters

This theorem provides the “mathematical filter” for search. By narrowing the search for extrema to only critical points, it dramatically reduces the complexity of optimization problems. It is the “gatekeeper” of calculus; it ensures that we don’t waste resources checking every possible state, allowing us to focus our analytical power on the only points where a peak or valley is physically possible.

Core Concepts

• Theorem If $f$ has a local maximum or minimum value at an interior point $c$ of its domain, and if $f'$ is defined at $c$, then: $f'(c) = 0$

  • How to read: “The derivative f prime at the point c equals zero.”
  • Meaning: Fermat’s necessary condition—at a smooth interior peak or valley the tangent is horizontal (slope zero).

• Interpretation This theorem tells us that local extrema can only occur at critical points. If a point is not a critical point, it cannot be a local extremum. However, not every critical point is an extremum (e.g., $f(x) = x^3$ at $x = 0$ has $f'(0) = 0$ but is neither a max nor a min).

  • How to read: “The derivative f prime at zero equals zero; however, the function f of x equals x cubed has no local maximum or minimum at zero.”
  • Meaning: $f'(c)=0$ is necessary, not sufficient—use first or second derivative test to classify critical points.

Connected Concepts

• The First Derivative Test for Local Extrema
• The Second Derivative Test for Local Extrema
• First Derivative Test and Monotonicity