Fermat's theorem
For any differentiable function, we have the Fermat's theorem necessary condition of optimality, which states that: if formula_5 has a local minimum at formula_19, then formula_19 must be a stationary point of formula_5 (that is: formula_22).