query: Prove that $\int\limits_0^{\pi}xf(\sin x)dx =\frac{\pi}{2}\int\limits_0^{\pi}f(\sin x)dx$
positive_passages.docid: 51837
positive_passages.text: Show that $\int_{0}^{\pi} xf(\sin(x))\text{d}x = \frac{\pi}{2}\int_{0}^{\pi}f(\sin(x))\text{d}x$
negative_passages.docid: 8358
negative_passages.text: Prove $\int_{0}^{\pi/2} \ln \left(x^{2} + (\ln\cos x)^2 \right) \, dx=\pi\ln\ln2 $
negative_passages.docid: 98344
negative_passages.text: Prove that $\int_0^1[f''(x)]^2dx\ge4.$
negative_passages.docid: 82567
negative_passages.text: Prove that $ f(x) $ has at least two real roots in $ (0,\pi) $
negative_passages.docid: 99753
negative_passages.text: How to prove $\int_0^1\frac{1-x}{(\ln x)(1+x)}\ dx=\ln\left(\frac2{\pi}\right)$?
negative_passages.docid: 32823
negative_passages.text: Prove $\forall n \in \mathbb{N}: \int_{0}^{\frac{\pi}{2}} |\frac{\sin(nx)}{x}|dx \geq \frac{2}{\pi}\sum_{k=1}^{n}\frac{1}{k}$
negative_passages.docid: 113141
negative_passages.text: Prove that $\lim_{n \to \infty}\bigg[\int_0^1f(t)^n \text{dt}\bigg]^{1/n}=M$
negative_passages.docid: 35325
negative_passages.text: Prove that $\lim_{n\to\infty}\frac1{n}\int_0^{n}xf(x)dx=0$.
negative_passages.docid: 145903
negative_passages.text: Prove that $\int_E |f_n-f|\to0 \iff \lim\limits_{n\to\infty}\int_E|f_n|=\int_E|f|.$
negative_passages.docid: 139453
negative_passages.text: Prove that $\frac{1}{f'(a)} = \frac{1}{2\pi i} \int_C \frac{1}{f(z)-f(a)} dz$
negative_passages.docid: 36366
negative_passages.text: Prove $\int_0^\infty \frac{\sin^4x}{x^4}dx = \frac{\pi}{3}$
negative_passages.docid: 68097
negative_passages.text: Prove $\int\limits_{0}^{\infty} \mathrm{exp}(-ax^{2}-\frac{b}{x^{2}}) \mathrm{d} x = \frac{1}{2}\sqrt{\frac{\pi}{a}}\mathrm{e}^{-2\sqrt{ab}}$
negative_passages.docid: 21088
negative_passages.text: 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)$
negative_passages.docid: 105707
negative_passages.text: A proof of $\int_{0}^{1}\left( \frac{\ln t}{1-t}\right)^2\,\mathrm{d}t=\frac{\pi^2}{3}$
negative_passages.docid: 10675
negative_passages.text: Proving that $\frac{1}{2\pi}\int_{0}^{2\pi}|f(re^{it})|^2dt=\sum_{n=0}^{\infty}|a_n|^2r^{2n}$
negative_passages.docid: 37015
negative_passages.text: Prove $\int_X |f|^p=p\int^{\infty}_{0} t^{p-1}\mu({x: |f(x)>t}) dt\,$
negative_passages.docid: 24311
negative_passages.text: Proving $\frac{\sin x}{x} =\left(1-\frac{x^2}{\pi^2}\right)\left(1-\frac{x^2}{2^2\pi^2}\right) \left(1-\frac{x^2}{3^2\pi^2}\right)\cdots$