Betrachte die Funktion mit f(x) = sin(2x) mit f ' (x) = 2cos(2x).
Nach dem Mittelwertsatz gibt es für alle \( x_{1}, x_{2} \in \mathbb{R} \)
ein z zwischen \( x_{1}\) und \( x_{2} \) mit
\( \frac{ f(x_2) -f(x_1)}{x_2-x_1} = f ' (z) \)
==> \( \frac{ sin(2x_2) -sin(2x_1)}{x_2-x_1} = 2cos(z) \)
Das gilt dann auch für die Beträge
\( \frac{ | sin(2x_2) -sin(2x_1) | }{|x_2-x_1|} = |2cos(z)| \)
und weil |cos(z)| ≤1 gilt
\( \frac{ | sin(2x_2) -sin(2x_1) | }{|x_2-x_1|} \le 1\)
Mit dem positiven Nenner multiplizieren, gibt für x₁≠x₂ die
gewünschte Ungleichung. Und bei Gleichheit
wird es zu der wahren Aussage 0≤0.