Home › JEE Advanced › Mathematics › Definite Integrals › $\displaystyle\int_0^{\pi/2} \log(\sin x)\, dx =…
$\displaystyle\int_0^{\pi/2} \log(\sin x)\, dx = ?$ (classic)
A$-(\pi/2)\ln 2$
B$\ln 2$
C$0$
D$-\pi\ln 2$
Answer & Solution
Correct answer: A. $-(\pi/2)\ln 2$
$I = \int_0^{\pi/2} \log\sin x\, dx$. By King's, $I = \int_0^{\pi/2} \log\cos x\, dx$. So $2I = \int_0^{\pi/2} \log(\sin x \cos x)\, dx = \int_0^{\pi/2} [\log(\sin 2x) - \log 2]\, dx$. Sub $u = 2x$ in first: $= \tfrac{1}{2}\int_0^\pi \log\sin u\, du - (\pi/2)\log 2 = \tfrac{1}{2}(2I) - (\pi/2)\log 2 = I - (\pi/2)\log 2$. So $I = -(\pi/2)\log 2$.
Related questions
$\displaystyle\int_0^{\infty} \dfrac{\ln x}{1 + x^2}\, dx = ?$$\displaystyle\int_0^1 \dfrac{x - 1}{\ln x}\, dx = ?$ (Frullani-type)Given $\displaystyle\int_0^{\pi/2} \dfrac{ in^n x}{ in^n x + \cos^n x}\, dx$, the value isIf $\displaystyle f(x) = \int_0^x t in t\, dt$, then $f''(\pi) = ?$$\displaystyle\int_0^{\pi/2} \dfrac{dx}{1 + \tan^3 x} = ?$Evaluate $\displaystyle\lim_{n\to\infty} \dfrac{1^k + 2^k + \cdots + n^k}{n^{k+1}}$ for $k$\displaystyle\int_0^\pi \dfrac{x}{1 + in x}\, dx = ?$$\displaystyle\int_0^{\pi/4} \tan^4 x\, dx = ?$