🧮 Brain Teaser

The Integral That Sums to an Arcsine

Evaluate the definite integral

I=∫01ln⁡xx(1−x) dx.I = \int_0^1 \frac{\ln x}{\sqrt{x(1-x)}}\,dx.

substitutionlog-sine integralbeta integraltrigonometric substitutionelegant

Answer: The Integral That Sums to an Arcsine

Key Idea / Intuition

The weight 1/x(1−x)1/\sqrt{x(1-x)} is the arclength element of the Beta distribution, and the substitution x=sin⁡2θx = \sin^2\theta transforms the integral into one involving ln⁡(sin⁡2θ)\ln(\sin^2\theta) against a flat measure on [0,π/2][0,\pi/2] — which is precisely twice the classical log-sine integral ∫0π/2ln⁡(sin⁡θ) dθ=−π2ln⁡2\int_0^{\pi/2}\ln(\sin\theta)\,d\theta = -\frac{\pi}{2}\ln 2. The answer turns out to be a clean multiple of πln⁡2\pi\ln 2.


Formal Proof / Solution

Step 1: Substitution x=sin⁡2θx = \sin^2\theta.

Let x=sin⁡2θx = \sin^2\theta, so dx=2sin⁡θcos⁡θ dθdx = 2\sin\theta\cos\theta\,d\theta, and: x(1−x)=sin⁡2θcos⁡2θ=sin⁡θcos⁡θ.\sqrt{x(1-x)} = \sqrt{\sin^2\theta\cos^2\theta} = \sin\theta\cos\theta.

When x=0x=0, θ=0\theta=0; when x=1x=1, θ=π/2\theta=\pi/2. Thus:

I=∫0π/2ln⁡(sin⁡2θ)sin⁡θcos⁡θ⋅2sin⁡θcos⁡θ dθ=2∫0π/2ln⁡(sin⁡2θ) dθ.I = \int_0^{\pi/2} \frac{\ln(\sin^2\theta)}{\sin\theta\cos\theta}\cdot 2\sin\theta\cos\theta\,d\theta = 2\int_0^{\pi/2}\ln(\sin^2\theta)\,d\theta.

Step 2: Simplify.

I=2∫0π/22ln⁡(sin⁡θ) dθ=4∫0π/2ln⁡(sin⁡θ) dθ.I = 2\int_0^{\pi/2} 2\ln(\sin\theta)\,d\theta = 4\int_0^{\pi/2}\ln(\sin\theta)\,d\theta.

Step 3: Use the classical log-sine integral.

The classical result (provable by the reflection symmetry θ↦π/2−θ\theta \mapsto \pi/2 - \theta and Wallis's product) states: ∫0π/2ln⁡(sin⁡θ) dθ=−π2ln⁡2.\int_0^{\pi/2}\ln(\sin\theta)\,d\theta = -\frac{\pi}{2}\ln 2.

Step 4: Conclude.

I=4⋅(−π2ln⁡2)=−2πln⁡2.I = 4\cdot\left(-\frac{\pi}{2}\ln 2\right) = -2\pi\ln 2.


Quick verification of the classical log-sine integral (for completeness):

Let L=∫0π/2ln⁡(sin⁡θ) dθL = \int_0^{\pi/2}\ln(\sin\theta)\,d\theta. By θ↦π/2−θ\theta\mapsto\pi/2-\theta, also L=∫0π/2ln⁡(cos⁡θ) dθL = \int_0^{\pi/2}\ln(\cos\theta)\,d\theta. Thus: 2L=∫0π/2ln⁡(sin⁡θcos⁡θ) dθ=∫0π/2ln⁡ ⁣(sin⁡2θ2)dθ.2L = \int_0^{\pi/2}\ln(\sin\theta\cos\theta)\,d\theta = \int_0^{\pi/2}\ln\!\left(\tfrac{\sin 2\theta}{2}\right)d\theta.

Substituting ϕ=2θ\phi = 2\theta and using the π/2\pi/2-periodicity: 2L=12∫0πln⁡(sin⁡ϕ) dϕ−π2ln⁡2=L−π2ln⁡2,2L = \tfrac{1}{2}\int_0^{\pi}\ln(\sin\phi)\,d\phi - \tfrac{\pi}{2}\ln 2 = L - \tfrac{\pi}{2}\ln 2,

so L=−π2ln⁡2L = -\tfrac{\pi}{2}\ln 2. ✓\checkmark


Final answer:

I=−2πln⁡2.\boxed{I = -2\pi\ln 2.}

Type: IntegrationEdit on GitHub ↗