On recherche l'expression de
∫cos2(x)xdx.
Ceci s'écrit donc :
∫cos2(x)xdx=∫(x×cos2(x)1)dx=∫(x×(tan(x))′)dxLa technique de l'intégration par parties semble donc parfaitement adaptée à la situation. On a :
∫cos2(x)xdx=xtan(x)−∫(1×tan(x))dx=xtan(x)−∫tan(x)dx=xtan(x)−∫cos(x)sin(x)dxCe qui nous donne également :
∫cos2(x)xdx=xtan(x)−∫cos(x)−(cos(x))′dx=xtan(x)+∫cos(x)(cos(x))′dxSoit
C∈R, on a finalement :
∫cos2(x)xdx=xtan(x)+ln(∣cos(x)∣)+C