Reelle Funktion/Ableitung/Monotonieverhalten/Fakt/Beweis

Beweis

(1). Es genügt, die Aussagen für wachsende Funktionen zu beweisen. Wenn wachsend ist, und ist, so gilt für den Differenzenquotienten

für jedes mit . Diese Abschätzung gilt dann auch für den Grenzwert für , und dieser ist .
Es sei umgekehrt die Ableitung .    Nehmen wir an, dass es zwei Punkte in mit gibt. Aufgrund des Mittelwertsatzes gibt es dann ein mit mit

 im Widerspruch zur Voraussetzung.

(2). Es sei nun mit nur endlich vielen Ausnahmen.  Angenommen es wäre für zwei Punkte . Da nach dem ersten Teil wachsend ist, ist auf dem Intervall konstant. Somit ist auf diesem gesamten Intervall, ein Widerspruch dazu, dass nur endlich viele Nullstellen besitzt.