Beweis für sin
0(x) = cos(x)
Um eine Funktion abzuleiten, müssen wir den Differentialquotienten berechnen:
f0(x0) = lim
h→0
sin(x0+h)−sin(x0) h
Wegen des Zusammenhanges
sinα−sinβ= 2·cosα+β
2 ·sinα−β
2 (Additionstheorem) kann man umformen zu (α=x0 +h,β =x)
f0(x0) = lim
h→0
2·cos2x02+h ·sinh2
h = lim
h→0
"
cos
x0+h 2
· sinh2
h 2
#
Nun strebt aber (siehe unten) der Ausdruck sinh2
h 2
fürh→0gegen1. Somit strebt der Ausdruck insgesamt fürh→0gegencosx0: f0(x0) = cosx0
Zu zeigen bleibt, dass limx→0 sinx
x = 1. Für 0< x < π2 gilt gemäß der Skizze:
A∆0CB < ASektor0CB < A∆0CD 1·sinx
2 < 122·x < 1·tan2 x sinx < x < tanx 1 < sinxx < cos1x 1 > sinxx > cosx
↓ ↓
1 1
Ergebnis:limx→0 sinx x = 1
1