Derivada del seno

Esta es la demostración de que la derivada de la función seno es la función coseno, es decir $(\operatorname{sen} x)'=\cos x$.  Ello implica demostrar que \[\mathop {\lim }\limits_{x \to a} \frac{{\operatorname{sen} (x) - \operatorname{sen} (a)}}{{x - a}} = \cos a.\]

Derivada de la función seno