1. cos4x=cosx⋅cos3x et cos3x=cosx⋅cos2x=cosx(1−sin2x) : deux réécritures qui préparent l'intégration par parties.
2. Idée : IPP avec u=cos3x, v′=cosx (v=sinx), puis cos2xsin2x=sin2x−sin4x. I=[cos3xsinx]0π/2+3∫0π/2cos2xsin2xdx=0+3∫0π/2sin2xdx−3J. Avec ∫0π/2sin2xdx=∫0π/221−cos2xdx=4π :
I=43π−3J 3. Idée : cos4+sin4=(cos2+sin2)2−2sin2cos2. I+J=∫0π/2(1−21sin22x)dx=∫0π/2(1−41−cos4x)dx=∫0π/243+cos4xdx=83π (l'intégrale de cos4x sur [0,π/2] est nulle).
4. cos4x−sin4x=(cos2x−sin2x)(cos2x+sin2x)=cos2x, donc I−J=∫0π/2cos2xdx=[2sin2x]0π/2=0 (on le voit aussi par le changement x↦2π−x, qui échange I et J).
5. I=J et I+J=83π donnent I=J=163π ; contrôle par la question 2 : 43π−3⋅163π=163π ✓.
I=J=163π