Reelle Funktion/Lokales Extremum/Differenzierbar/Ableitung null/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir können annehmen, dass ein lokales Maximum in besitzt. Es gibt also ein mit für alle . Es sei eine Folge mit , die gegen („von unten“) konvergiere. Dann ist der Differenzenquotient

was sich dann auf den Limes, also den Differentialquotienten, überträgt. Also ist . Für eine Folge mit gilt andererseits

Daher ist auch und somit ist .

Zur bewiesenen Aussage