Tipp: mit f(x) = tan(x) liefert der Mittelwertsatz
(tan(b) - tan(a) ) / ( b-a) = f ' (c) mit c zwischen a und b.
also
(tan(b) - tan(a) ) / ( b-a) = 1 / cos^2(c)
und weil cos nicht größer als 1 ist, ist die rechte Seite
immer größer oder gleich 1, also
(tan(b) - tan(a) ) / ( b-a) ≥ 1
<=> (tan(b) - tan(a) ) ≥ ( b-a)