Existe-t-il un moyen efficace de montrer$\int_{-1}^{1} \ln\left(\frac{2(1+\sqrt{1-x^2})}{1+x^2}\right)dx = 2$?

Question

Salut, je suis récemment tombé sur l'intégrale suivante:

$$ \int_{-1}^{1} \ln\left(\frac{2(1+\sqrt{1-x^2})}{1+x^2}\right)dx $$

Quand une calculatrice intégrale trouve la primitive de l'équation (si elle le peut même), elle sort comme cette formule folle.

Quoi qu'il en soit, l'intégrale définie se trouve être égale à 2 et je me demandais s'il pourrait y avoir une manière élégante de montrer que c'est le cas.

Merci.

Answer 1

$$I=\int_{-1}^1\ln\left(\frac{2(1+\sqrt{1-x^2})}{1+x^2}\right)dx=2\int_{0}^1\ln\left(\frac{2(1+\sqrt{1-x^2})}{1+x^2}\right)dx$$

$$=2\int_0^1 \ln(2)dx+2\int_0^1\ln(1+\sqrt{1-x^2})dx-2\int_0^1\ln(1+x^2)dx$$

$$=2I_1+2I_2-2I_3$$

$$I_1=\boxed{\ln(2)}$$

$$I_2\overset{IBP}{=}x\ln(1+\sqrt{1-x^2}))|_0^1+\int_0^1\frac{x^2}{\sqrt{1-x^2}(1+\sqrt{1-x^2})}dx$$

$$\overset{x=\sin\theta}{=}\int_0^{\pi/2}\frac{\sin^2\theta}{1+\cos\theta}d\theta=\int_0^{\pi/2}\frac{1-\cos^2\theta}{1+\cos\theta}d\theta$$

$$=\int_0^{\pi/2}(1-\cos\theta)d\theta=\boxed{\frac{\pi}{2}-1}$$

$$I_3\overset{IBP}{=}x\ln(1+x^2)|_0^1-\int_0^1\frac{2x^2}{1+x^2}dx$$

$$=\boxed{\ln(2)-\left(2-\frac{\pi}{2}\right)}$$

La combinaison des résultats encadrés donne$2$.

Answer 2

Intégrer par parties

\begin{align} \int_{-1}^{1} \ln \frac{2(1+\sqrt{1-x^2})}{1+x^2}dx=& - \int_{-1}^1 x \>d\left( \ln \frac{2(1+\sqrt{1-x^2})}{1+x^2} \right)dx\\ =& \int_{-1}^1 \left(\frac{1-\sqrt{1-x^2}}{\sqrt{1-x^2}} +\frac{2x^2}{1+x^2} \right)dx\\ =&\int_{-1}^1 \left( 1+ \frac1{\sqrt{1-x^2}}-\frac2{1+x^2} \right)dx\\ = &(x+\sin^{-1}x-2\tan^{-1}x)| _{-1}^1=2 \end{align}