Using the property ∫0af(x)dx=∫0af(a−x)dx on [0,π], we add the two forms to get 2I=π∫0πlogsinxdx. The known result ∫0πlogsinxdx=−πlog2 then gives I=−2π2log2.
The problem asks for I=∫0πxlogsinxdx. The presence of x multiplied by a function symmetric about π/2 suggests using the symmetry property of definite integrals. For any function f(x) integrable on [0,a], we have ∫0af(x)dx=∫0af(a−x)dx. Here a=π, so we can replace x by π−x in the integral.
Let’s work through it step by step.
- Apply the substitution x→π−x.
Let I=∫0πxlogsinxdx.
Using x=π−t, when x=0, t=π; when x=π, t=0. The integral becomes
I=∫π0(π−t)logsin(π−t)(−dt)=∫0π(π−t)logsintdt.
Since sin(π−t)=sint, we have
I=∫0π(π−x)logsinxdx.
- Add the two expressions for I.
We now have two forms:
I=∫0πxlogsinxdxandI=∫0π(π−x)logsinxdx.
Adding them:
2I=∫0π[x+(π−x)]logsinxdx=∫0ππlogsinxdx.
So
2I=π∫0πlogsinxdx.
- Evaluate J=∫0πlogsinxdx.
This is a classic integral. Use symmetry again:
J=∫0πlogsinxdx=2∫0π/2logsinxdx,
because sinx is symmetric about π/2 on [0,π].
Now consider K=∫0π/2logsinxdx. A standard trick: substitute x→π/2−x to get K=∫0π/2logcosxdx. Adding:
2K=∫0π/2log(sinxcosx)dx=∫0π/2log(2sin2x)dx.
So
2K=∫0π/2logsin2xdx−2πlog2.
Let u=2x, then dx=du/2, limits 0 to π: …