Nếu lm,n là một nguyên thủy của sinmxcosnx (m và n là các số thực tùy ý), hãy chứng minh rằng
Im+2,n=−m+n+2sinm+1xcosn+1x+m+n+2m+1Im,n là một nguyên thủy của
sinm+2xcosnx nếu
m+n+2=0.
Dùng công thức này hãy tìm lại công thức (29) của III, p. 100 và chứng minh công thức
∫0π/2sin2n+1xdx=1.3.5…(2n+1)2.4.6…2n(n soˆˊ nguyeˆn ⩾0).