Prove $\int_{0}^{\pi/2} \ln \left(x^{2} + (\ln\cos x)^2 \right) \, dx=\pi\ln\ln2 $
6571
A Challenging Integral $\int_0^{\frac{\pi}{2}}\log \left( x^2+\log^2(\cos x)\right)dx$
103598
Showing that $\int_0^1 \log(\sin \pi x)dx=-\log2$
138174
Integral $\int_0^1 \frac{x\ln\left(\frac{1+x}{1-x}\right)}{\left(\pi^2+\ln^2\left(\frac{1+x}{1-x}\right)\right)^2}dx$
114734
Prove that $\frac{1}{2\pi i}\int_\mathcal{C} |1+z+z^2+\cdots+z^{2n}|^2~dz =2n$ where $\mathcal{C}$ is the unit circle
31792
show that $\int_{0}^{\infty}\frac{x\cos ax}{\sinh x}dx=\frac{\pi^2}{4} \operatorname{sech}^2 \left(\frac{a\pi}{2}\right) $
7388
Evaluate: $\int_0^{\pi} \ln \left( \sin \theta \right) d\theta$
40537
How to prove $\int_0^\infty e^{-x^2}cos(2bx) dx = \frac{\sqrt{\pi}}{2} e^{-b^2}$
42805
Show that $\int\limits_0^1 \left(x^{x}\right)^{\left(x^{x}\right)^{\left(x^{x}\right)^{\left(x^{x}\right)^{⋰}}}}\ \mathrm{d}x=\frac{\pi^2}{12}$.
26608
How to show that $\int_{0}^{\pi}{\sin^5 x\over 1+\cos^3 x}\mathrm dx=\ln 3?$
1588
How to prove $\int_{-\pi}^\pi (f(x))^2dx\le \int_{-\pi}^\pi (f'(x))^2dx$
83531
Prove $\iint_{x^{2}+y^{2} \leq 1} e^{x^{2}+y^{2}} d x d y \leq\left[\int_{-\frac{\sqrt{\pi}}{2}}^{\frac{\sqrt{\pi}}{2}} e^{x^{2}} d x\right]^{2} $
89499
Evaluating the integral $\int_0^{\frac{\pi}{2}}\log\left(\frac{1+a\cos(x)}{1-a\cos(x)}\right)\frac{1}{\cos(x)}dx$
85814
Quotient of two integrals $\frac{\int_0^\pi x^3\ln(\sin x)\,dx}{\int_0^\pi x^2\ln(\sqrt{2}(\sin x))\,dx}$
21088
Prove $\int\limits_{0}^{\pi/2}\frac{dx}{1+\sin^2{(\tan{x})}}=\frac{\pi}{2\sqrt{2}}\bigl(\frac{e^2+3-2\sqrt{2}}{e^2-3+2\sqrt{2}}\bigr)$
78174
How prove this inequality $\left(\int_{0}^{1}f(x)dx\right)^2\le\frac{1}{12}\int_{0}^{1}|f'(x)|^2dx$
63167
Evaluate integral $\int_0^\frac{\pi}{2} \ln\left(\frac{1+a\cos x}{1-a\cos x}\right) \frac{\mathrm{d} x}{\cos x}$ for $\left|a\right|<1$
71708
Proving that $\left( \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} \right) \lvert f(z) \rvert^2 = 4 \lvert f'(z) \rvert^2$