Module 3 : Problem Discretization using Approximation Theory
Section 8 : Appendix: Necessary and Sufficient Conditions for Unconstrained Optimality
 
8.2 Necessary Condition for Optimality
The necessary condition for optimality, which can be used to establish whether a given point is a stationary (maximum or minimum) point, is given by the following theorem.
 
Theorem 43
If $\phi (\QTR{bf}{x)}$ is continuous and differentiable and has an extreme (or stationary) point (i.e. maximum or minimum ) point at MATH then
  MATH ---- (335)
Proof: Suppose MATH is a minimum point and one of the partial derivatives, say the $k^{th}$ one, does not vanish at MATH then by Taylor's theorem
  MATH ---- (336)
  MATH ---- (337)
Since MATHis of order ($\Delta x_{i}$)$^{2}\,,$ the terms of order $\Delta x_{i}$ will dominate over the higher order terms for sufficiently small MATH Thus, sign of MATH is decided by sign of
  MATH  
Suppose,
  MATH ---- (338)
then, choosing $\Delta x_{k}<0$ implies
  MATH ---- (339)
and $\phi (\QTR{bf}{x)}$ can be further reduced by reducing $\Delta x_{k}.\,$This contradicts the assumption that MATH is a minimum point. Similarly, if
  MATH ---- (340)
then, choosing $\Delta x_{k}>0$ implies
  MATH ---- (341)
and $\phi (\QTR{bf}{x)}$ can be further reduced by increasing $\Delta x_{k}.\, $This contradicts the assumption that MATH is a minimum point. Thus, MATH will be a minimum of $\phi (\QTR{bf}{x)}$ only if
  MATH ---- (342)
Similar arguments can be made if MATH is a maximum of MATH