Mittelwertsatz besagt: Für alle t1, t2 im
Intervall [a,b] gibt es ein t mit f ' (t) = ( f(t2)-f(t1) ) / ( t2 - t1 )
Das gilt dann ja auch für die Beträge
| f ' (t) |= | f(t2)-f(t1) | / |t2 - t1 |
<=> | f ' (t) | * |t2 - t1 |= | f(t2)-f(t1) |
Und wenn M das Maximum von | f ' (t) | auf [a,b] ist,
also M * |t2 - t1 | ≥ | f(t2)-f(t1) |. q.e.d.