Derivative of Sine Function

Theorem

 * $D_x \left({\sin x}\right) = \cos x$

Corollary

 * $D_x \left({\sin \left({a x}\right)}\right) = a \cos \left({a x}\right)$

Proof 1
From the definition of the sine function, we have:
 * $\displaystyle \sin x = \sum_{n=0}^\infty \left({-1}\right)^n \frac {x^{2n+1}} {\left({2n+1}\right)!}$

From Power Series over Factorial, this series converges for all $x$.

From Power Series Differentiable on Interval of Convergence, we have:

The result follows from the definition of the cosine function.

Proof 3
This proof depends on Derivative of Cosine Function.

Proof of Corollary
Follows directly from Derivative of Function of Constant Multiple.