-
In [6.8.6] haben wir den Grenzwert
berechnet. sin ist damit in 0 differenzierbar und .
-
Für alle ist nach dem Satz des Pythagoras (siehe [4.3.*]) , cos und sind also in 0 lokal identisch. Da in 0 und in 1 differenzierbar sind, ergibt sich die Differenzierbarkeit von cos in 0 aus der Kettenregel ([7.6.11]) mit
als Ableitungszahl.
-
Nach den Additionstheoremen für sin und cos (siehe [4.3.*]) hat man für alle :
Nach Ketten- und Faktorregel ([7.6.6]) sowie 1. und 2. sind daher sin und cos differenzierbar in a und