Fermat's stationary point theorem states that if a real-valued function 
has a local extremum at
a point 
in the interior of its domain
and is differentiable at 
, then
 |
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 
.
