I was not able to find the value of the integral
$$\int_{0}^{\pi/2}\frac{\ln(1+3\sin^2x)}{\sin^2x}dx$$
So, I refered to the solution provided as follows. $$f(t)=\int_{0}^{\pi/2}\frac{\ln(1+t\sin^2x)}{\sin^2x}dx$$ $$\begin{align*} f'(t)&=\int_{0}^{\pi/2}\frac{dx}{1+t\sin^2x}\\ &=\int_{0}^{\pi/2}\frac{\text{cosec}^2x}{\cot^2x+1+t}dx\\ &=\int_{0}^{\infty}\frac{dp}{p^2+1+t}\\ &=\left[\frac 1{\sqrt{1+t}}\tan^{-1}{\frac p{\sqrt{1+t}}}\right]_0^{\infty}=\frac{\pi}{2{\sqrt{1+t}}}\end{align*} $$
$$f(t)=\int f'(t)dt=\int \frac{\pi}{2{\sqrt{1+t}}}dt =\pi{\sqrt{1+t}}+C$$ $$f(0)=0 \implies C=-\pi$$ $$\implies f(t)=\pi(\sqrt{1+t}-1)$$ Therefore, the original integral is $$\int_{0}^{\pi/2}\frac{\ln(1+3\sin^2x)}{\sin^2x}dx=f(3)=(\sqrt 4-1)\pi=\pi$$
This method is not obvious to me. Can someone provide an alternative solution?
Thanks in advance.
Following integral can also be integrated using above method(try it!) $$I=\int_{0}^{1} \frac{\sin(ln\space x)}{ln(x)}dx$$
– Paras Jul 14 '21 at 19:01