ziemlich bekannt ist ja für alle a aus IR
| sin(a) | ≤ | a | #
und sin(a) - sin(b) = 2 cos( a+b)/2 ) sin ( a-b) / 2 ) ##
(kann man mit Add. theorem beweisen)
Dann ist | ( sin(x1 ) - sin ( x2) ) / ( x1 - x2 ) |
= | ( sin(x1 ) - sin ( x2) ) | / | ( x1 - x2 ) | wegen ##
= |2 * cos( (x1 + x2) / 2 )* sin( (x1 - x2) / 2 ) | / | ( x1 - x2 ) |
und dann # anwenden