Es sei \(a<b\) im Definitionsbereich und
$$z=(1-s)a+sb \text{ mit }s \in (0,1)$$
ein Zwischenpunkt. Der Mittelwertsatz sagt:
$$f(z)=f(a)+f'(p)(z-a) \text{ und }f(b)=f(z)+f'(q)(b-z)$$
Mit Punkten \(p \in (a,z)\) und \(q \in (z,b)\). Es folgt
$$f(z)=(1-s)f(z)+sf(z)=(1-s)f(a)+sf(b)+(f'(p)-f'(q))(1-s)s(b-a)\\\quad \leq (1-s)f(a)+sf(b) $$
Die letzte Ungleichung gilt, weil wegen der vorausgesetzten Monotonie von f' die Differenz f'(p)-f'(q) nichtpositiv ist.