Danke! Mit dem MWS habe ich nun folgendes:
wir wählen x1, x2 ∈ ℝ mit x1 < x2 und erhalten mit dem Mitttelwertsatz der Differentialrechnung:
f(x2) - f(x1) = f'(x)(x2-x1) > 0 → f(x2) > f(x1), da laut Voraussetzung f'(x) > 0. Somit ist f streng monoton wachsend. Ist dies korrekt?
Es gibt ja zusätzlich noch die Aussage, aus dem MWS abgeleitet:
Sei f: ℝ → ℝ differenzierter mit f'(x) < 0 für alle x ∈ ℝ. Zeigen Sie, dass f streng monoton fallend ist.
Wäre der Beweis (insofern der zuvor korrekt ist) folgender:
wir wählen x1, x2 ∈ ℝ mit x1 > x2 und erhalten mit dem Mitttelwertsatz der Differentialrechnung:
f(x2) - f(x1) = f'(x)(x2-x1) < 0 → f(x2) < f(x1), da laut Voraussetzung f'(x) < 0. Somit ist f streng monoton fallend.