Question
Evaluate the definite integral:
∫0π/2log(sinx)dx
(JEE Advanced 2019, similar pattern)
Solution — Step by Step
We know the classic property: ∫0af(x)dx=∫0af(a−x)dx.
Let I=∫0π/2log(sinx)dx.
Replace x with π/2−x:
I=∫0π/2log(cosx)dx
So I equals both ∫0π/2log(sinx)dx and ∫0π/2log(cosx)dx. This symmetry is the key.
2I=∫0π/2log(sinx)dx+∫0π/2log(cosx)dx
2I=∫0π/2log(sinx⋅cosx)dx
Using the identity sinxcosx=2sin2x:
2I=∫0π/2log(2sin2x)dx
2I=∫0π/2log(sin2x)dx−∫0π/2log2dx
The second integral is straightforward:
∫0π/2log2dx=2πlog2
For the first integral, substitute t=2x, so dt=2dx:
∫0π/2log(sin2x)dx=21∫0πlog(sint)dt
Since sin(π−t)=sint, the function log(sint) is symmetric about t=π/2 on [0,π].
21∫0πlog(sint)dt=21⋅2∫0π/2log(sint)dt=I
So we get: 2I=I−2πlog2
2I−I=−2πlog2
I=−2πlog2
The negative sign makes sense — sinx≤1 on [0,π/2], so log(sinx)≤0 throughout the interval.
Why This Works
The entire solution hinges on a symmetry trick: replacing x with π/2−x converts sin to cos, giving us two forms of the same integral. Adding them brings in the double-angle identity, which introduces a substitution that loops back to the original integral I.
This “self-referencing” technique — where manipulating I produces an equation in I itself — is a hallmark of definite integral problems at the JEE Advanced level. The integral cannot be computed by finding an antiderivative (there is no closed-form antiderivative of log(sinx)), so these symmetry-based tricks are the only way forward.
Alternative Method — Using Fourier Series
For those comfortable with series, log(sinx) has the Fourier expansion:
log(sinx)=−log2−k=1∑∞kcos2kx
Integrating term by term from 0 to π/2:
I=−2πlog2−k=1∑∞k1∫0π/2cos2kxdx
Each integral ∫0π/2cos2kxdx=2ksin(kπ)=0 for all positive integers k.
So I=−2πlog2. Same answer, confirmed.
This integral is a standard result that appears frequently in JEE Advanced. Memorise the answer: ∫0π/2log(sinx)dx=−2πln2. It also shows up as a sub-step in harder integrals involving log(sinx+cosx) or log(tanx).
Common Mistake
Students often try to find an antiderivative of log(sinx) using integration by parts. This leads to ∫cotxdx nested inside further integrals, creating an endless loop. The function log(sinx) does not have a closed-form antiderivative — you must use the definite integral properties (symmetry, King’s rule) to evaluate it. If you find yourself doing IBP on this problem, stop and switch strategy.