Otro concurso de matemáticas problema: $\int_0^{\frac{\ln^22}4}\,\frac{\arccos\frac{\exp\sqrt x}{\sqrt2}}{1-\exp\sqrt{4\,x}}dx$

Question

Probar: $$ {\Large\int_{0}^{\ln^{2}\left(2\right) \over4}}\, \frac{\arccos\left(\vphantom{\enorme} {\exp\left(\vphantom{\large A}\sqrt{x\,}\right) \más \sqrt{\vphantom{\large A}2\,}}\right)} {1-\exp\left(\sqrt{4x\,}\,\right)} \,{\rm d}x = -\,\frac{\,\,\pi^{3}}{192} $$

No he resuelto aún.

Answer 1

Con la sustitución de $x \mapsto \frac{1}{4}\log^{2}\left(\frac{2}{x^{2}+1}\right)$, se deduce que

\begin{align*} \int_{0}^{\frac{\log^{2}2}{4}} \frac{\arccos\left( \frac{\exp\sqrt{x}}{\sqrt{2}} \right)}{1 - \exp\sqrt{4x}} \, dx &= \int_{0}^{1} \frac{x \arctan x}{1 - x^{2}} \log\left(\frac{1+x^{2}}{2}\right) \, dx \\ &= -\frac{1}{2} \int_{-1}^{1} \frac{\arctan x}{1 + x} \log\left(\frac{1+x^{2}}{2}\right) \, dx. \end{align*}

Ahora usted puede hacer referencia a esta solución.

---

De hecho, he obtenido esta representación integral mediante la aplicación de la siguiente cadena de mucho amistoso humanos sustituciones:

$$ \exp\sqrt{4x} = t, \qquad t = 2\cos^{2}u, \qquad x = \tan u $$

Answer 2

utilizar el teorema de los residuos !

primero hemos de asumir que :

$\exp\sqrt{x\,}=z$

a continuación, la fórmula resulta ser :

$ {\Large\int_{1}^{\sqrt{2}}}\, \frac{\arccos\left(\vphantom{\enorme} {z \más \sqrt{\vphantom{\large A}2\,}}\right)} {1-z^2} \,{\rm d}x = -\,\frac{\,\,\pi^{3}}{192} $

el residuo teorema da ,

$ {\Large\int_{1}^{\sqrt{2}}}\, \frac{\arccos\left(\vphantom{\ enorme} {z \más \sqrt{\vphantom{\large A}2\,}}\right)} {1-z^2} \,{\rm d}x =\frac{b\pi}{2}\cdot\frac{\arccos(1/\sqrt{2})}{2}\cdot\frac{\arccos(-1/\sqrt{2})}{-2}$$=-\frac{b\pi}{2}\cdot(\frac{\pi}{8})^2$

el último paso es calcular el radio :

$\frac{1}{b}=\frac{z}{2(Inz)^{'}}=$$z^{2}=z_{1}^{2}+z_{2}^{2}=\frac{3}{2}$$\Longrightarrow$$b=\frac{2}{3}$

entonces, la solución tiene !