On sait que :
sin3(x)=41(3sin(x)−sin(3x))Donc :
4sin3(x)=3sin(x)−sin(3x)Et de fait :
sin(3x)=3sin(x)−4sin3(x)Donc :
f(x)=(cos(x)sin(3x))2=(cos(x)3sin(x)−4sin3(x))2=cos2(x)(3sin(x)−4sin3(x))2=cos2(x)sin2(x)(3−4sin2(x))2Soit :
f(x)=cos2(x)sin2(x)(3−4(1−cos2(x)))2=cos2(x)sin2(x)(3−4+4cos2(x))2=cos2(x)sin2(x)(4cos2(x)−1)2Donc, en développant l'identité remarquable :
f(x)=cos2(x)sin2(x)(16cos4(x)−8cos2(x)+1)=cos2(x)16cos4(x)sin2(x)−8cos2(x)sin2(x)+sin2(x)Ce qui nous donne :
f(x)=cos2(x)16cos4(x)sin2(x)−cos2(x)8cos2(x)sin2(x)+cos2(x)sin2(x)Soit encore :
f(x)=16cos2(x)sin2(x)−8sin2(x)+(cos(x)sin(x))2Ce qui s'écrit également comme :
f(x)=4(2cos(x)sin(x))2−4×2sin2(x)+(tan(x))2Donc, on trouve que :
f(x)=4(sin(2x))2−4×(1−cos(2x))+1+tan2(x)−1D'où :
f(x)=2×2sin2(2x)+4cos(2x)+(1+tan2(x))−1−4On aboutit alors à :
f(x)=2×(1−cos(4x))+4cos(2x)+(1+tan2(x))−5Ainsi :
f(x)=2−2cos(4x)+4cos(2x)+(1+tan2(x))−5Ce qui nous permet d'avoir :
f(x)=−2cos(4x)+4cos(2x)+(1+tan2(x))−3On peut donc en déduire que :
F(x)=∫f(x)dx=∫(−2cos(4x)+4cos(2x)+(1+tan2(x))−3)dxPar linéarité, on a :
F(x)=∫f(x)dx=−2∫cos(4x)dx+4∫cos(2x)dx+∫(1+tan2(x))dx−∫3dxAvec
C∈R, on trouve alors :
F(x)=∫f(x)dx=−24sin(4x)+42sin(2x)+tan(x)−3x+CFinalement :
F(x)=∫f(x)dx=∫(cos(x)sin(3x))2dx=−21sin(4x)+2sin(2x)+tan(x)−3x+C