Ich würde es indirekt versuchen:
Sei f streng monoton wachsend und das hintere gilt nicht, dann wäre also entweder
f′ ≥ 0 falsch oder Z enthält. ein Intervall positiver Länge.
Wenn f′ ≥ 0 falsch gibt es ein xo ∈ I mit f ' (xo) < 0 , also eine ganze Umgebung
von xo in der (f(x) - f(xo) ) / (x-xo) < 0 gilt, was der strengen Monotonie widerspricht.
Und wenn gilt : Z enthält. ein Intervall positiver Länge.
Dann gibt es zwei verschiedene Werte a,b (oBdA a<b ) in diesem Intervall und für alle
x zwischen a und b gilt f ' (x) = 0
Da aber wegen der Monotonie f(b) > f(a) gilt, ist (f(b)-f(a) ) / (b-a) als Quotient
zweier positiver Zahlen positiv . Nach dem Mittelwertsatz gibt es aber ein
x zwischen a und b mit (f(b)-f(a) ) / (b-a) = f ' (x)
Die rechte Seite ist aber (s.o.) immer 0. Widerspruch !