Les applications
{\begin{cases}x\mapsto\sin x\cr x\mapsto\cos x\end{cases}} sont indéfiniment dérivables sur
{\mathbb{R}}.
Pour tout {x} réel, et tout {n} de {\mathbb{N}}, on a :{\begin{cases}\cos' x=-\sin x\\\sin' x=\cos x\end{cases}\quad \begin{cases}\cos'' x=-\cos x\\\sin'' x=-\sin x\end{cases}}Plus généralement : {\cos^{(n)}\!x=\cos\Big(x\!+\!n\dfrac\pi2\Big)\;\text{et}\;\sin^{(n)}\!x=\sin\Big(x\!+\!n\dfrac\pi2\Big)}