Wir zeigen, dass der Kosinus im Intervall
streng fallend ist. Dies wird bewiesen indem die Ableitung betrachtet wird und gezeigt wird, dass sie im offenen Intervall
echt negativ ist. Die Ableitung des Kosinus ist das Negative des Sinus, also ist das äquivalent dazu, dass der Sinus in
echt positiv ist.
Wenn man den Graph des Sinus betrachtet ist das zwar direkt ersichtlich, aber wir wollen es rigoros mithilfe der Definition des Sinus beweisen. Dazu werden immer zwei aufeinanderfolgende Summanden der Potenzreihenentwicklung des Sinus durch Ausklammern des gemeinsamen Faktors zusammengefasst. Dabei ist jeder zusammengefasste Summand von der Form
-
und

. Innerhalb der Intervallgrenzen von
![{\displaystyle {}[0,2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16a500881b91a2cffe370f70cb70d470f894e184)
ist
-
am kleinsten, wenn

ist. Wir setzen 2 für

ein und sehen dass

für alle vorkommenden

kleiner als

ist. Jeder der Summanden ist also nichtnegativ. Weil alle Summanden nichtnegativ sind, ist

, dem ersten Summanden. Dass

auf dem offenen Intervall
![{\displaystyle {}]0,2[}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad4b5eda7dcd4e7f1ff19cca0efe58996d75e76e)
echt positiv ist, ist direkt ersichtlich, also muss auch der Sinus auf diesem offenen Intervall echt positiv sein.
Zur beantworteten Studentenfrage