Euklidischer Raum/Differenzierbare Funktion/Kurve in Niveaumenge/Senkrecht auf Gradient/Fakt
Es sei ein euklidischer Vektorraum, offen und
eine in differenzierbare Funktion. Es sei
eine differenzierbare Kurve mit , die ganz innerhalb einer Niveaumenge von verläuft.
Dann steht der Gradient zu senkrecht auf .