Welcome to the second article in our integral series! We will be evaluating a log-sine integral using differentiation under the integral sign, or Feynman’s trick if you prefer.
Now, differentiate both sides with respect to ,
Now, substitute
Where we used the trigonometric identity . Using partial fraction expansion,
It’s easy to recognize the first two as arctangent integrals. Indeed,
Remember that we want , and not . That means that we have to solve this differential equation. Simple integration will do.
Substituting , we find that
Thus,
Since , we can deduce that
Arriving at our final beautiful result,