Sei eine Funktion, die in einem \textit{inneren} Punkt ein lokales Extremum besitzt, so gilt (sofern existiert):

Anders ausgedrückt: Die Ableitung einer differenzierbaren Funktion hat an lokalen Extrema eine Nullstelle.

Achtung

Die Umkehrung (also dass jede Nullstelle ein lokales Extremum impliziert) gilt nicht.