[1HH]Prerequisites:[2BH]↺↻.Show that a necessary condition for \(x∈ A\) to be a local minimum of \(f\) bound to \(F_ a\), is that,
either \(𝜑(x){\lt}a\) and \(∇ f(x)=0\),
or \(𝜑(x)=a\) and \(∇ f(x)+𝜆 ∇𝜑(x)=0\) with \(𝜆≥ 0 \).
These are the Karush–Kuhn–Tucker conditions.
[1HJ]↺↻
