Hola estoy tratando de demostrar que$$ I:=\int_0^{\pi/2} \frac{\sin^3 x\log \sin x}{\sqrt{1+\sin^2 x}}dx=\frac{\ln 2 -1}{4}. $$ Gracias.
Soy posiblemente tratando de simplificar este para obtener algo como $2\int_0^{\pi/2} \log \sin x\, dx=-\pi \ln 2 $ ya que este es fácilmente integrable. Sin embargo cuando trato de simplificar los términos $$ \frac{\sin^3 x}{\sqrt {1+\sin^2 x}} $$ Puedo obtener una más complicado integrando. No estoy seguro de cómo ir sobre esto. Yo estaba tratando posiblemente escribir $$ I(a)=\int_0^{\pi/2} \frac{\sin^3 x\log \sin x}{\sqrt{1+\sin^2 x}}dx,\quad I'(a)=\int_0^{\pi/2} \frac{\partial}{\partial}\left(\frac{\sin^3 ax\log \sin x}{\sqrt{1+\sin^2 x}}\right)\, dx, $$ pero esto no simplifica nada para mí.
También probé el de sustitución de $y=\sin^2 x$, pero no pude obtener una integral debido a la $\sin 2x$ a partir de la derivada.