La fonction est dérivable sur et a pour fonction dérivée la fonction définie par cos .