La fonction est définie et continue sur l'intervalle , elle admet donc sur cet intervalle des primitives.

On pose ,(on remarque qu'il s'agit d'un changement de variable indirect : la fonction cosinus est bijective de ).

On a :

est une constante réelle.