Fermat's stationary point theorem states that if a real-valued function of a real variable has a
local extremum at a point
in the interior of its domain
and is differentiable at
, then
The illustration shows the horizontal tangents at a differentiable local minimum and local
maximum, together with a stationary point
that is an inflection point. The converse
is false: a stationary point need not be a local maximum or local
minimum. For example, has
,
but no local extremum at 0. The hypotheses also
matter. The nondifferentiable function
has a local minimum
at 0, where
is the absolute value
of
.