Reelle Funktion/Extremum/Zweite Ableitung/Fakt/Beweis

Beweis

Wir beweisen die erste Aussage, die zweite kann man darauf zurückführen, indem man das Negative der Funktion betrachtet. Wegen der zweifachen stetigen Differenzierbarkeit und

gibt es ein derart, dass die zweite Ableitung auf dem Intervall positiv ist. Nach Fakt ist dann auf diesem Intervall streng wachsend. Wir behaupten, dass in ein isoliertes lokales Minimum besitzt, und zwar dass

für alle , , gilt. Nehmen wir an, dass dies nicht stimmt, und sei ein Element mit

(das Argument bei verläuft genauso). Dann gibt es mit dem Mittelwertsatz ein mit

und mit

Doch dies widerspricht wegen der strengen Monotonie der Ableitung.