c'est pas une primitive evidente je trouve je vais essayer un truc mais je promet rien
bon on va commencer par aller chercher la formule
cos(2x)=1-2sin²(x)
a partir de ça on en déduit
f(x)=(-cos(2x)+1)/2
et de cela on en déduit que une prmitive de f sur R est
F(x)=(-sin(2x)/4) + x/2
F(x)=(-sin(2x)+2x)/4
voila je sais pas si c'est bon mais en dérivant on tombe sur ce qu'il faut
par contre je sais pas si il y'a une formule géneral