O problema de otimizao consistem em minimizar

Teorema que apresenta as condies necessrias de Karush-Kuhn-Tucker (KKT):Teorema (Condies necessrias de Karush-Kuhn-Tucker)Seja , aberto e , , e , e considere o problema dado por (110)-(113).

Seja uma soluo factvel e . Suponha que e para so diferenciveis em e para cada , contnua em e que cada para continuamente diferencivel em .Suponha ainda que para e , so linearmente independentes. Se resolve localmente o problema , ento existem escalares para e , para , definidos de maneira nica, tais que (114) satisfeita.

para todo , onde .Alm disso, se cada para , diferencivel em , as condies de KKT podem ser reescritas como (115)-(117).

A restrio (115) representa a condio de estacionaridade, a equao (116) representa a condio de complementaridade e a equao (117) a condio de viabilidade dual.Cada uma das restries do problema tem um multiplicador de lagrange vinculado. Estes escalares so de suma importncia teoria de otimizao devido sua aplicabilidade nos problemas de engenharia. Os multiplicadores de Lagrange associados s restries fornecem as informaes de sensibilidade, isto , o quanto muda o valor da funo objetivo quando h um acrscimo ou decrscimo unitrio de valores na restrio.