In calculus and real analysis, the interior extremum theorem states that any local extremum of a real function at which it is differentiable is a stationary point. It is also known as Fermat's theorem, named after the French mathematician Pierre de Fermat. The interior extremum theorem gives a necessary, but not sufficient condition for local extrema at which the function is differentiable, as some stationary points are not local extrema. The second derivative, if non-zero, can be used to determine whether a local extremum at which the function is twice differentiable is a maximum or a minimum. However, the second derivative can be zero at local extrema.
History Pierre de Fermat proposed in a collection of treatises titled Maxima et minima a method to find maximum or minimum, similar to the modern interior extremum theorem using an approach he called adequality. After Marin Mersenne passed the treatises onto René Descartes, Descartes was doubtful, remarking "if [...] he speaks of wanting to send you still more papers, I beg of you to ask him to think them out more carefully than those preceding". Descartes later agreed that the method was valid.
Statement One way to state the interior extremum theorem is that, if a function has a local extremum at some point and is differentiable there, then the function's derivative at that point must be zero. In precise mathematical language:
Let f : ( a , b ) → R {\displaystyle f\colon (a,b)\rightarrow \mathbb {R} } be a function from an open interval ( a , b ) {\displaystyle (a,b)} to R {\displaystyle \mathbb {R} } , and suppose that x 0 ∈ ( a , b ) {\displaystyle x_{0}\in (a,b)} is a point where f {\displaystyle f} has a local extremum. If f {\displaystyle f} is differentiable at x 0 {\displaystyle x_{0}} , then f ′ ( x 0 ) = 0 {\displaystyle f'(x_{0})=0} . Another way to understand the theorem is via the contrapositive statement: if the derivative of a function at any point is not zero, then there is not a local extremum at that point. Formally:
If f {\displaystyle f} is differentiable at x 0 ∈ ( a , b ) {\displaystyle x_{0}\in (a,b)} , and f ′ ( x 0 ) ≠ 0 {\displaystyle f'(x_{0})\neq 0} , then x 0 {\displaystyle x_{0}} is not a local extremum of f {\displaystyle f} .
Corollary Every global extremum of a function f on a domain A occurs only at the boundary of A, non-differentiable points, or stationary points. If x 0 {\displaystyle x_{0}} is a global extremum of f, then one of the following is true:
boundary: x 0 {\displaystyle x_{0}} is in the boundary of A non-differentiable: f is not differentiable at x 0 {\displaystyle x_{0}}
stationary point: f ′ ( x 0 ) = 0 {\displaystyle f'(x_{0})=0}
The function f ( x ) = x 3 {\displaystyle f(x)=x^{3}} has no extrema. The function f ( x ) = x 3 − x {\displaystyle f(x)=x^{3}-x} has no global extrema, although it has local extrema.
… excerpt ends here. Continue reading the full article.
