Fonctions d’une variable réelle, III, p. 30
Si Im,n est une primitive de sinmxcosnx (m et n nombres réels quelconques), montrer que, si m+n+2=0
Im+2,n=−m+n+2sinm+1xcosn+1x+m+n+2m+1Im,n
est une primitive de sinm+2xcosnx.
Retrouver à l’aide de cette formule la formule (29) de III, p. 10 et démontrer la formule
∫0π/2sin2n+1xdx=1.3.5…(2n+1)2.4.6…2n(n entier ⩾0).