๐Ÿงฎ Brain Teaser

The Integral of tanโกx\sqrt{\tan x}

Compute the definite integral:

I=โˆซ0ฯ€/2tanโกxโ€‰dxI = \int_0^{\pi/2} \sqrt{\tan x}\, dx

substitutionsymmetryrational integralFeynman-styleintegration bee

Answer: Integral of sqrt(tan x)

Key Idea / Intuition

The trick is to use the self-complementary symmetry of the integrand: if you substitute xโ†ฆฯ€/2โˆ’xx \mapsto \pi/2 - x, then tanโกxโ†ฆcotโกx=1/tanโกx\tan x \mapsto \cot x = 1/\tan x, so tanโกxโ†ฆ1/tanโกx\sqrt{\tan x} \mapsto 1/\sqrt{\tan x}. Adding II to its reflected version gives something much simpler to integrate. Then a substitution t=tanโกxt = \sqrt{\tan x} reduces the sum to a classic rational integral that can be handled by partial fractions, yielding a clean ฯ€/2\pi/\sqrt{2} answer.


Formal Proof / Solution

Step 1: Symmetry observation.

Let I=โˆซ0ฯ€/2tanโกxโ€‰dxI = \int_0^{\pi/2} \sqrt{\tan x}\, dx. Under xโ†ฆฯ€/2โˆ’xx \mapsto \pi/2 - x:

I=โˆซ0ฯ€/2cotโกxโ€‰dx=โˆซ0ฯ€/21tanโกxโ€‰dxI = \int_0^{\pi/2} \sqrt{\cot x}\, dx = \int_0^{\pi/2} \frac{1}{\sqrt{\tan x}}\, dx

So:

2I=โˆซ0ฯ€/2(tanโกx+1tanโกx)dx=โˆซ0ฯ€/2tanโกx+1tanโกxโ€‰dx2I = \int_0^{\pi/2} \left(\sqrt{\tan x} + \frac{1}{\sqrt{\tan x}}\right) dx = \int_0^{\pi/2} \frac{\tan x + 1}{\sqrt{\tan x}}\, dx

Step 2: Substitution t=tanโกxt = \sqrt{\tan x}.

Let t=tanโกxt = \sqrt{\tan x}, so tanโกx=t2\tan x = t^2, x=arctanโก(t2)x = \arctan(t^2), and:

dx=2t1+t4โ€‰dtdx = \frac{2t}{1 + t^4}\, dt

When x=0x = 0, t=0t = 0; when x=ฯ€/2x = \pi/2, t=โˆžt = \infty. Then:

2I=โˆซ0โˆžt2+1tโ‹…2t1+t4โ€‰dt=2โˆซ0โˆžt2+1t4+1โ€‰dt2I = \int_0^{\infty} \frac{t^2 + 1}{t} \cdot \frac{2t}{1+t^4}\, dt = 2\int_0^{\infty} \frac{t^2+1}{t^4+1}\, dt

So:

I=โˆซ0โˆžt2+1t4+1โ€‰dtI = \int_0^{\infty} \frac{t^2 + 1}{t^4 + 1}\, dt

Step 3: Evaluate the rational integral.

Divide numerator and denominator by t2t^2:

I=โˆซ0โˆž1+1/t2t2+1/t2โ€‰dtI = \int_0^{\infty} \frac{1 + 1/t^2}{t^2 + 1/t^2}\, dt

Notice that t2+1/t2=(tโˆ’1/t)2+2t^2 + 1/t^2 = (t - 1/t)^2 + 2. Let u=tโˆ’1/tu = t - 1/t, so du=(1+1/t2)โ€‰dtdu = (1 + 1/t^2)\, dt.

As t:0โ†’โˆžt: 0 \to \infty, we have u:โˆ’โˆžโ†’โˆžu: -\infty \to \infty. Therefore:

I=โˆซโˆ’โˆžโˆžduu2+2=12arctanโกโ€‰โฃ(u2)โˆฃโˆ’โˆžโˆž=12โ‹…ฯ€I = \int_{-\infty}^{\infty} \frac{du}{u^2 + 2} = \frac{1}{\sqrt{2}}\arctan\!\left(\frac{u}{\sqrt{2}}\right)\Bigg|_{-\infty}^{\infty} = \frac{1}{\sqrt{2}} \cdot \pi

Result:

I=ฯ€2\boxed{I = \dfrac{\pi}{\sqrt{2}}}

Why it's beautiful: Three elegant ideas click together โ€” the reflection symmetry that pairs tanโกx\sqrt{\tan x} with 1/tanโกx1/\sqrt{\tan x}, the substitution that rationalizes the integral, and the classic "tโˆ’1/tt - 1/t" trick that collapses a quartic into a quadratic.

Type: IntegrationEdit on GitHub โ†—