Bourbaki

Exercise 31, § 1

Functions of a Real Variable, III, 123

If lm,nl_{m,n} is a primitive of sin⁡mxcos⁡nx\sin^m x \cos^n x (mm and nn are arbitrary real numbers), show that

Im+2,n=−sin⁡m+1xcos⁡n+1xm+n+2+m+1m+n+2Im,n I_{m+2,n} = -\frac{\sin^{m+1} x \cos^{n+1} x}{m + n + 2} + \frac{m + 1}{m + n + 2} I_{m,n}
is a primitive of sin⁡m+2xcos⁡nx\sin^{m+2} x \cos^n x if m+n+2≠0m + n + 2 \neq 0.

With the aid of this formula recover the formula (29) of III, p. 100 and prove the formula

∫0π/2sin⁡2n+1x dx=2.4.6…2n1.3.5…(2n+1)(n an integer ⩾0). \int_0^{\pi/2} \sin^{2n+1} x \, dx = \frac{2.4.6 \ldots 2n}{1.3.5 \ldots (2n+1)} \quad (n \text{ an integer } \geqslant 0).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.