Extrema/Nebenbedingung/Hyperfläche/Fakt

Aus Wikiversity

Es sei eine offene Teilmenge und seien

und

stetig differenzierbare Funktionen. Es sei und die Faser von über . Die eingeschränkte Funktion besitze im Punkt ein lokales Extremum auf und sei ein regulärer Punkt von .

Dann ist ein Vielfaches von , d.h. es gibt ein mit