Notwendige Optimalitätsbedingung erster Ordnung unrestringierter Probleme

Ist lokales Minimum von dann gilt notwendigerweise:

Das ist ein Stationärer Punkt von .

Die Bedinung gilt nur notwendigerweise, weil sie nicht zwischen einem Minimum und Maximum unterscheiden kann. Denn für den Gradient gilt .