If lm,n is a primitive of sinmxcosnx (m and n are arbitrary real numbers), show that
Im+2,n=−m+n+2sinm+1xcosn+1x+m+n+2m+1Im,n is a primitive of
sinm+2xcosnx if
m+n+2=0.
With the aid of this formula recover the formula (29) of III, p. 100 and prove the formula
∫0π/2sin2n+1xdx=1.3.5…(2n+1)2.4.6…2n(n an integer ⩾0).