All Questions
1
question
13
votes
3
answers
689
views
How can you approach $\int_0^{\pi/2} x\frac{\ln(\cos x)}{\sin x}dx$
Here is a new challenging problem:
Show that
$$I=\int_0^{\pi/2} x\frac{\ln(\cos x)}{\sin x}dx=2\ln(2)G-\frac{\pi}{8}\ln^2(2)-\frac{5\pi^3}{32}+4\Im\left\{\text{Li}_3\left(\frac{1+i}{2}\right)\right\}$$...