Prove an integral identity from https://twitter.com/integralsbot/status/1374959420791169026
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$
51837
Show that $\int_{0}^{\pi} xf(\sin(x))\text{d}x = \frac{\pi}{2}\int_{0}^{\pi}f(\sin(x))\text{d}x$
147886
Proof of the angle sum identity for $\sin$
146810
How to derive this binomial identity?
1744
Quadruple Integral $\int\limits_0^1\!\!\int\limits_0^1\!\!\int\limits_0^1\!\!\int\limits_0^1\frac1{1-xyzw}\,dw\,dz\,dy\,dx$
17435
Big integral sign
105707
A proof of $\int_{0}^{1}\left( \frac{\ln t}{1-t}\right)^2\,\mathrm{d}t=\frac{\pi^2}{3}$
10675
Proving that $\frac{1}{2\pi}\int_{0}^{2\pi}|f(re^{it})|^2dt=\sum_{n=0}^{\infty}|a_n|^2r^{2n}$
102649
Prove that $\int_0^1\frac{x\ln (1+x)}{1+x^2}dx=\frac{\pi^2}{96}+\frac{\ln^2 2}{8}$
131140
Understanding ProofWiki's proof of differentiation of sine power series
68821
Prove $\int_0^{\infty} \left(\sqrt{1+x^{4}}-x^{2}\right)\ dx=\frac{\Gamma^{2}\left(\frac{1}{4}\right)}{6\sqrt{\pi}}$
90904
Combinatorial proof of an identity with squared binomial coefficients
128189
Proving Integral Inequality
80553
Show that,$\int_0^\pi \left|\frac{\sin nx}{x}\right|\mathrm{d}x \ge \frac{2}{\pi}\left(1+\frac12+\cdots+\frac{1}{n}\right)$
70304
Prove there are $\xi$, $\eta$ with $f'(\xi)f'(\eta)=1$
70715
How do I prove $\int_0^\pi\frac{(\sin nx)^2}{(\sin x)^2}dx = n\pi$?
63193
Proof that $\vert\int_a^bf(t)dt\vert\le\int_a^b\vert f(t)\vert dt $ for complex integration