Es sei a<b im Definitionsbereich und
z=(1−s)a+sb mit s∈(0,1)
ein Zwischenpunkt. Der Mittelwertsatz sagt:
f(z)=f(a)+f′(p)(z−a) und f(b)=f(z)+f′(q)(b−z)
Mit Punkten p∈(a,z) und q∈(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)≤(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.