Euklidischer Raum/Differenzierbare Funktion/Kurve in Niveaumenge/Senkrecht auf Gradient/Fakt/Name/Inhalt

Es sei ${}(V,\left\langle -,-\right\rangle )$ ein euklidischer Vektorraum,  ${}G\subseteq V$  offen und

$f\colon G\longrightarrow \mathbb {R}$

eine in  ${}P\in G$  differenzierbare Funktion. Es sei

$h\colon I\longrightarrow G$

eine differenzierbare Kurve mit  ${}h(0)=P$,  die ganz innerhalb einer Niveaumenge von ${}f$ verläuft. Dann steht der Gradient zu ${}f$ senkrecht auf ${}h'(0)$.