est évidemment continue est dérivable deux fois puisqu'elle est la somme d'une fonction affine et de la fonction sinus. On a:
.
Comme , on a bien pour tout de .
De même on a:
,
donc on a bien pour tout .