Real sine and cosine function/Derivative/Fact

The

sine function

is differentiable, with

and the cosine function

is differentiable, with