Satz: Fermat
Hat f in x0 ein lokales Min oder Max und ist f in x0 differenzierbar, so gilt .
Satz 8: Fermat
Ist f auf dem offenen Intervall (a, b) differenzierbar und hat f in ein lokales Maximum oder Minimum, so gilt . Lokales Minimum x0 mit in kleiner Umgebung von x0. Randpunkte a, b werden im Satz nicht behandelt.
Beweis
Sei z.B.
x0 lokales Minimum
Da f differenzierbar ist, gilt