Use $\int_0^{\pi/2}\frac{1}{1 + \cos x + \sin x}dx = \ln 2$ to find $\int_0^{\pi/2}\frac{x}{1 + \cos x + \sin x}dx$

Solution 1:

Hint: Deal with the second integral using the substitution $x=\frac\pi2-y$ and $\mathrm dx=-\mathrm dy$.