Bonjour,
On a: cosx /(1+ cosx)=( (1+ cosx) - 1 )/(1+ cosx) = 1 - 1/(1+cosx) = 1 - 1/2.cos^2(x/2) .
Donc : cosx/(1+ cosx)= ( x - tan(x/2))' .
Par suite une primitive de la fonction f définie par f(x)=cosx/(1+cosx) sur un intervalle inclus dans Df est la fonction F définie par :
F(x) = x - tan(x/2) .