|         |         | 
A theorem in nonlinear programming which states that if a regularity condition holds and  and the functions
 and the functions  are
convex, then a solution
 are
convex, then a solution  which satisfies the conditions
 which satisfies the conditions  for a Vector of multipliers
 for a Vector of multipliers 
 is a
Global Minimum.  The Kuhn-Tucker theorem is a generalization of Lagrange Multipliers.  Farkas's Lemma is key in proving this theorem.
 is a
Global Minimum.  The Kuhn-Tucker theorem is a generalization of Lagrange Multipliers.  Farkas's Lemma is key in proving this theorem.
See also Farkas's Lemma, Lagrange Multiplier