Man kann das ganze über den Differenzialquotient herleiten
f(x) = sin(x)
f'(x) = lim h→0 (f(x + h) - f(x)) / h
= lim h→0 (sin(x + h) - sin(x)) / h
Substitution x + h = a + b und x = a - b
a = x + h/2
b = h/2
= lim h→0 (sin(a + b) - sin(a - b)) / h
Wir benutzen die Additionstheoreme für den Sinus
= lim h→0 (sin(a)·cos(b) + cos(a)·sin(b) - (sin(a)·cos(b) - cos(a)·sin(b))) / h
= lim h→0 (2·cos(a)·sin(b)) / h
Resubstituieren
= lim h→0 (2·cos(x + h/2)·sin(h/2)) / h
= lim h→0 cos(x + h/2)·sin(h/2)) / (h/2)
Wir wissen, dass lim x→0 sin(x) / x = 1
= lim h→0 cos(x + h/2)·1
= cos(x)