1. cos4x=cosx⋅cos3x et cos3x=cosx⋅cos2x=cosx(1−sin2x).
2. En posant par exemple u=cos3x et v′=cosx (IPP du devoir), on obtient une relation du type I=∫0π/2sin2xdx−J avec le coefficient issu de u′=−3cos2xsinx (facteur 31 dans le corrigé type du devoir). On admet ensuite la relation symétrique pour J.
3. I+J=∫0π/2(cos4x+sin4x)dx=∫0π/2((cos2x+sin2x)2−2sin2xcos2x)dx=∫0π/2(1−21sin22x)dx=∫0π/2(1−41−cos4x)dx=∫0π/243+cos4xdx=83π.
4. I−J=∫0π/2(cos4x−sin4x)dx=∫0π/2(cos2x−sin2x)dx=∫0π/2cos2xdx=[21sin2x]0π/2=0.
5. De I+J=83π et I−J=0, on tire I=J=163π.